Search

У статті з єдиних позицій описані групові гомоморфізми матричних груп і кільцеві гомоморфізми матричних кілець над асоціативними кільцями з 1. Показано, що опис гомоморфізмів матричних груп E (n, R) ⊆ G ⊆ GL(n, R), n ≥ 2 у групу автоморфізмів GL(W) лівого (необов'язково вільного) K-модуля W над довільним асоціативним кільцем K з 1 зводиться до випадків, коли 2 або 3 - оборотні елементи в кільці K. Доведено, що вони допускають стандартний опис гомоморфізмів групи елементарних трансвекцій E (n, R), якщо такий опис допускають гомоморфізми матричних груп над кільцями K, в яких 2 або 3 є оборотними елементами. Також описано кільцеві гомоморфізми Λ : Rn → EndW, n ≥ 2 лівого (необов'язково вільного) K-модуля W над довільним асоціативним кільцем iK з 1. Показано, що гомоморфізми Λ допускають стандартний опис на кільці Rn.

Вивчення гомоморфiзмiв матричних груп над асоцiативними кiльцями розпочалося майже 100 рокiв тому роботами Шраєра i Ван-дер-Вардена i в подальшому розвивалися в працях Дьєдоне, Хуа Ло-гена, Райнера, О’Мiри, Хана, Ю.I. Мерзлякова, Уотерхауса, О.В. Мiхальова, Ю.I. Зельманова, I.З. Голубчика, В.М. Петечука та iнших авторiв. В основi вивчення знаходяться груповi властивостi повної лiнiйної групи GL(n, R) – множини всiх оборотних матриць над асоцiативним кiльцем R з 1. При n ≥ 3 у всiх вiдомих випадках, незважаючи на вiдмiннiсть методiв, якi застосовувалися, автоморфiзми повної лiнiйної групи виявлялись добутком стандартних автоморфiзмiв. Саме оборотнiсть елемента 2 давала можливiсть розглядати все бiльш широкi класи кiлець над якими можливий стандартний опис гомоморфiзмiв матричних груп. Якщо 2 – необоротний елемент, то при n ≥ 3 В.М. Петечук зробив опис автоморфiзмiв групи GL(n, R) у випадку, коли R – комутативне локальне кiльце. Виявилося, що при n ≥ 4 всi автоморфiзми таких груп є добутком стандартних автоморфiзмiв, а при n = 3 їх можна виразити через стандартнi i деякий нестандартний автоморфiзми. Спираючись на цей результат, В.М. Петечук [2] отримав опис iзоморфiзмiв групи GL(n, R), n ≥ 3, якщо R – довiльне комутативне кiльце. Зокрема, вiн здiйснив опис гомоморфiзмiв Λ : P E (n, R) → P GL(m, K), m ≥ 3, n ≥ 3 таких, що ΛP E (n, R) = P H i H ⊇ E (m, K) над довiльними комутативними кiльцями R i K. I.З. Голубчик i О.В. Мiхальов [3], використовуючи системи iдемпотентiв, i незалежно Ю.I. Зельманов [4], використовуючи методи йорданових алгебр, отримали опис iзоморфiзмiв групи E (n, R), n ≥ 3, 2 ∈ R∗ на групу E (m, K), 2 ∈ K∗ над довiльними асоцiативними кiльцями R i K з 1. В.М. Петечук [5] зробив опис гомоморфiзмiв групи P E (n, R), n ≥ 3 в групу GL(m, K), m ≥ 2, 2 ∈ K∗ у випадку, коли нерухомi пiдмодулi деяких елементiв четвертого порядку збiгаються з нерухомими пiдмодулями їх квадратiв. З нього випливають результати I.З. Голубчика, О.В. Мiхальова i Ю.I. Зельманова. Розвиваючи технiку, пов’язану з iдемпотентами, I.З. Голубчик [6] здiйснив опис iзоморфiзмiв груп GL(n, R) i GL(m, K) при n, m ≥ 4 над асоцiативними кiльцями R i K. Виявилося, що вони допускають стандартний опис на групi E (n, R). Авторами В.М. Петечук, Ю.В. Петечук [7, 8] описанi гомоморфiзми з умовою (*) з чого зокрема випливає i опис iзоморфiзмiв повних лiнiйних груп над асоцiативними кiльцями. У данiй роботi удосконалюються i розширюються методи опису гомоморфiзмiв з умовою (*), якщо елемент 2 є оборотним в кiльцi K i n ≥ 3. Основним результатом роботи є наступна теорема. Нехай R i K – асоцiативнi кiльця з 1, 2 ∈ K∗ , E (n, R) ⊆ G ⊆ GL(n, R), n ≥ 3, W – лiвий K-модуль, гомоморфiзм Λ : G → GL(W) задовольняє умову (*). Тодi Λ має стандартний опис на групi E (n, R).

The paper substantiates the image by formal matrices of some elements of linear groups over associative rings by using the properties of redundant and fixed modules. The form of images of elements of linear groups with respect to their homomorphisms in the group of automorphisms of modules over associative rings of 1, in which there are reversible elements 2 or 3, is shown. Using this approach, the authors described homomorphisms with the condition (*) of matrix groups over associative rings with 1. In particular, the isomorphisms of matrix groups over associative rings are homomorphisms with condition (*).