Normal subgroup

The intersection of normal subgroups is normal

Let be normal subgroups. Then is a normal subgroup. #m/thm/group

Proof

The intersection of subgroups is a subgroup, so is a subgroup. Likewise, for any , for all , hence is normal.

#state/tidy| #lang/en | #SemBr