ORTHOGONAL GROUP

In mathematics, the 'orthogonal group' of degree ''n'' over a field ''F'' (written as O(''n'',''F'')) is the group of ''n''-by-''n'' orthogonal matrices with entries from ''F'', with the group operation that of matrix multiplication. This is a subgroup of the general linear group GL(''n'',''F'') given by
:$mathrm\{O\}(n,F)\; =\; \{\; Q\; in\; mathrm\{GL\}(n,F)\; mid\; Q^T\; Q\; =\; Q\; Q^T\; =\; I\; \}.$
where ''Q^T'' is the transpose of ''Q''. The classical orthogonal group over the real numbers is usually just written O(''n'').
More generally the orthogonal group of a non-singular quadratic form over ''F'' is the group of matrices preserving the form. The Cartan-Dieudonné theorem describes the structure of the orthogonal group.
Every orthogonal matrix has determinant either 1 or −1. The orthogonal ''n''-by-''n'' matrices with determinant 1 form a normal subgroup of O(''n'',''F'') known as the 'special orthogonal group' SO(''n'',''F''). If the characteristic of ''F'' is 2, then 1 = −1, hence O(''n'',''F'') and SO(''n'',''F'') coincide; otherwise the index of SO(''n'',''F'') in O(''n'',''F'') is 2. In characteristic 2 and even dimension, many authors define the SO(''n'',''F'') differently as the kernel of the Dickson invariant; then it usually has index 2 in O(''n'',''F'').
Both O(''n'',''F'') and SO(''n'',''F'') are algebraic groups, because the condition that a matrix be orthogonal, i.e. have its own transpose as inverse, can be expressed as a set of polynomial equations in the entries of the matrix.

Contents

Over the real number field

3D isometries which leave the origin fixed

Over the complex number field

Topology

Low dimensional

Homotopy groups

Computation and Interpretation of homotopy groups

Low-dimensional groups

Lie groups

Vector bundles

Loop spaces

Interpretation of homotopy groups

Over finite fields

The Dickson invariant

Orthogonal groups of characteristic 2

The spinor norm

Galois cohomology and orthogonal groups

See also

External links

Over the real number field

Over the field 'R' of real numbers, the orthogonal group O(''n'','R') and the special orthogonal group SO(''n'','R') are often simply denoted by O(''n'') and SO(''n'') if no confusion is possible. They form real compact Lie groups of dimension ''n''(''n''-1)/2. O(''n'','R') has two connected components, with SO(''n'','R') being the identity component, i.e., the connected component containing the identity matrix.
The real orthogonal and real special orthogonal groups have the following geometric interpretations
O(''n'','R') is a subgroup of the Euclidean group ''E''(''n''), the group of isometries of 'R'^''n''; it contains those which leave the origin fixed. It is the symmetry group of the sphere (''n'' = 3) or hypersphere and all objects with spherical symmetry, if the origin is chosen at the center.
SO(''n'','R') is a subgroup of ''E''⁺(''n''), which consists of ''direct'' isometries, i.e., isometries preserving orientation; it contains those which leave the origin fixed. It is the rotation group of the sphere and all objects with spherical symmetry, if the origin is chosen at the center.
{ ''I'', −''I'' } is a normal subgroup and even a characteristic subgroup of O(''n'','R'), and, if ''n'' is even, also of SO(''n'','R'). If ''n'' is odd, O(''n'','R') is the direct product of SO(''n'','R') and { ''I'', −''I'' }. The cyclic group of ''k''-fold rotations ''C_k'' is for every positive integer ''k'' a normal subgroup of O(2,'R') and SO(2,'R').
Relative to suitable orthogonal bases, the isometries are of the form:
:
egin{matrix}R_1 & & \ & ddots & \ & & R_kend{matrix} & 0 \
0 & egin{matrix}pm 1 & & \ & ddots & \ & & pm 1end{matrix} \
end{bmatrix}
where the matrices ''R''₁,...,''R''_''k'' are 2-by-2 rotation matrices.
The symmetry group of a circle is O(2,'R'), also called Dih(S¹), where S¹ denotes the multiplicative group of complex numbers of absolute value 1.
SO(2,'R') is isomorphic (as a Lie group) to the circle S¹ (circle group). This isomorphism sends the complex number exp(φ''i'') = cos(φ) + ''i'' sin(φ) to the orthogonal matrix
:
sin(phi)&cos(phi)end{bmatrix}.
The group SO(3,'R'), understood as the set of rotations of 3-dimensional space, is of major importance in the sciences and engineering. See rotation group and the general formula for a 3 × 3 rotation matrix in terms of the axis and the angle.
In terms of algebraic topology, for ''n'' > 2 the fundamental group of SO(''n'','R') is cyclic of order 2, and the spinor group Spin(''n'') is its universal cover. For ''n'' = 2 the fundamental group is infinite cyclic and the universal cover corresponds to the real line.
The Lie algebra associated to the Lie groups O(''n'','R') and SO(''n'','R') consists of the skew-symmetric real ''n''-by-''n'' matrices, with the Lie bracket given by the commutator. This Lie algebra is often denoted by o(''n'','R') or by so(''n'','R').

