Intereting Posts

What are some interpretations of Von Neumann's quote?
Nilpotent groups are solvable
Why is $\arctan(x)=x-x^3/3+x^5/5-x^7/7+\dots$?
Weyl group, permutation group
Why complete measure spaces?
Divisor on curve of genus $2$
Help finding solution for trigonometric equation
Smallest closed ball enclosing a compact set
Why isn't the gamma function defined so that $\Gamma(n) = n! $?
Show a certain group is contained in a Sylow p-group.
Formalizing the idea of a set $A$ *together* with the operations $+,\cdot$''.
A possible inequality related to binomial theorem (or, convex/concave functions)
Validity vs. Tautology and soundness
why is an annulus close to it's boundary when it's boundary curves are close?
Question about probability? World Population – (Question Revised)

I want to prove the following:

Let $G$ be a group of order $2^nm$, where $m$ is odd, having a cyclic Sylow $2$-subgroup.

Then $G$ has a normal subgroup of order $m$.

**ATTEMPT:**

- Transitive subgroup of symmetric group $S_n$ containing an $(n-1)$-cycle and a transposition
- Finding all homomorphisms between two groups - couple of questions
- S4/V4 isomorphic to S3 - Understanding Attached Tables
- No group of order 36 is simple
- A kind of converse of Lagrange's Theorem
- Part of simple proof of nontrivial center in p-group

We will show that $G$ has a subgroup of order $m$.

Let $\theta:G\to \text{Sym}(G)$ be the homomorphism which is defined as

$$

\theta(g)=t_g,

\quad

\forall g\in G

$$

where $t_g:G\to G$ is defined as:

$$

t_g(x)=gx,

\quad

\forall x\in G.

$$

Let $g$ be an element of order $2^n$ in $G$.

(There exists such an element since $G$ has a cyclic Sylow $2$-subgroup.)

The cyclce representation of $t_g$ is a product of $m$ disjoint cycles each of length $2^n$.

Therefore $t_g$ is an odd permutation.

Thus the homomorphism $\epsilon\circ \theta:G\to\{\pm 1\}$, where $\epsilon:\text{Sym}\to\{\pm 1\}$ is the sign homomorphism, is a surjection.

By the First Isomprphism Theorem, we conclude that the kernel $K$ of $\epsilon\circ \theta$ is of order $2^{n-1}m$.

If $n$ were equal to $1$ then we are done.

If $n>1$ then note that any Sylow $2$-subgroup of $K$ is also cyclic.

This is because each Sylow $2$-subgroup of $K$ is contained in a Sylow $2$-subgroup of $G$, where the latter is cyclic.

Now we can inductively show that $K$ has a subgroup of order $m$.

What I am struggling with is showing the normality.

Can anybody please help me with this.

Thanks.

- Why is the commutator defined differently for groups and rings?
- Conjugate subgroup strictly contained in the initial subgroup?
- Isomorphisms between the groups $U(10), U(5)$ and $\mathbb{Z}/4\mathbb{Z}$
- subgroups of finitely generated groups with a finite index
- A Particular Two-Variable System in a Group
- Combinatorial group theory books
- Semidirect product structure of Dihedral group
- How to show that $H \cap Z(G) \neq \{e\}$ when $H$ is a normal subgroup of $G$ with $\lvert H\rvert>1$
- Let $K$ be a Sylow subgroup of a finite group $G$. Prove that if $x \in N(K)$ and the order of $x$ is a power of $p$, then $ x \in K$.
- Questions around the number of subgroups of a $p$-group

Claim: If a group of order $2^nm$, $m$ odd, has cyclic Sylow-2 subgroup, then $G$ has unique subgroup of order $m$.

Proof: Induction on $n$- for $n=1$, as you showed, the kernel $K$ has order $m$, which is a normal subgroup. If there is another subgroup $H$ of order $m$, then the product $KH$ is a subgroup (since $K\trianglelefteq G$) of odd order (equal to $|H|.|K|/|H\cap K|$), and is bigger than $m$ (since $H\neq K$), which is impossible since the largest odd order dividing $|G|$ is $m$.

Suppose theorem is proved for groups of order $2m, 2^2m, \cdots, 2^{n-1}m$ (containing cyclic Sylow-$2$). Let $|G|=2^nm$, with cyclic Sylow-2. As you noted, kernel $K$ has order $2^{n-1}m$, which contains unique subgroup of order $m$ (by induction), say it is $L$. Thus $L$ is characteristic in $K$ and as $K$ is normal in $G$, it follows that $L\trianglelefteq G$.

Again, as in previous paragraph (at the starting of proof), we can conclude that $G$ has unique subgroup of order $m$, a stronger conclusion than you expected.

(Very Simple Exercise: $H$ is characteristic in $K$ and $K\trianglelefteq G$ $\Rightarrow$ $H\trianglelefteq G$. Just apply definition otherwise see this)

The above answer changed the induction hypothesis from:

G has a normal subroup of order $m$

to

G has a unique subgroup of order $m$.

To alleviate this problem, we know the normal subgroup $N$ with order $2^{\alpha-1}m$ exists. If two subgroups of order $m$ exist, then

$$|HK| = \frac{m^2}{|H\cap K|} = mn $$ where $n$ is an odd number < m.

Since mn must also divide $2^\alpha m$:

$n = 1 \implies |H| = |K|$

Since $H$ is a unique subgroup of $K$, $H$ is characteristic in N. Since N is normal in G, H is normal in G.

- Evaluation of $\sum_{x=0}^\infty e^{-x^2}$
- Countability of local maxima on continuous real-valued functions
- Convergence of Riemann Zeta Function for Normed Arguments
- Show that for a $2\times 2$ matrix $A^2=0$
- Why this proof $0=1$ is wrong?(breakfast joke)
- Complex exponent $(z^{\alpha})^{\beta}$.
- What annual installment will discharge a certain debt?
- The map $f:\mathbb{Z}_3 \to \mathbb{Z}_6$ given by $f(x + 3\mathbb{Z}) = x + 6\mathbb{Z}$ is not well-defined
- Suppose $n$ is an even positive integer and $H$ is a subgroup of $\mathbb Z/n \mathbb Z$. Prove that either every element of $H$ is…
- Good reference texts for introduction to partial differential equation?
- What is the length of a sine wave from $0$ to $2\pi$?
- Trig substitution for a triple integral
- Show that this entire function is polynomial.
- Explicit bijection between ordered trees with $n+1$ vertices and binary trees with $n+1$ leaves
- Transient diffusion with compact support throughout (not just initially)