1
$\begingroup$

The question is:

Let $G$ be a group and N $\unlhd G$ with $N$ not contained in $Z(G)$.

Prove that:

a) if $N \cong \bf{C}_3$, then $G$ has a subgroup of index $2$.
b) if $N \cong \mathbb{Z}$, then $G$ has a subgroup of index $2$.

How would I go about proving this? Would I have to explicitely construct the subgroups, or is there some theorem or indirect existence argument I can use?

Edit: Do I somehow have to construct two cosets in G?

  • 1
    The equality $g^{-1}ng = n^2$ does not hold for all $g$ (for example it does hold if $g \in Z(G)$), but for each $n \in N$, there exists $g \in G$ such that we have $g^{-1}ng = n^2$ (take any $g$ that does not commute with $n$).2012-10-24

1 Answers 1

3

Since $N$ is normal, $G$ operates on $N$ by conjugation. Since $N$ is not in the center, this operation is not trivial, i.e. there is a nontrivial homomorphim $\phi\colon G\to\operatorname{Aut}(N)$. For both cases a) and b), we have $\operatorname{Aut}(N)\cong C_2$, so that the kernel of $\phi$ has index 2 in $G$.

  • 0
    @Sirzh If $N$ is not in the center, it has some element $n\in N$ which doesn't commute with some other element $y_0\in G$, so $n^{y_0}\not= n$. Thus the homomorphism $\phi:G\rightarrow \text{Aut}(N)$ given by $\phi(g)=\sigma_g$, where $\sigma_g(x)=x^g$, is not the trivial, since $\sigma_{y_0}$ is not the identity.2012-10-25