3D isometries which leave the origin fixed

The isometries of 'R'^''3'' which leave the origin fixed, forming the group O(''3'','R'), can be categorized as follows:

★ SO(''3'','R'):

★
★ identity

★
★ rotation about an axis through the origin by an angle not equal to 180°

★
★ rotation about an axis through the origin by an angle of 180°

★ the same with inversion in the origin ('x' is mapped to −'x'), i.e. respectively:

★
★ inversion in the origin

★
★ rotation about an axis by an angle not equal to 180°, combined with reflection in the plane through the origin which is perpendicular to the axis

★
★ reflection in a plane through the origin
The 4th and 5th in particular, and in a wider sense the 6th also, are called improper rotations.
See also the similar overview including translations.

Over the complex number field

Over the field 'C' of complex numbers, O(''n'','C') and SO(''n'','C') are complex Lie groups of dimension ''n''(''n''-1)/2 over 'C' (which means the dimension over 'R' is twice that). O(''n'','C') has two connected components, and SO(''n'','C') is the connected component containing the identity matrix. For ''n'' ≥ 2 these groups are noncompact.
Just as in the real case SO(''n'','C') is not simply connected. For ''n'' > 2 the fundamental group of SO(''n'','C') is cyclic of order 2 whereas the fundamental group of SO(2,'C') is infinite cyclic.
The complex Lie algebra associated to O(''n'','C') and SO(''n'','C') consists of the skew-symmetric complex ''n''-by-''n'' matrices, with the Lie bracket given by the commutator.

Topology

Low dimensional

The low dimensional (real) orthogonal groups are familiar spaces:
:
O(0) &= left{1
ight} =
★ \
O(1) &= left{pm 1
ight} = S^0\
SO(2) &= S^1\
SO(3) &= mathbf{RP}^3
end{align}

Homotopy groups

The homotopy groups of the orthogonal group are related to homotopy groups of spheres, and thus are in general hard to compute.
However, one can compute the homotopy groups of the stable orthogonal group (aka the infinite orthogonal group), defined as the direct limit of the sequence of inclusions
:
(as the inclusions are all closed inclusions, hence cofibrations, this can also be interpreted as a union).
$S^n$ is a homogeneous space for $O(n+1)$, and one has the following fiber bundle:
: $O(n)\; o\; O(n+1)\; o\; S^n,$
which can be understood as "The orthogonal group $O(n+1)$ acts transitively on the unit sphere $S^n$, and the stabilizer of a point (thought of as a unit vector) is the orthogonal group of the perpendicular complement, which is an orthogonal group one dimension lower". The map $O(n)\; o\; O(n+1)$ is the natural inclusion.
Thus the inclusion $O(n)\; o\; O(n+1)$ is ''(n-1)''-connected, so the homotopy groups stabilize, and $pi\_k(O)\; =\; pi\_k(O(n))$ for $n\; >\; k\; +\; 1$: thus the homotopy groups of the stable space equal the lower homotopy groups of the unstable spaces.
Via Bott periodicity, $Omega^8\; O\; simeq\; O$, thus the homotopy groups of ''O'' are 8-fold periodic, meaning $pi\_\{k+8\}\; O\; =\; pi\_k\; O$, and one need only compute the lower 8 homotopy groups to compute them all.

pi_0 O &= mathbf Z/2\
pi_1 O &= mathbf Z/2\
pi_2 O &= 0\
pi_3 O &= mathbf Z\
pi_4 O &= 0\
pi_5 O &= 0\
pi_6 O &= 0\
pi_7 O &= mathbf Z\
end{align}

