Noun
orthogonal group (plural orthogonal groups) (group theory) For given n and field F (especially where F is the real numbers), the group of n × n orthogonal matrices with elements in F, where the group operation is matrix multiplication.