Projective linear group

Projective linear group

In mathematics, especially in area of algebra called group theory, the projective linear group (also known as the projective general linear group) is one of the fundamental groups of study, part of the so-called classical groups. The projective linear group of a vector space "V" over a field "F" is the quotient group:PGL("V") = GL("V")/Z("V")where GL("V") is the general linear group on "V" and Z("V") is the subgroup of all nonzero scalar transformations of "V".

The projective special linear group is defined analogously::PSL("V") = SL("V")/SZ("V")where SL("V") is the special linear group over "V" and SZ("V") is the subgroup of scalar transformations with unit determinant.

Note that the groups Z("V") and SZ("V") are the centers of GL("V") and SL("V") respectively. If "V" is an "n"-dimensional vector space over a field "F" the alternate notations PGL("n", "F") and PSL("n", "F") are also used.

The name comes from projective geometry, where the projective group acting on homogeneous coordinates ("x"0:"x"1: … :"x""n") is the underlying group of the geometry (N.B. this is therefore PGL("n" + 1, "F") for projective space of dimension "n"). Stated differently, the natural action of GL("V") on "V" descends to an action of PGL("V") on the projective space "P"("V").

The projective linear groups therefore generalise the case PGL(2,C) of Möbius transformations (sometimes called the Möbius group), which acts on the projective line.

The projective special linear groups PSL("n","Fq") for a
finite field "Fq" are often written as PSL("n","q") or "L""n"("q"). They are finite simple groups whenever "n" is at least 2, with two exceptions: "L"2(2), which is isomorphic to "S"3, the symmetric group on 3 letters, and is solvable; and "L"2(3), which is isomorphic to "A"4, the alternating group on 4 letters, and is also solvable.

The special linear groups SL("n","q") are thus quasisimple: perfect central extensions of a simple group (unless n=2 and q=2 or 3).

Exceptional isomorphisms

In addition to the isomorphisms:L_2(2) cong S_3 and L_2(3) cong A_4,there are other exceptional isomorphisms between projective special linear groups and alternating groups::L_2(4) cong L_2(5) cong A_5:L_2(9) cong A_6:L_4(2) cong A_8.This does not make these latter projective linear groups solvable: the alternating groups over 5 or more letters are simple.

The associated extensions operatorname{SL}(n,q) o operatorname{PSL}(n,q) are universal perfect central extensions for A_4,A_5, by uniqueness of the universal perfect central extension;for L_2(9) cong A_6, the associated extension is a perfect central extension, but not universal: there is a 3-fold covering group.

Examples

*Projective orthogonal group
*Projective unitary group
*Projective special orthogonal group
*Projective special unitary group

*Möbius group, PGL(2,C) = PSL(2,C)
*PSL(2,7)
*PSL(2,R)

ee also

*Unit

References

*Citation | last1=Grove | first1=Larry C. | title=Classical groups and geometric algebra | publisher=American Mathematical Society | location=Providence, R.I. | series=Graduate Studies in Mathematics | isbn=978-0-8218-2019-3 | id=MathSciNet | id = 1859189 | year=2002 | volume=39


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • General linear group — Group theory Group theory …   Wikipedia

  • Projective unitary group — In mathematics, the projective unitary group PU( n ) is the quotient of the unitary group U( n ) by the right multiplication of its center, U(1), embedded as scalars.Abstractly, it is the isometry group of complex projective space, just as the… …   Wikipedia

  • Special linear group — In mathematics, the special linear group of degree n over a field F is the set of n times; n matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion.This is the normal subgroup of the general… …   Wikipedia

  • Projective space — In mathematics a projective space is a set of elements constructed from a vector space such that a distinct element of the projective space consists of all non zero vectors which are equal up to a multiplication by a non zero scalar. A formal… …   Wikipedia

  • Projective line — In mathematics, a projective line is a one dimensional projective space. The projective line over a field K , denoted P1( K ), may be defined as the set of one dimensional subspaces of the two dimensional vector space K 2 (it does carry other… …   Wikipedia

  • Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… …   Wikipedia

  • Group of Lie type — In mathematics, a group of Lie type G(k) is a (not necessarily finite) group of rational points of a reductive linear algebraic group G with values in the field k. Finite groups of Lie type form the bulk of nonabelian finite simple groups.… …   Wikipedia

  • Projective representation — In the mathematical field of representation theory, a projective representation of a group G on a vector space V over a field F is a group homomorphism from G to :PGL( V ,F) = GL( V ,F)/F lowast; where GL( V ,F) is the automorphism group of… …   Wikipedia

  • Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”