Odd-dimensional orthogonal determinant splitting
ID: odd-dimensional-orthogonal-determinant-splitting
In odd dimension, the map is a surjective group homomorphism from the orthogonal group to the special orthogonal group, with kernel of a group homomorphism . Scalar matrices commute, and . Together with the determinant sign, it identifies with the direct product of groups . In even dimension, scalar multiplication by does not repair the determinant, so this construction does not give the same splitting.
New to topics? Read the docs here!