# Any Subgroup of Index 2 in a Finite Group is Normal

## Problem 16

Show that any subgroup of index $2$ in a group is a normal subgroup.

Contents

## Hint.

1. Left (right) cosets partition the group into disjoint sets.
2. Consider both left and right cosets.

## Proof.

Let $H$ be a subgroup of index $2$ in a group $G$.
Let $e \in G$ be the identity element of $G$.

To prove that $H$ is a normal subgroup, we want to show that for any $g\in G$, $gH=Hg$.
If $g \in H$, then this is true. So we assume that $g \not \in H$.

Note that left cosets partition $G$ into two disjoint sets since the index is $2$.
Since $g \not \in H$, these are $eH$ and $gH$. (If $gH=H$, then $g \in H$.)

Similarly right cosets partition $G$ into two disjoint sets.
These disjoint right cosets are $He$ and $Hg$.

Because of these partitions, we have as sets
$gH=G – eH=G-H=G-He=Hg.$ Therefore $H$ is a normal subgroup in $G$.

• Subgroup of Finite Index Contains a Normal Subgroup of Finite Index Let $G$ be a group and let $H$ be a subgroup of finite index. Then show that there exists a normal subgroup $N$ of $G$ such that $N$ is of finite index in $G$ and $N\subset H$.   Proof. The group $G$ acts on the set of left cosets $G/H$ by left multiplication. Hence […]
• Subgroup Containing All $p$-Sylow Subgroups of a Group Suppose that $G$ is a finite group of order $p^an$, where $p$ is a prime number and $p$ does not divide $n$. Let $N$ be a normal subgroup of $G$ such that the index $|G: N|$ is relatively prime to $p$. Then show that $N$ contains all $p$-Sylow subgroups of […]
• Normal Subgroup Whose Order is Relatively Prime to Its Index Let $G$ be a finite group and let $N$ be a normal subgroup of $G$. Suppose that the order $n$ of $N$ is relatively prime to the index $|G:N|=m$. (a) Prove that $N=\{a\in G \mid a^n=e\}$. (b) Prove that $N=\{b^m \mid b\in G\}$.   Proof. Note that as $n$ and […]