Klein four-subgroup of alternating group:A4

From Groupprops
Jump to: navigation, search
This article is about a particular subgroup in a group, up to equivalence of subgroups (i.e., an isomorphism of groups that induces the corresponding isomorphism of subgroups). The subgroup is (up to isomorphism) Klein four-group and the group is (up to isomorphism) alternating group:A4 (see subgroup structure of alternating group:A4).
The subgroup is a normal subgroup and the quotient group is isomorphic to cyclic group:Z3.
VIEW: Group-subgroup pairs with the same subgroup part | Group-subgroup pairs with the same group part| Group-subgroup pairs with the same quotient part | All pages on particular subgroups in groups

This article describes the subgroup in the group . Here, is the alternating group of degree four, acting on the set for concreteness. In other words, is the set:

The subgroup is defined as the subgroup comprising the identity element and the three double transpositions, which can be characterized as the only even permutations that have no fixed points:

The subgroup is isomorphic to the Klein four-group. It is a normal subgroup and the quotient group is isomorphic to cyclic group:Z3.

See also subgroup structure of alternating group:A4.

A4latticeofsubgroups.png

Cosets

is a normal subgroup of , hence each left coset is a right coset and vice versa. The three cosets are then:

Some interesting observations:

  • Each of the cosets other than the subgroup itself is itself a conjugacy class. This makes the alternating group a Camina group.
  • Each 3-cycle and its inverse are contained in distinct cosets of . This makes sense, if we note that the cyclic subgroup generated by the 3-cycle must be a permutable complement to in .

Complements

COMPLEMENTS TO NORMAL SUBGROUP: TERMS/FACTS TO CHECK AGAINST:
TERMS: permutable complements | permutably complemented subgroup | lattice-complemented subgroup | complemented normal subgroup (normal subgroup that has permutable complement, equivalently, that has lattice complement) | retract (subgroup having a normal complement)
FACTS: complement to normal subgroup is isomorphic to quotient | complements to abelian normal subgroup are automorphic | complements to normal subgroup need not be automorphic | Schur-Zassenhaus theorem (two parts: normal Hall implies permutably complemented and Hall retract implies order-conjugate)

is a complemented normal subgroup in . There are four distinct possibilities for the complement of in , all of which are conjugate subgroups. This also follows from the Schur-Zassenhaus theorem, since is a normal Sylow subgroup of .

The four complements are:

For information on these as subgroups, see A3 in A4. Each of these is isomorphic to cyclic group:Z3, since complement to normal subgroup is isomorphic to quotient.

Properties related to complementation

Property Meaning Satisfied? Explanation Comment
complemented normal subgroup normal subgroup with a permutable complement Yes See above
complemented characteristic subgroup characteristic subgroup with a permutable complement Yes
complemented fully invariant subgroup fully invariant subgroup with a permutable complement Yes
permutably complemented subgroup subgroup with a permutable complement Yes
lattice-complemented subgroup subgroup with lattice complement Yes
retract subgroup with a normal complement No
direct factor normal subgroup with a normal complement No

Arithmetic functions

Function Value Explanation
order of whole group 12
order of subgroup 4
index 3
size of conjugacy class 1
number of conjugacy classes in automorphism class 1

Effect of subgroup operators

Function Value as subgroup (descriptive) Value as subgroup (link) Value as group
normalizer the whole group -- alternating group:A4
centralizer the subgroup itself current page Klein four-group
normal core the subgroup itself current page Klein four-group
normal closure the subgroup itself current page Klein four-group
characteristic core the subgroup itself current page Klein four-group
characteristic closure the subgroup itself current page Klein four-group
commutator with whole group the subgroup itself current page Klein four-group

Subgroup-defining functions

The subgroup is a characteristic subgroup of the whole group and arises as the result of many subgroup-defining functions. Some of these are given below.

Subgroup-defining function Meaning in general Why it takes this value
derived subgroup subgroup generated by commutators of all pairs of group elements, smallest subgroup with abelian quotient The quotient is cyclic group:Z3, which is abelian; no other subgroup has abelian quotient. We can also explicitly compute all commutators -- these are precisely the identity element and the three double transpositions.
socle join of all minimal normal subgroups The subgroup is the unique minimal normal subgroup (i.e., monolith) -- the group is a monolithic group
Fitting subgroup join of all nilpotent normal subgroups The subgroup is the unique nontrivial abelian normal subgroup
2-Sylow core largest normal subgroup whose order is a power of 2; normal core of any 2-Sylow subgroup The subgroup is the unique normal 2-Sylow subgroup
2-Sylow closure normal closure of any 2-Sylow subgroup The subgroup is the unique normal 2-Sylow subgroup
Jacobson radical intersection of all maximal normal subgroups The subgroup is the unique maximal normal subgroup -- the group is a one-headed group

Description in alternative interpretations of the whole group

Description of Corresponding description of
Group of orientation-preserving symmetries of a regular tetrahedron The identity element and the three symmetries that arise as follows: take two opposite sides of the regular tetrahedron (i.e., edges not sharing a common vertex). Consider the line joining the midpoints of these sides. Now, take the half-turn (i.e. rotation by an angle of ) about this line as axis.
Projective special linear group of degree two over field:F3 The images of the semisimple elements. Note that in general, the images of the semisimple elements do not form a subgroup, this is a special feature of the small prime.

Related subgroups

Intermediate subgroups

The subgroup has prime index, hence is maximal, so there are no strictly intermediate subgroups between the subgroup and the whole group.

Smaller subgroups

There are three proper nontrivial subgroups of the subgroup, all of which are conjugate inside the whole group (but not within the subgroup, which is abelian). The three subgroups are:

Each of these is isomorphic to cyclic group:Z2. For information on these as subgroups inside , see Z2 in V4. For information on these as subgroups inside , see subgroup generated by double transposition in A4.

Images under quotient maps

Under any quotient map with a nontrivial kernel, the image of the subgroup is trivial. This is because the group is a monolithic group and the subgroup is the unique minimal normal subgroup in it.

Invariance under automorphisms and endomorphisms: properties

Unless otherwise specified, each of these properties follows on account of the subgroup being a normal Sylow subgroup and in particular a normal Hall subgroup.

Property Meaning Satisfied? Explanation Comment
normal subgroup equals all its conjugate subgroups Yes
characteristic subgroup invariant under all automorphisms Yes
coprime automorphism-invariant subgroup invariant under all coprime automorphisms, i.e., automorphisms whose order is coprime to that of the group Yes
cofactorial automorphism-invariant subgroup invariant under all cofactorial automorphisms, i.e., automorphisms whose order has no prime factors other than those in the group Yes
subgroup-cofactorial automorphism-invariant subgroup invariant under all automorphisms whose order has no prime factors other than those in the subgroup Yes
order-conjugate subgroup conjugate to all subgroups of the same order Yes follows from being a Sylow subgroup, since Sylow implies order-conjugate
order-isomorphic subgroup isomorphic to all subgroups of the same order Yes (via order-conjugate, also obvious since has prime order)
isomorph-free subgroup no other isomorphic subgroup Yes
order-unique subgroup no other subgroup of that order Yes
fully invariant subgroup contains its image under any endomorphism of whole group Yes normal Sylow subgroups are fully invariant
verbal subgroup Yes
normal subgroup having no nontrivial homomorphism to its quotient group Yes
homomorph-containing subgroup contains any homomorphic image of it in the whole group Yes normal Sylow subgroups are homomorph-containing
variety-containing subgroup Yes
quotient-subisomorph-containing subgroup Yes