Intereting Posts

Treating shocks with conservation laws
Prove that $ND = DN$ where $D$ is a diagonalizable and $N$ is a nilpotent matrix.
Computability, Continuity and Constructivism
A right angle at the focus of a hyperbola
Compositum of abelian Galois extensions is also?
Solve for $x$ in the $80^\circ$-$80^\circ$-$20^\circ$ triangle
If both $A-\frac{1}{2}I$ and $A + \frac{1}{2}I$ are orthogonal matrices, then…
Orthonormal Basis for Hilbert Spaces
The number of solutions to an $n^{th}$ order differential equation.
If $p$ is prime, then $n\mid\varphi(p^n-1)$
How can I find an upper bound for the radius of an arc, given arc length and chord length?
Minimum / Maximum and other Advanced Properties of the Covariance of Two Random Variables
Intuition in algebra?
Exponential equation+derivative
Frobenius coin problem

What are all the subgroups of $S_6$ up to isomorphism? I have been able to find a few listings but not one I can be sure is complete.

- Counterexample for a principal ring
- If $R$ is a local ring, is $R]$ (the ring of formal power series) also a local ring?
- $p\mid $ then $p\mid $
- Shorter proof of $R/I$ is a field if and only if $I$ is maximal
- Show that $\mathbb{A}^n$ on the Zariski Topology is not Hausdorff, but it is $T_1$
- How are simple groups the building blocks?
- If G is a group of order n=35, then it is cyclic
- Subalgebra generated by Rotations
- Prove $S_4$ has only 1 subgroup of order 12
- Unit and counit are close to being inverses

The following line requests that GAP compute all conjugacy classes of subgroups of $S_6$, take a representative of each, take its isomorphism class (ignoring duplicates), construct a platonic example of such a group, and then describe its structure.

gap> List( List( Set( List( ConjugacyClassesSubgroups(SymmetricGroup(6)), > Representative), IdGroup), SmallGroup), StructureDescription); [ "1", "C2", "C3", "C4", "C2 x C2", "C5", "S3", "C6", "C4 x C2", "D8", "C2 x C2 x C2", "C3 x C3", "D10", "A4", "D12", "C2 x D8", "C3 x S3", "(C3 x C3) : C2", "C5 : C4", "S4", "C2 x A4", "(C3 x C3) : C4", "S3 x S3", "C2 x S4", "A5", "(S3 x S3) : C2", "S5", "A6", "S6" ]

The groups with “:” in their descriptions are not uniquely defined by their descriptions amongst all finite groups, but are amongst the subgroups of $S_6$.

“(C3 x C3) : C2” describes the wreath product $C_3 \wr S_2$,

“C5 : C4” describes the Frobenius group of order 20 (the normalizer of a Sylow 5-subgroup),

“(C3 x C3) : C4” describes $\langle (1,2,3),(3,6)(1,4,2,5) \rangle$, and

“(S3 x S3) : C2” describes the wreath product $S_3 \wr S_2$.

C$n$ is the cyclic group of order $n$, D$n$ is the dihedral group of order $n$, S$n$ is the symmetric group on $n$ points, A$n$ is the alternating group on $n$ points.

The GroupProps Subwiki is a decent resource for information about small groups (up to isomorphism) and their subgroups.

Drilling down a level we learn that $S_6$ is unique among the symmetric groups in having a different number of conjugacy classes (56) from automorphism classes (37) of subgroups. That is, there are subgroups of $S_6$ which are isomorphic under an outer automorphism of $S_6$ but not under an inner automorphism (conjugacy).

Unfortunately the latter Wiki page has a very incomplete “Table classifying subgroups up to conjugacy”, listing only 4 of the 56 conjugacy classes. Of course equivalence up to isomorphism is even coarser than equivalence up to automorphism (of the whole group $S_6$). A paper at arxiv.org lists 29 such subgroups up to isomorphism (in an applied context):

$$ D_6, D_3, D_2, Z_6, Z_3, Z_2, D_3\times D_3, Z_3×Z_3, (Z_3\times Z_3)⋊ Z_2,

D_3 \times Z_3, Z_2 \times Z_2 \times Z_2, S_3 ≀ Z_2, Z_4, Z_5, D_4, Z_2 \times Z_4, D_4, D_5, A_4, D_4 \times Z_2, Z_5 ⋊ Z_4,

A_4 \times Z_2, S_4, (Z_3 \times Z_3) ⋊ Z_4, S_4 \times Z_2, A_5, S_5, A_6, S_6 $$

and references a PDF that lists by order/index the 56 conjugacy classes of $S_6$ subgroups from this Web site. There is an *error* in this list, as $D_4$ appears twice and the trivial group $Z_1$ is omitted.

For comparison with Jack Schmidt’s Answer, the $Z_n$ here are the cyclic groups denoted $C_n$ by `GAP`

. As Derek Holt points out, the notation here for dihedral group of order $2n$ is $D_n$, where `GAP`

uses $D_{2n}$. There’s a redundancy in that $D_3 \cong S_3$, yet here both are used.

- For $a,b,c$ positive real numbers can it be true that: $(ab+bc+ca)^3 \ge (a^2+2b^2)(b^2+2c^2)(c^2+2a^2)$
- The empty set in homotopy theoretic terms (as a simplicial set/top. space)
- What are the vertices of a regular tetrahedron embeded in a sphere of radius R
- How to determine which amounts of postage can be formed by using just 4 cent and 11 cent stamps?
- Liouville's theorem for Banach spaces without the Hahn-Banach theorem?
- Element of a Singleton (set with one element) notation
- Is the unique least norm solution to $Ax=b$ the orthogonal projection of b onto $R(A)$?
- What is an approximation for Poisson binomial distribution?
- Are polynomials dense in $C^k\left(\bar{B}\right)$?
- Evaluate $\lim\limits_{n\to\infty}(1+x)(1+x^2)\cdots(1+x^{2n}),|x|<1$
- How to find $x^{2000}+x^{-2000}$ when $x + x^{-1} = \frac{1}{2}(1 + \sqrt{5})$
- Intermediate Text in Combinatorics?
- What books to use to start studying Mathematical Logic?
- Why is it impossible to define multiplication in Presburger arithmetic yet possible to define exponentiation in Peano Arithmethic?
- Holomorphic Parameter Integral