Repräsentantensystem (Orbit)

Definition

Sei $G$ eine Gruppe, die auf der Menge $X$ operiert. Eine Menge $A\subseteq X$ von Elementen aus $X$, deren Orbits genau (d.h. nicht doppelt) $X$ überdecken heißt, Repräsentantensystem. ¹

Man erzeugt ein solches System, indem man aus jedem Orbit (Gruppenoperation) ein Element nimmt.

Footnotes

1. Gerkmann - Definition 9.9 ↩