CC BY
11
2018 Математика и механика № 53
УДК 512.552 MSC 15A30
DOI 10.17223/19988621/53/2
П.А. Крылов, Ц.Д. Норбосамбуев
ГРУППА АВТОМОРФИЗМОВ ОДНОГО КЛАССА АЛГЕБР ФОРМАЛЬНЫХ МАТРИЦ
При некоторых условиях найдено строение группы автоморфизмов алгебры формальных матриц над коммутативным кольцом. Группа автоморфизмов такой алгебры является полупрямым произведением нескольких подгрупп, состоящих из автоморфизмов с известным строением. Это достигается за счет того, что алгебра формальных матриц представляется как расщепляющееся расширение некоторого нильпотентного идеала с помощью произведения обычных колец матриц.
Ключевые слова: автоморфизм, алгебра формальных матриц, полупрямое произведение.
Автоморфизмы и изоморфизмы различных колец и алгебр всегда привлекают внимание специалистов (см., например, [1-8]). В данной статье рассматриваются автоморфизмы алгебр формальных матриц над коммутативным кольцом.
Если R - кольцо, то M(n, R) - кольцо всех (пхи)-матриц над R, E - единичная матрица. Через AutR(T) обозначается группа автоморфизмов R-алгебры T над коммутативным кольцом R.
1. Алгебры формальных матриц
Общая теория колец формальных матриц изложена в книгах [9] и [10]. Определим их один частный вид - алгебры формальных матриц над данным коммутативным кольцом R.
Пусть n > 2 и {sijk| i, j, k = 1,...,n} - некоторое множество элементов кольца R, удовлетворяющих равенствам
siik = 1 = sikh sijk ' sikl = sijl ' sjkl (1) для всех индексов i, j, k, l = 1,.,n.
Для произвольных матриц A = (aj), B = (bj) из M(n, R) положим
n
AB = с = ^ где Cj = £s1kja1kbkj .
k=1
Все матрицы порядка n над кольцом R относительно сложения и введенного нового умножения образуют ассоциативную R-алгебру с единицей. Будем её обозначать M(n, R, Е), где Е = {sj | i, j, k = 1,.,n}, или буквой K. Алгебра K называется алгеброй формальных матриц порядка n над кольцом R. Множество Е - система множителей, а его элементы называются множителями R-алгебры K. Если все Sjk равны 1, то получаем алгебру M(n, R).
Из тождеств (1) вытекают следующие тождества:
siji sjij sijl' Sjil slij • Slji. (2)
Симметрическая матрица S = (sj) называется матрицей множителей алгебры K.
Пусть Е = {sjk | i, j, k = 1,...,п} - система множителей, т - подстановка степени п. Тогда {sT(i)T(j)T(k) | i, j, к = 1,.. .,п} - тоже система множителей, так как она удовлетворяет равенствам (1). Обозначим её через тЕ. Существует алгебра формальных матриц тК = M(n, R, тЕ). Соответствие A—rA, где A = (aj), тА = (а^ху)), задает изоморфизм алгебр К и тК.
До конца статьи буква К обозначает некоторую алгебру формальных матриц M(n, R, Е), все множители которой равны 1 или 0.
Пусть индексы i, j, к попарно различны. С помощью тождеств (2) нетрудно убедиться, что для множителей Sj, sjkj- и skik имеет место только одна из следующих возможностей:
1) все три элемента - единицы;
2) какие-то два из этих трех элементов - нули, а третий - единица;
3) все три элемента - нули.
Существует подстановка т, такая, что в матрице т5" (как действуют подстановки на матрицах написано выше) на главной диагонали стоят блоки, состоящие из единиц, а все позиции вне этих блоков заняты нулями (можно говорить, что матрица т£ имеет канонический вид). Алгебры К и тК изоморфны. Договоримся, что матрица множителей S алгебры К уже имеет указанный блочный вид.
Можно получить теперь некоторое разложение алгебры К. Пусть число блоков на главной диагонали матрицы S равно m. На главной диагонали каждой матрицы А из К выделим блоки Ab...,Am того же порядка и в той же последовательности, что и на главной диагонали матрицы S. Тогда блоки Aj для фиксированного I всех матриц из К образуют алгебру матриц M(kh R) для какого-то J. Обозначим ее К1.
В дальнейшем буква L обозначает прямую сумму алгебр К1 ©... © Кт , а I -
множество всех матриц A е К, для которых блоки A1,...Am состоят из нулей. Тогда I - нильпотентный идеал алгебры К. И верно равенство К = L © I, т. е. К есть расщепляющееся расширение идеала I с помощью алгебры L.
Считаем, что множители sijk удовлетворяют следующему дополнительному условию: для любых попарно различных индексов i, j, k из Sj = sjkj- = skik = 0 следует Sjk = 0. В таком случае I2 = 0.
2. Автоморфизмы алгебр формальных матриц
Пусть дана R-алгебра К. Запишем ее, как в разделе 1, в виде К = L © I. Предполагаем, что для L и I выполняются условия, сформулированные в разделе 1. Еще считаем, что ф! = I для всех ф е AutR (К). Это будет так, когда, например, R -полупервичное кольцо.
Естественным образом идеал I является L-L-бимодулем. Если а е AutR (L), то
имеем также притягивающий L-L-бимодуль aIa, где х о а о y = а(х)аа(у) для всех х, у е L, а е I. Разложение L = К1 ©... © Кт позволяет рассматривать каждую матрицу из К как блочную матрицу порядка m. Запишем E = e1 ©... © em, где ei -единичный элемент кольца К. Положим Ij = efej. Здесь Ij - подбимодуль L-L-бимодуля I.
Каждый автоморфизм ф R-алгебры К можно представить матрицей 0)
относительно разложения К = L © I. В этой матрице a:L^L, ß:I—>I, 5:L^I -R-модульные гомоморфизмы. Кроме того, a - автоморфизм R-алгебры L, ß - изо-
морфизм между бимодулями / и а/а, 5 - дифференцирование алгебры Ь со значениями в бимодуле а/а.
Верно и обратное. Если а:Ь—Ь, в:/—/, 5:Ь—/ - отображения со свойствами, перечисленными выше, то преобразование алгебры К, задаваемое матрицей
(0 0), является её автоморфизмом. Не будем различать автоморфизм и соответствующую матрицу.
Алгебра Ь сепарабельна. Поэтому всякое дифференцирование со значениями в Ь-Ь-бимодуле а/а является внутренним. То есть найдется матрица Б е / со свойством 5(Х = (аХ)Б - Б(аХ), X е Ь. Изоморфизм в «переставляет» бимодули /у для всех ¿, у = 1,.. ,,т с I Ф у.
Приведем некоторую полезную информацию о группе АиЯ(Ь). Считаем далее кольцо Я неразложимым. Несложно проверить, что всякий автоморфизм а алгебры Ь «переставляет» кольца К1,.,Кт в том смысле, что для любого / = 1,.. .,т верно равенство аК = Ку для какого-то у. Используя это наблюдение, можно выделить в группе ЛиЯ(Ь) подгруппу Е, изоморфную некоторой группе подстановок степени т (ее строение известно; мы отождествляем автоморфизмы из Е с соответствующими подстановками). Обозначим через Г нормальную подгруппу в ЛиЯ(Ь), состоящую из автоморфизмов, переводящих каждое кольцо К в себя. Тогда ГпЕ= е) и группа ЛиЯ(Ь) есть полупрямое произведение ГхЕ подгрупп Г и Е. Последнее означает, что каждый автоморфизм а е АШ:Я (Ь) можно единственным образом записать в виде а = дт, где цеГ, теЕ . Это дает гомоморфизм И: АиЯ(Ь) — Е, а—т.
Определим еще такой гомоморфизм /: АиЯК)—АиЯ(Ь), что /(ф) = а для каждого Ф = (5 0) е АШ:Я (К). Далее положим g = И/. Тогда
Кегд = {ф = ($ 0) I аКЛ = К{,/' = 1,...,т}. Что важно, подгруппа Img совпадает с Е.
Подстановки из Е естественным образом можно считать подстановками степени п. Затем, используя соглашение о множителях у находим, что для всякой подстановки теЕ верно равенство 8 ук = ^(¿^да при всех ¿, у, к = 1,...,п. Получается, что соответствие (ау)—(оуоУ является автоморфизмом Я-алгебры К (см. раздел 1). Обозначим этот автоморфизм через £т. Он переставляет в матрицах из К те же строки и столбцы, что и автоморфизм т в матрицах из Ь. Автоморфизмы вида для всех теЕ образуют подгруппу в АиЯК). Она изоморфна Е при соответствии ¿т—»т. Отождествляем с т. После этого можно записать полупрямое произведение АиЯК) = Ке^ х Е.
Есть еще одно полупрямое разложение группы АиЯК). Пусть буква Д обозначает нормальную подгруппу автоморфизмов вида (^ 1). Поскольку дифференцирование 5 является внутренним, то подгруппа Д изоморфна мультипликативной группе Е+/. Пусть Л - подгруппа автоморфизмов вида (0 0). Имеем разложение АиЯ(К) = Д х Л. Существуют также разложения
Ке^ = Д х {ф = (« 0) | аКг = Кг, I = 1,..., т}
и АШя(К) = Д х {ф = (0 0) | аК1 =Кг,/ =1,...,т} х Е.
Отметим, что строение подгрупп А и Е понятно. Подгруппа Kerf также имеет достаточно ясное строение (некоторые сведения о ней есть в разделе 4). Проблема описания группы AutR(K) фактически сводится к вычислению группы Im(f |Kerg).
Обозначим ее через ß. Таким образом, ß = {аеГ | найдется фе AutR(К) такой, что ф = (0 0) для некоторого ß}. Справедливо равенство Imf = ß х Е. В ряде случаев строение группы ß будет выявлено в следующем разделе.
3. Группа П
Сохраняются все принятые ранее обозначения. Пусть аей и ф = (0 0) -
соответствующий автоморфизм R-алгебры К, то есть f (ф) = а. Для любых i, j = 1,...,m верны равенства ß(Ij) = a(e,)Ia(ej) = eIe. = I. (L-L-бимодули I. появились в разделе 2). Обозначим ß. =ß |, . Запишем еще a = a1+.+ am, где
v 1 ij
ai = а |к. е AutR (Kt). Тогда ß. : 1 (I. )1 ^ a (I. )a. - изоморфизм К,-К,-бимодулей
(бимодули вида aAß определены в разделе 2).
Вопросу о том, какие элементы из Г входят в ß, можно придать следующую форму. Для каких автоморфизмов ai е AutR (Кi) и а. е AutR (К.) существуют
изоморфизмы между К,—Ку-бимодулями I..
Обозначим через /1,.,/m порядки колец матриц Kb...,Km соответственно. Положим с = НОК(/1 ,.,lm) и К = M(c, R). Автоморфизмы a1,.,am стандартным способом считаем автоморфизмами R-алгебры К . Сформулируем одно необходимое условие существования изоморфизма L—L-бимодулей 1I1 — aIa.
Следствие 3.1. Если L-L-бимодули 1I1 и aIa изоморфны, то для любых i, j е{1,...,m} автоморфизм a1rlaj- R-алгебры К является внутренним.
Группу внутренних автоморфизмов R-алгебры T будем обозначать Inn(AutR(T)).
Предложение 3.2. Справедливо включение Inn(AutR (L)) с Q. Следствие 3.3. Если все автоморфизмы каждой из R-алгебр Kb...,Km являются внутренними (это будет так, когда R - кольцо главных идеалов или локальное кольцо), то имеет место равенство Q = AutR (К1) х... х AutR (Km).
Строение группы ß можно найти, если все кольца матриц Kb...,Km имеют одинаковый порядок. Отождествим эти кольца.
Следствие 3.4. Пусть все кольца Kb...,Km имеют одинаковый порядок. Тогда группа ß порождается внутренними автоморфизмами R-алгебры L и автоморфизмами вида (у,у,.,у).
4. Некоторые полупрямые разложения
Установим несколько изоморфизмов, проясняющих строение группы AutR(K). Введенная в разделе 2 подгруппа А лежит в Inn(AutR(K)). Разложение AutR(K) = А х Л влечет разложение Inn(AutR(K)) = А х Inno(AutR(K)), где
Inno(AutR(K)) - подгруппа внутренних автоморфизмов вида (0 0). Здесь a -внутренний автоморфизм алгебры L.
Обозначим через Ф подгруппу всех таких автоморфизмов ф = ( 0 0), где а -
внутренний автоморфизм алгебры L. Понятно, что Ф с Kerg и верно равенство Ф = Kerf ■ Inn 0(Autn(K)).
Введем еще подгруппу состоящую из автоморфизмов вида (0 0). Действие изоморфизма в на каждом бимодуле (i ф j) совпадает с умножением на некоторый обратимый элемент кольца R. Отсюда следует изоморфизм U (R) х... х U (R), где U(R) - мультипликативная группа кольца R. Так как Kerf = А х то имеем равенства:
Ф = Kerf ■ Inno(AutR(K)) = ( А х ¥) ■ Inno(AutR(K)) = = ( А х Inno(AutR(K))) ■ ¥ = Inn(AutR(K)) ■ Получается, что о подгруппе Ф мы располагаем полной информацией. С помощью найденных полупрямых разложений выведем несколько результатов о строении подгруппы Kerg и всей группы AutR(K).
Следствие 4.1. Фактор-группа Kerg/Ф изоморфно вкладывается в факторгруппу r/Inn(AutR(L)) и является ограниченной абелевой группой.
Напомним, что буква S обозначает матрицу множителей кольца K (введена в разделе 1, там же есть сведения о блоках матрицы S).
Следствие 4.2. 1) Если порядки всех блоков на главной диагонали матрицы S попарно различны, то справедливо равенство AutR(K) = Kerg.
2) Если все автоморфизмы каждой R-алгебры K1...,Km являются внутренними, то имеем равенство AutR(K) = А х(¥ ■ Inn0(AutR(K))) х Е (см. еще следствие 3.3).
Отметим, что строение всех встречающихся в п. 2 следствия 4.2 подгрупп известно.
ЛИТЕРАТУРА
1. Anh P.N., van Wyk L. Automorphism group of generalized triangular matrix rings // Linear Algebra Appl. 2011. V. 434. No. 4. P. 1018-1026. doi:10.1016/j.laa.2010.10.007.
2. Anh P.N., van Wyk L. Isomorphisms between strongly triangular matrix rings // Linear Algebra Appl. 2013. V. 438. No. 11. P. 4374-4481. https://doi.org/10.1016/j.laa.2013.01.030.
3. Khazal K., Dascalescu S., van Wyk L. Isomorphism of generalized triangular matrix rings and recovery of tiles // Int. J. Math. Sci. 2003. No. 9. P. 533-538. http://dx.doi.org/10.1155/ S0161171203205251.
4. Boboc C., Dascalescu S., van Wyk L. Isomorphisms between Morita context rings // Linear and Multilinear Algebra. 2012. V. 60. No. 5. P. 545-563. https://doi.org/10.1080/03081087. 2011.611946.
5. Kezlan T.P. A note on algebra automorphisms of triangular matrices over commutative rings // Linear Algebra Appl. 1990. V. 135. P. 181-184. https://doi.org/10.1016/0024-3795(90)90121-R.
6. Tang G., Li Ch., Zhou Y. Study of Morita contexts // Comm. Algebra. 2014. V. 42. P. 16681681. https://doi.org/10.1080/00927872.2012.748327.
7. Крылов П.А. Об изоморфизме колец обобщенных матриц // Алгебра и логика. 2008. Т. 47. № 4. С. 456-463. https://doi.org/10.1007/s10469-008-9016-y.
8. Абызов А.Н., Тапкин Д.Т. Кольца формальных матриц и их изоморфизмы // Сиб. матем. журн. 2015. Т. 56. № 6. С. 1199-1214. https://doi.org/10.17377/smzh.2015.56.601.
9. Крылов П.А., Туганбаев А.А. Кольца формальных матриц и модули над ними. М.: МЦНМО, 2017.
10. Krylov P., Tuganbaev A. Formal matrices. Algebra and Applications. V. 23. Springer, 2017. 10.1007/978-3-319-53907-2.
Статья поступила 18.01.2018 г.
Krylov P.A., Norbosambuev T.D. GROUP OF AUTOMORPHISMS OF ONE CLASS OF FORMAL MATRIX ALGEBRAS. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 53. pp. 16-21
DOI 10.17223/19988621/53/2
Keywords: automorphism, formal matrix algebra, semidirect product.
The structure of the automorphism group of a formal matrix algebra over a commutative ring has been found under certain conditions. The automorphism group of such algebra is a semidirect product of several subgroups consisting of automorphisms with a known structure. This is achieved due to the fact that the formal matrix algebra is represented as a splitting extension of a certain nilpotent ideal by means of the product of ordinary matrix rings.
AMS Mathematical Subject Classification: 15A30
KRYLOVPiotr Andreevich (Doctor of Physics and Mathematics, Tomsk State University, Tomsk, Russian Federation). E-mail: krylov@math.tsu.ru
NORBOSAMBUEV Tsyrendorji Dashatsyrenovich (Tomsk State University, Tomsk, Russian Federation). E-mail: NsTsdDts@yandex.ru
REFERENCES
1. Anh P. N., van Wyk L. (2011) Automorphism group of generalized triangular matrix rings. Linear Algebra Appl. 434(4). pp. 1018-1026. doi:10.1016/j.laa.2010.10.007.
2. Anh P.N., van Wyk L. (2013) Isomorphisms between strongly triangular matrix rings. Linear Algebra Appl. 438(11). pp. 4374-4481. https://doi.org/10.1016Zj.laa.2013.01.030.
3. Khazal K., Dascalescu S., van Wyk L. (2003) Isomorphism of generalized triangular matrix rings and recovery of tiles Int. J. Math. Sci. 9. pp. 533-538. http://dx.doi.org/10.1155/ S0161171203205251.
4. Boboc C., Dascalescu S., van Wyk L. (2012) Isomorphisms between Morita context rings. Linear and Multilinear Algebra. 60(5). pp. 545-563. https://doi.org/10.1080/03081087. 2011.611946.
5. Kezlan T.P. (1990) A note on algebra automorphisms of triangular matrices over commutative rings. Linear Algebra Appl. 135. pp. 181-184. https://doi.org/10.1016/0024-3795(90)90121-R.
6. Tang G., Li Ch., Zhou Y. (2014) Study of Morita contexts. Comm. Algebra. 42. pp. 16681681. https://doi.org/10.1080/00927872.2012.748327.
7. Krylov P.A. (2008) Isomorphism of generalized matrix rings. Algebra and Logic. 47(4). pp. 456-463. https://doi.org/10.1007/s10469-008-9016-y.
8. Abyzov A.N, Tapkin D.T. (2015) Formal matrix rings and their isomorphisms. Siberian Mathematical Journal. 56(6). pp. 1199-1214. https://doi.org/10.17377/smzh.2015.56.601.
9. Krylov P.A., Tuganbaev A.A. Koltsa formal'nyh matric i moduli nad nimi [Rings of formal matrices and modules over them]. Moscow: MCNMO, 2017.
10. Krylov P., Tuganbaev A. (2017) Formal matrices. Algebra and Applications. 23. Springer. 10.1007/978-3-319-53907-2.
