Group theory MOC Normal closure Let πΊ be a group, and π βπΊ be a subset. The normal closure nclπΊ(π) of π is the smallest normal subgroup of πΊ containing π. group This is well-defined because the intersection of normal subgroups is a normal subgroup, hence nclπΊ(π)=β{πβ΄πΊ:πβπ} Properties nclπΊ(π) has the conjugates of elements of π as generators. tidy | en | SemBr