Es sei
die Menge aller Drehmatrizen mit der Matrizenmultiplikation als Verknüpfung.
ein surjektiver Gruppenhomomorphismus ist.