## The general linear group ${\mathrm{GL}}_{n}\left(R\right)$

Last updates: 17 October 2011

## The general linear group ${\mathrm{GL}}_{n}\left(R\right)$

Let $n\in {ℤ}_{>0}$, let $R$ be a commutative ring, and let ${M}_{n}\left(R\right)$ be the ring of $n×n$ matrices with entries in $R$.

• The general linear group with entries in $R$ is the group $GLn(R) ={ g∈Mn(R) | there exists g-1∈ Mn(R) such that gg-1 =g-1g=1 }$ with operation given by matrix multiplication.

HW: Note that ${R}^{×}={\mathrm{GL}}_{1}\left(R\right)$ is the group of units in the ring $R$, and ${\mathrm{GL}}_{n}\left(R\right)$ is the group of units in the ring ${M}_{n}\left(R\right)$

HW: Show that ${\mathrm{GL}}_{n}\left(R\right)=\left\{g\in {M}_{n}\left(R\right)\phantom{\rule{.5em}{0ex}}|\phantom{\rule{.5em}{0ex}}\mathrm{det}\left(g\right)\in {\mathrm{GL}}_{1}\left(R\right)\right\}$.

In this case $W0=Sn acts on 𝔥ℤ= ∑i=1n ℤεi$ by permuting the ${\epsilon }_{i}$ and the reflecting hyperplanes are $𝔥εi - εj , with 1≤i

For $1\le i,j\le n$ and $i\ne j$, let ${E}_{ij}$ be the $n×n$ matrix with a 1 in the $\left(i,j\right)$ entry and all other entries 0, $sij = 1-Eii -Ejj +Eij +Eji and xij(f) =1+fEij ,forf∈R,$ so that the ${s}_{ij}$ generate the group ${W}_{0}$ as permutation matrices. Let ${\epsilon }_{1},\dots ,{\epsilon }_{n}$ be a $ℤ$-basis of ${𝔥}_{ℤ}$ so that $𝔥ℤ={ λ= λ1ε1 +⋯+ λnεn | λ1,…, λn∈ℤ} ,$ and define $hλ(g) =diag( gλ1, …, gλn), for λ∈𝔥ℤ, g∈R×.$

Let $𝔽$ be a field. Then the group ${\mathrm{GL}}_{n}\left(𝔽\right)$ is presented by generators $xij(f) and hλ(g),$ for $1\le i,j\le n$, $i\ne j$, $f\in {𝔽}^{×}$ and $\lambda \in {𝔥}_{ℤ}$ and $g\in {𝔽}^{×}$,
and relations $xij(f1) xij(f2) = xij(f1 f2), hλ(g1) hλ(g2) = hλ(g1 g2) , hλ(g) hμ(g) = hλ+μ (g) , xij(f1) xkl(f2) = xkl(f2) xij(f1) , ifi≠l andj≠k, xij(f1) xjl(f2) = xjl(f2) xij(f1) xil( f1f2) , ifi≠l, xij(f1) xki(f2) = xki(f2) xij(f1) xkj( -f1f2) , ifj≠k, xij(g) xji( -g-1) xij(g) = hεj (-1) hεi -εj (g) sij, hλ(g) xij(g) hλ(g) -1 = xij( fg⟨λ, εi -εj⟩ ), w xij(f) w-1 = xw(i), w(j)(f), forw∈Sn.$

PUT IN THE PICTORIAL VERSION OF THE ELEMENTARY MATRICES Introduce a pictorial notation

 ${x}_{ij}\left(c\right)=$ ${s}_{ij}=$ ${h}_{{\epsilon }_{i}}\left(g\right)=$ $g$ (4.1)
For example $=$ corresponds to the matrix identity $( 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 ) ( 1 0 c 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 ) = ( 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 c 0 0 1 0 0 0 0 0 1 ) ( 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 )$

## Notes and References

This presentation of the general linear group is the motivation for the definition of Chevalley groups. Multiplication by elementary matrices is often called "row reduction". The first half of Theorem ??? says that ${\mathrm{GL}}_{n}\left(𝔽\right)$ is generated by elementary matrices, a fact which is usually proved (by row reduction) in a first course in linear algebra right after the definition of matrix multiplication (see [Ar, ???]). The pictorial notation for elementary matrices appears in [Th, Sec 4.1.2], where it is very handy for proving identities in unipotent Hecke algebras.

## References

[Ar] M. Artin, Algebra, ????, Prentice-Hall ???.

[Th] N. Thiem, Unipotent Hecke algebras: the structure, representation theory and combinatorics, Ph.D. Thesis, University of Wisconsin, Madison 2004.