Difference between revisions of "Subgroup structure of symmetric group:S4"
(→Tables for quick information) |
(→Table classifying subgroups up to automorphisms) |
||
(28 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | {{quiz ad}} | ||
{{group-specific information| | {{group-specific information| | ||
information type = subgroup structure| | information type = subgroup structure| | ||
Line 8: | Line 9: | ||
Note that since <math>S_4</math> 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]]. | Note that since <math>S_4</math> 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]]. | ||
− | + | ==Tables for quick information== | |
− | + | ||
− | + | {{finite solvable group subgroup structure facts to check against}} | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | == | + | <section begin="summary"/> |
+ | ===Quick summary=== | ||
+ | {| class="sortable" border="1" | ||
+ | ! Item !! Value | ||
+ | |- | ||
+ | | [[Number of subgroups]] || 30<br>Compared with <math>S_n, n = 1,2,3,4,5,\dots</math>: 1,2,6,'''30''',156,1455,11300, 151221 | ||
+ | |- | ||
+ | | [[Number of conjugacy classes of subgroups]] || 11<br>Compared with <math>S_n, n = 1,2,3,4,5,\dots</math>: 1,2,4,'''11''',19,56,96,296,554,1593 | ||
+ | |- | ||
+ | | [[Number of automorphism classes of subgroups]] || 11<br>Compared with <math>S_n, n = 1,2,3,4,5,\dots</math>: 1,2,4,'''11''',19,37,96,296,554,1593 | ||
+ | |- | ||
+ | | Isomorphism classes of [[Sylow subgroup]]s and the corresponding [[Sylow number]]s and [[fusion system]]s || 2-Sylow: [[dihedral group:D8]] (order 8), Sylow number is 3, fusion system is [[non-inner non-simple fusion system for dihedral group:D8]]<br>3-Sylow: [[cyclic group:Z3]], Sylow number is 4, fusion system is [[non-inner fusion system for cyclic group:Z3]] | ||
+ | |- | ||
+ | | [[Hall subgroup]]s || Given that the order has only two distinct prime factors, the Hall subgroups are the whole group, trivial subgroup, and Sylow subgroups | ||
+ | |- | ||
+ | | [[maximal subgroup]]s || maximal subgroups have order 6 ([[S3 in S4]]), 8 ([[D8 in S4]]), and 12 ([[A4 in S4]]). | ||
+ | |- | ||
+ | | [[normal subgroup]]s || There are four normal subgroups: the whole group, the trivial subgroup, [[A4 in S4]], and [[normal V4 in S4]]. | ||
+ | |} | ||
===Table classifying subgroups up to automorphisms=== | ===Table classifying subgroups up to automorphisms=== | ||
+ | {{subgroup order sorting note}} | ||
+ | |||
+ | <small> | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
− | ! Automorphism class of subgroups !! Isomorphism class !! Number of conjugacy classes !! Size of each conjugacy class !! Isomorphism class of quotient (if exists) !! [[Subnormal depth]] (if subnormal) | + | ! Automorphism class of subgroups !! Representative !! Isomorphism class !! [[Order of a group|Order]] of subgroups !! [[Index of a subgroup|Index]] of subgroups !! Number of conjugacy classes (=1 iff [[automorph-conjugate subgroup]]) !! Size of each conjugacy class (=1 iff [[normal subgroup]]) !! Number of subgroups (=1 iff [[characteristic subgroup]])!! Isomorphism class of quotient (if exists) !! [[Subnormal depth]] (if subnormal) !! Note |
+ | |- | ||
+ | | trivial subgroup || <math>\{ () \}</math> || [[trivial group]] || 1 || 24 || 1 || 1 || 1 || [[symmetric group:S4]] || 1 || | ||
|- | |- | ||
− | | | + | | [[S2 in S4]] || <math>\{ (), (1,2) \}</math> || [[cyclic group:Z2]] || 2 || 12 || 1 || 6 || 6 || -- || -- || |
|- | |- | ||
− | | [[ | + | | [[subgroup generated by double transposition in S4]] || <math>\{ (), (1,2)(3,4) \}</math> || [[cyclic group:Z2]] || 2 || 12 || 1 || 3 || 3 || -- || 2 || |
|- | |- | ||
− | | [[ | + | | [[Z4 in S4]] || <math>\langle (1,2,3,4) \rangle</math> || [[cyclic group:Z4]] || 4 || 6 || 1 || 3 || 3 || -- || -- || |
|- | |- | ||
− | | [[ | + | | [[normal Klein four-subgroup of S4]] || <math>\{ (), (1,2)(3,4), </math><br><math>(1,3)(2,4), (1,4)(2,3) \}</math> || [[Klein four-group]] || 4 || 6 || 1 || 1 || 1 || [[symmetric group:S3]] || 1 || 2-core |
|- | |- | ||
− | | [[ | + | | [[non-normal Klein four-subgroups of S4]] || <math>\langle (1,2), (3,4) \rangle</math> || [[Klein four-group]] || 4 || 6 || 1 || 3 || 3 || -- || -- || |
|- | |- | ||
− | | [[ | + | | [[D8 in S4]] || <math>\langle (1,2,3,4), (1,3) \rangle</math> || [[dihedral group:D8]] || 8 || 3 || 1 || 3 || 3 || -- || -- || 2-Sylow, fusion system is [[non-inner non-simple fusion system for dihedral group:D8]] |
|- | |- | ||
− | | [[ | + | | [[A3 in S4]] || <math>\{ (), (1,2,3), (1,3,2) \}</math> || [[cyclic group:Z3]] || 3 || 8 || 1 || 4 || 4 || -- || -- || 3-Sylow, fusion system is [[non-inner fusion system for cyclic group:Z3]] |
|- | |- | ||
− | | [[S3 in S4]] || [[symmetric group:S3]] || 1 || 4 || -- || -- | + | | [[S3 in S4]] || <math>\langle (1,2,3), (1,2) \rangle</math> ||[[symmetric group:S3]] || 6 || 4 || 1 || 4 || 4 || -- || -- || |
|- | |- | ||
− | | [[ | + | | [[A4 in S4]] || <math>\langle (1,2,3), (1,2)(3,4) \rangle</math> || [[alternating group:A4]] || 12 || 2 || 1 || 1 || 1 || [[cyclic group:Z2]] || 1 || |
|- | |- | ||
− | | | + | | whole group || <math>\langle (1,2,3,4), (1,2) \rangle</math> || [[symmetric group:S4]] || 24 || 1 || 1 || 1 || 1 || [[trivial group]] || 0 || |
|- | |- | ||
− | + | ! Total (11 rows) !! -- !! -- !! -- !! -- !! 11 !! -- !! 30 !! -- !! -- !! -- | |
|} | |} | ||
+ | </small> | ||
+ | <section end="summary"/> | ||
===Table classifying isomorphism types of subgroups=== | ===Table classifying isomorphism types of subgroups=== | ||
Line 73: | Line 91: | ||
| [[Symmetric group:S4]] || 24 || 12 || 1 || 1 || 1 || 1 | | [[Symmetric group:S4]] || 24 || 12 || 1 || 1 || 1 || 1 | ||
|- | |- | ||
− | + | ! Total || -- || -- || 30 || 11 || 4 || 4 | |
|} | |} | ||
===Table listing number of subgroups by order=== | ===Table listing number of subgroups by order=== | ||
− | + | These numbers satisfy the [[congruence condition on number of subgroups of given prime power order]]: the number of subgroups of order <math>p^r</math> for a fixed nonnegative integer <math>r</math> is congruent to 1 mod <math>p</math>. For <math>p = 2</math>, this means the number is odd, and for <math>p = 3</math>, this means the number is congruent to 1 mod 3 (so it is among 1,4,7,...) | |
− | {| class=" | + | {| class="sortable" border="1" |
! Group order !! Occurrences as subgroup !! Conjugacy classes of occurrence as subgroup !! Occurrences as normal subgroup !! Occurrences as characteristic subgroup | ! Group order !! Occurrences as subgroup !! Conjugacy classes of occurrence as subgroup !! Occurrences as normal subgroup !! Occurrences as characteristic subgroup | ||
|- | |- | ||
Line 99: | Line 117: | ||
| 24 || 1 || 1 || 1 || 1 | | 24 || 1 || 1 || 1 || 1 | ||
|- | |- | ||
− | + | ! Total || 30 || 11 || 4 || 4 | |
|} | |} | ||
+ | |||
===Table listing numbers of subgroups by group property=== | ===Table listing numbers of subgroups by group property=== | ||
− | {| class=" | + | {| class="sortable" border="1" |
! Group property !! Occurrences as subgroup !! Conjugacy classes of occurrence as subgroup !! Occurrences as normal subgroup !! Occurrences as characteristic subgroup | ! Group property !! Occurrences as subgroup !! Conjugacy classes of occurrence as subgroup !! Occurrences as normal subgroup !! Occurrences as characteristic subgroup | ||
|- | |- | ||
Line 112: | Line 131: | ||
|[[Nilpotent group]] || 24 || 8 || 2 || 2 | |[[Nilpotent group]] || 24 || 8 || 2 || 2 | ||
|- | |- | ||
− | |[[Solvable group]] || 30 || 11 || | + | |[[Solvable group]] || 30 || 11 || 4 || 4 |
|} | |} | ||
===Table listing numbers of subgroups by subgroup property=== | ===Table listing numbers of subgroups by subgroup property=== | ||
− | {| class=" | + | {| class="sortable" border="1" |
! Subgroup property !! Occurences as subgroup !! Conjugacy classes of occurrences as subgroup !! Automorphism classes of occurrences as subgroup | ! Subgroup property !! Occurences as subgroup !! Conjugacy classes of occurrences as subgroup !! Automorphism classes of occurrences as subgroup | ||
|- | |- | ||
|[[Subgroup]] || 30 || 11 || 11 | |[[Subgroup]] || 30 || 11 || 11 | ||
|- | |- | ||
− | |[[Normal subgroup]] || | + | |[[Normal subgroup]] || 4 || 4 || 4 |
|- | |- | ||
− | |[[Characteristic subgroup]] || | + | |[[Characteristic subgroup]] || 4 || 4 || 4 |
+ | |} | ||
+ | |||
+ | ==Subgroup structure viewed as symmetric group== | ||
+ | |||
+ | ===Classification based on partition given by orbit sizes=== | ||
+ | |||
+ | For any subgroup of <math>S_4</math>, the natural action on <math>\{ 1,2,3,4 \}</math> induces a partition of the set <math>\{ 1,2,3 \}</math> into orbits, which in turn induces an unordered integer partition of the number 4. Below, we classify this information for the subgroups. | ||
+ | |||
+ | {| class="sortable" border="1" | ||
+ | ! Conjugacy class of subgroups !! Size of conjugacy class !! Induced partition of 4 !! Direct product of transitive subgroups on each orbit? !! Illustration with representative | ||
|- | |- | ||
− | | | + | | trivial subgroup || 1 || 1 + 1 + 1 + 1 || Yes || The subgroup fixes each point, so the orbits are singleton subsets. |
|- | |- | ||
− | |[[ | + | | [[S2 in S4]] || 6 || 2 + 1 + 1 || Yes || <math>\{ (), (1,2) \}</math> has orbits <math>\{ 1,2 \}, \{ 3 \}, \{ 4 \}</math> |
|- | |- | ||
− | |[[ | + | | [[subgroup generated by double transposition in S4]] || 3 || 2 + 2 || No || <math>\{ (), (1,2)(3,4) \}</math> has orbits <math>\{ 1,2 \}, \{ 3, 4 \}</math> |
|- | |- | ||
− | |[[ | + | | [[A3 in S4]] || 4 || 3 + 1 || Yes || <math>\{ (), (1,2,3), (1,3,2) \}</math> has orbits <math>\{ 1,2,3 \}, \{ 4 \}</math> |
+ | |- | ||
+ | | [[Z4 in S4]] || 3 || 4 || Yes || The action is a [[transitive group action]], so only one orbit. | ||
+ | |- | ||
+ | | [[normal Klein four-subgroup of S4]] || 1 || 4 || Yes || The action is a [[transitive group action]], so only one orbit. | ||
+ | |- | ||
+ | | [[non-normal Klein four-subgroups of S4]] || 3 || 2 + 2 || Yes || <math>\langle (1,2), (3,4) \rangle</math> has orbits <math>\{ 1,2 \}, \{ 3,4 \}</math> | ||
+ | |- | ||
+ | | [[S3 in S4]] || 4 || 3 + 1 || Yes || <math>\langle (1,2,3), (1,2) \rangle</math> has orbits <math>\{ 1,2,3 \}, \{ 4 \}</math> | ||
+ | |- | ||
+ | | [[D8 in S4]] || 3 || 4 || Yes || The action is a [[transitive group action]], so only one orbit. | ||
+ | |- | ||
+ | | [[A4 in S4]] || 1 || 4 || Yes || The action is a [[transitive group action]], so only one orbit. | ||
+ | |- | ||
+ | | whole group || 1 || 4 || Yes || The action is a [[transitive group action]], so only one orbit. | ||
|} | |} | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− |
Latest revision as of 03:48, 18 February 2014
TAKE A QUIZ ON THIS TOPIC and test the quality of your understanding of it
This article gives specific information, namely, subgroup structure, about a particular group, namely: symmetric group:S4.
View subgroup structure of particular groups | View other specific information about symmetric group:S4
The symmetric group of degree four has many subgroups.
Note that since 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.
Tables for quick information
FACTS TO CHECK AGAINST FOR SUBGROUP STRUCTURE: (finite solvable group)
Lagrange's theorem (order of subgroup times index of subgroup equals order of whole group, so both divide it), |order of quotient group divides order of group (and equals index of corresponding normal subgroup)
Sylow subgroups exist, Sylow implies order-dominating, congruence condition on Sylow numbers|congruence condition on number of subgroups of given prime power order
Hall subgroups exist in finite solvable|Hall implies order-dominating in finite solvable| normal Hall implies permutably complemented, Hall retract implies order-conjugate
MINIMAL, MAXIMAL: minimal normal implies elementary abelian in finite solvable | maximal subgroup has prime power index in finite solvable group
Quick summary
Item | Value |
---|---|
Number of subgroups | 30 Compared with : 1,2,6,30,156,1455,11300, 151221 |
Number of conjugacy classes of subgroups | 11 Compared with : 1,2,4,11,19,56,96,296,554,1593 |
Number of automorphism classes of subgroups | 11 Compared with : 1,2,4,11,19,37,96,296,554,1593 |
Isomorphism classes of Sylow subgroups and the corresponding Sylow numbers and fusion systems | 2-Sylow: dihedral group:D8 (order 8), Sylow number is 3, fusion system is non-inner non-simple fusion system for dihedral group:D8 3-Sylow: cyclic group:Z3, Sylow number is 4, fusion system is non-inner fusion system for cyclic group:Z3 |
Hall subgroups | Given that the order has only two distinct prime factors, the Hall subgroups are the whole group, trivial subgroup, and Sylow subgroups |
maximal subgroups | maximal subgroups have order 6 (S3 in S4), 8 (D8 in S4), and 12 (A4 in S4). |
normal subgroups | There are four normal subgroups: the whole group, the trivial subgroup, A4 in S4, and normal V4 in S4. |
Table classifying subgroups up to automorphisms
TABLE SORTING AND INTERPRETATION: Note that the subgroups in the table below are sorted based on the powers of the prime divisors of the order, first covering the smallest prime in ascending order of powers, then powers of the next prime, then products of powers of the first two primes, then the third prime, then products of powers of the first and third, second and third, and all three primes. The rationale is to cluster together subgroups with similar prime powers in their order. The subgroups are not sorted by the magnitude of the order. To sort that way, click the sorting button for the order column. Similarly you can sort by index or by number of subgroups of the automorphism class.
Table classifying isomorphism types of subgroups
Group name | Order | Second part of GAP ID (first part is order) | Occurrences as subgroup | Conjugacy classes of occurrence as subgroup | Occurrences as normal subgroup | Occurrences as characteristic subgroup |
---|---|---|---|---|---|---|
Trivial group | 1 | 1 | 1 | 1 | 1 | 1 |
Cyclic group:Z2 | 2 | 1 | 9 | 2 | 0 | 0 |
Cyclic group:Z3 | 3 | 1 | 4 | 1 | 0 | 0 |
Cyclic group:Z4 | 4 | 1 | 3 | 1 | 0 | 0 |
Klein four-group | 4 | 2 | 4 | 2 | 1 | 1 |
Symmetric group:S3 | 6 | 1 | 4 | 1 | 0 | 0 |
Dihedral group:D8 | 8 | 3 | 3 | 1 | 0 | 0 |
Alternating group:A4 | 12 | 3 | 1 | 1 | 1 | 1 |
Symmetric group:S4 | 24 | 12 | 1 | 1 | 1 | 1 |
Total | -- | -- | 30 | 11 | 4 | 4 |
Table listing number of subgroups by order
These numbers satisfy the congruence condition on number of subgroups of given prime power order: the number of subgroups of order for a fixed nonnegative integer is congruent to 1 mod . For , this means the number is odd, and for , this means the number is congruent to 1 mod 3 (so it is among 1,4,7,...)
Group order | Occurrences as subgroup | Conjugacy classes of occurrence as subgroup | Occurrences as normal subgroup | Occurrences as characteristic subgroup |
---|---|---|---|---|
1 | 1 | 1 | 1 | 1 |
2 | 9 | 2 | 0 | 0 |
3 | 4 | 1 | 0 | 0 |
4 | 7 | 3 | 1 | 1 |
6 | 4 | 1 | 0 | 0 |
8 | 3 | 1 | 0 | 0 |
12 | 1 | 1 | 1 | 1 |
24 | 1 | 1 | 1 | 1 |
Total | 30 | 11 | 4 | 4 |
Table listing numbers of subgroups by group property
Group property | Occurrences as subgroup | Conjugacy classes of occurrence as subgroup | Occurrences as normal subgroup | Occurrences as characteristic subgroup |
---|---|---|---|---|
Cyclic group | 17 | 5 | 1 | 1 |
Abelian group | 21 | 7 | 2 | 2 |
Nilpotent group | 24 | 8 | 2 | 2 |
Solvable group | 30 | 11 | 4 | 4 |
Table listing numbers of subgroups by subgroup property
Subgroup property | Occurences as subgroup | Conjugacy classes of occurrences as subgroup | Automorphism classes of occurrences as subgroup |
---|---|---|---|
Subgroup | 30 | 11 | 11 |
Normal subgroup | 4 | 4 | 4 |
Characteristic subgroup | 4 | 4 | 4 |
Subgroup structure viewed as symmetric group
Classification based on partition given by orbit sizes
For any subgroup of , the natural action on induces a partition of the set into orbits, which in turn induces an unordered integer partition of the number 4. Below, we classify this information for the subgroups.
Conjugacy class of subgroups | Size of conjugacy class | Induced partition of 4 | Direct product of transitive subgroups on each orbit? | Illustration with representative |
---|---|---|---|---|
trivial subgroup | 1 | 1 + 1 + 1 + 1 | Yes | The subgroup fixes each point, so the orbits are singleton subsets. |
S2 in S4 | 6 | 2 + 1 + 1 | Yes | has orbits |
subgroup generated by double transposition in S4 | 3 | 2 + 2 | No | has orbits |
A3 in S4 | 4 | 3 + 1 | Yes | has orbits |
Z4 in S4 | 3 | 4 | Yes | The action is a transitive group action, so only one orbit. |
normal Klein four-subgroup of S4 | 1 | 4 | Yes | The action is a transitive group action, so only one orbit. |
non-normal Klein four-subgroups of S4 | 3 | 2 + 2 | Yes | has orbits |
S3 in S4 | 4 | 3 + 1 | Yes | has orbits |
D8 in S4 | 3 | 4 | Yes | The action is a transitive group action, so only one orbit. |
A4 in S4 | 1 | 4 | Yes | The action is a transitive group action, so only one orbit. |
whole group | 1 | 4 | Yes | The action is a transitive group action, so only one orbit. |