Elements of the orthogonal group have determinant plus or minus one (source code)

= Elements of the orthogonal group have determinant plus or minus one

<the orthogonal group is the group of all invertible matrices where the inverse is equal to the transpose>