Dear Forum, can I assume, that the first set in SG:=RightCosets(G,S) is the set S itself, or is it possible, that SG[1] is not S? Thank you, Ivo.