Numerische Bedingung für endliche Symmetriegruppen
Es sei
eine endliche
Untergruppe
der Ordnung
in der Gruppe der eigentlichen,
linearen Isometrien
des
. Es seien
die verschiedenen
Halbachsenklassen
zu
, und zu jeder dieser Klassen sei
,
, die Ordnung der Gruppe
,
, die nach
Fakt
unabhängig von
ist.
Dann ist
-