Intereting Posts

Why are nets not used more in the teaching of point-set topology?
Show that $f$ is identically zero if $|f(x)|\leq\int_0^xf(t)dt$
A nicer proof of Lagrange's 'best approximations' law?
Crossing the road
Prove that the set $\mathrm{Aut}(G)$ of all automorphisms of the group $G$ with the operation of taking the composition is a group
Non-constructive axiom of infinity
Units of polynomial rings over a field
Minimum of $|az_x-bz_y|$
Why is $|x|$ not differentiable at $x=0$?
If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.
Closed form of $\sum_{n=1}^{\infty} \frac{J_0(2n)}{n^2}$
Show that $A \cap B = B$ iff $A \cup B = A$, where $A \subseteq B$.
Do such sequences exist?
Proving that $X/R$ is Hausdorff $\implies$ $R$ closed.
Product of reflections is a rotation, by elementary vector methods

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.

- Prove that for each prime $p$ there exists a nonabelian group of order $p^3$
- What's an easy way of proving a subgroup is normal?
- Computing easy direct limit of groups
- Let $G$ be a group of order $2p$ , where $p$ is a prime greater than $2$. Then, G is isomorphic to $\mathbb{Z}_{2p}$ or $D_p$
- Do all Groups have a representation?
- When irreducible elements of a UFD remain irreducible in a ring extension
- Construction of an exact sequence $1 \to N_{16} \to G_{64} \to \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \to 1$
- No simple group of order $96$
- Find an integer $n$ such that $\mathbb{Z}=\mathbb{Z}$.
- Is $\mathbb{R}$ an algebraic extension of some proper subfield?

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.

- Why does finding the $x$ that maximizes $\ln(f(x))$ is the same as finding the $x$ that maximizes $f(x)$?
- Stolz-Cesàro Theorem
- Why does Seifert-Van Kampen not hold with $n$-th homotopy groups?
- Normalizing a matrix with row and column swapping
- Countable family of Hilbert spaces is complete
- If the tensor product of two modules is free of finite rank, then the modules are finitely generated and projective
- Definition of $d (P (x ,y )dx)$
- How to show that a set of discontinuous points of an increasing function is at most countable
- Is gcd the right adjoint of something?
- How to prove $\left(1+\frac{1}{\sin a}\right)\left(1+\frac{1}{\cos a}\right)\ge 3+2\sqrt{2}$?
- An entire function with periodic bounds
- How many absolute values are there?
- Using equations to draw out complex objects
- What is the probability that if five hats are distributed among five boxes that box $B_1$ has hat $H_1$ or hat $H_2$ but not both?
- How to derive an explicit formula for $\sum \frac{e^{i n \theta}}{n}?$