Definition, synonyms and related words
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.