Eine treue Gruppenoperation einer Gruppe G {\displaystyle {}G} auf einer Menge M {\displaystyle {}M} .
