##  [Alternating Group](/alternating-group-0) 

 Definition

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

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

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

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

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

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

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

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

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.