GA(2,2) is isomorphic to S4

From Groupprops
Jump to: navigation, search
This article gives a proof/explanation of the equivalence of multiple definitions for the term symmetric group:S4
View a complete list of pages giving proofs of equivalence of definitions

Statement

The general affine group of degree two over field:F2 (the field of two elements) is isomorphic to symmetric group:S4.

Related facts

Similar facts

Facts used

  1. Order formulas for linear groups of degree two

Proof

Step no. Assertion/construction Facts used Previous steps used Explanation
1 For any field k the group GA(2,k) has a faithful group action on k^2 and hence has an injective homomorphism to the symmetric group on k^2. By definition of GA(n,k), it has a faithful group action on k^n.
2 For a field of size q, GA(2,q) = GA(2,\mathbb{F}_q) has size q^2(q^2 - 1)(q^2 - q). Fact (1) [SHOW MORE]
4 For k the field of size two, the injective homomorphism of Step (2) gives an isomorphism from GA(2,2) to S_4. Steps (1), (3) [SHOW MORE]