In der mathematischen Gruppentheorie ist die Symmetriegruppe eines geometrischen Objektes die Gruppe, die aus der Menge aller Kongruenzabbildungen besteht, die das Objekt auf sich selbst abbilden, zusammen mit der Verkettung von Abbildungen als Gruppenoperation.
Die nachfolgenden Begriffe beschreiben mögliche Eigenschaften eines Objekts, anhand derer festgestellt werden kann, welcher Symmetriegruppe das Objekt angehört.
Eine Symmetriegruppe weist dann eine diskrete Topologie auf, wenn es so etwas wie „kleinste Schritte“ gibt. Beispielsweise ist eine Gruppe von Drehungen um einen Punkt genau dann diskret, wenn alle möglichen Drehwinkel Vielfache eines kleinsten Winkels sind. Sind hingegen auch beliebig kleine Drehwinkel in der Gruppe enthalten, so ist diese Gruppe nicht diskret. Allgemein hat jede Gruppe mit endlich vielen Elementen eine diskrete Topologie. Eine diskrete Gruppe lässt sich aus endlich vielen Symmetrieoperationen durch Komposition erzeugen. Der Umkehrschluss gilt jeweils nicht.
Praktisch gesehen ist eine Symmetriegruppe genau dann diskret, wenn es eine untere Schranke gibt, sowohl für die Längen aller (von Null verschiedenen) Verschiebungen als auch für die Drehwinkel aller Drehsymmetrien.
Man betrachtet die Menge aller in der Gruppe enthaltenen (von Null verschiedenen) Verschiebungen (Translationen) und bestimmt, wie viele dieser Vektoren linear unabhängig voneinander sind, man bestimmt also die Dimension der linearen Hülle dieser Verschiebungsvektoren.
Enthält die Gruppe überhaupt keine Verschiebungen, so gibt es mindestens einen Punkt, der Fixpunkt aller Abbildungen ist. Man spricht in diesem Fall von einer Punktgruppe. Punktgruppen sind genau dann endlich, wenn sie diskret sind.
Sobald die Gruppe mindestens eine Verschiebung enthält, enthält sie zumindest in euklidischer Geometrie automatisch unendlich viele Elemente.
Entspricht die Zahl der linear unabhängigen Verschiebungsvektoren der Dimension des Raumes, in den das Objekt eingebettet ist, so gibt es einen beschränkten Teil des Objekts (eine Zelle), deren Bilder den gesamten Raum ausfüllen. Ist die Gruppe zusätzlich auch noch diskret, so spricht man von einer Raumgruppe und nennt das Muster periodisch. In diesem Fall gibt es einen beschränkten Fundamentalbereich von gleicher Dimension wie der Raum, also beispielsweise in der Ebene eine entsprechende von Null verschiedene Fläche.
Die Symmetriegruppen in der euklidischen Ebene lassen sich wie folgt klassifizieren: