Intersection of Normal Subgroups is Normal

From ProofWiki
Jump to: navigation, search

Theorem

Let $I$ be an indexing set.

Let $\left\{{N_i: i \in I}\right\}$ be a non-empty set of normal subgroups of the group $G$. Then $\displaystyle \bigcap_{i \mathop \in I} N_i$ is a normal subgroup of $G$.


Proof

Let $\displaystyle N = \bigcap_{i \mathop \in I} N_i$.

From Intersection of Subgroups, $N \le G$.

Suppose $H \in \left\{{N_i: i \in I}\right\}$.

Since $N \subseteq H$, we have $a N a^{-1} \subseteq a H a^{-1} \subseteq H$ from Subgroup Superset of Conjugate iff Normal.

Thus $a N a^{-1}$ is a subset of each one of the subgroups in $\left\{{N_i: i \in I}\right\}$, and hence in their intersection $N$.

That is, $a N a^{-1} \subseteq N$.

The result follows by Subgroup Superset of Conjugate iff Normal.

$\blacksquare$


Sources