Relation to KO-theory

Via the clutching construction, homotopy groups of the stable space ''O'' are identified with stable vector bundles on spheres (up to isomorphism), with a dimension shift of 1: $pi\_k\; O\; =\; pi\_\{k+1\}\; BO$.
Setting $KO\; =\; BO\; imes\; mathbf\; Z\; =\; Omega^\{-1\}\; O\; imes\; mathbf\; Z$ (to make $pi\_0$ fit into the periodicity), one obtains:

pi_0 KO &= mathbf Z\
pi_1 KO &= mathbf Z/2\
pi_2 KO &= mathbf Z/2\
pi_3 KO &= 0\
pi_4 KO &= mathbf Z\
pi_5 KO &= 0\
pi_6 KO &= 0\
pi_7 KO &= 0\
end{align}

Computation and Interpretation of homotopy groups

Low-dimensional groups

The first few homotopy groups can be calculated by using the concrete descriptions of low-dimensional groups.

★ $pi\_0(O)\; =\; pi\_0(O(1))\; =\; mathbf\; Z/2$ from orientation-preserving/reversing (this class survives to $O(2)$ and hence stably)
$SO(3)\; =\; mathbf\{RP\}^3\; =\; S^3/(mathbf\; Z/2)$ yields

★ $pi\_1(O)\; =\; pi\_1(SO(3))\; =\; mathbf\; Z/2$ which is spin

★ $pi\_2(O)\; =\; pi\_2(SO(3))\; =\; 0$, which surjects onto $pi\_2(SO(4))$; this latter thus vanishes

Lie groups

From general facts about Lie groups, $pi\_2\; G$ always vanishes, and $pi\_3\; G$ is free (free abelian).

Vector bundles

From the vector bundle point of view, $pi\_0(KO)$ is vector bundles over $S^0$, which is two points. Thus over each point, the bundle is trivial, and the non-triviality of the bundle is the difference between the dimensions of the vector spaces over the two points, so
:$pi\_0(KO)\; =\; mathbf\; Z$ is dimension

Loop spaces

Using concrete descriptions of the loop spaces in Bott periodicity, one can interpret higher homotopy of ''O'' as lower homotopy of simple to analyze spaces. Using $pi\_0$, ''O'' and ''O/U'' have two components, $KO\; =\; BO\; imes\; mathbf\; Z$ and $KSp\; =\; BSp\; imes\; mathbf\; Z$ have $mathbf\; Z$ components, and the rest are connected.

Interpretation of homotopy groups

In a nutshell:

★ $pi\_0(KO)\; =\; mathbf\; Z$ is dimension

★ $pi\_1(KO)\; =\; mathbf\; Z/2$ is orientation

★ $pi\_2(KO)\; =\; mathbf\; Z/2$ is spin

★ $pi\_4(KO)\; =\; mathbf\; Z$ is topological quantum field theory
Let $F\; =\; mathbf\; R,\; mathbf\; C,\; mathbf\; H,\; mathbf\; O$, and let $L\_F$ be the tautological line bundle over the projective line $mathbf\{FP\}^1$, and $[L\_F]$ its class in K-theory. Noting that $mathbf\{RP\}^1\; =\; S^1,\; mathbf\{CP\}^1\; =\; S^2,\; mathbf\{HP\}^1\; =\; S^4,\; mathbf\{OP\}^1\; =\; S^8$, these yield vector bundles over the corresponding spheres, and

★ $pi\_1(KO)$ is generated by $[L\_\{mathbf\; R\}]$

★ $pi\_2(KO)$ is generated by $[L\_\{mathbf\; C\}]$

★ $pi\_4(KO)$ is generated by $[L\_\{mathbf\; H\}]$

★ $pi\_8(KO)$ is generated by $[L\_\{mathbf\; O\}]$

Over finite fields

Orthogonal groups can also be defined over finite fields $mathbf\{F\}\_q$, where $q$ is a power of a prime $p$. When defined over such fields, they come in two types in even dimension: $O^+(2n,\; q)$ and $O^-(2n,\; q)$; and one type in odd dimension: $O(2n+1,\; q)$.
If $V$ is the vector space on which the orthogonal group $G$ acts, it can be written as a direct orthogonal sum as follows:
: $V\; =\; L\_1\; +\; L\_2\; +\; cdots\; +\; L\_m\; +\; W$,
where $L\_i$ are hyperbolic lines and $W$ contains no singular vectors. If $W\; =\; 0$, then $G$ is of plus type. If $W\; =$ then $G$ has odd dimension. If $W$ has dimension 2, $G$ is of minus type.
In the special case where n = 1, $O^epsilon(2,\; q)$ is a dihedral group of order $2(q\; -\; epsilon)$.

