Difference between revisions of "Subgroup structure of symmetric group:S4"

From Groupprops
Jump to: navigation, search
(New page: The symmetric group on four letters has many sugbroups. Note that since <math>S_4</math> is a complete group, every automorphism is inner, so the classification...)
 
Line 17: Line 17:
 
==The alternating group (twelve-element characteristic subgroup) (type (10))==
 
==The alternating group (twelve-element characteristic subgroup) (type (10))==
  
This is a [[characteristic subgroup]].
+
This is a [[characteristic subgroup]]. The alternating group inside the symmetric group on the set <math>\{ 1,2,3,4 \}</math> is given as:
 +
 
 +
<math> \{ (), (1,2,3), (1,3,2), (1,2,4), (1,4,2), (2,3,4), (2,4,3), (1,3,4), (1,4,3), (1,3)(2,4), (1,4)(2,3), (1,2)(3,4) \}</math>
  
 
===Subgroup-defining functions yielding this subgroup===
 
===Subgroup-defining functions yielding this subgroup===
Line 51: Line 53:
 
==The Klein-four group of double transpositions (type (5))==
 
==The Klein-four group of double transpositions (type (5))==
  
This is a [[characteristic subgroup]].
+
This is a [[characteristic subgroup]]. In the symmetric group on the set <math>\{ 1,2,3,4\}</math>, it is given as:
 +
 
 +
<math>\{ (), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) \}</math>
  
 
===Subgroup-defining functions yielding this subgroup===
 
===Subgroup-defining functions yielding this subgroup===
Line 76: Line 80:
 
* [[Minimal normal subgroup]]
 
* [[Minimal normal subgroup]]
 
* [[Fully normalized subgroup]]: Every automorphism of it is realized as an inner automorphism in the whole group. In fact, the whole group is the [[holomorph]] of the subgroup.
 
* [[Fully normalized subgroup]]: Every automorphism of it is realized as an inner automorphism in the whole group. In fact, the whole group is the [[holomorph]] of the subgroup.
 +
* [[Normal-isomorph-free subgroup]]: There is no other normal subgroup of the whole group isomorphic to this  subgroup.
  
 
===Subgroup properties not satisfied by this subgroup===
 
===Subgroup properties not satisfied by this subgroup===
Line 83: Line 88:
 
* [[Isomorph-free subgroup]]: Although the subgroup is characteristic, there exists an isomorphic subgroup. In fact, the subgroups of type (4) are all isomorphic to it.
 
* [[Isomorph-free subgroup]]: Although the subgroup is characteristic, there exists an isomorphic subgroup. In fact, the subgroups of type (4) are all isomorphic to it.
 
* [[Transitively normal subgroup]]
 
* [[Transitively normal subgroup]]
 +
* [[Intermediately characteristic subgroup]]: In fact, the subgroup is not characteristic inside any intermediate dihedral group, i.e., inside any of the <math>2</math>-Sylow subgroups.
 +
 +
===Other facts about this subgroup===
 +
 +
