\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Steinberg group}

\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

Simplification of linear equations uses the `elementary moves' such as adding a multiple of one equation to another. These `moves' have analogues in the matrix approach where an elementary move on the corresponding set of linear equations is mirrored by multiplication by elementary matrices. We did not specify over what ring we were working, and the group of elementary matrices will depend on that, but some of the relations between the `elementary moves' are more universal and these are encoded in the presentation of the \emph{Steinberg group}.

\hypertarget{the_presentation}{}\subsection*{{The presentation}}\label{the_presentation}

Let $R$ be an associative ring with 1. Recall that the ($n^{th}$ unstable) \emph{Steinberg group}, $St_n(R)$, has generators, $x_{ij}(a)$, labelling the \emph{elementary matrices}, $e_{ij}(a)$, having

\begin{displaymath}
e_{ij}(a)_{k, l} = \left\{ \begin{array}{ll}
1 & if     k = l\\
a & if    (k, l) = (i, j), a \in R\\
0 &  otherwise,\end{array}\right.
\end{displaymath}
and relations

St1 $x_{i,j}(a)x_{i,j}(b) =  x_{i,j}(a + b)$;

St2 $[ x_{i,j}(a),x_{k,\ell }(b)] = \left\{ \begin{array}{ll}
      1 & if    i \neq \ell, j\neq k,\\
      x_{i,\ell}(ab) & i \neq \ell, j = k
\end{array}\right.$

and in which all indices are positive integers less than or equal to $n$.

\hypertarget{stable_and_unstable}{}\subsubsection*{{Stable and unstable}}\label{stable_and_unstable}

The terminology \emph{$n^{th}$ unstable} is to make the contrast with the group $St(R)$, the stable version. The unstable version, $St_n(R)$, models universal relations satisfied by the $n\times n$ elementary matrices, whilst, in $St(R)$, the indices, $i$, $j$, $k$ etc. are not constrained to be less than or equal to $n$.

There is an inclusion of $St_n(R)$ into $St_{n+1}(R)$ given by the obvious inclusion on the generating sets. The `union' of the sequence of these groups is $St(R)$.

\hypertarget{elementary_matrix_groups}{}\subsection*{{Elementary matrix groups}}\label{elementary_matrix_groups}

The subgroup of $GL(R)$ generated by the elementary matrices is denoted $E(R)$. In looking at the structure on elementary matrices we have a series of more minor results before a very neat result due to [[Henry Whitehead]].

\textbf{Lemma} If $i,j, k$ are distinct positive integers, then

\begin{displaymath}
e_{ij}(a) = [e_{ik}(a),e_{kj}(1)].
\end{displaymath}
The proof is just calculation. This then makes the following obvious.

\textbf{Proposition}

For $n\geq 3$, $E_n(R)$ is a [[perfect group]], i.e.,

\begin{displaymath}
[E_n(R),E_n(R)]= E_n(R).
\end{displaymath}
Continuing with the properties of $E(R)$, let $M = (m_{ij})$ be any $n\times n$ matrix over $R$. (It is not assumed to be invertible.)

We note that in $G\ell_{2n}(R)$,

\begin{displaymath}
\left(\begin{array}{cc}
I_n&M\\0&I_n
\end{array}\right)= \prod_{i=1}^n\prod_{j=1}^n e_{i, j+n}(m_{ij}),
\end{displaymath}
so this is in $E_{2n}(R)$. Similarly $\left(\begin{array}{cc}
I_n&0\\M&I_n
\end{array}\right)\in E_{2n}(R)$.

Next, let $M \in G\ell_n(R)$ and note

\begin{displaymath}
\left(\begin{array}{cc}
M&0\\0&M
\end{array}\right)= \left(\begin{array}{cc}
I_n&0\\M^{-1}-I_n&I_n
\end{array}\right)\left(\begin{array}{cc}
I_n&I_n\\0&I_n
\end{array}\right)\left(\begin{array}{cc}
I_n&0\\M-I_n&I_n
\end{array}\right)\left(\begin{array}{cc}
I_n&-M^{-1}\\0&I_n
\end{array}\right)
\end{displaymath}
(as is easily verified). We thus have

\begin{displaymath}
\left(\begin{array}{cc}
M&0\\0&M
\end{array}\right)\in E_{2n}(R),
\end{displaymath}
hence it is a product of commutators.

\textbf{Lemma} If $M,N\in G\ell_n(R)$, then

\begin{displaymath}
\left(\begin{array}{cc}
[M,N]&0\\0&I_n
\end{array}\right)= \left(\begin{array}{cc}
M&0\\0&M^{-1}
\end{array}\right)\left(\begin{array}{cc}
N&0\\0&N^{-1}
\end{array}\right)\left(\begin{array}{cc}
(NM)^{-1}&0\\0&NM
\end{array}\right),
\end{displaymath}
so is in $E_{2n}(R)$.

Passing to the stable groups, we get the famous \emph{Whitehead lemma}:

\textbf{Proposition}

\begin{displaymath}
[G\ell(R),G\ell(R)] = E(R).
\end{displaymath}
\hypertarget{}{}\subsection*{{$K_1(R)$}}\label{}

The first algebraic $K$-group of the ring $R$ is $G\ell(R)^{ab}$, the [[abelianization]] of the stable general linear group of $R$. By the above Whitehead lemma this is also $G\ell(R)/E(R)$.

\hypertarget{the_covering_properties_of_}{}\subsection*{{The covering properties of $St(R)$.}}\label{the_covering_properties_of_}

The Steinberg relations are modelled on observed relations amongst the elementary matrices, so sending $x_{ij}(a)$ to $e_{ij}(a)$ defines an epimorphism $St(R)\to E(R)$.

This is a [[universal central extension]] and its kernel is [[Milnor's K2]].

\hypertarget{syzygies_for_the_steinberg_group}{}\subsection*{{Syzygies for the Steinberg group}}\label{syzygies_for_the_steinberg_group}

These are discussed in

\begin{itemize}%
\item M. M. Kapranov and M. Saito, \emph{Hidden Stasheff polytopes in algebraic K-theory and in the space of Morse functions}, Higher homotopy structure in topology and mathematical physics (Poughkeepsie, N.Y. 1996), Contemporary Mathematics, vol. 227, AMS, 1999, pp. 191 -- 225.

\end{itemize}


\end{document}