| Gl(n) |
Website Links For General |
Information AboutGl(n) |
| CATEGORIES ABOUT GENERAL LINEAR GROUP | |
| abstract algebra | |
| linear algebra | |
| lie groups | |
|
To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of Real Numbers ) is the group of ''n''×''n'' invertible matrices of real numbers, and is denoted by ''GLn''(R) or ''GL''(''n'', R). More generally, the general linear group of degree ''n'' over any Field ''F'' (such as the Complex Number s), or a Ring ''R'' (such as the ring of Integer s), is the set of ''n''×''n'' invertible matrices with entries from ''F'' (or ''R''), again with matrix multiplication as the group operation.Here rings are assumed to be Associative And Unital . Typical notation is ''GL''(''n'', ''F''), or simply ''GL''(''n'') if the field is understood. The special Linear Group , written ''SL''(''n'', ''F'') or just ''SL''(''n''), is the Subgroup of ''GL''(''n'', ''F'') consisting of matrices with Determinant +1. The group ''GL''(''n'', ''F'') and its subgroups are often called linear groups or '''matrix groups'''. These groups are important in the theory of Group Representation s, and also arise in the study of spatial Symmetries and symmetries of Vector Spaces in general, as well as the study of Polynomials . The Modular Group may be realised as a quotient of the special linear group SL(2, '''Z'''). If ''n'' ≥ 2, then the group ''GL''(''n'', ''F'') is not Abelian . GENERAL LINEAR GROUP OF A VECTOR SPACE If ''V'' is a Vector Space over the field ''F'', then we write GL(''V'') or Aut(''V'') for the group of all Automorphism s of ''V'', i.e. the set of all Bijective Linear Transformation s ''V'' → ''V'', together with functional composition as group operation. If ''V'' has finite Dimension ''n'', then then GL(''V'') and GL(''n'', ''F'') are Isomorphic . The isomorphism is not canonical; it depends on a choice of Basis in ''V''. Given a basis (''e''1, ..., ''e''''n'') of ''V'' and an automorphism ''T'' in GL(''V''), we have : for some constants ''a''''jk'' in ''F''; the matrix corresponding to ''T'' is then just the matrix with entries given by the ''a''''jk''. In a similar way, for a commutative ring ''R'' the group GL(''n'', ''R'') may be interpreted as the group of automorphisms of a '' Free '' ''R''-module ''M'' of rank ''n''. IN TERMS OF DETERMINANTS Over a field ''F'', a matrix is invertible if and only if its determinant is nonzero. Therefore an alternative definition of GL(''n'', ''F'') is as the group of matrices with nonzero determinant. Over a commutative ring ''R'', one must be slightly more careful: a matrix over ''R'' is invertible if and only if its determinant is a Unit in ''R'', that is, if its determinant is invertible in ''R''. Therefore GL(''n'', ''R'') may be defined as the group of matrices whose determimants are units. Over a non-commutative ring ''R'', determinants are not at all well behaved. In this case, GL(''n'', ''R'') may be defined as the Unit Group of M(''n'', ''R''). AS A LIE GROUP Real case The general linear GL(''n'',R) over the field of Real Number s is a real Lie Group of dimension ''n''2. To see this, note that the set of all ''n''×''n'' real matrices, ''M''''n''(R), forms a Real Vector Space of dimension ''n''2. The subset GL(''n'',R) consists of those matrices whose Determinant is non-zero. The determinant is a Continuous (even Polynomial ) map, and hence GL(''n'',R) is a Non-empty Open Subset of ''M''''n''(R) and therefore Smooth Manifold of the same dimension. The Lie Algebra of GL(''n'',R) consists of all ''n''×''n'' real matrices with the Commutator serving as the Lie bracket. As a manifold, GL(''n'',R) is not , denoted by GL+(''n'', R), consists of the real ''n''×''n'' matrices with positive determinant. This is also a Lie group of dimension ''n''2; it has the same Lie algebra as GL(''n'',R). The group GL(''n'',R) is also Noncompact . The Maximal Compact Subgroup of GL(''n'', R) is the Orthogonal Group O(''n''), while the maximal compact subgroup of GL+(''n'', R) is the Special Orthogonal Group SO(''n''). As for SO(''n''), the group GL+(''n'', R) is not Simply Connected (except when ''n''=1), but rather has a Fundamental Group isomorphic to '''Z''' for ''n''=2 or '''Z'''2 for ''n''>2. Complex case The general linear GL(''n'',C) over the field of Complex Number s is a ''complex'' Lie Group of complex dimension ''n''2. As a real Lie group it has dimension 2''n''2. The set of all real matrices forms a real Lie subgroup. The Lie Algebra corresponding to GL(''n'',C) consists of all ''n''×''n'' complex matrices with the Commutator serving as the Lie bracket. Unlike the real case, GL(''n'',C) is Connected . This follows, in part, since the multiplicative group of complex numbers C× is connected. The group manifold GL(''n'',C) is not compact; rather its Maximal Compact Subgroup is the Unitary Group U(''n''). As for U(''n''), the group manifold GL(''n'',C) is not Simply Connected but has a Fundamental Group isomorphic to '''Z'''. AS AN ALGEBRAIC VARIETY The general linear group of degree ''n'' over a field ''F'' may be regarded as an open subvariety of affine ''n''2-space over ''F''. OVER FINITE FIELDS If ''F'' is a Finite Field with ''q'' elements, then we sometimes write GL(''n'', ''q'') instead of GL(''n'', ''F''). GL(''n'', ''q'') is the Outer Automorphism Group of the group Z''p''''n'', and also the Automorphism group, because Z''p''''n'' is Abelian, so the Inner Automorphism Group is trivial. The order of GL(''n'', ''q'') is: :(''q''''n'' - 1)(''q''''n'' - ''q'')(''q''''n'' - ''q''2) … (''q''''n'' - ''q''''n''-1) This can be shown by counting the possible columns of the matrix: the first column can be anything but the zero column; the second column can be anything but the multiples of the first column, etc. For example GL(3,2) has order 168. It is the automorphism group of the Fano Plane and of the group Z23. More generally, one can count points of subgroup of one (described on that page in Block Matrix form), and divide into the formula just given, by the Orbit-stabilizer Theorem . The connection between these formulae, and the Betti Number s of complex Grassmannians, was one of the clues leading to the Weil Conjectures . SPECIAL LINEAR GROUP The special linear group, SL(''n'', ''F''), is the group of all matrices with Determinant 1. Matrices of this type form a group as the determinant of the product of two matrices is the product of the determinants of each matrix. SL(''n'', ''F'') is a Normal Subgroup of GL(''n'', ''F''). If we write ''F''× for the multiplicative group of ''F'' (excluding 0), then the determinant is a Group Homomorphism :det: GL(''n'', ''F'') → ''F''×. The Kernel of the map is just the special linear group. By the First Isomorphism Theorem we see that GL(''n'',''F'')/SL(''n'',''F'') is Isomorphic to ''F''×. In fact, GL(''n'', ''F'') can be written as a Semidirect Product of SL(''n'', ''F'') by ''F''×: :GL(''n'', ''F'') = SL(''n'', ''F'') ⋊ ''F''× When ''F'' is R or '''C''', SL(''n'') is a Lie Subgroup of GL(''n'') of dimension ''n''2 − 1. The Lie Algebra of SL(''n'') consists of all ''n''×''n'' matrices over ''F'' with vanishing Trace . The Lie bracket is given by the Commutator . The special linear group SL(''n'', R) can be characterized as the group of '' Volume and Orientation preserving'' linear transformations of R''n''. The group SL(''n'', C) is simply connected while SL(''n'', '''R''') is not. SL(''n'', '''R''') has the same fundamental group as GL+(''n'', '''R'''), that is, '''Z''' for ''n''=2 and '''Z'''2 for ''n''>2. OTHER SUBGROUPS Diagonal subgroups The set of all invertible Diagonal Matrices forms a subgroup of GL(''n'', ''F'') isomorphic to (''F''×)''n''. In fields like R and '''C''', these correspond to rescaling the space; the so called dilations and contractions. A scalar matrix is a diagonal matrix which is a constant times the Identity Matrix . The set of all nonzero scalar matrices, sometimes denoted Z(''n'', ''F''), forms a subgroup of GL(''n'', ''F'') isomorphic to ''F''× . This group is the Center of GL(''n'', ''F''). In particular, it is a normal, abelian subgroup. The center of SL(''n'', ''F''), denoted SZ(''n'', ''F''), is simply the set of all scalar matrices with unit determinant. Note that SZ(''n'', C) is isomorphic to the ''n''th Roots Of Unity . Classical groups The so-called ''classical groups'' are subgroups of GL(''V'') which preserve some sort of Bilinear Form on a vector space ''V''. These include the
These groups provide important examples of Lie groups. NOTES SEE ALSO
|
|
|