Math 2.0

Group theory and generalizations Classification of finite simple groups Example

Projective special linear group

Example

Let FF be a field and let n≥2n \ge 2 be an integer. The projective special linear group is the quotient group PSLn(F)=SLn(F)/Z,PSL_n(F) = SL_n(F) / Z, where SLn(F)SL_n(F) is the special linear group and ZZ is its centre. The centre ZZ consists of the scalar matrices λIn\lambda I_n with λn=1\lambda^n = 1. For a finite field 𝔽q\F_q with qq elements, write PSLn(q)PSL_n(q).

Take n=2n = 2 and q=7q = 7. The order of SL2(7)SL_2(7) is q(q2−1)=7⋅48=336q(q^2 - 1) = 7 \cdot 48 = 336. The scalars λI2\lambda I_2 with λ2=1\lambda^2 = 1 are ±I2\pm I_2, so ∣Z∣=2\abs{Z} = 2. Hence PSL2(7)PSL_2(7) has order 168168. It is a simple group, and it is the second smallest non-abelian simple group, after the alternating group A5A_5 of order 6060.

Remarks

The group PSLn(q)PSL_n(q) has order 1gcd⁡(n,q−1) qn(n−1)/2∏i=2n(qi−1).\frac{1}{\gcd(n, q - 1)} \, q^{n(n-1)/2} \prod_{i=2}^{n} (q^i - 1). It is simple for all n≥2n \ge 2 and all prime powers qq, except PSL2(2)≅S3PSL_2(2) \cong S_3 and PSL2(3)≅A4PSL_2(3) \cong A_4. These groups form one of the infinite families of groups of Lie type in the classification of finite simple groups. The group PSLn(F)PSL_n(F) acts faithfully on the projective space of lines in FnF^n, which explains the name.

Further reading

  1. Web https://en.wikipedia.org/wiki/Projective_linear_group
About this page
TagBTDZHD9HG3
URIm2://BTDZHD9HG3
Kindexample
WritingW0 stub
MSC20G40, 20D06
Instance ofGroup
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.