Tetrahedral quotient onto the cyclic group of order three

ID: tetrahedral-quotient-onto-the-cyclic-group-of-order-three

The identity and three half-turns form a normal Klein four-group inside the proper rotational tetrahedral symmetry group . Conjugation preserves double-transposition cycle type, establishing normality. The quotient group has order three and is therefore cyclic. If is any 3-cycle, every element is uniquely with and . The formula defines a surjective group homomorphism with kernel . Normality allows the factors from to be moved past powers of , making exponents add modulo three and proving the homomorphism property directly.

New to topics? Read the docs here!