Stable range conditions Whitehead groups ($K_1$) mathematics