Finitary alternating group is characteristic in symmetric group
From Groupprops
This article gives the statement, and possibly proof, of a particular subgroup or type of subgroup (namely, finitary alternating group) satisfying a particular subgroup property (namely, characteristic subgroup) in a particular group or type of group (namely, symmetric group).