Difference between revisions of "Symmetric group:S4"
(→Arithmetic functions of a counting nature) |
(→Basic arithmetic functions) |
||
(18 intermediate revisions by the same user not shown) | |||
Line 8: | Line 8: | ||
* The group of all permutations, i.e., the [[member of family::symmetric group]][[member of family::symmetric group on finite set| ]] on a set of size four. In particular, it is a [[member of family::symmetric group of prime power degree]]. | * The group of all permutations, i.e., the [[member of family::symmetric group]][[member of family::symmetric group on finite set| ]] on a set of size four. In particular, it is a [[member of family::symmetric group of prime power degree]]. | ||
− | * The [[member of family::triangle group]] (''not'' the [[von Dyck group]], but its double) <math>\Delta(3,3 | + | * The [[member of family::triangle group]] (''not'' the [[von Dyck group]], but its double) <math>\Delta(2,3,3)</math>. In other words, it has the [[presentation]] (where <math>e</math> denotes the identity element): |
− | <math>\langle s_1, s_2, s_3 \mid s_1^2 = s_2^2 = s_3^2 = e, (s_1s_2)^ | + | <math>\langle s_1, s_2, s_3 \mid s_1^2 = s_2^2 = s_3^2 = e, (s_1s_2)^2 = (s_2s_3)^3 = (s_1s_3)^3 = e \rangle</math>. |
− | |||
− | |||
In particular, it is a [[member of family::Coxeter group]]. | In particular, it is a [[member of family::Coxeter group]]. | ||
* The '''full tetrahedral group''': The group of all (not necessarily orientation-preserving) symmetries of the [[regular tetrahedron]]. This is denoted as <math>T_h</math>. | * The '''full tetrahedral group''': The group of all (not necessarily orientation-preserving) symmetries of the [[regular tetrahedron]]. This is denoted as <math>T_h</math>. | ||
− | * The [[member of family::von Dyck group]] with parameters <math>(4,3,2)</math>. In other words, it has the presentation: | + | * The [[member of family::von Dyck group]] with parameters <math>(2,3,4)</math> (sometimes written in reverse order as <math>(4,3,2)</math>). In other words, it has the presentation (with <math>e</math> denoting the identity element): |
− | <math>\langle a,b,c \mid a^ | + | <math>\langle a,b,c \mid a^2 = b^3 = c^4 = abc = e \rangle</math>. |
* The '''octahedral group''' or '''cube group''': group of orientation-preserving symmetries of the cube (or equivalently, the octahedron). This is denoted as <math>O</math>. | * The '''octahedral group''' or '''cube group''': group of orientation-preserving symmetries of the cube (or equivalently, the octahedron). This is denoted as <math>O</math>. | ||
Line 31: | Line 29: | ||
* [[Full tetrahedral group is isomorphic to S4]] | * [[Full tetrahedral group is isomorphic to S4]] | ||
− | * [[von Dyck group with parameters ( | + | * [[Octahedral group is isomorphic to S4]] |
+ | * [[Triangle group with parameters (2,3,3) is isomorphic to S4]] | ||
+ | * [[von Dyck group with parameters (2,3,4) is isomorphic to S4]] | ||
* [[PGL(2,3) is isomorphic to S4]] | * [[PGL(2,3) is isomorphic to S4]] | ||
* [[GA(2,2) is isomorphic to S4]] | * [[GA(2,2) is isomorphic to S4]] | ||
Line 45: | Line 45: | ||
| [[member of family::Coxeter group]] || has a presentation of a particular form || Coxeter matrix describing the presentation || || {{#ask: [[member of family::Coxeter group]]|limit = 0|searchlabel = click here for a list}}|| [[symmetric groups on finite sets are Coxeter groups]] | | [[member of family::Coxeter group]] || has a presentation of a particular form || Coxeter matrix describing the presentation || || {{#ask: [[member of family::Coxeter group]]|limit = 0|searchlabel = click here for a list}}|| [[symmetric groups on finite sets are Coxeter groups]] | ||
|- | |- | ||
− | | [[member of family::von Dyck group]] || <math>\langle a,b,c \mid a^p = b^q = c^r = abc = e \rangle</math> || <math>(p,q,r)</math>|| ( | + | | [[member of family::von Dyck group]] || <math>\langle a,b,c \mid a^p = b^q = c^r = abc = e \rangle</math> || <math>(p,q,r)</math>|| (2,3,4) || {{#ask: [[member of family::von Dyck group]]|limit = 0|searchlabel = click here for a list}}|| <math>S_4</math> is a spherical von Dyck group, i.e., it occurs as a finite subgroup of <math>SO(3,\R)</math>. In particular, this makes it a [[Coxeter group]]. {{further|[[Classification of finite subgroups of SO(3,R)]]}} |
|- | |- | ||
− | | [[member of family::triangle group]] || <math>\langle s_1,s_2,s_3 \mid s_1^2 = s_2^2 = s_3^2 = (s_1s_2)^p = (s_2s_3)^q = (s_3s_1)^r = e \rangle</math> || <math>(p,q,r)</math>|| (3,3 | + | | [[member of family::triangle group]] || <math>\langle s_1,s_2,s_3 \mid s_1^2 = s_2^2 = s_3^2 = (s_1s_2)^p = (s_2s_3)^q = (s_3s_1)^r = e \rangle</math> || <math>(p,q,r)</math>|| (2,3,3) || {{#ask: [[member of family::triangle group]]|limit = 0|searchlabel = click here for a list}} || <math>S_4</math> is a spherical triangle group |
|- | |- | ||
| [[member of family::projective general linear group]] || [[projective general linear group]] of given degree over a given field || name of field, degree || [[field:F3]] (size three), [[projective general linear group of degree two|degree two]] || || | | [[member of family::projective general linear group]] || [[projective general linear group]] of given degree over a given field || name of field, degree || [[field:F3]] (size three), [[projective general linear group of degree two|degree two]] || || | ||
Line 60: | Line 60: | ||
! Function !! Value !! Similar groups !! Explanation for function value | ! Function !! Value !! Similar groups !! Explanation for function value | ||
|- | |- | ||
− | | {{arithmetic function value order|24}} || As <math>\! | + | | {{arithmetic function value order|24}} || As <math>\! S_n, n = 4:</math> <math>\! n! = 4! = 4 \cdot 3 \cdot 2 \cdot 1 = 24</math> <br><br> as <math>\! PGL(2,q), q = 3:</math> <math>\!q^3 - q = 3^3 - 3 = 24</math><br><br>As <math>\! GA(2,q), q = 2:</math> <math>\! q^2 \cdot (q^2 - 1) \cdot (q^2 - q) = 2^2 \cdot (2^2 - 1)(2^2 - 2) = 4 \cdot 3 \cdot 2 = 24</math><br>As <math>\! PSL(2,\mathbb{Z}_4)</math>, where <math>\mathbb{Z}_4</math> is a length <math>l = 2</math> DVR over a field of size <math>q = 2</math>:<br><math>q^{3l - 2}(q - 1)(q +1)/m</math> where <math>m</math> is the number of square roots of unity in the ring. In this case, <math>m = 2</math> and we get <math>2^{3(2) - 2}(2 - 1)(2 + 1)/2 = 24</math><br>As <math>\Gamma A (1,q), q = 4, q = p^r, p = 2, r = 2</math>: <math>rq(q - 1) = 2(4)(4 - 1) = 24</math><br>As [[triangle group]] with parameters <math>(p,q,r) = (2,3,3)</math>: <math>\frac{4}{1/p + 1/q +1/r - 1} = \frac{4}{1/2 + 1/3 + 1/3 - 1} = \frac{4}{1/6} = 24</math><br>As [[von Dyck group]] with parameters <math>(p,q,r) = (2,3,4)</math>: <math>\frac{2}{1/p + 1/q + 1/r - 1} = \frac{2}{1/2 + 1/3 + 1/4 - 1} = \frac{2}{1/12} = 24</math><br><br>More information at [[element structure of symmetric group:S4#Order computation]] |
|- | |- | ||
− | | {{arithmetic function value exponent given order|12|24}} || | + | | {{arithmetic function value exponent given order|12|24}} || As <math>S_n, n = 4</math>: <math>\operatorname{lcm} \{1,2,\dots,n \} = \operatorname{lcm} \{ 1,2,3,4 \} = 12</math> |
|- | |- | ||
| {{arithmetic function value given order|derived length|3|24}} || Derived series goes through [[alternating group:A4]] and Klein four-group of double transpositions. | | {{arithmetic function value given order|derived length|3|24}} || Derived series goes through [[alternating group:A4]] and Klein four-group of double transpositions. | ||
Line 119: | Line 119: | ||
|[[Dissatisfies property::Supersolvable group]] || No || No [[cyclic normal subgroup]] || <math>S_n</math> is not supersolvable, <math>n \ge 4</math>. | |[[Dissatisfies property::Supersolvable group]] || No || No [[cyclic normal subgroup]] || <math>S_n</math> is not supersolvable, <math>n \ge 4</math>. | ||
|- | |- | ||
− | |[[Satisfies property::Solvable group]] || Yes || Length three, | + | |[[Satisfies property::Solvable group]] || Yes || Length three, [[derived subgroup]] is [[A4 in S4]], its derived subgroup is [[Klein four-group]] || Largest <math>n</math> for which <math>S_n</math> is solvable. |
|- | |- | ||
|[[Dissatisfies property::T-group]] || No || Double transposition generates non-normal [[2-subnormal subgroup]] || Only <math>n</math> for which <math>S_n</math> isn't a T-group. | |[[Dissatisfies property::T-group]] || No || Double transposition generates non-normal [[2-subnormal subgroup]] || Only <math>n</math> for which <math>S_n</math> isn't a T-group. | ||
Line 208: | Line 208: | ||
The symmetric group <math>S_4</math> is contained in higher symmetric groups, most notably the [[symmetric group:S5|symmetric group on five elements]] <math>S_5</math>. | The symmetric group <math>S_4</math> is contained in higher symmetric groups, most notably the [[symmetric group:S5|symmetric group on five elements]] <math>S_5</math>. | ||
− | ==Extensions== | + | ===Extensions=== |
These include <math>GL(2,3)</math> whose [[inner automorphism group]] is <math>S_4</math> (specifically <math>S_4</math> is the quotient of <math>GL(2,3)</math> by its scalar matrices). | These include <math>GL(2,3)</math> whose [[inner automorphism group]] is <math>S_4</math> (specifically <math>S_4</math> is the quotient of <math>GL(2,3)</math> by its scalar matrices). | ||
+ | ==GAP implementation== | ||
− | + | {{access GAP implementation online using SAGE|id=5011}} | |
{{GAP ID|24|12}} | {{GAP ID|24|12}} | ||
Line 220: | Line 221: | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
− | ! Description !! Functions used !! | + | ! Description !! Functions used !! Group storage format (verification command) !! Memory usage |
|- | |- | ||
− | | <tt>SymmetricGroup(4)</tt> || [[GAP:SymmetricGroup|SymmetricGroup]] || | + | | <tt>SymmetricGroup(4)</tt> || [[GAP:SymmetricGroup|SymmetricGroup]] || permutation group (<tt>IsPermGroup</tt>) || 189 |
|- | |- | ||
− | | <tt>PGL(2,3)</tt> || [[GAP:PGL|PGL]] || | + | | <tt>PGL(2,3)</tt> || [[GAP:PGL|PGL]] || permutation group (<tt>IsPermGroup</tt>) || 2023 |
|} | |} |
Revision as of 17:29, 19 May 2014
ALSO CHECK OUT: Quiz (multiple choice questions to test your understanding) |
This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]
Definition
The symmetric group or , also termed the symmetric group of degree four, is defined in the following equivalent ways:
- The group of all permutations, i.e., the symmetric group on a set of size four. In particular, it is a symmetric group of prime power degree.
- The triangle group (not the von Dyck group, but its double) . In other words, it has the presentation (where denotes the identity element):
.
In particular, it is a Coxeter group.
- The full tetrahedral group: The group of all (not necessarily orientation-preserving) symmetries of the regular tetrahedron. This is denoted as .
- The von Dyck group with parameters (sometimes written in reverse order as ). In other words, it has the presentation (with denoting the identity element):
.
- The octahedral group or cube group: group of orientation-preserving symmetries of the cube (or equivalently, the octahedron). This is denoted as .
- The projective general linear group of degree two over the field of three elements: .
- The general affine group of degree two over the field of two elements: .
- The projective special linear group of degree two over ring:Z4, the ring of the integers modulo 4: .
- The general semiaffine group of degree one over field:F4, i.e., the group or .
Equivalence of definitions
The following is a list of proofs of the equivalence of various definitions:
- Full tetrahedral group is isomorphic to S4
- Octahedral group is isomorphic to S4
- Triangle group with parameters (2,3,3) is isomorphic to S4
- von Dyck group with parameters (2,3,4) is isomorphic to S4
- PGL(2,3) is isomorphic to S4
- GA(2,2) is isomorphic to S4
- PSL(2,Z4) is isomorphic to S4
Families
Generic name for family member | Definition | Parametrization of family | Parameter value(s) for this member | Other members | Comments |
---|---|---|---|---|---|
symmetric group on finite set | group of all permutations on a finite set | by a nonnegative integer, denoting size of set acted on | 4 | click here for a list | |
Coxeter group | has a presentation of a particular form | Coxeter matrix describing the presentation | click here for a list | symmetric groups on finite sets are Coxeter groups | |
von Dyck group | (2,3,4) | click here for a list | is a spherical von Dyck group, i.e., it occurs as a finite subgroup of . In particular, this makes it a Coxeter group. Further information: Classification of finite subgroups of SO(3,R) | ||
triangle group | (2,3,3) | click here for a list | is a spherical triangle group | ||
projective general linear group | projective general linear group of given degree over a given field | name of field, degree | field:F3 (size three), degree two |
Arithmetic functions
Want to compare and contrast arithmetic function values with other groups of the same order? Check out groups of order 24#Arithmetic functions
Basic arithmetic functions
Arithmetic functions of a counting nature
Lists of numerical invariants
Group properties
COMPARE AND CONTRAST: Want to know more about how this group compares with symmetric groups of other degrees? Read contrasting symmetric groups of various degrees.
Property | Satisfied | Explanation | Comment |
---|---|---|---|
Abelian group | No | , don't commute | is non-abelian, . |
Nilpotent group | No | Centerless: The center is trivial | is non-nilpotent, . |
Metacyclic group | No | No cyclic normal subgroup | is not metacyclic, . |
Supersolvable group | No | No cyclic normal subgroup | is not supersolvable, . |
Solvable group | Yes | Length three, derived subgroup is A4 in S4, its derived subgroup is Klein four-group | Largest for which is solvable. |
T-group | No | Double transposition generates non-normal 2-subnormal subgroup | Only for which isn't a T-group. |
HN-group | No | Double transposition generates subnormal non-hypernormalized subgroup | Only for which isn't hypernormalized. |
Complete group | Yes | Centerless and every automorphism's inner | Symmetric groups are complete except the ones of degree . |
Monolithic group | Yes | Monolith is the Klein four-group of double transpositions | All symmetric groups are monolithic; is the only case the monolith is not the alternating group. |
One-headed group | Yes | The alternating group is the unique maximal normal subgroup | True for all . |
Group having subgroups of all orders dividing the group order | Yes | (See subgroup list) | Largest for which this is true. |
Rational-representation group | Yes | Symmetric groups are rational-representation | |
Rational group | Yes | Symmetric groups are rational | Also see classification of rational dihedral groups |
Ambivalent group | Yes | Symmetric groups are ambivalent |
Endomorphisms
Automorphisms
Since is a complete group, it is isomorphic to its automorphism group, where each element of acts on by conjugation. In fact, for , the symmetric group is a complete group. Further information: Symmetric groups on finite sets are complete
Endomorphisms
admits four kinds of endomorphisms (that is, it admits more endomorphisms, but any endomorphism is equivalent via an automorphism to one of these four):
- The endomorphism to the trivial group
- The identity map
- The retraction to a group of order two, given by the sign homomorphism.
- The retraction to a symmetric group on three of the elements, with kernel being the Klein four-group comprising the identity element and the double transpositions. (Note that all such retractions are equivalent, and there are other equivalent endomorphisms obtained by composing such a retraction with an automorphism).
Elements
Further information: element structure of symmetric group:S4
Conjugacy class structure
There are five conjugacy classes, corresponding to the cycle types, because cycle type determines conjugacy class. Further, each cycle type corresponds to a partition of .
Partition | Partition in grouped form | Verbal description of cycle type | Elements with the cycle type | Size of conjugacy class | Formula for size | Even or odd? If even, splits? If splits, real in alternating group? | Element order | Formula calculating element order |
---|---|---|---|---|---|---|---|---|
1 + 1 + 1 + 1 | 1 (4 times) | four cycles of size one each, i.e., four fixed points | -- the identity element | 1 | even; no | 1 | ||
2 + 1 + 1 | 2 (1 time), 1 (2 times) | one transposition (cycle of size two), two fixed points | , , , , , | 6 | , also | odd | 2 | |
2 + 2 | 2 (2 times) | double transposition: two cycles of size two | , , | 3 | even; no | 2 | ||
3 + 1 | 3 (1 time), 1 (1 time) | one 3-cycle, one fixed point | , , , , , , , | 8 | or | even; yes; no | 3 | |
4 | 4 (1 time) | one 4-cycle, no fixed points | , , , , , | 6 | or | odd | 4 | |
Total (5 rows, 5 being the number of unordered integer partitions of 4) | -- | -- | -- | 24 (equals 4!, the order of the whole group) | -- | odd: 12 (2 classes) even; no: 4 (2 classes) even; yes; no: 8 (1 class) |
order 1: 1 (1 class) order 2: 9 (2 classes) order 3: 8 (1 class) order 4: 6 (1 class) |
-- |
Automorphism class structure
Since is a complete group, all its automorphisms are inner automorphisms, and, in particular, the classification of elements up to conjugacy is the same as the classification up to automorphisms.
Subgroups
Further information: Subgroup structure of symmetric group:S4
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.
Subgroup-defining functions
Subgroup-defining function | Subgroup type in list | Isomorphism class | Comment |
---|---|---|---|
Center | trivial subgroup | trivial group | The group is centerless |
Derived subgroup | A4 in S4 | alternating group:A4 | |
Frattini subgroup | trivial subgroup | trivial group | The normal cores of the maximal subgroups of orders and intersect trivially. |
Socle | normal Klein four-subgroup of symmetric group:S4 | Klein four-group | This subgroup is the unique minimal normal subgroup, i.e., the monolith, and the group is monolithic. |
Linear representation theory
Further information: Linear representation theory of symmetric group:S4
Summary
Item | Value |
---|---|
Degrees of irreducible representations over a splitting field | 1,1,2,3,3 maximum: 3, lcm: 6, number: 5, sum of squares: 24, quasirandom degree: 1 |
Schur index values of irreducible representations | 1,1,1,1,1 maximum: 1, lcm: 1 |
Smallest ring of realization for all irreducible representations (characteristic zero) | Same as ring generated by character values |
Smallest field of realization for all irreducible representations, i.e., minimal splitting field (characteristic zero) | (hence it is a rational representation group) Same as field generated by character values |
Condition for being a splitting field for this group | Any field of characteristic not two or three is a splitting field. |
minimal splitting field in characteristic | prime field |
Smallest size splitting field | Field:F5, i.e., the field with five elements. |
Character table
Representation/Conjugacy class representative and size | (identity element) (size 1) | (size 3) | (size 6) | (size 6) | (size 8) |
---|---|---|---|---|---|
Trivial representation | 1 | 1 | 1 | 1 | 1 |
Sign representation | 1 | 1 | -1 | -1 | 1 |
Irreducible representation of degree two with kernel of order four | 2 | 2 | 0 | 0 | -1 |
Standard representation | 3 | -1 | 1 | -1 | 0 |
Product of standard and sign representations | 3 | -1 | -1 | 1 | 0 |
Supergroups
Further information: supergroups of symmetric group:S4
The symmetric group is contained in higher symmetric groups, most notably the symmetric group on five elements .
Extensions
These include whose inner automorphism group is (specifically is the quotient of by its scalar matrices).
GAP implementation
Group ID
This finite group has order 24 and has ID 12 among the groups of order 24 in GAP's SmallGroup library. For context, there are 15 groups of order 24. It can thus be defined using GAP's SmallGroup function as:
SmallGroup(24,12)
For instance, we can use the following assignment in GAP to create the group and name it :
gap> G := SmallGroup(24,12);
Conversely, to check whether a given group is in fact the group we want, we can use GAP's IdGroup function:
IdGroup(G) = [24,12]
or just do:
IdGroup(G)
to have GAP output the group ID, that we can then compare to what we want.
Short descriptions
Description | Functions used | Group storage format (verification command) | Memory usage |
---|---|---|---|
SymmetricGroup(4) | SymmetricGroup | permutation group (IsPermGroup) | 189 |
PGL(2,3) | PGL | permutation group (IsPermGroup) | 2023 |