 In fact, the set of all orthogonal matrices satisfies all the axioms of a group.It is a compact Lie group of dimension , called the orthogonal group and denoted by .The orthogonal matrices whose determinant is +1 form a path-connected normal subgroup of of index 2, the special orthogonal group of rotations.