Group theory MOC Normal closure Let be a group, and be a subset. The normal closure of is the smallest normal subgroup of containing . 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. tidy | en | sembr