On the first row map \(\mathrm{GL}_{d+1}(R)\longrightarrow\frac{Um_{d+1}(R)}{E_{d+1}(R)}\) (Q2031578): Difference between revisions

The author proves that the first row map \[ \mathrm{GL}_{d+1}(R[X])\to \frac {\mathrm{Um}_{d+1}(R[X])} {\mathrm{E}_{d+1}(R[X])} \] is a group homomorphism provided \(R\) is a reduced local commutative ring of dimension \(d\ge2\), \(\frac {1} {d!}\in R\), and \(\frac {\mathrm{Um}_{d+1}(R[X])} {\mathrm{E}_{d+1}(R[X])}\) is the van der Kallen group. Hence the set \(\mathrm{GL}_{d}(R[X])\mathrm{E}_{d+1}(R[X])\) contains the commutator subgroup of \(\mathrm{GL}_{d+1}(R[X])\).