La función determinante (restringida a formula_250) tiene imagen formula_274 y su núcleo es el subgrupo normal, denotado por formula_275, formado por todas las transformaciones ortogonales con determinante 1.