Group theory MOC
Normal closure
Let be a group, and be a subset.
The normal closure of is the smallest normal subgroup of containing . #m/def/group
This is well-defined because the intersection of normal subgroups is a normal subgroup, hence
Properties
- has the conjugates of elements of as generators.
#state/tidy | #lang/en | #SemBr