Localization-completion strikes again: relative \(K_1\) is nilpotent by Abelian (Q1008757)

Previously, the authors published several papers proving that classical and Chevalley groups of rank \(\geq 2\) over commutative rings \(R\) modulo their elementary subgroups are nilpotent when \(R\) has finite Bass-Serre dimension. In the present paper, relative versions of these results, involving an ideal \(I\) of \(R\), are proven.