1
$\begingroup$

Consider these subgroups of $Gl_n(F)$, where $F$ is a field and $n \epsilon \Bbb N$

  • $Sl_n(F)$
  • $Diag_n(F)$
  • $F^* I_n$ ($F^*$ times $I_n$, i.e. all $f \epsilon F^*$ times $I_n$)

Questions:

  1. Show that $Sl_n(F)$ is normal in $Gl_n(F)$
  2. Show that $F^* I_n$ is normal in $Gl_n(F)$
  3. When specifically is $Diag_n(F)$ normal in $Gl_n(F)$? (note: not true in general)
  4. When specifically is $Gl_n(F) \cong Sl_n(F) \times F^* I_n $? (also not true generally)

Comments: (1) easy. (4) My initial thoughts is true when n is odd, since when n is even in $\Bbb R$, $\Bbb R \bigcap I_n$ is multivalued.

  • 0
    1. Take $S \epsilon Sl_n(F)$. Then for all $g \epsilon Gl_n(F)$ the $det(gS{g^-}^1) = det(g)det(S){det(g)^-}^1 = det(S) = 1$ therefore $gS{g^-}^1 \epsilon $ $Sl_n(F)$ $\Rightarrow$ $Sl_n(F)$ is normal.2012-10-31
  • 0
    (4) Construct a projection $\operatorname{GL}_n F \to \operatorname{SL}_n F$, use this: http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/splittinggp.pdf2012-10-31
  • 0
    (1) Is $\operatorname{SL}_n$ a kernel of some group homomorphism?2012-10-31
  • 0
    (1, continued) As a side quest, prove that despite its ridiculously looking definition, this homomorphism is a natural transformation.2012-10-31
  • 0
    I have observed the map $$Sl_n(F) \mapsto Gl_n(F) \mapsto F^*$$ Where $Gl_n(F) \mapsto F^*$ through determinant map.2012-10-31
  • 0
    Also I know $F^* \mapsto Gl_n(F)$ by multiplying by $I_n$.2012-10-31
  • 0
    (3) is true if and only $n=1$ or $|F|=2$. (I am assuming that ${\rm Diag}_n(F)$ does not include the zero matrix.)2012-10-31

1 Answers 1

1

For (4), note that $GL_n(F)$ has all possible determinants whereas the right side has only $n$th powers as determinants. So a necessary condition for (4) is that every element of $F$ must have an $n$th root in $F$. Furthermore, in order for (4) to hold, $SL_n(F) \cap F^*I_n$ must consist only of the identity. So every element of $F$ must have a unique $n$th root in $F$. You can check that this necessary condition is also sufficient for (4).

Some examples of $(F,n)$ where this is satisfied: When $F=\mathbb{R}$ and $n$ is odd (which you sort of alluded to in your original post); when $F$ is a finite field of characteristic $p$, and $n$ is a power of $p$.

  • 0
    Thanks, I hadn't considered finite fields like that, very helpful.2012-10-31
  • 0
    I don't get it :( $\operatorname{GL}_n F$ retracts on $\operatorname{SL}_n F$ by dividing by the determinant, what prevents it from being a homomorphism in the cases that you presented? I mean, the short exact sequence has to not left-split, or else it's a direct product, right?2012-10-31
  • 1
    @Alexei It can't be a direct product if the intersection of $SL_n(F)$ and $F^*$ is nontrivial, for example.2012-10-31