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

From Wikibooks, open books for an open world
Jump to navigation Jump to search

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

where

Equivalent Definition[edit | edit source]

Proof[edit | edit source]

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