subsets of G, then the subgroup generated by A is denoted {A }; the normal closure of A in G is denoted A G; the subgroup generated by all commutators (a, b) where aCA, bEB is denoted (A, B); and the