Commutative Bezout ring, which is a ring of neat range 1.
Keywords:
An elementary divisor ring, a ring of neat range 1Abstract
All rings considered will be commutative with nonzero unit.References
B. Zabavsky Diagonal reduction of matrices over rings, Mathematical Studies, Monograph Series, volume XVI, VNTL Publishers, Lviv, 2012.