Projective special linear group: Difference between revisions
No edit summary |
No edit summary |
||
(One intermediate revision by one other user not shown) | |||
Line 8: | Line 8: | ||
* [[Projective special linear group equals alternating group in only finitely many cases]]: All those cases are listed in the table below. | * [[Projective special linear group equals alternating group in only finitely many cases]]: All those cases are listed in the table below. | ||
* [[Projective special linear group is simple]] except for finitely many cases, all of which are listed below. | * [[Projective special linear group is simple]] except for finitely many cases, all of which are listed below. | ||
* The projective special linear group is isomorphic to the [[quotient group]] of the [[special linear group]] by its [[center]]. In symbols, <math>PSL(n, q) \cong SL(n, q) / Z(SL(n,q))</math>. | |||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
Line 24: | Line 25: | ||
| 7 || 2 || [[Projective special linear group:PSL(3,2)]] || <math>168 = 2^3 \cdot 3 \cdot 7</math> || [[simple non-abelian group]] of second smallest order. | | 7 || 2 || [[Projective special linear group:PSL(3,2)]] || <math>168 = 2^3 \cdot 3 \cdot 7</math> || [[simple non-abelian group]] of second smallest order. | ||
|- | |- | ||
| 9 || 2 || [[Alternating group:A6]] || <math>360 = 2^3 \cdot 2 | | 9 || 2 || [[Alternating group:A6]] || <math>360 = 2^3 \cdot 3^2 \cdot 5</math> || simple non-abelian group. | ||
|- | |- | ||
| 2 || 3 ||[[Projective special linear group:PSL(3,2)]] || <math>168 = 2^3 \cdot 3 \cdot 7</math> || simple non-abelian group of second smallest order. | | 2 || 3 ||[[Projective special linear group:PSL(3,2)]] || <math>168 = 2^3 \cdot 3 \cdot 7</math> || simple non-abelian group of second smallest order. |
Latest revision as of 00:44, 15 November 2023
Particular cases
Finite fields
Some facts:
- For , . For a power of two, but this is not equal to .
- Projective special linear group equals alternating group in only finitely many cases: All those cases are listed in the table below.
- Projective special linear group is simple except for finitely many cases, all of which are listed below.
- The projective special linear group is isomorphic to the quotient group of the special linear group by its center. In symbols, .
Size of field | Order of matrices | Common name for the projective special linear group | Order of group | Comment |
---|---|---|---|---|
1 | Trivial group | Trivial | ||
2 | 2 | Symmetric group:S3 | supersolvable but not nilpotent. Not simple. | |
3 | 2 | Alternating group:A4 | solvable but not supersolvable group. Not simple. | |
4 | 2 | Alternating group:A5 | simple non-abelian group of smallest order. | |
5 | 2 | Alternating group:A5 | simple non-abelian group of smallest order. | |
7 | 2 | Projective special linear group:PSL(3,2) | simple non-abelian group of second smallest order. | |
9 | 2 | Alternating group:A6 | simple non-abelian group. | |
2 | 3 | Projective special linear group:PSL(3,2) | simple non-abelian group of second smallest order. | |
3 | 3 | Projective special linear group:PSL(3,3) | simple non-abelian group. |