Intereting Posts

Difference between a class and a set
How to Decompose $\mathbb{N}$ like this?
Existence of non-trivial linear functional on any vector space
Example of a subgroup for normality
Inequality. $\frac{x^3}{1+9y^2xz}+\frac{y^3}{1+9z^2yx}+\frac{z^3}{1+9x^2yz} \geq \frac{(x+y+z)^3}{18}$
Semilinear Poisson PDE – proving a (hopefully) simple inequality
Dense Subspaces: Intersection
If $p$ is a positive multivariate polynomial, does $1/p$ have polynomial growth?
Every prime number divide some sum of the first $k$ primes.
Definition of $d (P (x ,y )dx)$
Rearranging infinite series
Proving that if the semigroup (A, *) is a group, then the relation is an equivalence relation.
Do finite algebraically closed fields exist?
Basic Question on the Ideal-Variety Correspondence and Adjoint Functors
Evaluate $\int \frac{1}{\sin x\cos x} dx $

If $G$ is a finite group, and $P$ is a Sylow-$p$ subgroup of $G$, then the number of Sylow-$p$ subgroups in $G$ is at most $|G|/|P|$.

In the Symmetric group $S_n$, the bound is attained only for certain Sylow subgroups.

In $S_4$, the number of Sylow-$2$ subgroups is $|S_4|/2^3$.

- Prove that $H$ is normal.
- Let $G$ a group of order $6$. Prove that $G \cong \Bbb Z /6 \Bbb Z$ or $G \cong S_3$.
- What does it means to multiply a permutation by a cycle? $\pi(x_1\cdots x_n)\pi^{-1}=(\pi(x_1)\cdots\pi(x_n))$
- Conjugacy classes in group extensions
- What does the group ring $\mathbb{Z}$ of a finite group know about $G$?
- Permutation of cosets

In $S_3$, the number of Sylow-$3$ subgroups is less than $|S_3|/3$.

The question I want to pose here is then the natural one:

**Question:** What are the conditions on $n$ and $p$ which are necessary and/or sufficient to say that the number of Sylow-$p$ subgroups in $S_n$ is $|S_n|/|P|$, where $P$ is a Sylow-$p$ subgroup of $S_n$.

- RSA: How Euler's Theorem is used?
- How to prove the following about a group G?
- Unique subgroup of index 2 in a finite abelian group.
- Unique normal subgroups of every possible order
- problems in group theory
- non-abelian groups of order $p^2q^2$.
- If $|a| = 12, |b| = 22$ and $\langle a \rangle\cap \langle b\rangle \ne e$, prove that $a^6 = b^{11}$
- If $H,K⊲G$ and $H∩K = \{1_G\}$, then all elements in $H$ commute with all elements in $K$
- Isomorphism types of semidirect products $\mathbb Z/n\mathbb Z\rtimes\mathbb Z/2\mathbb Z$
- Exercise from Serre's “Trees” - prove that a given group is trivial

The condition is equivalent to a Sylow $p$-subgroup being self-normalizing in $S_n$, and the answer is very simple (simple to state, anyway): $p=2$ is both necessary and sufficient for the condition to hold for all $n$.

It is well-known that a Sylow $p$-subgroup $P$ of $S_n$ is a direct product of iterated wreath products $P_k = C_p \wr C_p \wr \cdots \wr C_p$ (with $k$ wreath factors), where the direct factors $P_k$ have disjoint supports of size $p^k$.

Now $P_k$ is normalized in $S_{p^k}$ by $P_k = C_p \wr C_p \wr \cdots \wr P_k \wr F_{p(p-1)}$, where the final wreath factor $F_{p(p-1)}$ is a Frobenius group of order $p(p-1)$. So for $p$ odd, the Sylow $p$-subgroup $P$ is strictly contained in its normalizer.

When $p=2$, we have $P = P_{k_1} \times \cdots \times P_{k_j}$, where $n = 2^{k_1} + \cdots + 2^{k_j}$ with all $k_i$ distinct, so the orbits of $P$ all have different lengths. Hence the normalizer of $P$ in $S_n$ fixes all of the orbits, and so it suffices to prove that $P_k$ is self-normalizing in $S_{2^k}$.

We could try and prove this by induction on $k$. Now $P_k = C_2 \wr P_{k-1}$ with base-group $N$, which is elementary abelian of order $2^{2^{k-1}}$ and is generated by the transpositions in $P_k$. So it must be normalized by the normaliser of $P_k$ in $S_n$. Now the normalizer of $N$ must permute these transpositions so it is equal to $C_2 \wr S_{2^{k-1}}$, and now we want the normaliser of $C_2 \wr P_{k-1}$ in $C_2 \wr S_{2^{k-1}}$, and we can use induction.

- How find this Continued fraction $$ value.
- isomorphisms induced on $H_*$
- What are the “real math” connections between Euclidean Geometry and Complex Numbers?
- Uncountable minus countable set is uncountable
- Prove that if $n^2$ is divided by 3, then also $n$ can also be divided by 3.
- Closed model categories in the sense of Quillen vs the modern sense
- problems in group theory
- Is every monoid isomorphic to its opposite
- Continuous functions between metric spaces are equal if they are equal on a dense subset
- Digit function properties
- More numbers between $$ or $[1,\infty)$?
- Rogers-Ramanujan continued fraction in terms of Jacobi theta functions?
- ODE Laplace Transforms: what impulse brings an oscillating system to rest?
- Am I wrong in thinking that $e^{i \pi} = -1$ is hardly remarkable?
- Algebraically-nice general solution for last step of Gaussian elimination to Smith Normal Form?