This subgroup can be obtained as follows. Consider the [[Klein-four group]], and use the embedding of this group inside the symmetric group on four letters given by [[Cayley's theorem]]. The image is precisely this subgroup.
  
 
==The two-element subgroup generated by a transposition (type (2))==
 
==The two-element subgroup generated by a transposition (type (2))==
 +
 +
There are six such subgroups. In the symmetric group on <math>\{ 1,2,3,4\}</math>, these subgroups are given by:
 +
 +
<math>\{ (), (1,2) \}, \{ (), (2,3) \}, \{ (), (1,3) \}, \{ (), (1,4), \}, \{ (), (2,4) \} \{ (), (3,4) \}</math>
  
 
===Subgroup properties satisfied by these subgroups===
 
===Subgroup properties satisfied by these subgroups===
  
 
* [[Retract]]: There is a retraction to any such subgroup with kernel equal to the alternating group.
 
* [[Retract]]: There is a retraction to any such subgroup with kernel equal to the alternating group.
* [[Permutably complemented subgroup]].
+
* [[Permutably complemented subgroup]]: This follows from being a retract.
 
* [[Core-free subgroup]]
 
* [[Core-free subgroup]]
 
* [[Contranormal subgroup]]
 
* [[Contranormal subgroup]]
* [[Conjugate-permutable subgroup]]
 
* [[Automorph-permutable subgroup]]
 
  
 
===Subgroup properties not satisfied by these subgroups===
 
===Subgroup properties not satisfied by these subgroups===
Line 100: Line 112:
 
* [[Polynormal subgroup]]
 
* [[Polynormal subgroup]]
 
* [[Permutable subgroup]]
 
* [[Permutable subgroup]]
 +
* [[Conjugate-permutable subgroup]]
  
 
===Effect of operators===
 
===Effect of operators===
Line 105: Line 118:
 
* [[Centralizer]]: The centralizer is a Klein-four group, of type (4).
 
* [[Centralizer]]: The centralizer is a Klein-four group, of type (4).
 
* [[Normalizer]]: The normalizer is a dihedral group of order eight, of type (7).
 
* [[Normalizer]]: The normalizer is a dihedral group of order eight, of type (7).
 +
 +
==The two-element subgroup generated by a double transposition (type (3))==
 +
 +
There are three such subgroups. In the symmetric group on <math>\{ 1,2,3,4\}</math>, these are given by:
 +
 +
<math>\{ (), (1,2)(3,4) \}, \{ (1,3)(2,4) \}, \{ (1,4)(2,3) \}</math>.
 +
 +
These three subgroups are in bijection with the three subgroups of type (4) via the centralizer operation, and also with the three 2-Sylow subgroups of order eight (type (7)) via the normalizer operation.
 +
 +
===Subgroup properties satisfied by these subgroups===
 +
 +
* [[Core-free subgroup]]
 +
* [[Lattice-complemented subgroup]]: The symmetric group on any three elements forms a lattice complement to any of these subgroups.
 +
* [[2-subnormal subgroup]]: In fact, any such subgroup is normal in the Klein-four group <math>\{ (), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)\}</math>, which is normal in the whole group. More strongly, it is a [[subgroup of Abelian normal subgroup]]. In fact, it is an example of a 2-subnormal subgroup whose normalizer is an abnormal subgroup. {{further|[[2-subnormal and abnormal normalizer not implies normal]]}}
 +
* [[Conjugate-permutable subgroup]]: In fact, this is an example of a conjugate-permutable subgroup that is not permutable. {{further|[[Conjugate-permutable not implies permutable]]}}
 +
* [[Automorph-permutable subgroup]]
 +
* [[Intersection of pronormal subgroups]]: Any of these subgroups can be obtained as the intersection of the normal Klein-four group (type (5)) and a non-normal Klein-four group (type (4)). Both of these are pronormal in the whole group, and thus, the given subgroup is an intersection of pronormal subgroups. {{further|[[Pronormality is not intersection-closed]]}}
 +
 +
===Subgroup properties not satisfied by these subgroups===
 +
 +
* [[Permutably complemented subgroup]]
 +
* [[Contranormal subgroup]]
 +
* [[Retract]]
 +
* [[2-hypernormalized subgroup]]: The normalizer of this subgroup is a dihedral group of order eight, which is not normal in the whole group.
 +
* [[Permutable subgroup]]
 +
* [[Pronormal subgroup]]
 +
 +
===Effect of operators===
 +
 +
* [[Normal closure]]: The normal closure is the Klein-four group, type (5).
 +
* [[Normalizer]]: The normalizer is a dihedral group. Each of these subgroups has a different dihedral group as its normalizer.
 +
* [[Centralizer]]: The centralizer is the same as the normal closure.
 +
 +
==The non-normal Klein-four groups (type (4))==
 +
 +
There are three such groups. These three groups are in bijection with the three subgroups of type (3) discussed above via the centralizer operation, and also with the three 2-Sylow subgroups, via the normalizer operation.
 +
 +
<math>\{ (), (1,2), (3,4), (1,2)(3,4) \}, \{ (), (1,3), (2,4), (1,3)(2,4) \}, \{ (), (1,4), (2,3), (1,4)(2,3) \}</math>
 +
 +
===Subgroup properties satisfied by these subgroups===
 +
 +
* [[Core-free subgroup]]
 +
* [[Contranormal subgroup]]
 +
* [[Self-centralizing subgroup]]
 +
* [[Pronormal subgroup]]
 +
 +
===Subgroup properties not satisfied by these subgroups===
 +
 +
* [[Abnormal subgroup]]
 +
* [[Self-normalizing subgroup]]
 +
* [[Permutable subgroup]]
 +
* [[Conjugate-permutable subgroup]]

Revision as of 17:02, 30 November 2008

The symmetric group on four letters has many sugbroups.

Note that since S_4 is a complete group, every automorphism is inner, so the classification of subgroups upto conjugacy is equivalent to the classification of subgroups upto automorphism. In other words, every subgroup is an automorph-conjugate subgroup.

  1. The trivial subgroup. Isomorphic to trivial group.(1)
  2. The two-element subgroup generated by a transposition, such as (1,2). Isomorphic to cyclic group of order two.(6)
  3. The two-element subgroup generated by a double transposition, such as (1,2)(3,4). Isomorphic to cyclic group of order two. (3)
  4. The four-element subgroup generated by two disjoint transpositions, such as \langle (1,2) \ , \ (3,4) \rangle. Isomorphic to Klein-four group. (3)
  5. The unique four-element subgroup comprising the identity and the three double transpositions. Isomorphic to Klein-four group. (1)
  6. The four-element subgroup spanned by a 4-cycle. Isomorphic to cyclic group of order four.(3)
  7. The eight-element subgroup spanned by a 4-cycle and a transposition that conjugates this cycle to its inverse. Isomorphic to dihedral group of order eight. (3)
  8. The three-element subgroup spanned by a three-cycle. Isomorphic to cyclic group of order three.(4)
  9. The six-element subgroup comprising all permutations that fix one element. Isomorphic to symmetric group on three elements. (4)
  10. The alternating group: the subgroup of all even permutations. Isomorphic to alternating group:A4.(1)
  11. The whole group.(1)

The alternating group (twelve-element characteristic subgroup) (type (10))

This is a characteristic subgroup. The alternating group inside the symmetric group on the set \{ 1,2,3,4 \} is given as:

 \{ (), (1,2,3), (1,3,2), (1,2,4), (1,4,2), (2,3,4), (2,4,3), (1,3,4), (1,4,3), (1,3)(2,4), (1,4)(2,3), (1,2)(3,4) \}

Subgroup-defining functions yielding this subgroup

Subgroup properties satisfied by this subgroup

The alternating group is a verbal subgroup on account of being generated by commutators, or equivalently, on account of being generated by squares (actually, the two facts are closely related, and have to do with the fact that the symmetric group is a group generated by involutions). Thus, it satisfies some subgroup properties, including:

It also satisfies some other subgroup properties, such as:

Subgroup properties not satisfied by this subgroup

The Klein-four group of double transpositions (type (5))

This is a characteristic subgroup. In the symmetric group on the set \{ 1,2,3,4\}, it is given as:

\{ (), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) \}

