TOPICS
Search

Orthogonal Group


For every dimension n>0, the orthogonal group O(n) is the group of n×n orthogonal matrices. These matrices form a group because they are closed under multiplication and taking inverses.

Thinking of a matrix as given by n^2 coordinate functions, the set of matrices is identified with R^(n^2). The orthogonal matrices are the solutions to the n^2 equations

 AA^(T)=I,
(1)

where I is the identity matrix, which are redundant. Only n(n+1)/2 of these are independent, leaving n(n-1)/2 "free variables." In fact, the orthogonal group is a smooth n(n-1)/2-dimensional submanifold.

Because the orthogonal group is a group and a manifold, it is a Lie group. O(n) has a submanifold tangent space at the identity that is the Lie algebra of antisymmetric matrices o(n). In fact, the orthogonal group is a compact Lie group.

The determinant of an orthogonal matrix is either 1 or -1, and so the orthogonal group has two components. The component containing the identity is the special orthogonal group SO(n). For example, the group O(2) has group action on the plane that is a rotation:

 O(2)={[costheta -sintheta; sintheta costheta]} union {[-costheta sintheta; sintheta costheta]},
(2)

where theta is any real number in [0,2pi). These matrices preserve the quadratic form x^2+y^2, and so they also preserve circles x^2+y^2=r^2, which are the group orbits.

SO(2) preserves circles

As a manifold, O(2) consists of two disjoint copies of the circle.

O(1,1) preserves hyperbolas

There are several generalizations of the orthogonal group. First, it is possible to define the orthogonal group for any symmetric quadratic form Q with matrix signature (p,q). The group of matrices A which preserve Q, that is,

 Q(v,w)=Q(Av,Aw),
(3)

is denoted O(p,q). The Lorentz group is O(3,1). For example, the matrices

 A=[cosht sinht; sinht cosht]
(4)

are elements of O(1,1). They preserve the quadratic form x^2-y^2 so they preserve the hyperbolas x^2-y^2=c.

Instead of using real numbers for the coefficients, it is possible to use coefficients from any field F, in which case it is denoted O(n,F). The orthogonal matrices still satisfy AA^(T)=I. For example, O(2,F_(23)) contains

 [11 15; 15 12],
(5)

and has 48 elements in total.

Of course, O(p,q,F) denotes the group of matrices which preserve the symmetric quadratic form of matrix signature (p,q), with coefficients in the field F. When F is not R or C, these are called Lie-type groups.

When the coefficients are complex numbers, it is called the complex orthogonal group, which is much different from the unitary group. For example, matrices of the form

 A=[cosz -sinz; sinz cosz]
(6)

are in O(2,C). In particular, O(n,C) is not a compact Lie group. The equations defining O(n) in affine space are polynomials of degree two. Consequently, O(n) is a linear algebraic group.

The numbers of subgroups s(n) of orders n=1, 2, 3, ... in the orthogonal group O(3) are 1, 3, 1, 5, 1, 5, 1, 7, 1, 5, 1, 8, ... (OEIS A001051), i.e., a repeating sequence of copies of {1,5,1,7} with the exceptions s(2)=3, s(4)=5, s(12)=8, s(24)=10, and s(48)=s(60)=s(120)=8.


See also

Determinant, General Orthogonal Group, Group, Field, Laplacian, Lie Algebra, Lie Group, Lie-Type Group, Linear Algebraic Group, Orthogonal Group Representations, Orthogonal Matrix, Orthogonal Transformation, Orthonormal Basis, Projective General Orthogonal Group, Projective Special Orthogonal Group, Riemannian Metric, Special Orthogonal Group, Submanifold, Symmetric Quadratic Form, Unitary Group, Vector Space

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd. "Orthogonal Group." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/OrthogonalGroup.html

Subject classifications