|
|
| Line 1: |
Line 1: |
| {{Redirect|Projective group}}
| | Roberto is what's written on his birth certificate fortunately he never really appreciated that name. South Carolina is its birth place. The most beloved hobby for him on top of that his kids is up to fish and he's been for a while doing it for a while. Auditing is how he supports his own family. Go for his website to hit upon out more: http://prometeu.net<br><br>Look into my web site - [http://prometeu.net clash of clans Trainer] |
| [[File:PSL-PGL.svg|thumb|491px|Relation between the projective special linear group PSL and the projective general linear group PGL.]]
| |
| {{Lie groups}}
| |
| | |
| In [[mathematics]], especially in the [[group theory|group theoretic]] area of [[algebra]], the '''projective linear group''' (also known as the '''projective general linear group''' or PGL) is the induced [[group action|action]] of the [[general linear group]] of a [[vector space]] ''V'' on the associated [[projective space]] P(''V''). Explicitly, the projective linear group is the [[quotient group]]
| |
| :PGL(''V'') = GL(''V'')/Z(''V'')
| |
| where GL(''V'') is the [[general linear group]] of ''V'' and Z(''V'') is the subgroup of all nonzero [[scalar transformation]]s of ''V''; these are quotiented out because they act [[trivial action|trivially]] on the projective space and they form the [[Kernel (algebra)|kernel]] of the action, and the notation "Z" reflects that the scalar transformations form the [[center of a group|center]] of the general linear group.
| |
| | |
| The '''projective special linear group''', PSL, is defined analogously, as the induced action of the [[special linear group]] on the associated projective space. Explicitly:
| |
| :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]]. Here SZ is the center of SL, and is naturally identified with the group of ''n''th [[roots of unity]] in ''K'' (where ''n'' is the dimension of ''V'' and ''K'' is the base field).
| |
| | |
| PGL and PSL are some of the fundamental groups of study, part of the so-called [[classical groups]], and an element of PGL is called '''projective linear transformation''', '''projective transformation''' or '''[[homography]]'''. If ''V'' is the ''n''-dimensional vector space over a [[field (mathematics)|field]] ''F'', namely {{nowrap|1 = ''V'' = ''F<sup>n</sup>'',}} the alternate notations PGL(''n'', ''F'') and PSL(''n'', ''F'') are also used.
| |
| | |
| Note that PGL(''n'', ''F'') and PSL(''n'', ''F'') are equal if and only if every element of ''F'' has an ''n''<sup>th</sup> root in ''F''. As an example, note that {{nowrap|1 = PGL(2, '''C''') = PSL(2, '''C'''),}} but {{nowrap|1 = PGL(2, '''R''') > PSL(2, '''R''');}}<ref>Gareth A. Jones and David Silverman. (1987) Complex functions: an algebraic and geometric viewpoint. Cambridge UP. [http://books.google.com/books?id=jJhWM4vAyVMC&pg=PA20&lpg=PA20&dq=psl+pgl&source=bl&ots=Pvz8p2pdOD&sig=oDH3P-vF-SZpqyl0FzUJSalZdlE&hl=en&ei=zIIASqXRHpH2MNqx2N8H&sa=X&oi=book_result&ct=result&resnum=9#PPA20,M1 Discussion of PSL and PGL on page 20 in google books]</ref> this corresponds to the real projective line being orientable, and the projective special linear group only being the orientation-preserving transformations.
| |
| | |
| PGL and PSL can also be defined over a ring, with an important example being the [[modular group]], {{nowrap|1=PSL(2, '''Z''').}}
| |
| | |
| == Name ==
| |
| The name comes from [[projective geometry]], where the projective group acting on [[homogeneous coordinates]] (''x''<sub>0</sub>:''x''<sub>1</sub>: … :''x<sub>n</sub>'') is the underlying group of the geometry.<ref group="note">This is therefore PGL(''n'' + 1, ''F'') for [[projective space]] of dimension ''n''</ref> Stated differently, the natural [[group action|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 transformation]]s (sometimes called the [[Möbius group]]), which acts on the [[projective line]].
| |
| | |
| Note that unlike the general linear group, which is generally defined axiomatically as "invertible functions preserving the linear (vector space) structure", the projective linear group is defined ''constructively,'' as a quotient of the general linear group of the associated vector space, rather than axiomatically as "invertible functions preserving the projective linear structure". This is reflected in the notation: PGL(''n'', ''F'') is the group associated to GL(''n'', ''F''), and is the projective linear group of (''n''−1)-dimensional projective space, not ''n''-dimensional projective space.
| |
| | |
| === Collineations ===
| |
| {{main|Collineation}}
| |
| A related group is the [[collineation group]], which is defined axiomatically. A collineation is an invertible (or more generally one-to-one) map which sends [[collinear points]] to collinear points. One can [[Projective_space#Axioms_for_projective_space|define a projective space axiomatically]] in terms of an [[incidence structure]] (a set of points ''P,'' lines ''L,'' and an [[incidence relation]] ''I'' specifying which points lie on which lines) satisfying certain axioms – an automorphism of a projective space thus defined then being an automorphism ''f'' of the set of points and an automorphism ''g'' of the set of lines, preserving the incidence relation,<ref group="note">"Preserving the incidence relation" means that if point ''p'' is on line ''l'' then ''f''(''p'') is in ''g''(''l''); formally, if (''p'', ''l'') ∈ ''I'' then (''f''(''p''), ''g''(''l'')) ∈ ''I''.</ref> which is exactly a collineation of a space to itself. Projective linear transforms are collineations (planes in a vector space correspond to lines in the associated projective space, and linear transforms map planes to planes, so projective linear transforms map lines to lines), but in general not all collineations are projective linear transforms – PGL is in general a proper subgroup of the collineation group.
| |
| | |
| Specifically, for ''n'' = 2 (a projective line), all points are collinear, so the collineation group is exactly the [[symmetric group]] of the points of the projective line, and except for '''F'''<sub>2</sub> and '''F'''<sub>3</sub> (where PGL is the full symmetric group), PGL is a proper subgroup of the full symmetric group on these points.
| |
| | |
| For ''n'' ≥ 3, the collineation group is the [[projective semilinear group]], PΓL – this is PGL, twisted by [[field automorphism]]s; formally, PΓL ≅ PGL ⋊ Gal(''K''/''k''), where ''k'' is the [[prime field]] for ''K;'' this is the [[fundamental theorem of projective geometry]]. Thus for ''K'' a prime field ('''F'''<sub>''p''</sub> or '''Q'''), we have PGL = PΓL, but for ''K'' a field with non-trivial Galois automorphisms (such as <math>\mathbf{F}_{p^n}</math> for ''n'' ≥ 2 or '''C'''), the projective linear group is a proper subgroup of the collineation group, which can be thought of as "transforms preserving a projective ''semi''-linear structure". Correspondingly, the quotient group PΓL/PGL = Gal(''K''/''k'') corresponds to "choices of linear structure", with the identity (base point) being the existing linear structure.
| |
| | |
| One may also define collineation groups for axiomatically defined projective spaces, where there is no natural notion of a projective ''linear'' transform. However, with the exception of the [[non-Desarguesian plane]]s, all projective spaces are the projectivization of a linear space over a [[division ring]] though, as noted above, there are multiple choices of linear structure, namely a [[torsor]] over Gal(''K''/''k'') (for ''n'' ≥ 3).
| |
| | |
| == Elements ==
| |
| The elements of the projective linear group can be understood as "tilting the plane" along one of the axes, and then projecting to the original plane, and also have dimension ''n.''
| |
| | |
| [[File:Riemann sphere1.jpg|thumb|Rotation about the ''z'' axes rotates the projective plane, while the projectivization of rotation about lines parallel to the ''x'' or ''y'' axes yield projective rotations of the plane.]]
| |
| A more familiar geometric way to understand the projective transforms is via '''projective rotations''' (the elements of PSO(''n''+1)), which corresponds to the [[stereographic projection]] of rotations of the unit hypersphere, and has dimension <math>\textstyle{1+2+\cdots+n=\binom{n+1}{2}}.</math> Visually, this corresponds to standing at the origin (or placing a camera at the origin), and turning one's angle of view, then projecting onto a flat plane. Rotations in axes perpendicular to the hyperplane preserve the hyperplane and yield a rotation of the hyperplane (an element of SO(''n''), which has dimension <math>\textstyle{1+2+\cdots+(n-1) =\binom{n}{2}}.</math>), while rotations in axes parallel to the hyperplane are proper projective maps, and accounts for the remaining ''n'' dimensions.
| |
| | |
| == Properties ==
| |
| * PGL sends collinear points to collinear points (it preserves projective lines), but it is not the full [[collineation group]], which is instead either PΓL (for ''n'' > 2) or the full [[symmetric group]] for ''n'' = 2 (the projective line).
| |
| * Every ([[biregular]]) algebraic automorphism of a projective space is projective linear. The [[birational automorphism]]s form a larger group, the [[Cremona group]].
| |
| * PGL acts faithfully on projective space: non-identity elements act non-trivially.
| |
| *:Concretely, the kernel of the action of GL on projective space is exactly the scalar maps, which are quotiented out in PGL.
| |
| * PGL acts [[2-transitive group|2-transitively]] on projective space.
| |
| *:This is because 2 distinct points in projective space correspond to 2 vectors that do not lie on a single linear space, and hence are [[linearly independent]], and GL acts transitively on ''k''-element sets of linearly independent vectors.
| |
| * PGL(2, ''K'') acts sharply 3-transitively on the projective line.
| |
| *:3 arbitrary points are conventionally mapped to [0, 1], [1, 1], [1, 0]; in alternative notation, 0, 1, ∞. In fractional linear transformation notation, the function <math>\frac{x-a}{x-c}\cdot \frac{b-c}{b-a}</math> maps ''a'' ↦ 0, ''b'' ↦ 1, ''c'' ↦ ∞, and is the unique such map that does so. This is the [[cross-ratio]] (''x'', ''b''; ''a'', ''c'') – see [[Cross-ratio#Transformational_approach|cross-ratio: transformational approach]] for details.
| |
| * For ''n'' ≥ 3, PGL(''n'', ''K'') does not act 3-transitively, because it must send 3 collinear points to 3 other collinear points, not an arbitrary set. For ''n'' = 2 the space is the projective line, so all points are collinear and this is no restriction.
| |
| * PGL(2, ''K'') does not act 4-transitively on the projective line (except for PGL(2, 3), as '''P'''<sup>1</sup>(3) has 3+1=4 points, so 3-transitive implies 4-transitive); the invariant that is preserved is the [[cross ratio]], and this determines where every other point is sent: specifying where 3 points are mapped determines the map. Thus in particular it is not the full collineation group of the projective line (except for '''F'''<sub>2</sub> and '''F'''<sub>3</sub>).
| |
| * PSL(2, ''q'') and PGL(2, ''q'') (for ''q'' > 2, and ''q'' odd for PSL) are two of the four families of [[Zassenhaus group]]s.
| |
| * PSL(''n'', ''K'') and PGL(''n'', ''K'') are [[algebraic group]]s of dimension ''n''<sup>2</sup>−1, since they are both open subgroups of the projective space '''P'''<sup>''n''<sup>2</sup>−1</sup>.
| |
| *:For PGL, ''n''<sup>2</sup> is the dimension of GL(''n'', ''K'') and the −1 is from projectivization.
| |
| *:For PSL, ''n''<sup>2</sup>−1 is the dimension of SL(''n'', ''K''), which is a [[covering space]] of PSL, so they have the same dimension. More casually, PSL differs from SL and from PGL by a finite group in each case, so the dimensions agree.
| |
| *:This is also reflected in the order of the groups over finite fields, as the degree of the order as a polynomial in ''q'': the order of PGL(''n'', ''q'') is ''q''<sup>''n''<sup>2</sup>−1</sup> plus lower order terms.
| |
| * PSL and PGL are [[centerless]] – this is because the diagonal matrices are not only the center, but also the [[hypercenter]] (the quotient of a group by its center is not necessarily centerless).<ref group="note">For PSL (except PSL(2, 2) and PSL(2, 3)) this follows by [[Grün's lemma]] because SL is a [[perfect group]] (hence center equals hypercenter), but for PGL and the two exceptional PSLs this requires additional checking.</ref>
| |
| | |
| === Fractional linear transformations ===
| |
| {{details|Möbius transformation#Projective matrix representations}}
| |
| As for [[Möbius transformation]]s, the group PGL(2, ''K'') can be interpreted as [[fractional linear transformation]]s with coefficients in ''K'', a matrix <math>\left(\begin{smallmatrix}a & b\\c & d\end{smallmatrix}\right)</math> corresponding to the [[rational function]]
| |
| :<math>f(x) = \frac{a x + b}{c x + d}</math>
| |
| where multiplication of matrices agrees with composition of functions, and quotienting out by scalar matrices corresponding to multiplying the top and bottom of the fraction by a common factor. As with Möbius transformations, these functions can be interpreted as automorphisms of the [[projective line]] over ''K''.
| |
| | |
| == Finite fields ==
| |
| The projective special linear groups PSL(''n'', '''F'''<sub>''q''</sub>) for a [[finite field]] '''F'''<sub>''q''</sub> are often written as PSL(''n'', ''q'') or ''L<sub>n</sub>''(''q''). They are [[finite simple group]]s whenever ''n'' is at least 2, with two exceptions:<ref>Proof: [http://math.harvard.edu/~elkies/M155.09/ Math 155r 2010], [http://math.harvard.edu/~elkies/M155.09/h4.pdf Handout #4], [[Noam Elkies]]</ref> ''L''<sub>2</sub>(2), which is isomorphic to ''S''<sub>3</sub>, the [[symmetric group]] on 3 letters, and is [[solvable group|solvable]]; and ''L''<sub>2</sub>(3), which is isomorphic to ''A''<sub>4</sub>, 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).
| |
| | |
| ===History===
| |
| The groups PSL(2, ''p'') were constructed by [[Évariste Galois]] in the 1830s, and were the second family of finite [[simple group]]s, after the [[alternating group]]s.<ref name="raw">{{Citation | last1=Wilson | first1=Robert A. | authorlink = Robert Arnott Wilson | title=The finite simple groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Graduate Texts in Mathematics]] 251 | isbn=978-1-84800-987-5 | doi=10.1007/978-1-84800-988-2 | zbl=05622792 | year=2009 |chapter = Chapter 1: Introduction |chapterurl=http://www.maths.qmul.ac.uk/~raw/fsgs_files/intro.ps | postscript =, [http://www.maths.qmul.ac.uk/~raw/fsgs.html 2007 preprint]; Chapter {{doi|10.1007/978-1-84800-988-2_1}}. | volume=251}}</ref> Galois constructed them as fractional linear transforms, and observed that they were simple except if ''p'' was 2 or 3; this is contained in his last letter to Chevalier.<ref name="chevalier-letter">{{Citation| last = Galois | first = Évariste| year = 1846 | title = Lettre de Galois à M. Auguste Chevalier | journal = [[Journal de Mathématiques Pures et Appliquées]] | volume = XI | pages = 408–415 | url = http://visualiseur.bnf.fr/ark:/12148/cb343487840/date1846 | accessdate = 2009-02-04 | postscript =, PSL(2, ''p'') and simplicity discussed on p. 411; exceptional action on 5, 7, or 11 points discussed on pp. 411–412; GL(ν, ''p'') discussed on p. 410}}</ref> In the same letter and attached manuscripts, Galois also constructed the [[General linear group#Over finite fields|general linear group over a prime field]], GL(ν, ''p''), in studying the Galois group of the general equation of degree ''p''<sup>ν</sup>.
| |
| | |
| The groups PSL(''n'', ''q'') (general ''n'', general finite field) were then constructed in the classic 1870 text by [[Camille Jordan]], ''[[List of important publications in mathematics#Trait.C3.A9 des substitutions et des .C3.A9quations alg.C3.A9briques|Traité des substitutions et des équations algébriques]].''
| |
| | |
| ===Order===
| |
| The order of PGL(''n'', ''q'') is
| |
| | |
| :(''q''<sup>''n''</sup>−1)(''q<sup>n</sup>'' − ''q'')(''q<sup>n</sup>'' − ''q''<sup>2</sup>) … (''q''<sup>''n''</sup> − ''q''<sup>''n''−1</sup>)/(''q'' − 1) = ''q''<sup>''n''<sup>2</sup>–1</sup> – O(''q''<sup>''n''<sup>2</sup>–3</sup>)
| |
| | |
| which corresponds to the [[General_linear_group#Over_finite_fields|order of GL(''n'', ''q'')]], divided by (''q''−1) for projectivization; see [[q-analog|''q''-analog]] for discussion of such formulas. Note that the degree is ''n''<sup>2</sup>−1 which agrees with the dimension as an algebraic group. The "O" is for [[big O notation]], meaning "terms involving lower order". This also equals the order of SL(''n'', ''q''); there dividing by (''q''−1) is due to the determinant.
| |
| | |
| The order of PSL(''n'', ''q'') is the above, divided by |SZ(''n'', ''q'')|, the number of scalar matrices with determinant 1 – or equivalently dividing by |''F*''/(''F*'')<sup>''n''</sup>|, the number of classes of element that have no ''n''th root, or equivalently, dividing by the number of ''n''th [[roots of unity]] in '''F'''<sub>''q''</sub>.<ref group="note">These are equal because they are the kernel and cokernel of the endomorphism <math>F^* \overset{x^n}{\to} F^*;</math> formally, |μ<sub>''n''</sub>| ⋅ |(''F*'')<sup>''n''</sup>| = |''F*''|. More abstractly, the first realizes PSL as SL/SZ, while the second realizes PSL as the kernel of PGL → ''F*''/(''F*'')<sup>''n''</sup>.</ref>
| |
| | |
| ===Exceptional isomorphisms===
| |
| In addition to the isomorphisms
| |
| :''L''<sub>2</sub>(2) ≅ ''S''<sub>3</sub>, ''L''<sub>2</sub>(3) ≅ ''A''<sub>4</sub>, and PGL(2, 3) ≅ ''S''<sub>4</sub>,
| |
| there are other [[Alternating_group#Exceptional_isomorphisms|exceptional isomorphisms]] between projective special linear groups and alternating groups (these groups are all simple, as the alternating group over 5 or more letters is simple):
| |
| :<math>L_2(4) \cong A_5</math>
| |
| :<math>L_2(5) \cong A_5</math> (see [[Projective linear group#Action_on_p_points|here]] for a proof)
| |
| :<math>L_2(9) \cong A_6</math>
| |
| :<math>L_4(2) \cong A_8.</math><ref>{{citation |title=The Alternating Group ''A''<sub>8</sub> and the General linear Group GL(4, 2) |first=John |last=Murray |journal=Mathematical Proceedings of the Royal Irish Academy |volume=99A |number=2 |date=December 1999 |pages=123–132 |jstor=20459753 }}</ref>
| |
| The isomorphism ''L''<sub>2</sub>(9) ≅ ''A''<sub>6</sub> allows one to see the [[Automorphisms of the symmetric and alternating groups#exceptional outer automorphism|exotic outer automorphism]] of ''A''<sub>6</sub> in terms of [[field automorphism]] and matrix operations. The isomorphism ''L''<sub>4</sub>(2) ≅ ''A''<sub>8</sub> is of interest in the [[Mathieu_group#Properties|structure of the Mathieu group]] M<sub>24</sub>.
| |
| | |
| The associated extensions SL(''n'', ''q'') → PSL(''n'', ''q'') are [[covering groups of the alternating and symmetric groups|covering groups of the alternating groups]] ([[universal perfect central extension]]s) for ''A''<sub>4</sub>, ''A''<sub>5</sub>, by uniqueness of the universal perfect central extension; for ''L''<sub>2</sub>(9) ≅ ''A''<sub>6</sub>, the associated extension is a perfect central extension, but not universal: there is a 3-fold [[Schur multiplier|covering group]].
| |
| | |
| The groups over '''F'''<sub>5</sub> have a number of exceptional isomorphisms:
| |
| :PSL(2, 5) ≅ ''A''<sub>5</sub> ≅ ''I'', the alternating group on five elements, or equivalently the [[icosahedral group]];
| |
| :PGL(2, 5) ≅ ''S''<sub>5</sub>, the [[symmetric group]] on five elements;
| |
| :SL(2, 5) ≅ 2 ⋅ ''A''<sub>5</sub> ≅ 2''I'' the [[covering groups of the alternating and symmetric groups|double cover of the alternating group ''A''<sub>5</sub>]], or equivalently the [[binary icosahedral group]].
| |
| They can also be used to give a construction of an [[Automorphisms of the symmetric and alternating groups#Exotic map|exotic map ''S''<sub>5</sub> → ''S''<sub>6</sub>]], as described below. Note however that GL(2, 5) is not a double cover of ''S''<sub>5</sub>, but is rather a 4-fold cover.
| |
| | |
| A further isomorphism is:
| |
| :''L''<sub>2</sub>(7) ≅ ''L''<sub>3</sub>(2) is the simple group of order 168, the second smallest non-abelian simple group, and is not an alternating group; see [[PSL(2,7)]].
| |
| | |
| The above exceptional isomorphisms involving the projective special linear groups are almost all of the exceptional isomorphisms between families of finite simple groups; the only other exceptional isomorphism is PSU(4, 2) ≃ PSp(4, 3), between a [[projective special unitary group]] and a [[projective symplectic group]].<ref name="raw">{{citation |first=Robert |last=Wilson |authorlink=Robert Arnott Wilson |date= October 31, 2006 |url=http://www.maths.qmul.ac.uk/~raw/fsgs.html |title=The finite simple groups |chapter=Chapter 1: Introduction |chapterurl=http://www.maths.qmul.ac.uk/~raw/fsgs_files/intro.ps}}</ref>
| |
| | |
| ==== Action on projective line ====
| |
| Some of the above maps can be seen directly in terms of the action of PSL and PGL on the associated projective line: PGL(''n'', ''q'') acts on the projective space '''P'''<sup>''n''−1</sup>(''q''), which has (''q''<sup>''n''</sup>−1)/(''q''−1) points, and this yields a map from the projective linear group to the symmetric group on (''q''<sup>''n''</sup>−1)/(''q''−1) points. For ''n'' = 2, this is the projective line '''P'''<sup>1</sup>(''q'') which has (''q''<sup>2</sup>−1)/(''q''−1) = ''q''+1 points, so there is a map PGL(2, ''q'') → ''S''<sub>''q''+1</sub>.
| |
| | |
| To understand these maps, it is useful to recall these facts:
| |
| * The order of PGL(2, ''q'') is
| |
| :<math>(q^2-1)(q^2-q)/(q-1)=q^3-q=(q-1)q(q+1);</math>
| |
| :the order of PSL(2, ''q'') either equals this (if the characteristic is 2), or is half this (if the characteristic is not 2).
| |
| * The action of the projective linear group on the projective line is sharply 3-transitive ([[faithful group action|faithful]] and 3-[[transitive group action|transitive]]), so the map is one-to-one and has image a 3-transitive subgroup.
| |
| Thus the image is a 3-transitive subgroup of known order, which allows it to be identified. This yields the following maps:
| |
| *PSL(2, 2) = PGL(2, 2) → ''S''<sub>3</sub>, of order 6, which is an isomorphism.
| |
| *PSL(2, 3) < PGL(2, 3) → ''S''<sub>4</sub>, of orders 12 and 24, the latter of which is an isomorphism, with PSL(2, 3) being the alternating group.
| |
| *PSL(2, 4) = PGL(2, 4) → ''S''<sub>5</sub>, of order 60, yielding the alternating group ''A''<sub>5</sub>.
| |
| *PSL(2, 5) < PGL(2, 5) → ''S''<sub>6</sub>, of orders 60 and 120, which yields an embedding of ''S''<sub>5</sub> (respectively, ''A''<sub>5</sub>) as a ''transitive'' subgroup of ''S''<sub>6</sub> (respectively, ''A''<sub>6</sub>). This is an example of an [[Automorphisms of the symmetric and alternating groups#Exotic map|exotic map ''S''<sub>5</sub> → ''S''<sub>6</sub>]], and can be used to construct the [[Automorphisms of the symmetric and alternating groups#exceptional outer automorphism|exceptional outer automorphism of ''S''<sub>6</sub>]].<ref>{{citation|title=Small finite sets |work=[http://sbseminar.wordpress.com/ Secret Blogging Seminar] |date=2007-10-27 |first=Scott |last=Carnahan | url=http://sbseminar.wordpress.com/2007/10/27/small-finite-sets/ |postscript=, notes on a talk by [[Jean-Pierre Serre]].}}</ref> Note that the isomorphism PGL(2, 5) ≅ ''S''<sub>5</sub> is not transparent from this presentation: there is no particularly natural set of 5 elements on which PGL(2, 5) acts.
| |
| | |
| ==== Action on ''p'' points ====
| |
| While PSL(''n'', ''q'') naturally acts on (''q''<sup>''n''</sup>−1)/(''q''−1) = 1+''q''+...+''q''<sup>''n''−1</sup> points, non-trivial actions on fewer points are rarer. Indeed, for PSL(2, ''p'') acts non-trivially on ''p'' points if and only if ''p'' = 2, 3, 5, 7, or 11; for 2 and 3 the group is not simple, while for 5, 7, and 11, the group is simple – further, it does not act non-trivially on ''fewer'' than ''p'' points.<ref group="note">Since ''p'' divides the order of the group, the group does not embed in (or, since simple, map non-trivially to) ''S<sub>k</sub>'' for ''k'' < ''p'', as ''p'' does not divide the order of this latter group.</ref> This was first observed by [[Évariste Galois]] in his last letter to Chevalier, 1832.<ref>Letter, pp. 411–412</ref>
| |
| | |
| This can be analyzed as follows; note that for 2 and 3 the action is not faithful (it is a non-trivial quotient, and the PSL group is not simple), while for 5, 7, and 11 the action is faithful (as the group is simple and the action is non-trivial), and yields an embedding into ''S<sub>p</sub>''. In all but the last case, PSL(2, 11), it corresponds to an exceptional isomorphism, where the right-most group has an obvious action on ''p'' points:
| |
| * <math>L_2(2) \cong S_3 \twoheadrightarrow S_2</math> via the sign map;
| |
| * <math>L_2(3) \cong A_4 \twoheadrightarrow A_3 \cong C_3</math> via the quotient by the Klein 4-group;
| |
| * <math>L_2(5) \cong A_5.</math> To construct such an isomorphism, one needs to consider the group ''L''<sub>2</sub>(5) as a Galois group of a Galois cover ''a''<sub>5</sub>: ''X''(5) → ''X''(1) = '''P'''<sup>1</sup>, where ''X''(''N'') is a [[modular curve]] of level ''N''. This cover is ramified at 12 points. The modular curve X(5) has genus 0 and is isomorphic to a sphere over the field of complex numbers, and then the action of ''L''<sub>2</sub>(5) on these 12 points becomes the [[Icosahedral symmetry|symmetry group of an icosahedron]]. One then needs to consider the action of the symmetry group of icosahedron on the [[Compound of five tetrahedra|five associated tetrahedra]].
| |
| *''L''<sub>2</sub>(7) ≅ ''L''<sub>3</sub>(2) which acts on the 1+2+4 = 7 points of the [[Fano plane]] (projective plane over '''F'''<sub>2</sub>); this can also be seen as the action on order 2 [[biplane geometry|biplane]], which is the ''complementary'' Fano plane.
| |
| *''L''<sub>2</sub>(11) is subtler, and elaborated below; it acts on the order 3 biplane.<ref>{{Citation | chapter = The Embedding of PSl(2, 5) into PSl(2, 11) and Galois’ Letter to Chevalier | title = The Graph of the Truncated Icosahedron and the Last Letter of Galois | first = Bertram | last = Kostant | journal = Notices Amer. Math. Soc. | volume = 42 | pages = 959–968 | year = 1995 | url = http://www.ams.org/notices/199509/kostant.pdf | issue = 4 }}</ref>
| |
| Further, ''L''<sub>2</sub>(7) and ''L''<sub>2</sub>(11) have two ''inequivalent'' actions on ''p'' points; geometrically this is realized by the action on a biplane, which has ''p'' points and ''p'' blocks – the action on the points and the action on the blocks are both actions on ''p'' points, but not conjugate (they have different point stabilizers); they are instead related by an outer automorphism of the group.<ref>[[Noam Elkies]], Math 155r, [http://www.math.harvard.edu/~elkies/M155.09/apr14 Lecture notes for April 14, 2010]</ref>
| |
| | |
| More recently, these last three exceptional actions have been interpreted as an example of the [[ADE classification]]:<ref>{{Harv|Kostant|1995|p. 964}}</ref> these actions correspond to products (as sets, not as groups) of the groups as ''A''<sub>4</sub> × '''Z'''/5'''Z''', ''S''<sub>4</sub> × '''Z'''/7'''Z''', and ''A''<sub>5</sub> × '''Z'''/11'''Z''', where the groups ''A''<sub>4</sub>, ''S''<sub>4</sub> and ''A''<sub>5</sub> are the isometry groups of the [[Platonic solid]]s, and correspond to ''E''<sub>6</sub>, ''E''<sub>7</sub>, and ''E''<sub>8</sub> under the [[McKay correspondence]]. These three exceptional cases are also realized as the geometries of polyhedra (equivalently, tilings of Riemann surfaces), respectively: the [[compound of five tetrahedra]] inside the icosahedron (sphere, genus 0), the order 2 biplane (complementary [[Fano plane]]) inside the Klein quartic (genus 3), and the order 3 biplane ([[Paley biplane]]) inside the [[buckyball surface]] (genus 70).<ref>[http://www.neverendingbooks.org/index.php/galois-last-letter.html Galois’ last letter], Never Ending Books</ref><ref name="martinsingerman">{{citation | title = From Biplanes to the Klein quartic and the Buckyball | first1 = Pablo | last1 = Martin | first2 = David | last2 = Singerman | date = April 17, 2008 | url = http://www.neverendingbooks.org/DATA/biplanesingerman.pdf}}</ref>
| |
| | |
| The action of ''L''<sub>2</sub>(11) can be seen algebraically as due to an exceptional inclusion <math>L_2(5) \hookrightarrow L_2(11)</math> – there are two conjugacy classes of subgroups of ''L''<sub>2</sub>(11) that are isomorphic to ''L''<sub>2</sub>(5), each with 11 elements: the action of ''L''<sub>2</sub>(11) by conjugation on these is an action on 11 points, and, further, the two conjugacy classes are related by an outer automorphism of ''L''<sub>2</sub>(11). (The same is true for subgroups of ''L''<sub>2</sub>(7) isomorphic to ''S''<sub>4</sub>, and this also has a biplane geometry.)
| |
| | |
| Geometrically, this action can be understood via a ''[[biplane geometry]],'' which is defined as follows. A biplane geometry is a [[symmetric design]] (a set of points and an equal number of "lines", or rather blocks) such that any set of two points is contained in two lines, while any two lines intersect in two points; this is similar to a finite projective plane, except that rather than two points determining one line (and two lines determining one point), they determine two lines (respectively, points). In this case (the [[Paley biplane]], obtained from the [[Paley digraph]] of order 11), the points are the affine line (the finite field) '''F'''<sub>11</sub>, where the first line is defined to be the five non-zero [[quadratic residue]]s (points which are squares: 1, 3, 4, 5, 9), and the other lines are the affine translates of this (add a constant to all the points). ''L''<sub>2</sub>(11) is then isomorphic to the subgroup of ''S''<sub>11</sub> that preserve this geometry (sends lines to lines), giving a set of 11 points on which it acts – in fact two: the points or the lines, which corresponds to the outer automorphism – while ''L''<sub>2</sub>(5) is the stabilizer of a given line, or dually of a given point.
| |
| | |
| More surprisingly, the coset space ''L''<sub>2</sub>(11)/'''Z'''/11'''Z''', which has order 660/11 = 60 (and on which the icosahedral group acts) naturally has the structure of a [[buckeyball]], which is used in the construction of the [[buckyball surface]].
| |
| | |
| ===Mathieu groups===
| |
| {{details|Mathieu group}}
| |
| The group PSL(3, 4) can be used to construct the [[Mathieu group]] M<sub>24</sub>, one of the [[sporadic simple group]]s; in this context, one refers to PSL(3, 4) as M<sub>21</sub>, though it is not properly a Mathieu group itself. One begins with the projective plane over the field with four elements, which is a [[Steiner system]] of type S(2, 5, 21) – meaning that it has 21 points, each line ("block", in Steiner terminology) has 5 points, and any 2 points determine a line – and on which PSL(3, 4) acts. One calls this Steiner system W<sub>21</sub> ("W" for [[Ernst Witt|Witt]]), and then expands it to a larger Steiner system W<sub>24</sub>, expanding the symmetry group along the way: to the projective general linear group PGL(3, 4), then to the [[projective semilinear group]] PΓL(3, 4), and finally to the Mathieu group M<sub>24</sub>.
| |
| | |
| M<sub>24</sub> also contains copies of PSL(2, 11), which is maximal in M<sub>22</sub>, and PSL(2, 23), which is maximal in M<sub>24</sub>, and can be used to construct M<sub>24</sub>.<ref>Conway, Sloane, SPLAG</ref>
| |
| | |
| ===Hurwitz surfaces===
| |
| [[File:Order-3 heptakis heptagonal tiling.png|thumb|Some PSL groups arise as automorphism groups of Hurwitz surfaces, i.e., as quotients of the [[(2,3,7) triangle group]], which is the symmetries of the [[order-3 bisected heptagonal tiling]].]]
| |
| {{see|Hurwitz surface}}
| |
| PSL groups arise as [[Hurwitz group]]s (automorphism groups of [[Hurwitz surface]]s – algebraic curves of maximal possibly symmetry group). The Hurwitz surface of lowest genus, the [[Klein quartic]] (genus 3), has automorphism group isomorphic to PSL(2, 7) (equivalently GL(3, 2)), while the Hurwitz surface of second-lowest genus, the [[Macbeath surface]] (genus 7), has automorphism group isomorphic to PSL(2, 8).
| |
| | |
| In fact, many but not all simple groups arise as Hurwitz groups (including the [[monster group]], though not all alternating groups or sporadic groups), though PSL is notable for including the smallest such groups.
| |
| | |
| ===Modular group===
| |
| {{main|Modular group}}
| |
| The groups PSL(2, '''Z'''/''n'''''Z''') arise in studying the [[modular group]], PSL(2, '''Z'''), as quotients by reducing all elements mod ''n''; the kernels are called the [[principal congruence subgroup]]s.
| |
| | |
| A noteworthy subgroup of the projective ''general'' linear group PGL(2, '''Z''') (and of the projective special linear group PSL(2, '''Z'''[''i''])) is the symmetries of the set {0, 1, ∞} ⊂ '''P'''<sup>1</sup>('''C''')<ref group="note">In projective coordinates, the points {0, 1, ∞} are given by [0:1], [1:1], and [1:0], which explains why their stabilizer is represented by integral matrices.</ref> these also occur in the [[six cross-ratios]]. The subgroup can be expressed as [[fractional linear transformation]]s, or represented (non-uniquely) by matrices, as:
| |
| :{| class="wikitable"
| |
| |-
| |
| | align="center" | <math>x</math>
| |
| | align="center" | <math>1/(1-x)</math>
| |
| | align="center" | <math>(x-1)/x</math>
| |
| |-
| |
| | align="center" | <math>\begin{pmatrix}
| |
| 1 & 0\\
| |
| 0 & 1
| |
| \end{pmatrix}</math>
| |
| | align="center" | <math>\begin{pmatrix}
| |
| 0 & 1\\
| |
| -1 & 1
| |
| \end{pmatrix}</math>
| |
| | align="center" | <math>\begin{pmatrix}
| |
| 1 & -1\\
| |
| 1 & 0
| |
| \end{pmatrix}</math>
| |
| |-
| |
| | colspan="3" |
| |
| |-
| |
| | align="center" | <math>1/x</math>
| |
| | align="center" | <math>1-x</math>
| |
| | align="center" | <math>x/(x-1)</math>
| |
| |-
| |
| | align="center" |<math>\begin{pmatrix}
| |
| 0 & 1\\
| |
| 1 & 0
| |
| \end{pmatrix}</math>
| |
| | align="center" |<math>\begin{pmatrix}
| |
| -1 & 1\\
| |
| 0 & 1
| |
| \end{pmatrix}</math>
| |
| | align="center" |<math>\begin{pmatrix}
| |
| 1 & 0\\
| |
| 1 & -1
| |
| \end{pmatrix}</math>
| |
| |-
| |
| | align="center" |<math>\begin{pmatrix}
| |
| 0 & i\\
| |
| i & 0
| |
| \end{pmatrix}</math>
| |
| | align="center" |<math>\begin{pmatrix}
| |
| -i & i\\
| |
| 0 & i
| |
| \end{pmatrix}</math>
| |
| | align="center" |<math>\begin{pmatrix}
| |
| i & 0\\
| |
| i & -i
| |
| \end{pmatrix}</math>
| |
| |}
| |
| Note that the top row is the identity and the two 3-cycles, and are orientation-preserving, forming a subgroup in PSL(2, '''Z'''), while the bottom row is the three 2-cycles, and are in PGL(2, '''Z''') and PSL(2, '''Z'''[''i'']), but not in PSL(2, '''Z'''), hence realized either as matrices with determinant −1 and integer coefficients, or as matrices with determinant 1 and [[Gaussian integer]] coefficients.
| |
| | |
| This maps to the symmetries of {0, 1, ∞} ⊂ '''P'''<sup>1</sup>(''n'') under reduction mod ''n''. Notably, for ''n'' = 2, this subgroup maps isomorphically to PGL(2, '''Z'''/2'''Z''') = PSL(2, '''Z'''/2'''Z''') ≅ ''S''<sub>3</sub>,<ref group="note">This isomorphism can be seen by removing the minus signs in matrices, which yields the matrices for PGL(2, 2)</ref> and thus provides a splitting <math>\operatorname{PGL}(2,\mathbf{Z}/2) \hookrightarrow \operatorname{PGL}(2,\mathbf{Z})</math> for the quotient map <math>\operatorname{PGL}(2,\mathbf{Z}) \twoheadrightarrow \operatorname{PGL}(2,\mathbf{Z}/2).</math>
| |
| | |
| [[File:PGL2 stabilizer of 3 points on line.svg|thumb|300px|The subgroups of the stabilizer of {0, 1, ∞} further stabilize the points {−1, 1/2, 2} and {φ<sub>−</sub>, φ<sub>+</sub>,}.]]
| |
| A further property of this subgroup is that the quotient map ''S''<sub>3</sub> → ''S''<sub>2</sub> is realized by the group action. That is, the subgroup ''C''<sub>3</sub> < ''S''<sub>3</sub> consisting of the 3-cycles and the identity () (0 1 ∞) (0 ∞ 1) stabilizes the [[golden ratio]] and inverse golden ratio <math>\varphi_\pm = \frac{1\pm \sqrt{5}}{2},</math> while the 2-cycles interchange these, thus realizing the map.
| |
| | |
| The fixed points of the individual 2-cycles are, respectively, −1, 1/2, 2, and this set is also preserved and permuted, corresponding to the action of ''S''<sub>3</sub> on the 2-cycles (its Sylow 2-subgroups) by conjugation and realizing the isomorphism <math>S_3 \overset{\sim}{\to} \operatorname{Inn}(S_3) \cong S_3.</math>
| |
| | |
| == Topology ==
| |
| Over the real and complex numbers, the topology of PGL and PSL can be determined from the [[fiber bundle]]s that define them:
| |
| :Z ≅ ''K*'' → GL → PGL
| |
| :SZ ≅ μ<sub>''n''</sub> → SL → PSL
| |
| via the [[long exact sequence of a fibration]].
| |
| | |
| For both the reals and complexes, SL is a [[covering space]] of PSL, with number of sheets equal to the number of ''n''th roots in ''K''; thus in particular all their higher [[homotopy groups]] agree. For the reals, SL is a 2-fold cover of PSL for ''n'' even, and is a 1-fold cover for ''n'' odd, i.e., an isomorphism:
| |
| :{±1} → SL(2''n'', '''R''') → PSL(2''n'', '''R''')
| |
| :<math>\operatorname{SL}(2n+1, \mathbf{R}) \overset{\sim}{\to} \operatorname{PSL}(2n+1,\mathbf{R})</math>
| |
| For the complexes, SL is an ''n''-fold cover of PSL.
| |
| | |
| For PGL, for the reals, the fiber is '''R'''* ≅ {±1}, so up to homotopy, GL → PGL is a 2-fold covering space, and all higher homotopy groups agree.
| |
| | |
| For PGL over the complexes, the fiber is '''C'''* ≅ '''S'''<sup>1</sup>, so up to homotopy, GL → PGL is a circle bundle. The higher homotopy groups of the circle vanish, so the homotopy groups of GL(''n'', '''C''') and PGL(''n'', '''C''') agree for ''n'' ≥ 3. In fact, π<sub>2</sub> always vanishes for Lie groups, so the homotopy groups agree for ''n'' ≥ 2.
| |
| | |
| === Covering groups ===
| |
| Over the real and complex numbers, the projective special linear groups are the ''minimal'' ([[centerless]]) Lie group realizations for the special linear Lie algebra <math>\mathfrak{sl}(n)\colon</math> every connected Lie group whose Lie algebra is <math>\mathfrak{sl}(n)</math> is a cover of PSL(''n'', ''F''). Conversely, its [[universal covering group]] is the ''maximal'' ([[simply connected]]) element, and the intermediary realizations form a [[Covering group#Lattice of covering groups|lattice of covering groups]].
| |
| | |
| For example [[SL2(R)|SL(2, '''R''')]] has center {±1} and fundamental group '''Z''', and thus has universal cover {{overline|SL(2, '''R''')}} and covers the centerless PSL(2, '''R''').
| |
| | |
| ==Representation theory==
| |
| {{main|Projective representation}}
| |
| [[File:Projective-representation-lifting.svg|225px|thumb|A [[projective representation]] of ''G'' can be pulled back to a [[linear representation]] of a [[central extension (mathematics)|central extension]] ''C'' of ''G.'']]
| |
| A [[group homomorphism]] ''G'' → PGL(''V'') from a group ''G'' to a projective linear group is called a [[projective representation]] of the group ''G,'' by analogy with a [[linear representation]] (a homomorphism G → GL(''V'')). These were studied by [[Issai Schur]], who showed that ''projective'' representations of ''G'' can be classified in terms of ''linear'' representations of [[central extension (mathematics)|central extensions]] of ''G''. This led to the [[Schur multiplier]], which is used to address this question.
| |
| | |
| ==Low dimensions==
| |
| The projective linear group is mostly studied for ''n'' ≥ 2, though it can be defined for low dimensions.
| |
| | |
| For ''n'' = 0 (or in fact ''n'' < 0) the projective space of ''K''<sup>0</sup> is empty, as there are no 1-dimensional subspaces of a 0-dimensional space. Thus, PGL(0, ''K'') is the trivial group, consisting of the unique empty map from the [[empty set]] to itself. Further, the action of scalars on a 0-dimensional space is trivial, so the map ''K*'' → GL(0, ''K'') is trivial, rather than an inclusion as it is in higher dimensions.
| |
| | |
| For ''n'' = 1, the projective space of ''K''<sup>1</sup> is a single point, as there is a single 1-dimensional subspace. Thus, PGL(1, ''K'') is the trivial group, consisting of the unique map from a [[singleton set]] to itself. Further, the general linear group of a 1-dimensional space is exactly the scalars, so the map <math>K^* \overset{\sim}{\to} \operatorname{GL}(1,K)</math> is an isomorphism, corresponding to PGL(1, ''K'') := GL(1, ''K'')/''K*'' ≅ {1} being trivial.
| |
| | |
| For ''n'' = 2, PGL(2, ''K'') is non-trivial, but is unusual in that it is 3-transitive, unlike higher dimensions when it is only 2-transitive.
| |
| | |
| ==Examples==
| |
| *[[PSL(2,7)]]
| |
| *[[Modular group]], PSL(2, '''Z''')
| |
| *[[PSL(2,R)]]
| |
| *[[Möbius group]], PGL(2, '''C''') = PSL(2, '''C''')
| |
| | |
| ==Subgroups==
| |
| *[[Projective orthogonal group]], PO – [[maximal compact subgroup]] of PGL
| |
| *[[Projective unitary group]], PU
| |
| *[[Projective special orthogonal group]], PSO – maximal compact subgroup of PSL
| |
| *[[Projective special unitary group]], PSU
| |
| | |
| ==Larger groups==
| |
| The projective linear group is contained within larger groups, notably:
| |
| *[[Projective semilinear group]], PΓL, which allows [[field automorphism]]s.
| |
| *[[Cremona group]], ''Cr''('''P'''<sup>''n''</sup>(''k'')) of [[birational automorphism]]s; any [[biregular]] automorphism is linear, so PGL coincides with the group of biregular automorphisms.
| |
| | |
| ==See also==
| |
| *[[Projective transformation]]
| |
| *[[Unit (ring theory)|Unit]]
| |
| | |
| ==Notes==
| |
| {{Reflist|group=note}}
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| {{Refimprove|date=February 2008}}<!-- no inline cites, though virtually all in first source -->
| |
| {{Refbegin}}
| |
| *{{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 | mr=1859189 | year=2002 | volume=39}}
| |
| {{Refend}}
| |
| | |
| {{DEFAULTSORT:Projective Linear Group}}
| |
| [[Category:Lie groups]]
| |
| [[Category:Projective geometry]]
| |
| | |
| [[de:Allgemeine lineare Gruppe#Projektive lineare Gruppe]]
| |