A Coxeter variant of the Steinberg group (Q1273629)

The authors consider the semi-direct product \(G_n(\Lambda)\) of the symmetric group \({\mathfrak S}_n\) and the Steinberg group \(St_n(\Lambda)\) of a ring \(\Lambda\), when \(n\geq 3\). They find a presentation for \(G_n(\Lambda)\) that is like the Coxeter presentation of \({\mathfrak S}_n\), but now with parameters as in the Steinberg presentation of \(St_n(\Lambda)\). To be specific, their generators are called \(y_i^\lambda\), with \(\lambda\in\Lambda\), \(i=1,\ldots, n-1\). Their defining relations are remarkably simple: \[ y_i^\lambda y_i^0y_i^\mu=y_i^{\lambda+\mu}, \quad y_i^\lambda y_j^\mu= y_j^\mu y_i^\lambda\quad \text{if } | i-j| \geq 2,\quad y_i^\lambda y_{i+1}^\mu y_i^\nu=y_{i+1}^\nu y_i^{\mu+\lambda\nu}y_{i+1}^\lambda. \] Of course one has a connection with the \(K_2\) of Milnor. They treat the case where \(\Lambda=\mathbb{Z}\) in more detail.