# Finitary alternating groups are simple

From Groupprops

## Definition

Let be an infinite set. The Finitary alternating group (?) on , i.e., the group of even finitary permutations on under composition, is a simple group.

## Facts used

- Alternating groups are simple: The alternating group on a finite set is simple when the set has at least elements.
- Simplicity is directed union-closed: A directed union of simple subgroups is simple.

## Proof

The proof follows from facts (1) and (2), and the observation that the finitary alternating group on an infinite set is the directed union of alternating groups on all finite subsets of size at least .