Classical group
2010 Mathematics Subject Classification: Primary: 20G [MSN][ZBL]
A classical group is the group of automorphisms of some sesquilinear form $f$ on a right $K$-module $E$, where $K$ is a ring; here $f$ and $E$ (and sometimes $K$ as well) usually satisfy extra conditions. There is no precise definition of a classical group. It is supposed that $f$ is either the null form or is a non-degenerate reflexive form; sometimes $E$ is taken to be a free module of finite type. Often one means by classical groups other groups closely related to groups of automorphisms of forms (for example, their commutator subgroups or quotients with respect to the centre) or some of their extensions (for example, groups of semi-linear transformations of $E$ preserving $f$ up to a scalar factor and an automorphism of $K$).
Classical groups are closely related to geometry: They can be characterized as groups of those transformations of projective spaces (and also of certain varieties related to Grassmannians, see [Di]) that preserve the natural incidence relations. For example, according to the fundamental theorem of projective geometry, the group of all transformations of $n$-dimensional projective space $P$ over a skew-field $K$ that preserve collinearity coincides for $n\ge 3$ with the classical group of all projective collineations of $P$. For this reason, the study of the structure of a classical group has a geometrical meaning; it is equivalent to the study of the symmetries (automorphisms) of the corresponding geometry.
The theory of classical groups has been developed most profoundly for the case when $K$ is a skew-field and $E$ is a vector space of finite dimension $n$ over $K$. From now on, these conditions will be assumed to hold. Then the groups of the following series (to be described below) are usually called classical: $\def\GL{ {\rm GL}}\GL_n(K)$, $\def\SL{ {\rm SL}}\SL_n(K)$, $\def\Sp{ {\rm Sp}}\Sp_n(K)$, $\def\O{ {\rm O}}\O_n(K,f)$, $\def\U{ {\rm U}}\U_n(K,f)$.
1) Let $f$ be the null form. Then the group of all automorphisms of $f$ is the same as the group of all automorphisms of $E$ (that is, bijective linear mappings from $E$ into $E$); it is denoted by $\GL_n(K)$ and is called the general linear group in $n$ variables over the skew-field $K$, sometimes the full linear group. The subgroup of $\GL_n(K)$ generated by all transvections (cf. Transvection) is denoted by $\SL_n(K)$ and is called the special linear group (or unimodular group) in $n$ variables over the skew-field $K$. It is the same as the set of automorphisms with determinant $1$.
2) Let $f$ be a non-degenerate sesquilinear form (with respect to an involution $J$ of $K$) for which the orthogonality relation is symmetric, that is
$$f(x,y) = 0 \implies f(y,x) = 0.$$ Such a form is called reflexive. The group $\U_n(K,f)$ of all automorphisms of $K$ is called the unitary group in $f$ variables over the skew-field $K$ with respect to the form $f$. There are only two possibilities: Either $K$ is a field, $J=1$ and $f$ is a skew-symmetric bilinear form, or by multiplying $f$ by a suitable scalar and altering $J$, one can arrange for $f$ to be a Hermitian or skew-Hermitian form. For a skew-symmetric form $f$, $\U_n(K,f)$ is called the symplectic group in $n$ variables over the skew-field $K$ (if ${\rm char} K = 2$ one must suppose that $f$ is an alternating form); it is denoted by $\Sp_n(K)$. This notation does not include $f$ because all non-degenerate alternating forms on $E$ are equivalent and define isomorphic symplectic groups. In this case $n$ is even. For Hermitian and skew-Hermitian forms, there is the special case that $K$ is a field of characteristic different from 2, $J=1$ and $f$ is a symmetric bilinear form. Then $\U_n(K,f)$ is called the orthogonal group in $n$ variables over the field $K$ with respect to the form $f$; it is denoted by $\O_n(K,f)$. Orthogonal groups can also be defined for fields of characteristic 2 (see [Di]). Often the term "unitary group" is used in a narrower sense for groups $\U_n(K,f)$ that are neither orthogonal nor symplectic, that is, groups corresponding to non-trivial involutions $J$.
Associated with each of the fundamental series of classical groups are their projective images $\def\PGL{ {\rm PGL}}\PGL_n(K)$, $\def\PSL{ {\rm PSL}}\PSL_n(K)$, $\def\PSp{ {\rm PSp}}\PSp_n(K)$, $\def\PO{ {\rm PO}}\PO_n(K)$, $\def\PU{ {\rm PU}}\PU_n(K)$; these are the quotient groups of them by the intersections with the centre $Z_n$ of $\PGL_n(K)$. The group
$$\O_n^+(K,f)=\O_n(K,f)\cap \SL_n(K),$$ the commutator subgroup $\def\Om{\Omega}\Om_n(K,f)$ of $\O_n(K,f)$, the group
$$\U_n^+(K,f)=\U_n(K,f)\cap \SL_n(K),$$ and their projective images are also associated with the series of orthogonal and unitary classical groups, respectively.
The classical approach to the theory of classical groups aims at the elucidation of their algebraic structure. This reduces to the description of a normal series of subgroups and their successive quotient groups (in particular a description of normal subgroups and simple composition factors), the description of the automorphisms and isomorphisms of the classical groups (and, more generally, of the homomorphisms), the description of the various types of generating sets and their relations, etc. The main results on the structure of groups of type $\GL_n(K)$ and $\SL_n(K)$ are the following. The commutator subgroup of $\GL_n(K)$, $n\ge 2$, is $\SL_n(K)$, except in the case $n=2$, $K=\F_2$ (where $\F_q$ is the field of $q$ elements). The centre $Z_n$ of $\GL_n(K)$ consists of all homotheties $x\mapsto x\def\a{\alpha}\a$, where $\a$ is an element of the centre of $K^*$. There is a normal series of subgroups
$$\GL_n(K) \supset \SL_n(K) \supset \SL_n(K)\cap Z_n \supset \{1\}$$ The group $\GL_n(K)/\SL_n(K)$ is isomorphic to $K^*/C$, where $K^*$ is the multiplicative group of the skew-field $K$ and $C$ is its commutator subgroup. The group $\SL_n(K)\cap Z_n$ is the centre of $\SL_n(K)$ and the quotient group
$$\SL_n(K)/(\SL_n(K)\cap Z_n) = \PSL_n(K)$$ is simple in all cases except when $n=2$, $K=\F_2$ or $\F_3$. For further details see General linear group; Special linear group; Symplectic group; Orthogonal group; Unitary group. The structure of a classical group depends essentially on its type, the skew-field $K$, the properties of the form $f$, and $n$. For some types of classical groups a very detailed description is available. For others there are still open questions. (These involve mainly groups of type $\U_n(K,f)$ where $f$ is an anisotropic form.) Typical for the structure theory of classical groups are assertions that hold for almost-all $K$, $f$ and $n$, and the investigation of the various exceptional cases when these assertions are false. (Such exceptions arise for instance for small values of $n$, for finite fields $K$ of small order or for special values of the index of the form $f$.)
The question of isomorphisms of classical groups occupies a special position. First there are the standard isomorphisms. These are isomorphisms between $G(n,K,f)$ and $G'(n',K',f')$ the definition of which does not depend on special properties of $K$ (except, perhaps, its commutativity). All other isomorphisms are called non-standard. For example, there is a (standard) isomorphism from $\Sp_2(K)$ onto $\SL_2(K)$, where $K$ is any field, or from $\U_2^+(K,f)$ onto $\SL_2(K_0)$, where $K$ is any field, $J\ne 1$, $f$ is a form of index 1, and $K_0$ is the field of invariants of $J$. For a detailed description of the known standard isomorphisms, see [Di], [BoMo]. Examples of non-standard isomorphisms are:
$$\PSL_2(\F_4) \cong \PSL_2(\F_5),\qquad \PSL_2(\F_7)\cong\PSL_3(\F_2),$$
$$\PSp_4(\F_3) \cong \PU_4^+(\F_4).$$ It is also known that the groups $\PSL_n(K)$ and $\PSL_m(K')$, $n,m\ge 2$, can be isomorphic only when $n=m$, apart from the case
$$\PSL_2(\F_7) \cong \PSL_3(\F_2);$$ when $m=n>2$, isomorphism is possible only if $K$ and $K'$ are isomorphic or anti-isomorphic; this is also the case when $m=n=2$ if $K$ and $K'$ are fields, apart from the case
$$\PSL_2(\F_4) \cong \PSL_2(\F_5).$$ The groups $\PSp_n(K)$ and $\PSp_m(K')$ can be isomorphic only if $n=m$ and $K=K'$, apart from the case $m=n=2$, $K=\F_4$, $K'=\F_5$. There are no other isomorphisms among the groups $\PSL_n(K)$, $\PSp_n(K)$, ${\rm P}\Om_q(K,f)$ (where $K$ is a finite field) apart from the ones indicated above.
The results listed above on the structure of classical groups and their isomorphisms are obtained by methods of linear algebra and projective geometry. The basis for this consists in the study of special elements in the classical groups and the geometric properties of them, principally the study of transvections, involutions and planar rotations. Subsequently, methods of the theory of Lie groups and algebraic geometry were introduced into the theory of classical groups, whereupon the theory of classical groups became much related with the general theory of semi-simple linear algebraic groups in which classical groups appear as forms (cf. Form of an algebraic group): Every form of a simple linear algebraic group over a field $K$ of classical type (that is, of type $A_n$, $B_n$, $C_n$, or $D_n$) gives rise to a classical group, the group of its $K$-rational points (an exception being a form of $D_4$ connected with an outer automorphism of order three). In the case when $K$ is $\R$ or $\C$, a classical group is naturally endowed with a Lie group structure, and for $p$-adic fields with a $p$-adic analytic group structure. This makes it possible to use topological methods in the study of such classical groups, and conversely, to obtain information on the topological structure of the underlying variety of a classical group (for example, on its finite cellular decompositions) from the knowledge of its algebraic structure.
In the more general situation when $E$ is a module over a ring $K$ the results on classical groups are not so exhaustive (see [BoMo]). Here the theory of classical groups links up with algebraic $K$-theory.
References
[Ar] | E. Artin, "Geometric algebra", Interscience (1957) MR1529733 MR0082463 Zbl 0077.02101 |
[Bo] | N. Bourbaki, "Elements of mathematics. Algebra: Modules. Rings. Forms", 2, Addison-Wesley (1975) pp. Chapt.4;5;6 (Translated from French) MR2333539 MR2327161 MR2325344 MR2284892 MR2272929 MR0928386 MR0896478 MR0782297 MR0782296 MR0722608 MR0682756 MR0643362 MR0647314 MR0610795 MR0583191 MR0354207 MR0360549 MR0237342 MR0205211 MR0205210 |
[BoMo] | A. Borel (ed.) G.D. Mostow (ed.), Algebraic groups and discontinuous subgroups, Proc. Symp. Pure Math., 9, Amer. Math. Soc. (1966) MR0202512 Zbl 0171.24105 |
[BoTi] | A. Borel, J. Tits, "Homomorphisms "abstraits" de groupes algébriques simples" Ann. of Math. (2), 97 (1973) pp. 499–571 Zbl 0202.03202 |
[Di] | J.A. Dieudonné, "La géométrie des groups classiques", Springer (1955) Zbl 0221.20056 |
[OM] | O.T. O'Meara, "A survey of the isomorphism theory of the classical groups" , Ring theory and algebra, 3 , M. Dekker (1980) pp. 225–242 Zbl 0438.20033 |
[We] | A. Weil, "Algebras with involutions and the classical groups" J. Ind. Math. Soc., 24 (1960) pp. 589–623 MR0136682 Zbl 0109.02101 |
Comments
Instead of [BoMo] one may consult [BoTi], [OM], [We].
Classical group. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Classical_group&oldid=30643