The Dickson invariant

For orthogonal groups in even dimensions, the 'Dickson invariant'
is a homomorphism from the orthogonal group to ''Z''/2''Z'', and is 0 or 1 depending on whether a rotation is the product of an even or odd number of reflections. Over fields that are not of characteristic 2 it is more or less equivalent to the determinant: the determinant is −1 to the power of the Dickson invariant.
Over fields of characteristic 2, the determinant is always 1, so the Dickson invariant gives extra information. In characteristic 2 many authors define the special orthogonal group to be the elements of Dickson invariant 0, rather than the elements of determinant 1.
The Dickson invariant can also be defined for Clifford groups and Pin groups in a similar way (in all dimensions).

Orthogonal groups of characteristic 2

Over fields of characteristic 2 orthogonal groups often behave differently. This section lists
some of the differences.

★ Any orthogonal group over any field is generated by reflections, except for a unique example where the vector space is 4 dimensional over the field with 2 elements.

★ The center of the orthogonal group usually has order 1 in characteristic 2, rather than 2.

★ In odd dimensions 2''n''+1 in characteristic 2, orthogonal groups over perfect fields are the same as symplectic groups in dimension 2''n''. In fact the symmetric form is alternating in characteristic 2, and as the dimension is odd it must have a kernel of dimension 1, and the quotient by this kernel is a symplectic space of dimension 2''n'', acted upon by the orthogonal group.

★ In even dimensions in characteristic 2 the orthogonal group is a subgroup of the symplectic group, because the symmetric bilinear form of the quadratic form is also an alternating form.

The spinor norm

The 'spinor norm' is a homomorphism from an orthogonal group over a field ''F'' to
:''F''
^★ /''F''
^{★ 2},
the multiplicative group of the field ''F'' up to square elements, that takes reflection in a vector of norm ''n'' to the image of ''n'' in ''F''
^★ /''F''
^{★ 2}.
For the usual orthogonal group over the reals it is trivial, but it is often non-trivial over other fields, or for the orthogonal group of a quadratic form over the reals that is not positive definite.

Galois cohomology and orthogonal groups

In the theory of Galois cohomology of algebraic groups, some further points of view are introduced. They have explanatory value, in particular in relation with the theory of quadratic forms; but were for the most part ''post hoc'', as far as the discovery of the phenomena is concerned. The first point is that quadratic forms over a field can be identified as a Galois ''H''¹, or twisted forms (torsors) of an orthogonal group. As an algebraic group, an orthogonal group is in general neither connected nor simply-connected; the latter point brings in the spin phenomena, while the former is related to the discriminant.
The 'spin' name of the spinor norm can be explained by a connection to the spin group (more accurately a pin group). This may now be explained quickly by Galois cohomology (which however postdates the introduction of the term by more direct use of Clifford algebras). The spin covering of the orthogonal group provides a short exact sequence of algebraic groups.
:$1$
ightarrow mu_2
ightarrow Pin_V
ightarrow O_V
ightarrow 1
Here μ₂ is the algebraic group of square roots of 1; over a field of characteristic not 2 it is roughly the same as a two-element group with trivial Galois action.
The connecting homomorphism from ''H''⁰(''O''_V) which is simply the group ''O''_V(''F'') of ''F''-valued points, to ''H''¹(μ₂) is essentially the spinor norm, because ''H''¹(μ₂) is isomorphic to the multiplicative group of the field modulo squares.
There is also the connecting homomorphism from ''H''¹ of the orthogonal group, to the ''H''² of the kernel of the spin covering. The cohomology is non-abelian, so that this is as far as we can go, at least with the conventional definitions.

See also

★ rotation group, SO(3,'R')

★ indefinite orthogonal group

★ unitary group

★ symplectic group

★ list of finite simple groups

★ list of simple Lie groups

External links

★ John Baez "This Week's Finds in Mathematical Physics" week 105

★ John Baez on Octonions