Normal closure of the nonnormal factor of Holomorph of a Cyclic group

71 Views Asked by At

Let $C_n$ be the cyclic group of order $n$. Then, we can consider the holomorph $G=C_n\rtimes Aut(C_n)$. let $H$ be such that $Aut(C_n)\leq H\trianglelefteq G$. Is it necessarily the case that $H$ is of index $1$ or $2$ in $G$.

I'm asking because this came up because of this question: Galois extension of real subfield is of degree at most $2$?

1

There are 1 best solutions below

3
On BEST ANSWER

Yes. Let $G = C_n \rtimes A$ with $A = {\rm Aut}(C_n)$ and $C_n = \langle g \rangle$. Since there exists $a \in A$ with $a^{-1}ga=g^{-1}$, we have $g^2 \in [A, C_n]$, and $A \le H \unlhd G$ implies $[A,C_n] \le H$, so $\langle g^2, A \rangle \le H$ and $|G:\langle g^2, A \rangle| \le 2$.