Subgroup-defining functions yielding this subgroup

Subgroup properties satisfied by this subgroup

The given subgroup is a verbal subgroup on account of being the second member of the derived series. Thus, it satisfies some subgroup properties, including:

It also satisfies some other subgroup properties, such as:

Subgroup properties not satisfied by this subgroup

Other facts about this subgroup

This subgroup can be obtained as follows. Consider the Klein-four group, and use the embedding of this group inside the symmetric group on four letters given by Cayley's theorem. The image is precisely this subgroup.

The two-element subgroup generated by a transposition (type (2))

There are six such subgroups. In the symmetric group on \{ 1,2,3,4\}, these subgroups are given by:

\{ (), (1,2) \}, \{ (), (2,3) \}, \{ (), (1,3) \}, \{ (), (1,4), \}, \{ (), (2,4) \} \{ (), (3,4) \}

Subgroup properties satisfied by these subgroups

Subgroup properties not satisfied by these subgroups

Effect of operators

  • Centralizer: The centralizer is a Klein-four group, of type (4).
  • Normalizer: The normalizer is a dihedral group of order eight, of type (7).

The two-element subgroup generated by a double transposition (type (3))

There are three such subgroups. In the symmetric group on \{ 1,2,3,4\}, these are given by:

\{ (), (1,2)(3,4) \}, \{ (1,3)(2,4) \}, \{ (1,4)(2,3) \}.

These three subgroups are in bijection with the three subgroups of type (4) via the centralizer operation, and also with the three 2-Sylow subgroups of order eight (type (7)) via the normalizer operation.

Subgroup properties satisfied by these subgroups

Subgroup properties not satisfied by these subgroups

Effect of operators

  • Normal closure: The normal closure is the Klein-four group, type (5).
  • Normalizer: The normalizer is a dihedral group. Each of these subgroups has a different dihedral group as its normalizer.
  • Centralizer: The centralizer is the same as the normal closure.

The non-normal Klein-four groups (type (4))

There are three such groups. These three groups are in bijection with the three subgroups of type (3) discussed above via the centralizer operation, and also with the three 2-Sylow subgroups, via the normalizer operation.

\{ (), (1,2), (3,4), (1,2)(3,4) \}, \{ (), (1,3), (2,4), (1,3)(2,4) \}, \{ (), (1,4), (2,3), (1,4)(2,3) \}

Subgroup properties satisfied by these subgroups

Subgroup properties not satisfied by these subgroups