Hierbei handelt es sich um diskrete Bewegungsgruppen der euklidischen Ebene , deren Translationsteil nur aus dem Nullvektor besteht, die also keine echte Translation enthalten.
Die Bestimmung sämtlicher Rosettengruppen mit gelingt nun mit Hilfe der folgenden Aussagen, die sich durch elementargeometrische Überlegungen beweisen lassen.
1) kann keine echte Gleitspiegelung enthalten, denn die zweimalige Anwendung einer solchen Gleitspiegelung wäre eine nichtidentische Translation. Daher sind die einzig möglichen uneigentlichen Bewegungen aus Geradenspiegelungen.
2) Ist die identische Abbildung die einzige eigentliche Bewegung aus , so enthät neben der Identiät nur noch genau eine Geradenspiegelung. Wegen 1) und muß jedenfalls eine Geradenspiegelung enthalten. Die Nacheinanderanwendung von zwei verschiedenen Geradenspiegelungen ist aber entweder eine nichtidentische Translation (wenn die beiden Spiegelungsgeraden parallel sind) oder eine nichtidentische Drehung (wenn sich die Spiegelungsgeraden schneiden).
3) Gibt es außer der Identität noch weitere eigentliche Bewegungen in , so besitzt genau einen Fixpunkt , d. h. es ist für alle aus . Weiterhin besitzt höchstens Drehungen mit dem Zentrum und Spiegelungen an Geraden durch . (Beim Beweis benutzt man, daß man aus zwei Drehungen um verschiedene Zentren eine nichtidentische Translation zusammensetzen kann und aus einer Drehung und einer Spiegelung an einer Geraden, die nicht durch das Zentrum der Drehung geht, eine nichtidentische Drehung mit einem verschiedenen Zentrum.)
4) Die Menge aller Drehungen aus bildet eine Untergruppe von , da sie nach 3) alle ein gemeinsames Zentrum haben.
5) Entweder gilt oder es gibt noch eine Geradenspiegelung aus mit . Nach 3) enthält die Spiegelungsgerade das Zentrum aller Drehungen aus . Dies gilt aber für jede Geradenspiegelung , die noch in enthalten ist. Daher ist eine in enthaltene Drehung, und folglich liegt in . Insbesondere ist also ein Normalteiler von .
Bei den bisherigen Überlegungen spielte die Diskretheit von noch keine Rolle. Diese wird erst in dem folgenden Satz benutzt.
Satz Ist eine diskrete Gruppe von Drehungen mit dem gemeinsamen Zentrum , dann gibt es eine natürliche Zahl , so daß sich aus der Drehung um mit dem Drehwinkel erzeugen läßt.
Beweis: Sei ein von verschiedener Punkt der euklidischen Ebene und größer als . Dann ist der Orbit ganz in der -Umgebung von enthalten und wegen der Diskretheit von endlich, etwa , wobei die Numerierung im positiven Drehsinn erfolge. Für ist die Behauptung richtig. Wäre der minimale Drehwinkel, der irgend zwei benachbarte Punkte aus ineinander überführt, echt kleiner als , so wäre die Drehung mit diesem Drehwinkel in enthalten und würde in mehr als n Punkte erzeugen. Dieser Widerspruch zeigt die Behauptung.
Damit gibt es folgende zwei unendlichen Familien von Rosettengruppen:
Die zyklischen Gruppen
Die Diedergruppen
Aufgrund der kristallographischen Beschränkung kommen für die Punktgruppen einer Ornamentgruppe nur die folgenden Arten von Rosettengruppen in Frage: