Elementary matricies (Ex)

Revision as of 18:58, 23 March 2012

Let $<wikitex>; Let $R$ be an associative ring with unit and recall that an ''elementary matrix'' over $R$ is a square matrix of the form $$ E = \text{Id}_n + a e_{ij} $$ where $\text{Id}_n$ is the $n \times n$ identity matrix, $a \in R$ and $e_{ij}$ is the matrix with zeros in all places except $(i, j)$ where $i \neq j$. Clearly each elementary matrix if invertible and so gives and element $E \in GL(R)$ where $$GL(R) = GL_{\infty}(R) : = \text{lim}_{n \to \infty}GL_n(R)$$ is the limit of the invertible matricies. {{beginthm|Exercise}} Prove that $E(R)=[GL(R),GL(R)]$, where $E(R)\subset GL(R)$ is the subgroup generated by all elements in $GL(R)$ which are represented by elementary matrices. {{endthm}} {{beginrem|Hint}} For $A\in GL(m,R)$ and $B\in GL(n,R)$ write the matrix $$ \left( \begin{array}{cc} ABA^{-1}B^{-1} & 0\ 0 & I \end{array} \right) $$ as a product of elementary matrices $$ \left( \begin{array}{cc} I & X\ 0 & I \end{array} \right) = \prod_{i=1}^{m}\prod_{j=1}^{n} (I+x_{ij}E_{i,j+m}) $$ where $X=(x_{ij})$ is an $m\times n$ matrix. {{endrem}} Recall that $K_1(R)$ is defined to be the abelian group $$ K_1(R) : = GL(R)_{ab} = GL(R)/[GL(R), GL(R)].$$ {{beginthm|Exercise}} Prove that $K_1(\Zz) = \{ \pm 1 \}$. {{endthm}} </wikitex> == References == [[Category:Exercises]]R$ be an associative ring with unit and recall that an elementary matrix, $E$, over $R$ is a square matrix of the form

$$\displaystyle E = \text{Id}_n + a e_{ij}$$

where $\text{Id}_n$ is the $n \times n$ identity matrix, $a \in R$ and $e_{ij}$ is the matrix with zeros in all places except $(i, j)$ where $i \neq j$. Clearly each elementary matrix if invertible and so gives and element $E \in GL(R)$ where

$$\displaystyle GL(R) = GL_{\infty}(R) : = \text{lim}_{n \to \infty}GL_n(R)$$

is the limit of the invertible matricies.

Hint 0.2. For $A\in GL(m,R)$ and $B\in GL(n,R)$ write the matrix

$$\displaystyle \left( \begin{array}{cc} ABA^{-1}B^{-1} & 0\\ 0 & I \end{array} \right)$$

as a product of elementary matrices

$$\displaystyle \left( \begin{array}{cc} I & X\\ 0 & I \end{array} \right) = \prod_{i=1}^{m}\prod_{j=1}^{n} (I+x_{ij}E_{i,j+m})$$

where $X=(x_{ij})$ is an $m\times n$ matrix.

Recall that $K_1(R)$ is defined to be the abelian group

$$\displaystyle K_1(R) : = GL(R)_{ab} = GL(R)/[GL(R), GL(R)].$$

References