The Alternating Group A_n is the subgroup of the symmetric group S_n consisting of all even permutations (those expressible as an even number of transpositions); it is of index two in S_n and has order n!/2 for n ≥ 2.

Principle

A_n is the kernel of the sign homomorphism sgn: S_n → {±1}, so parity of permutations organizes S_n into two cosets (even and odd); for n ≥ 3 A_n is generated by 3-cycles and for n ≥ 5 it is a non-abelian simple group.

Demonstration

A_4 consists of the identity and the three double-transposition/3-cycle-derived even permutations, having 12 elements; A_5 has 60 elements and is the smallest non-abelian simple group, illustrating how alternating groups capture 'even' symmetry.

Misapplication

Assuming A_n is abelian or that all subgroups of S_n contained in A_n are normal is incorrect; also misusing parity by treating cycle length parity as permutation parity can lead to errors.

Consequence

A_n provides important examples of simple groups (n ≥ 5), determines a natural index-two normal subgroup of S_n, and is central in studies of simplicity, group actions, and Galois theory where parity constraints matter.

Reversal

The complement in S_n of A_n contains all odd permutations; reversing parity yields the coset of odd permutations which is not a subgroup. Considering only odd permutations does not produce a subgroup but shows the two-sided coset structure.

Boundary

For n < 2 definitions degenerate: A_0 and A_1 are trivial by convention, A_2 is trivial; properties like generation by 3-cycles or simplicity only hold for specified ranges (3 for generation by 3-cycles, ≥5 for simplicity). Excluded are parity notions over other categories without a sign map.

Semantic Tension

Tension exists between the alternating group as an algebraically defined kernel of sign and geometric notions of orientation-preserving symmetries; both capture 'evenness' but may differ in additional preserved structure (orientation vs permutation parity).

Synthesis

A_n is the even-permutation subgroup of S_n: the kernel of the sign map, index two and generated by 3-cycles for n ≥ 3, providing central examples of normal subgroups and, for n ≥ 5, non-abelian simple groups essential to group classification.