Abstract Algebra/Group Theory/Subgroup/Normal Subgroup/Definition of a Normal Subgroup

A normal subgroup is a subgroup H of a group G that satisfies

where

Equivalent DefinitionEdit

  1.  

ProofEdit

  by this definition
 
0. Choose  
1.  
2.  
by this definition
3.  
4.