Романів О. М.

Исследуется структура наибольшего общего делителя матриц, одна из которых имеет один отличный от единицы инвариантный множитель. В связи с этим указаны форма Смита и преобразующие матрицы наибольшего общего левого делителя.

Введено поняття ііекомутативпого (правого) 2-евклідового кільця. Доведено, що праве 2-евклідове кільце є правим кільцем Ерміта, правим кільцем Безу та G^-кільцем. Показано, що довільний правий уиімодулярішй рядок довжиною, не меншою за 3, над правим кільцем Безу стабільного рангу 2 має елементарну діагональну редукцію. Доведено, що праве кільце Безу стабільного рангу 1 є правим 2-евклідовим кільцем.

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