Елементарна редукція ідемпотентних матриць

Анотація

Введено поняття EID-кільця. Доведено, що комутативне кільце з елементарною редукцією матриць є EID-кільцем, більше того, що будь-яке ω-евклідове кільце без дільників нуля є EID-кільцем. Доведено, що комутативне ω-евклідове кільце є кільцем з елементарною редукцією матриць тоді і тільки тоді, коли кільце R/I є EID-кільцем.