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
    (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$.

  • 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