Елементарна редукція матриць над комутативними кільцями Безу n-раз стабільного рангу 2

Анотація

Введено поняття кільця n-раз стабільного рангу 2. Доведено, що комутативне кільце Безу n-раз стабільного рангу 2 є кільцем елементарних дільників. Також доведено, що довільні n матриць над комутативним кільцем Безу n-раз стабільного рангу 2 зводяться до спеціального трикутного вигляду з елементарними дільниками на головній діагоналі за допомогою ідентичних однобічних елементарних перетворень та домноженням на відповідні оборотні матриці, з іншого боку.