Lie group, completing a commutative square relating the orthogonal group, special orthogonal group, and spin group