Algebraic structure → Group theory Group theory |
---|
![]() |
In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n × n orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.
The orthogonal group in dimension n has two connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted SO(n). It consists of all orthogonal matrices of determinant 1. This group is also called the rotation group, generalizing the fact that in dimensions 2 and 3, its elements are the usual rotations around a point (in dimension 2) or a line (in dimension 3). In low dimension, these groups have been widely studied, see SO(2) , SO(3) and SO(4) . The other component consists of all orthogonal matrices of determinant −1. This component does not form a group, as the product of any two of its elements is of determinant 1, and therefore not an element of the component.
By extension, for any field F, an n × n matrix with entries in F such that its inverse equals its transpose is called an orthogonal matrix overF. The n × n orthogonal matrices form a subgroup, denoted O(n, F), of the general linear group GL(n, F); that is
More generally, given a non-degenerate symmetric bilinear form or quadratic form [1] on a vector space over a field, the orthogonal group of the form is the group of invertible linear maps that preserve the form. The preceding orthogonal groups are the special case where, on some basis, the bilinear form is the dot product, or, equivalently, the quadratic form is the sum of the square of the coordinates.
All orthogonal groups are algebraic groups, since the condition of preserving a form can be expressed as an equality of matrices.
The name of "orthogonal group" originates from the following characterization of its elements. Given a Euclidean vector space E of dimension n, the elements of the orthogonal group O(n) are, up to a uniform scaling (homothecy), the linear maps from E to E that map orthogonal vectors to orthogonal vectors.
The orthogonal O(n) is the subgroup of the general linear group GL(n, R), consisting of all endomorphisms that preserve the Euclidean norm; that is, endomorphisms g such that
Let E(n) be the group of the Euclidean isometries of a Euclidean space S of dimension n. This group does not depend on the choice of a particular space, since all Euclidean spaces of the same dimension are isomorphic. The stabilizer subgroup of a point x ∈ S is the subgroup of the elements g ∈ E(n) such that g(x) = x. This stabilizer is (or, more exactly, is isomorphic to) O(n), since the choice of a point as an origin induces an isomorphism between the Euclidean space and its associated Euclidean vector space.
There is a natural group homomorphism p from E(n) to O(n), which is defined by
where, as usual, the subtraction of two points denotes the translation vector that maps the second point to the first one. This is a well defined homomorphism, since a straightforward verification shows that, if two pairs of points have the same difference, the same is true for their images by g (for details, see Affine space § Subtraction and Weyl's axioms ).
The kernel of p is the vector space of the translations. So, the translations form a normal subgroup of E(n), the stabilizers of two points are conjugate under the action of the translations, and all stabilizers are isomorphic to O(n).
Moreover, the Euclidean group is a semidirect product of O(n) and the group of translations. It follows that the study of the Euclidean group is essentially reduced to the study of O(n).
By choosing an orthonormal basis of a Euclidean vector space, the orthogonal group can be identified with the group (under matrix multiplication) of orthogonal matrices, which are the matrices such that
It follows from this equation that the square of the determinant of Q equals 1, and thus the determinant of Q is either 1 or −1. The orthogonal matrices with determinant 1 form a subgroup called the special orthogonal group, denoted SO(n), consisting of all direct isometries of O(n), which are those that preserve the orientation of the space.
SO(n) is a normal subgroup of O(n), as being the kernel of the determinant, which is a group homomorphism whose image is the multiplicative group {−1, +1}. This implies that the orthogonal group is an internal semidirect product of SO(n) and any subgroup formed with the identity and a reflection.
The group with two elements {±I} (where I is the identity matrix) is a normal subgroup and even a characteristic subgroup of O(n), and, if n is even, also of SO(n). If n is odd, O(n) is the internal direct product of SO(n) and {±I}.
The group SO(2) is abelian (this is not the case of SO(n) for every n > 2). Its finite subgroups are the cyclic group Ck of k-fold rotations, for every positive integer k. All these groups are normal subgroups of O(2) and SO(2).
For any element of O(n) there is an orthogonal basis, where its matrix has the form
where the matrices R1, ..., Rk are 2-by-2 rotation matrices, that is matrices of the form
with a2 + b2 = 1.
This results from the spectral theorem by regrouping eigenvalues that are complex conjugate, and taking into account that the absolute values of the eigenvalues of an orthogonal matrix are all equal to 1.
The element belongs to SO(n) if and only if there are an even number of −1 on the diagonal.
The special case of n = 3 is known as Euler's rotation theorem, which asserts that every (non-identity) element of SO(3) is a rotation about a unique axis–angle pair.
Reflections are the elements of O(n) whose canonical form is
where I is the (n − 1) × (n − 1) identity matrix, and the zeros denote row or column zero matrices. In other words, a reflection is a transformation that transforms the space in its mirror image with respect to a hyperplane.
In dimension two, every rotation is the product of two reflections. More precisely, a rotation of angle θ is the product of two reflections whose axes have an angle of θ / 2.
Every element of O(n) is the product of at most n reflections. This results immediately from the above canonical form and the case of dimension two.
The Cartan–Dieudonné theorem is the generalization of this result to the orthogonal group of a nondegenerate quadratic form over a field of characteristic different from two.
The reflection through the origin (the map v ↦ −v) is an example of an element of O(n) that is not the product of fewer than n reflections.
The orthogonal group O(n) is the symmetry group of the (n − 1)-sphere (for n = 3, this is just the sphere) and all objects with spherical symmetry, if the origin is chosen at the center.
The symmetry group of a circle is O(2). The orientation-preserving subgroup SO(2) is isomorphic (as a real Lie group) to the circle group, also known as U(1), the multiplicative group of the complex numbers of absolute value equal to one. This isomorphism sends the complex number exp(φi) = cos(φ) + i sin(φ) of absolute value 1 to the special orthogonal matrix
In higher dimension, O(n) has a more complicated structure (in particular, it is no longer commutative). The topological structures of the n-sphere and O(n) are strongly correlated, and this correlation is widely used for studying both topological spaces.
The groups O(n) and SO(n) are real compact Lie groups of dimension n(n − 1) / 2. The group O(n) has two connected components, with SO(n) being the identity component, that is, the connected component containing the identity matrix.
The orthogonal group O(n) can be identified with the group of the matrices A such that ATA = I. Since both members of this equation are symmetric matrices, this provides n(n + 1) / 2 equations that the entries of an orthogonal matrix must satisfy, and which are not all satisfied by the entries of any non-orthogonal matrix.
This proves that O(n) is an algebraic set. Moreover, it can be proved[ citation needed ] that its dimension is
which implies that O(n) is a complete intersection. This implies that all its irreducible components have the same dimension, and that it has no embedded component. In fact, O(n) has two irreducible components, that are distinguished by the sign of the determinant (that is det(A) = 1 or det(A) = −1). Both are nonsingular algebraic varieties of the same dimension n(n − 1) / 2. The component with det(A) = 1 is SO(n).
A maximal torus in a compact Lie group G is a maximal subgroup among those that are isomorphic to Tk for some k, where T = SO(2) is the standard one-dimensional torus. [2]
In O(2n) and SO(2n), for every maximal torus, there is a basis on which the torus consists of the block-diagonal matrices of the form
where each Rj belongs to SO(2). In O(2n + 1) and SO(2n + 1), the maximal tori have the same form, bordered by a row and a column of zeros, and 1 on the diagonal.
The Weyl group of SO(2n + 1) is the semidirect product of a normal elementary abelian 2-subgroup and a symmetric group, where the nontrivial element of each {±1} factor of {±1}n acts on the corresponding circle factor of T × {1} by inversion, and the symmetric group Sn acts on both {±1}n and T × {1} by permuting factors. The elements of the Weyl group are represented by matrices in O(2n) × {±1}. The Sn factor is represented by block permutation matrices with 2-by-2 blocks, and a final 1 on the diagonal. The {±1}n component is represented by block-diagonal matrices with 2-by-2 blocks either
with the last component ±1 chosen to make the determinant 1.
The Weyl group of SO(2n) is the subgroup of that of SO(2n + 1), where Hn−1 < {±1}n is the kernel of the product homomorphism {±1}n → {±1} given by ; that is, Hn−1 < {±1}n is the subgroup with an even number of minus signs. The Weyl group of SO(2n) is represented in SO(2n) by the preimages under the standard injection SO(2n) → SO(2n + 1) of the representatives for the Weyl group of SO(2n + 1). Those matrices with an odd number of blocks have no remaining final −1 coordinate to make their determinants positive, and hence cannot be represented in SO(2n).
![]() | This section may be confusing or unclear to readers. In particular, most notations are undefined; no context for explaining why these consideration belong to the article. Moreover, the section consists essentially in a list of advanced results without providing the information that is needed for a non-specialist for verifying them (no reference, no link to articles about the methods of computation that are used, no sketch of proofs.(November 2019) |
![]() | This section may be too technical for most readers to understand.(November 2019) |
The low-dimensional (real) orthogonal groups are familiar spaces:
In terms of algebraic topology, for n > 2 the fundamental group of SO(n, R) is cyclic of order 2, [4] and the spin 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 group Spin(2) is the unique connected 2-fold cover).
Generally, the homotopy groups πk(O) of the real 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:
Since the inclusions are all closed, hence cofibrations, this can also be interpreted as a union. On the other hand, Sn is a homogeneous space for O(n + 1), and one has the following fiber bundle:
which can be understood as "The orthogonal group O(n + 1) acts transitively on the unit sphere Sn, 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." Thus the natural inclusion O(n) → O(n + 1) is (n − 1)-connected, so the homotopy groups stabilize, and πk(O(n + 1)) = πk(O(n)) for n > k + 1: thus the homotopy groups of the stable space equal the lower homotopy groups of the unstable spaces.
From Bott periodicity we obtain Ω8O ≅ O, therefore the homotopy groups of O are 8-fold periodic, meaning πk + 8(O) = πk(O), and one need only to list the lower 8 homotopy groups:
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: πk(O) = πk + 1(BO). Setting KO = BO × Z = Ω−1O × Z (to make π0 fit into the periodicity), one obtains:
The first few homotopy groups can be calculated by using the concrete descriptions of low-dimensional groups.
From general facts about Lie groups, π2(G) always vanishes, and π3(G) is free (free abelian).
![]() | This section may be confusing or unclear to readers.(January 2024) |
π0(KO) is a vector bundle over S0, which consists of 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 π0(KO) = Z is the dimension.
Using concrete descriptions of the loop spaces in Bott periodicity, one can interpret the higher homotopies of O in terms of simpler-to-analyze homotopies of lower order. Using π0, O and O/U have two components, KO = BO × Z and KSp = BSp × Z have countably many components, and the rest are connected.
In a nutshell: [5]
Let R be any of the four division algebras R, C, H , O , and let LR be the tautological line bundle over the projective line RP1, and [LR] its class in K-theory. Noting that RP1 = S1, CP1 = S2, HP1 = S4, OP1 = S8, these yield vector bundles over the corresponding spheres, and
From the point of view of symplectic geometry, π0(KO) ≅ π8(KO) = Z can be interpreted as the Maslov index, thinking of it as the fundamental group π1(U/O) of the stable Lagrangian Grassmannian as U/O ≅ Ω7(KO), so π1(U/O) = π1+7(KO).
The orthogonal group anchors a Whitehead tower:
which is obtained by successively removing (killing) homotopy groups of increasing order. This is done by constructing short exact sequences starting with an Eilenberg–MacLane space for the homotopy group to be removed. The first few entries in the tower are the spin group and the string group, and are preceded by the fivebrane group. The homotopy groups that are killed are in turn π0(O) to obtain SO from O, π1(O) to obtain Spin from SO, π3(O) to obtain String from Spin, and then π7(O) and so on to obtain the higher order branes.
Over the real numbers, nondegenerate quadratic forms are classified by Sylvester's law of inertia, which asserts that, on a vector space of dimension n, such a form can be written as the difference of a sum of p squares and a sum of q squares, with p + q = n. In other words, there is a basis on which the matrix of the quadratic form is a diagonal matrix, with p entries equal to 1, and q entries equal to −1. The pair (p, q) called the inertia, is an invariant of the quadratic form, in the sense that it does not depend on the way of computing the diagonal matrix.
The orthogonal group of a quadratic form depends only on the inertia, and is thus generally denoted O(p, q). Moreover, as a quadratic form and its opposite have the same orthogonal group, one has O(p, q) = O(q, p).
The standard orthogonal group is O(n) = O(n, 0) = O(0, n). So, in the remainder of this section, it is supposed that neither p nor q is zero.
The subgroup of the matrices of determinant 1 in O(p, q) is denoted SO(p, q). The group O(p, q) has four connected components, depending on whether an element preserves orientation on either of the two maximal subspaces where the quadratic form is positive definite or negative definite. The component of the identity, whose elements preserve orientation on both subspaces, is denoted SO+(p, q).
The group O(3, 1) is the Lorentz group that is fundamental in relativity theory. Here the 3 corresponds to space coordinates, and 1 corresponds to the time coordinate.
Over the field C of complex numbers, every non-degenerate quadratic form in n variables is equivalent to x12 + ... + xn2. Thus, up to isomorphism, there is only one non-degenerate complex quadratic space of dimension n, and one associated orthogonal group, usually denoted O(n, C). It is the group of complex orthogonal matrices, complex matrices whose product with their transpose is the identity matrix.
As in the real case, O(n, C) has two connected components. The component of the identity consists of all matrices of determinant 1 in O(n, C); it is denoted SO(n, C).
The groups O(n, C) and SO(n, C) are complex Lie groups of dimension n(n − 1) / 2 over C (the dimension over R is twice that). For n ≥ 2, these groups are noncompact. 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 Z.
Over a field of characteristic different from two, two quadratic forms are equivalent if their matrices are congruent, that is if a change of basis transforms the matrix of the first form into the matrix of the second form. Two equivalent quadratic forms have clearly the same orthogonal group.
The non-degenerate quadratic forms over a finite field of characteristic different from two are completely classified into congruence classes, and it results from this classification that there is only one orthogonal group in odd dimension and two in even dimension.
More precisely, Witt's decomposition theorem asserts that (in characteristic different from two) every vector space equipped with a non-degenerate quadratic form Q can be decomposed as a direct sum of pairwise orthogonal subspaces
where each Li is a hyperbolic plane (that is there is a basis such that the matrix of the restriction of Q to Li has the form ), and the restriction of Q to W is anisotropic (that is, Q(w) ≠ 0 for every nonzero w in W).
The Chevalley–Warning theorem asserts that, over a finite field, the dimension of W is at most two.
If the dimension of V is odd, the dimension of W is thus equal to one, and its matrix is congruent either to or to where 𝜑 is a non-square scalar. It results that there is only one orthogonal group that is denoted O(2n + 1, q), where q is the number of elements of the finite field (a power of an odd prime). [6]
If the dimension of W is two and −1 is not a square in the ground field (that is, if its number of elements q is congruent to 3 modulo 4), the matrix of the restriction of Q to W is congruent to either I or –I, where I is the 2×2 identity matrix. If the dimension of W is two and −1 is a square in the ground field (that is, if q is congruent to 1, modulo 4) the matrix of the restriction of Q to W is congruent to φ is any non-square scalar.
This implies that if the dimension of V is even, there are only two orthogonal groups, depending whether the dimension of W zero or two. They are denoted respectively O+(2n, q) and O−(2n, q). [6]
The orthogonal group Oε(2, q) is a dihedral group of order 2(q − ε), where ε = ±.
For studying the orthogonal group of Oε(2, q), one can suppose that the matrix of the quadratic form is because, given a quadratic form, there is a basis where its matrix is diagonalizable. A matrix belongs to the orthogonal group if AQAT = Q, that is, a2 – ωb2 = 1, ac – ωbd = 0, and c2 – ωd2 = –ω. As a and b cannot be both zero (because of the first equation), the second equation implies the existence of ε in Fq, such that c = εωb and d = εa. Reporting these values in the third equation, and using the first equation, one gets that ε2 = 1, and thus the orthogonal group consists of the matrices
where a2 – ωb2 = 1 and ε = ±1. Moreover, the determinant of the matrix is ε.
For further studying the orthogonal group, it is convenient to introduce a square root α of ω. This square root belongs to Fq if the orthogonal group is O+(2, q), and to Fq2 otherwise. Setting x = a + αb, and y = a – αb, one has
If and are two matrices of determinant one in the orthogonal group then
This is an orthogonal matrix with a = a1a2 + ωb1b2, and b = a1b2 + b1a2. Thus
It follows that the map (a, b) ↦ a + αb is a homomorphism of the group of orthogonal matrices of determinant one into the multiplicative group of Fq2.
In the case of O+(2n, q), the image is the multiplicative group of Fq, which is a cyclic group of order q.
In the case of O–(2n, q), the above x and y are conjugate, and are therefore the image of each other by the Frobenius automorphism. This meant that and thus xq+1 = 1. For every such x one can reconstruct a corresponding orthogonal matrix. It follows that the map is a group isomorphism from the orthogonal matrices of determinant 1 to the group of the (q + 1)-roots of unity. This group is a cyclic group of order q + 1 which consists of the powers of gq−1, where g is a primitive element of Fq2,
For finishing the proof, it suffices to verify that the group all orthogonal matrices is not abelian, and is the semidirect product of the group {1, −1} and the group of orthogonal matrices of determinant one.
The comparison of this proof with the real case may be illuminating.
Here two group isomorphisms are involved:
where g is a primitive element of Fq2 and T is the multiplicative group of the element of norm one in Fq2 ;
with and
In the real case, the corresponding isomorphisms are:
where C is the circle of the complex numbers of norm one;
with and
When the characteristic is not two, the order of the orthogonal groups are [7]
In characteristic two, the formulas are the same, except that the factor 2 of |O(2n + 1, q)| must be removed.
For orthogonal groups, the Dickson invariant is a homomorphism from the orthogonal group to the quotient group Z / 2Z (integers modulo 2), taking the value 0 in case the element is the product of an even number of reflections, and the value of 1 otherwise. [8]
Algebraically, the Dickson invariant can be defined as D(f) = rank(I − f) modulo 2, where I is the identity ( Taylor 1992 , Theorem 11.43). Over fields that are not of characteristic 2 it is 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 more information than the determinant.
The special orthogonal group is the kernel of the Dickson invariant [8] and usually has index 2 in O(n, F ). [9] When the characteristic of F is not 2, the Dickson Invariant is 0 whenever the determinant is 1. Thus when the characteristic is not 2, SO(n, F ) is commonly defined to be the elements of O(n, F ) with determinant 1. Each element in O(n, F ) has determinant ±1. Thus in characteristic 2, the determinant is always 1.
The Dickson invariant can also be defined for Clifford groups and pin groups in a similar way (in all dimensions).
Over fields of characteristic 2 orthogonal groups often exhibit special behaviors, some of which are listed in this section. (Formerly these groups were known as the hypoabelian groups, but this term is no longer used.)
The spinor norm is a homomorphism from an orthogonal group over a field F to the quotient group F× / (F×)2 (the multiplicative group of the field F up to multiplication by square elements), that takes reflection in a vector of norm n to the image of n in F× / (F×)2. [11]
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.
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 phenomenon is concerned. The first point is that quadratic forms over a field can be identified as a Galois H1, 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 determinant.
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.
Here μ2 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 H0(OV), which is simply the group OV(F) of F-valued points, to H1(μ2) is essentially the spinor norm, because H1(μ2) is isomorphic to the multiplicative group of the field modulo squares.
There is also the connecting homomorphism from H1 of the orthogonal group, to the H2 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.
The Lie algebra corresponding to Lie groups O(n, F ) and SO(n, F ) consists of the skew-symmetric n × n matrices, with the Lie bracket [ , ] given by the commutator. One Lie algebra corresponds to both groups. It is often denoted by or , and called the orthogonal Lie algebra or special orthogonal Lie algebra. Over real numbers, these Lie algebras for different n are the compact real forms of two of the four families of semisimple Lie algebras: in odd dimension Bk, where n = 2k + 1, while in even dimension Dr, where n = 2r.
Since the group SO(n) is not simply connected, the representation theory of the orthogonal Lie algebras includes both representations corresponding to ordinary representations of the orthogonal groups, and representations corresponding to projective representations of the orthogonal groups. (The projective representations of SO(n) are just linear representations of the universal cover, the spin group Spin(n).) The latter are the so-called spin representation, which are important in physics.
More generally, given a vector space V (over a field with characteristic not equal to 2) with a nondegenerate symmetric bilinear form (⋅, ⋅), the special orthogonal Lie algebra consists of tracefree endomorphisms which are skew-symmetric for this form (). Over a field of characteristic 2 we consider instead the alternating endomorphisms. Concretely we can equate these with the alternating tensors Λ2V. The correspondence is given by:
This description applies equally for the indefinite special orthogonal Lie algebras for symmetric bilinear forms with signature (p, q).
Over real numbers, this characterization is used in interpreting the curl of a vector field (naturally a 2-vector) as an infinitesimal rotation or "curl", hence the name.
The orthogonal groups and special orthogonal groups have a number of important subgroups, supergroups, quotient groups, and covering groups. These are listed below.
The inclusions O(n) ⊂ U(n) ⊂ USp(2n) and USp(n) ⊂ U(n) ⊂ O(2n) are part of a sequence of 8 inclusions used in a geometric proof of the Bott periodicity theorem, and the corresponding quotient spaces are symmetric spaces of independent interest – for example, U(n)/O(n) is the Lagrangian Grassmannian.
In physics, particularly in the areas of Kaluza–Klein compactification, it is important to find out the subgroups of the orthogonal group. The main ones are:
The orthogonal group O(n) is also an important subgroup of various Lie groups:
Being isometries, real orthogonal transforms preserve angles, and are thus conformal maps, though not all conformal linear transforms are orthogonal. In classical terms this is the difference between congruence and similarity, as exemplified by SSS (side-side-side) congruence of triangles and AAA (angle-angle-angle) similarity of triangles. The group of conformal linear maps of Rn is denoted CO(n) for the conformal orthogonal group, and consists of the product of the orthogonal group with the group of dilations. If n is odd, these two subgroups do not intersect, and they are a direct product: CO(2k + 1) = O(2k + 1) × R∗, where R∗ = R∖{0} is the real multiplicative group, while if n is even, these subgroups intersect in ±1, so this is not a direct product, but it is a direct product with the subgroup of dilation by a positive scalar: CO(2k) = O(2k) × R+.
Similarly one can define CSO(n); this is always: CSO(n) = CO(n) ∩ GL+(n) = SO(n) × R+.
As the orthogonal group is compact, discrete subgroups are equivalent to finite subgroups. [note 1] These subgroups are known as point groups and can be realized as the symmetry groups of polytopes. A very important class of examples are the finite Coxeter groups, which include the symmetry groups of regular polytopes.
Dimension 3 is particularly studied – see point groups in three dimensions, polyhedral groups, and list of spherical symmetry groups. In 2 dimensions, the finite groups are either cyclic or dihedral – see point groups in two dimensions.
Other finite subgroups include:
The orthogonal group is neither simply connected nor centerless, and thus has both a covering group and a quotient group, respectively:
These are all 2-to-1 covers.
For the special orthogonal group, the corresponding groups are:
Spin is a 2-to-1 cover, while in even dimension, PSO(2k) is a 2-to-1 cover, and in odd dimension PSO(2k + 1) is a 1-to-1 cover; i.e., isomorphic to SO(2k + 1). These groups, Spin(n), SO(n), and PSO(n) are Lie group forms of the compact special orthogonal Lie algebra, – Spin is the simply connected form, while PSO is the centerless form, and SO is in general neither. [note 3]
In dimension 3 and above these are the covers and quotients, while dimension 2 and below are somewhat degenerate; see specific articles for details.
The principal homogeneous space for the orthogonal group O(n) is the Stiefel manifold Vn(Rn) of orthonormal bases (orthonormal n-frames).
In other words, the space of orthonormal bases is like the orthogonal group, but without a choice of base point: given an orthogonal space, there is no natural choice of orthonormal basis, but once one is given one, there is a one-to-one correspondence between bases and the orthogonal group. Concretely, a linear map is determined by where it sends a basis: just as an invertible map can take any basis to any other basis, an orthogonal map can take any orthogonal basis to any other orthogonal basis.
The other Stiefel manifolds Vk(Rn) for k < n of incomplete orthonormal bases (orthonormal k-frames) are still homogeneous spaces for the orthogonal group, but not principal homogeneous spaces: any k-frame can be taken to any other k-frame by an orthogonal map, but this map is not uniquely determined.
In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English mathematician William Kingdon Clifford (1845–1879).
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors.
In mathematics, a square matrix is a matrix with the same number of rows and columns. An n-by-n matrix is known as a square matrix of order . Any two square matrices of the same order can be added and multiplied.
In mechanics and geometry, the 3D rotation group, often denoted O(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted Sp(2n, F) and Sp(n) for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by . Many authors prefer slightly different notations, usually differing by factors of 2. The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2n, C) is denoted Cn, and Sp(n) is the compact real form of Sp(2n, C). Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n.
In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.
In mathematics, particularly in linear algebra, a skew-symmetricmatrix is a square matrix whose transpose equals its negative. That is, it satisfies the condition
In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.
In mathematics, the indefinite orthogonal group, O(p, q) is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is n(n − 1)/2.
In mathematics, a linear algebraic group is a subgroup of the group of invertible matrices that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of .
Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire (n − 1)-dimensional flat of fixed points in a n-dimensional space.
In mathematics the spin group, denoted Spin(n), is a Lie group whose underlying manifold is the double cover of the special orthogonal group SO(n) = SO(n, R), such that there exists a short exact sequence of Lie groups (when n ≠ 2)
An infinitesimal rotation matrix or differential rotation matrix is a matrix representing an infinitely small rotation.
In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix
In abstract algebra, in particular in the theory of nondegenerate quadratic forms on vector spaces, the structures of finite-dimensional real and complex Clifford algebras for a nondegenerate quadratic form have been completely classified. In each case, the Clifford algebra is algebra isomorphic to a full matrix ring over R, C, or H, or to a direct sum of two copies of such an algebra, though not in a canonical way. Below it is shown that distinct Clifford algebras may be algebra-isomorphic, as is the case of Cl1,1(R) and Cl2,0(R), which are both isomorphic as rings to the ring of two-by-two matrices over the real numbers.
In mathematics, the pin group is a certain subgroup of the Clifford algebra associated to a quadratic space. It maps 2-to-1 to the orthogonal group, just as the spin group maps 2-to-1 to the special orthogonal group.
In mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.
In mathematics, the special linear group SL(2, R) or SL2(R) is the group of 2 × 2 real matrices with determinant one:
In mathematics, a matrix is a rectangular array or table of numbers, symbols, or expressions, arranged in rows and columns, which is used to represent a mathematical object or a property of such an object.