## Is $SL_2(q)$ isomorphic to $PGL_2(q)$?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $SL_2 (q)$ be group of all $2 * 2$ invertible matrices with unit determinant and $PGL_2(q)$ is quotient group $GL_2(q)/{\text{scalar matrices over q}}$.

-
what is a root systems there is an simple answer? – Sina Jul 10 at 12:57

1
Order of $SL_2(q)$ equals $q(q^2-1)$, order of $PGL_2(q)$ is $q(q^2-1)(q+1)$. – Andrei Smolensky Jul 10 at 13:09

2
They have the same order. $PGL_2(q)=GL_2(q)/\{\lambda I, \lambda\in F_q-\{0\}\}$ where I is the identity matrix – Sina Jul 10 at 13:21

4
Dear Sina, It's not clear that the answer you have accepted actually answers your question. Indeed, as Jim Humphreys points out in his answer, the groups are not isomorphic if $q$ is odd (the first has a non-trivial centre while the second does not), but are isomorphic if $q$ is a power of $2$. Regards, – Emerton Jul 10 at 14:48

1
Oops! I just thought that what I wrote above is wrong. The lesson I learned today: never try to reproduce a formula you believe to remember without checking. – Andrei Smolensky Jul 10 at 19:11

## 3 Answers

The question itself is natural, but it's fairly elementary and has a clearcut answer in the literature on finite simple groups including the series of books by Gorenstein-Lyons-Solomon (and for small order groups the Atlas). It's easiest to understand what is going on from the algebraic group viewpoint, summarized with references in Section 1.1 of my 2006 LMS Lecture Note volume Modular Representations of Finite Groups of Lie Type. Here Lang's theorem is crucial. It shows that whenever you have an isogeny (algebraic group epimorphism with finite kernel) from one connected algebraic group onto another over a finite field of `$q$` elements, the corresponding groups of rational points over `$\mathbb{F}_q$` have the same order.

In your case, start with the natural map from a general linear group to the quotient by scalars, which restricts to an isogeny `$\mathrm{SL}_2 \rightarrow \mathrm{PGL}_2$`. Thus the two finite groups do have the same order for any `$q$`, even though the original map fails to be an algebraic group isomorphism. When `$q$` is even, however, the finite groups are in fact isomorphic. But when `$q$` is odd, the group on the left has a nontrivial center and the group on the right doesn't.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Not quite, $PGL(2, F_q) \cong PSL(2, F_q) \rtimes F_q^\times/ (F_q^{\times})^2$.

Look here: http://en.wikipedia.org/wiki/File:PSL-PGL.svg

-
Works for any field. – Marc Palm Jul 10 at 14:36

2
But when $q$ is a power of $2,$ every non-zero element of the field is a square, and the ${\rm PSL}$ on the right is an ${\rm SL}.$ – Geoff Robinson Jul 10 at 15:50

1
I do not understand. Is there a mistake, of are you saying the OP is correct in this special case? $F_q^\times$ modulo the squares is a trivial group, when $2$ divides q. – Marc Palm Jul 10 at 16:41
Dear Mrc, I think that Geoff Robinson is objecting to your statement "not quite". If $q$ is a power of $2$ then in fact the general isomorphism does reduce to an isomorphism between $PGL_2$ and $SL_2$. Regards, – Emerton Jul 10 at 17:25
I was scared for a second here;) – Marc Palm Jul 10 at 18:39

$SL_2$ and $PGL_2$, seen as linear algebraic groups, have different root data. See Milne's notes on reductive groups http://jmilne.org/math/CourseNotes/RG.pdf p. 24. This implies that the algebraic groups are non-isomorphic, but not necessarily the statement you wanted.

-
what is a root system and is there any simple answer? – Sina Jul 10 at 13:08

3
If SINA does not know root systems, perhaps the fastest argument is that $\textbf{SL}_2(\mathbb{F}_q)$ has a nontrivial center, while $\textbf{PGL}_2(\mathbb{F}_q)$ has trivial center. – Jason Starr Jul 10 at 13:09

1
@Jason Does $SL_2(2^k)$ has nontrivial center? – Andrei Smolensky Jul 10 at 13:17

1
@Andrei -- I guess I was assuming that $q$ is odd. – Jason Starr Jul 10 at 14:16

5
Dear Timo, A couple of comments: (i) you probably mean root data rather than root systems; (ii) it's not clear (at least to me) that a statement about non-isomorphism of algebraic groups implies a corresponding statement about non-isomorphism of $\mathbb F_q$-points; (iii) related to point (ii), in fact the natural isogeny does induce an isomorphism if $q$ is a power of $2$ (this is easily checked, or see Jim Humphrey's answer), so point (ii) is a genuine concern, as far as I can tell. Regards, – Emerton Jul 10 at 14:44
show 1 more comment
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 34, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9268746972084045, "perplexity_flag": "middle"}