Белгісіз квадраттық форманың ортогонал тобы

Orthogonal group of an indefinite quadratic form
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 1=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. The indefinite special orthogonal group, SO(p, q) is the subgroup of O(p, q) consisting of all elements with determinant 1. Unlike in the definite case, SO(p, q) is not connected – it has 2 components – and there are two additional finite index subgroups, namely the connected SO+(p, q) and O+(p, q), which has 2 components – see for definition and discussion. The signature of the form determines the group up to isomorphism; interchanging p with q amounts to replacing the metric by its negative, and so gives the same group. If either p or q equals zero, then the group is isomorphic to the ordinary orthogonal group O(n). We assume in what follows that both p and q are positive. The group O(p, q) is defined for vector spaces over the reals. For complex spaces, all groups O(p, q; C) are isomorphic to the usual orthogonal group O(p + q; C), since the transform changes the signature of a form. This should not be confused with the indefinite unitary group U(p, q) which preserves a sesquilinear form of signature (p, q). In even dimension 1=n = 2p, O(p, p) is known as the split orthogonal group.

The basic example is the squeeze mappings, which is the group SO+(1, 1) of (the identity component of) linear transforms preserving the unit hyperbola. Concretely, these are the matrices and can be interpreted as hyperbolic rotations, just as the group SO(2) can be interpreted as circular rotations. In physics, the Lorentz group O(1,3) is of central importance, being the setting for electromagnetism and special relativity. (Some texts use O(3,1) for the Lorentz group; however, O(1,3) is prevalent in quantum field theory because the geometric properties of the Dirac equation are more natural in O(1,3).)

In even dimensions, the middle group O(n, n) is known as the split orthogonal group, and is of particular interest, as it occurs as the group of T duality transformations in string theory, for example. It is the split Lie group corresponding to the complex Lie algebra so2n (the Lie group of the split real form of the Lie algebra); more precisely, the identity component is the split Lie group, as non identity components cannot be reconstructed from the Lie algebra. In this sense it is opposite to the definite orthogonal group 1=O(n) := O(n, 0) = O(0, n), which is the compact real form of the complex Lie algebra. The group SO(1, 1) may be identified with the group of unit split complex numbers. In terms of being a group of Lie type – i. e., construction of an algebraic group from a Lie algebra – split orthogonal groups are Chevalley groups, while the non split orthogonal groups require a slightly more complicated construction, and are Steinberg groups. Split orthogonal groups are used to construct the generalized flag variety over non algebraically closed fields.