SymmetryBook: Lemma on generators: the 'if' direction fails for the empty generator set
Reported · info · Specification gap
For the symmetric group on 2 points and an empty S, the embedding map can be an embedding even though S does not generate the group. Theorems 11.6.8 and 11.6.10 also need a definition and a hypothesis.
Found: ; reported: ; status since: . Reporter: Mike Murunov