Skip to main content
3 of 3
added 116 characters in body; edited title
Andy Putman
  • 44.8k
  • 14
  • 186
  • 272

Subrepresentations of the $\text{SL}_n(k)$-representation $\mathfrak{gl}_n(k)$

$\DeclareMathOperator\SL{SL} \newcommand{\gl}{\mathfrak{gl}} \newcommand{\sl}{\mathfrak{sl}}$One of my graduate students asked me for a reference for the following fact. Let $k$ be a general field (she's particularly interested in $k = \mathbb{F}_2$) and let $n \geq 2$. Consider the representation $\gl_n(k)$ of $\SL_n(k)$. Let $V$ be a nonzero proper subrepresentation of $\gl_n(k)$. Then $V$ is either

  1. the $1$-dimensional line of scalar matrices; or
  2. the subspace $\sl_n(k)$ of trace-$0$ matrices.

I didn't know one off the top of my head. Can anyone provide such a reference?

(thanks to YCor for cleaning up my original statement)

Andy Putman
  • 44.8k
  • 14
  • 186
  • 272