Für eine Gruppe der Ordnung sei eine einfache (d.h. effizient berechenbare) bijektive Funktion, die ein als eindeutiges Element von repräsentiert.