Alternating group

An alternating group is a specific collection of rearrangements called even permutations. In mathematics, a permutation is a way to reorder a finite set of elements. Every permutation can be classified as either even or odd. The alternating group, denoted as $A_n$, consists only of the even permutations of a set with $n$ elements. These groups are important subgroups of the symmetric group $S_n$, which contains all possible permutations.

Because they only include even moves, the size of an alternating group is exactly half that of its symmetric group. If the symmetric group has $n!$ elements, the alternating group $A_n$ has $n!/2$ elements.

To understand how these groups function, we look at their building blocks. For any $n$ that is 3 or greater, the alternating group is generated by 3-cycles. A 3-cycle is a move where three elements shift in a specific loop. You can create any 3-cycle by combining pairs of transpositions, which are simple two-element swaps.

Mathematicians also study conjugacy classes within these groups. Two permutations are conjugate if they share the same cycle shape. However, the alternating group has a unique rule. In $A_n$, two elements might have the same cycle shape but still not be conjugate to each other.

This happens if the cycle shape consists only of odd-length cycles with no two cycles of the same length.

Different alternating groups possess very different mathematical structures. For example, the group $A_3$ is abelian, meaning the order of operations does not change the result. However, $A_5$ is the smallest non-abelian simple group. A simple group is one that has no normal subgroups other than itself and the identity. $A_5$ is also significant because it is the smallest non-solvable group, having an order of 60.

The group $A_4$ is different from these. It contains a proper normal subgroup known as the Klein four-group, denoted as $V$.

This subgroup consists of the identity and three double transpositions.

History shows how these groups help solve complex equations. Lodovico Ferrari used the relationship between these groups and polynomials to solve quartic equations. Specifically, the map between these groups corresponds to associating a Lagrange resolvent cubic to a quartic. This mathematical connection allows quartic polynomials to be solved using radicals.

This work connects the abstract logic of permutations to the practical solving of algebraic equations.

We can see the alternating group $A_5$ in the physical world through geometry. $A_5$ is the group of isometries for a dodecahedron, which is a shape with twelve faces. The group describes the various rotations of this shape in 3-dimensional space.

The group acts on the dodecahedron by permuting five inscribed tetrahedra. This relationship helps mathematicians visualize the complex structure of the group through 3D rotations and polyhedra.

Another interesting example is found in the famous 15 puzzle. This is a sliding tile puzzle where you move numbered tiles around a grid. It has been proven that the possible moves in a 15 puzzle can be represented by the alternating group $A_{15}$. This is because the sliding movements are generated by 3-cycles.

In fact, any sliding puzzle with square tiles of equal size can be represented by the alternating group $A_{2k-1}$.

Alternating groups also connect to broader fields like group homology. The homology of these groups shows a property called stabilization. This means that for a large enough $n$, the homology becomes constant. While the symmetric group also shows stabilization, the alternating group has some unique low-dimensional exceptions. These mathematical properties make the alternating group a vital subject in the study of symmetry and algebraic structures.