CC BY
26
References
1. Vinogradov I. M. Metod trigonometricheskikh summ v teorii chisell [Trigonometric sums method in number theory]. Trudy Mat. in-ta im. V. A. Steklova AN SSSR. Moscow, Leningrad, Academy of Sciences of the USSR, 1947, vol. XXIII, 109 p. (in Russian).
2. Arkhipov G. I., Karatsuba A. A., Chubarikov V. N. Kratnye trigonometricheskie summy [Multiple trigonometric sums]. Trudy Mat. in-ta im. V. A. Steklova AN SSSR. Moscow, Nauka, 1980, vol. 151, 128 p. (in Russian).
3. Arkhipov G. I., Karatsuba A. A., Chubarikov V. N. Teoriia kratnykh trigonometricheskikh summ [Theory
of multiple trigonometric sums]. Moscow, Nauka, 1987, vol. 151, 368 p. (in Russian).
4. Arkhipov G. I., Chubarikov V. N., Karatsuba A. A. Trigonometric Sums in Number Theory and Analysis (De Gruyter expositions in mathematics; 39). Berlin, New York, Walter de Gruyter, 2004, 554 p.
5. Arkhipov G. I. Izbrannye trudy [Selected works]. Orel State University Press, 2013, 437 p. (in Russian).
6. Arkhipov G. I., Sadovnichii V. A., Chubarikov V. N. Lektsii po matematicheskomu analizu : Uchebnik dlia vuzov. 5-e izd.,ispr. [Lectures on calculus. University coursebook. 5th edition, corrected]. Moscow, Drofa, 2005, 640 p. (in Russian).
УДК 512.522
ПОЛУПРОСТЫЕ ГРАДУИРОВАННЫЕ КОЛЬЦА
И. Н. Балаба1, Е. Н. Краснова2
1Доктор физико-математических наук, доцент кафедры алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, ibalaba@mail.ru
2Аспирант кафедры алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, KrasnovaEN.ne@yandex.ru
Получен градуированный аналог теоремы Веддерберна-Артина, дающий описание полупростых С-градуированных колец
для произвольной группы С. Дана гомологическая классификация полупростых градуированных колец.
Ключевые слова: градуированные кольца, градуированные модули, полупростые кольца.
В последнее время возрос интерес к алгебраическим объектам, снабженным градуировкой; активно развивается структурная теория градуированных колец. Важным направлением в этих исследованиях является описание простых и полупростых объектов. Ряд результатов, описывающих строение простых и полупростых градуированных колец, можно найти в монографии К. Настасеску (С. Ы^аБеБси) и Ф. ван Ойстайена (Р. уап ОуБ1аеуеп) [1]. В [2] изучались градуированные центральные простые алгебры, а в [3] дано описание конечномерных простых градуированных алгебр над алгебраически замкнутым полем.
Целью данной работы является описание полупростых градуированных колец.
Все кольца предполагаются ассоциативными с единицей 1, все модули — унитарными, С — мультипликативная группа с единичным элементом е.
Кольцо А называется С-градуированным (или градуированным по группе С), если А = 0деС Ад, где {Ад | д е С} — семейство аддитивных подгрупп кольца А и АдА^ С Аф для всех д, Н е С. Элементы множества Н(А) = идеа Ад называются однородными элементами кольца. Идеал I кольца А называется градуированным, если I = фдеа(1^|Ад). Изоморфизмом градуированных колец называется сохраняющий градуировку кольцевой изоморфизм.
Правый А-модуль называется С-градуированным, если если М = 0деС Мд, где {Мд|д е С} — семейство аддитивных подгрупп в абелевой группе (М, +) и МдА^ С Мд^ для всех д, Н е С. Аналогично определяется левый градуированный А-модуль. Обозначим через gr.mod —А категорию правых градуированных А-модулей, объектами которой являются правые градуированные А-модули, а мор-физмами — сохраняющие градуировку гомоморфизмы.
Для правых градуированных модулей Ма и Жд обозначим через НОМа(М, N)д множество однородных гомоморфизмов степени д, т. е. А-линейных отображений, для которых /(М^) С
© Балаба И. Н, Краснова Е. Н., 2013 23
для всех Н е С. Тогда НОМА(М, N) = фдеС НОМА(М, N)д — градуированная абелева группа, ЕМБа(М) = НОМА(М, М) — градуированное кольцо, называемое градуированным кольцом эндоморфизмов модуля Ма. Если группа С конечна или модуль Ма конечно порожден, то ЕМБа(М) совпадает с кольцом эндоморфизмов Епёл(М) модуля Ма, рассматриваемого без градуировки [1, следствия 2.4.4-2.4.6]. В общем случае может иметь место строгое включение.
Определение. Полулинейным а-изоморфизмом (а е С) правых градуированных модулей МА и Nв называется пара отображений (а, 7), где а : М ^ N — изоморфизм абелевых групп, в : А ^ В — изоморфизм колец таких, что
1) (та)а = таав для всех а е А, т е М;
2) (Ад)в С Ва-1да и (Мн)а С для всех д, Н е С.
Всюду далее градуированные аналоги стандартных определений будем обозначать приставкой <^г-». Таким образом, градуированное кольцо А называется gr-регулярным, если для любого однородного элемента а е Н(А) найдется такой элемент х е А, что аха = а, gr-простым, если оно не содержит нетривиальных градуированных идеалов, и градуированным телом, если обратим каждый его ненулевой однородный элемент.
Будем говорить, что кольцо матриц Я = Мп(А) над градуированным кольцом А снабжено хорошей (элементарной) градуировкой, если Я = Мп(А)(<7) для некоторого д = (д1,... ,дп) е Сп, где
Мп (А)н(<) =
А А
д1 нд1 1 Адгнд21
-1 А -1
д2 нд- д2нд-
Ад нд-1
д1 Нд„
А н -1
д2 нд„
А -1 А -1
\ дпНд1 дпНд2
А
ъНдп 1 /
В этом случае Я изоморфно ЕМБа (Б) для некоторого конечно порожденного gr-свободного левого (или правого) градуированного А-модуля Б [1, предложение 2.10.5].
Так как gr-свободный А-модуль является gr-проективным, то из [4, теоремы 3.2-3.3] следует, что любой изоморфизм матричных колец, снабженных хорошими градуировками, индуцируется либо градуированной эквивалентностью Мориты, либо некоторым полулинейным а-изоморфизмом.
В [3] было установлено, что конечномерные gr-простые С-градуированные алгебры над алгебраически замкнутым полем Б, характеристика которого либо равна нулю, либо не делит порядки любых конечных подгрупп группы С, изоморфны матричным алгебрам (снабженным хорошими градуировками) над конечномерным градуированным телом [3, теорема 3].
Следующая теорема, анонсированная в [5], дает описание gr-простых gr-артиновых колец и уточняет результаты [1, теорема 2.10.10] и [2, предложение 1.3].
Теорема 1. Пусть А = фдеа Ад — gr-простое gr-артиново кольцо. Тогда кольцо А изоморфно кольцу матриц с хорошей градуировкой над некоторым градуированным телом Б. При этом если А = Мп(Б)(<) = Мт(Е)(Н), то п = т и существуют элемент а е С и изоморфизм колец в : Б ^ Е, для которого в(Бд) = Еа-1 да.
Доказательство. Так как кольцо А gr-артиново, то его градуированный радикал Джекобсона ^дг(А) = 0, а так как А — gr-простое кольцо, то оно gr-примитивно. В силу предложения 2.8 из [6] имеем А = ЕМБд (У) для некоторого градуированного тела Б и конечно порожденного модуля Ур. Таким образом, А = Мп(Б)(<).
Пусть А = Мт(Е)(Н), тогда А = ЕМБе(Ш) для некоторого конечно порожденного модуля ШЕ над градуированным телом Е. Из теоремы [7, теорема 3.1] следует существование элемента а е С и полулинейного а-изоморфизма модулей Ур и ШЕ, индуцирующего изоморфизм градуированных колец ^ : ЕМБд (У) ^ ЕМБе(Ш). Таким образом, п = т и существует изоморфизм колец в : Б ^ Е, для которого в(Бд) = Еа-1да. □
Важное место в теории градуированных колец занимает проблема описания градуировок. В [8] дано описание всех й2-градуировок алгебры матриц М2(к). В [9] были полностью описаны все абе-левы градуировки на матричной алгебре над алгебраически замкнутым полем характеристики нуль, а в [10] этот результат был обобщен на случай неабелевых градуировок. Следующая теорема утверждает, что любая градуировка на кольце матриц над телом будет изоморфна хорошей над некоторым градуированным телом.
Теорема 2. Пусть Мп(К) — кольцо матриц над телом К, градуированное группой С, тогда существуют натуральное число т, являющееся делителем числа п, градуированное тело Б и 9 = (д1, ...,дт) е Ст такие, что Мп(К) ^ Мт (Б)(д).
Доказательство. Поскольку кольцо матриц над телом является артиновым простым кольцом, то оно является также gr-простым gr-артиновым кольцом. Применяя теорему 1, получим требуемое утверждение. □
Определение. Градуированное кольцо А называется §г-полупростым справа, если оно является прямой суммой минимальных правых градуированных идеалов. Другими словами, кольцо А — gr-полупросто справа, если модуль Ад является полупростым объектом категории правых градуированных модулей gr.mod-A.
Известно, что кольцо А является gr-полупростым справа в том и только том случае, если оно А — gr-полупросто слева [1, предложение 2.9.5], а потому будем называть такие кольца gr-полупростыми. Заметим, что по аналогии с классической теорией колец можно также называть их классически gr-полупростыми или вполне gr-приводимыми.
Теорема 3. Градуированное кольцо является gr-полупростым в том и только том случае, если каждый его градуированный правый (левый) идеал выделяется прямым слагаемым.
Доказательство. Пусть А — gr-полупростое кольцо, т.е. А = ф Ь^, где Ь (г е I) — минимальные градуированные правые идеалы, и Н = А — градуированный правый идеал в А. Если Ь,П Н = 0 для некоторого г е I, то Ь^ С Н. Так как Н = А, то Ь^| Н = 0 для некоторого индекса ] е I. Пусть Р — совокупность всех подмножеств J с I, для которых НП (BjeJ Ь] = 0, и Р — максимальный элемент в Р, существующий в силу леммы Цорна. Если Н' = Нф(ф^р Ьj) = А, то Ь*П Н' = 0 для некоторого к е I. Тогда Р' = Ри{к} е Р и Р' строго содержит множество Р, что приводит к противоречию. Следовательно, А = НфЬj).
Обратно, пусть каждый градуированный правый идеал кольца А выделяется прямым слагаемым. Покажем, что А содержит хотя бы один минимальный градуированный идеал. Пусть 0 = х е Н(А) и М — градуированный правый идеал, являющийся максимальным элементом множества Р градуированных идеалов, не содержащих элемент х (он существует в силу леммы Цорна). По условию А = МфЖ для некоторого правого градуированного идеала N. Если N не является минимальным, то он содержит ненулевой правый градуированный идеал Но А = ^фЛ, откуда N = ^ф(Rf)N) = . Ясно, что оба идеала М + Q и М + Б строго содержат М и поэтому
оба содержат х. Получим противоречие, поскольку (М + Q) Р|(М + Б) = М, а х / М. Далее, пусть Т — сумма всех минимальных градуированных правых идеалов кольца А, тогда А = Тфи. Если и = 0, то в силу доказанного он содержит минимальный градуированный идеал, который должен принадлежать множеству Т, что невозможно. Таким образом, А = Т. □
Теорема 4. Следующие свойства градуированного кольца А эквивалентны:
1) А — gr-полупростое кольцо;
2) А — gr-артиново справа (слева) с нулевым градуированным радикалом Джекобсона б/дг (А);
3) для каждого правого (левого) градуированного идеала Ь кольца А найдется такой однородный идемпотент е е А, что Ь = еА (Ь = Ае);
4) А — gr-артиново справа (слева) gr-регулярное кольцо;
5) А — gr-нётерово справа (слева) gr-регулярное кольцо;
6) А — gr-артиново справа (слева) gr-полупервичное кольцо;
7) А — прямая сумма снабженных хорошими градуировками матричных колец над градуированными телами.
Доказательство. Пусть выполнено 1). Тогда Ь1 с Ь1 ф Ь2 С ... С А, где Ьг — минимальные правые градуированные идеалы такие, что А = Ь1 ф Ь2 ф ... фЬп. Следовательно, кольцо А является gr-артиновым и gr-нётеровым справа. Из теоремы 3 следует, каждый правый градуированный идеал, в частности, каждый главный градуированный идеал, выделяется прямым слагаемым, следовательно, А — gr-регулярное кольцо. Таким образом, 1) ^ 4) и 1) ^ 5).
4) ^ 5) вытекает из градуированной версии теоремы Хопкинса, утверждающей, что если А — gr-артиново справа, то А и gr-нётерово справа [1, следствие 2.9.7].
5) ^ 1). Поскольку А — gr-нётерово справа, то каждый правый градуированный идеал является конечно порожденным, а из gr-регулярности следует, что он порождается однородным идемпотентом, а значит, выделяется прямым слагаемым.
2) ^ 1). Поскольку с/дг(А) = 0, то пересечение всех максимальных градуированных правых идеалов кольца А равно нулю. В силу gr-артиновости нулю равно пересечение некоторого конечного числа таких идеалов: М^ М2 П ... П Мп = 0. Пусть N = Р|j=г М) и N не содержится в Мг (иначе Мг можно удалить). Ясно, что Мг + N = А и Мг Р| N =0. Следовательно, N = А/Мг является
п
gr-неприводимым модулем, и N = егА для некоторого ег = е2 е Н(А). Обозначим через е = ^ ег.
г = 1
пп
Тогда е — 1 = (ег — 1) + ^ ej е Мг и, следовательно, е — 1 е Пп=1 Мг = 0. Таким образом, ^ ег = 1,
j=г г=1
а поскольку ^ Р| =0 при г = 3, то А = фп=1 N,1.
4) ^ 2). Пусть ^дг (А) — градуированный радикал Джекобсона gr-артинова справа gr-регулярного кольца и 0 = х е 1/дг(А), тогда хА = еА, где е2 = е е хА С ^дг(А). Но тогда е = 0, а значит, и х = 0, получили противоречие, следовательно, ^дг(А) = 0.
5) ^ 3). Так как для gr-нётерова справа кольца каждый градуированный правый идеал конечно порожден, то импликация очевидна.
3) ^ 5). Поскольку каждый градуированный правый идеал является главным, т. е. конечно порожденным, то кольцо А является gr-нётеровым, а так как каждый главный идеал порожден однородным идемпотентом, то А gr-регулярно.
1) ^ 7). Пусть А = Ь1 ф Ь2 ф... фЬп, где Ьг — минимальные правые градуированные идеалы кольца А.
Обозначим через Б& сумму всех идеалов Ь^, для которых НОМа(Ь^, Ь j) = 0, и покажем, что она является gr-простым кольцом. Действительно, поскольку любой ненулевой однородный элемент а е Н(А) порождает ненулевой однородный автоморфизм модуля А а , то либо аЬ& = 0, либо аЬк = Ьj для некоторого 3 = 1,..., п, следовательно, Бк является идеалом. Легко проверить, что Бк — gr-простое gr-артиново кольцо, которое в силу теоремы 1 является хорошо градуированным матричным кольцом над некоторым градуированным телом.
7) ^ 1). Пусть А = фк=1 Бг — прямая сумма хорошо градуированных матричных колец над градуированными телами, т. е. Бг = Мп. (Бг)(дг). Поскольку при такой градуировке все матричные единицы являются однородными элементами, то Бг = е11 Бг ф . ..феп п/1 Бг — прямая сумма левых идеалов, каждый из которых gr-неприводимый модуль. А поскольку каждый минимальный градуированный правым идеал кольца Бг является также минимальным градуированным правым идеалом в А, то А — классически gr-полупросто.
4) ^ 6) непосредственно вытекает из того, что каждое gr-регулярное кольцо является gr-полу-первичным.
6) ^ 2). Так как градуированный радикал Джекобсона ^дг (А) gr-артинова справа кольца является нильпотентным, а gr-полупервичное кольцо не содержит ненулевых градуированных нильпотент-ных идеалов, то ^дг(А) = 0. □
Правый градуированный A-модуль называется gr-проективным (gr-инъективным), если он является проективным (инъективным) объектом категории градуированных модулей gr.mod-A. Ясно, что всякий проективный (инъективный) градуированный модуль является также gr-проективным (gr-инъективным). Для gr-проективных модулей верно и обратное, а для gr-инъективных это не всегда так.
Следующая теорема дает гомологическую классификацию gr-полупростых колец.
Теорема 5. Для градуированного кольца A эквивалентны утверждения:
1) A — gr-полупростое кольцо;
2) каждый правый (левый) градуированный A-модуль gr-полупрост;
3) каждый правый (левый) градуированный A-модуль gr-проективен;
4) каждый правый (левый) градуированный A-модуль gr-инъективен.
Доказательство. 1) ^ 2) доказано [1, предложение 2.9.8].
3) ^ 1) Пусть каждый правый градуированный A-модуль является gr-проективным. Тогда для любого правого градуированного идеала I кольца A модуль A// является gr-проективным. Следовательно, точная последовательность 0 ^ I ^ A ^ A/I ^ 0 расщепляется, а значит, I выделяется прямым слагаемым.
2) ^ 3) Любой градуированный модуль M является фактор-модулем некоторого gr-свободного (а значит, и gr-проективного) модуля P, т.е. M = P/K. Из полупростоты модуля P следует, что P = ^фК', а значит, M = К', откуда следует gr-проективность модуля M.
Импликации 4) ^ 1) и 2) ^ 4) доказываются аналогично. □
Заметим, что условие gr-полупросты, вообще говоря, слабее условия полупросты. Из теоремы 5 следует, что полупростое градуированное кольцо является также и gr-полупростым. В то же время групповое кольцо AG классически полупросто тогда и только тогда, когда кольцо A классически полупросто, а G — конечная группа, порядок которой обратим в A [11, теорема 12.2].
Работа выполнена при финансовой поддержке РФФИ (проект № 11-01-00571a).
Библиографический список
1. Nastasescu C., Oystaeyen F. van. Method of graded rings. Berlin : Springer, 2004. 295 p.
2. Hwang Y.-S., Wadsworth A. R. Correspondences between valued division algebras and graded division algebras // J. Algebra. 1998. Vol. 220. P. 73-114.
3. Бахтурин Ю. А., Зайцев М. В., Сегал С. К. Конечномерные простые градуированные алгебры // Мат. сб. 2008. Т. 199, № 7. C. 21-40. DOI: 10.4213/sm3873.
4. Балаба И. Н., Михалёв А. В Изоморфизмы градуированных колец эндоморфизмов градуированных модулей, близких к свободным // Фундамент. и прикл. математематика. 2007. Т. 13, вып. 5. C. 3-18.
5. Балаба И. Н. Градуированные простые артиновы кольца // Алгебра и математическая логика : материалы междунар. конф., посвящ. 100-летию со дня рождения проф. В. В. Морозова. Казань : Изд-во Казан. федерал. ун-та, 2011. С. 43-44.
6. Liu S.-X, Beattie M, Fang H. Graded division rings and the Jacobson density theorem //J. Beijing Normal
University (Natural Science). 1991. Vol. 27, № 2. P. 129134.
7. Балаба И. Н. Изоморфизмы градуированных колец линейных преобразований градуированных векторных пространств // Чебышевский сб. 2005. Т. 6, вып. 4(16). С. 6-23.
8. Dascalescu S., Ion B., Nastasescu C., Rios Montes J. Group gradings on full matrix rings //J. Algebra. 1999. Vol. 220. P. 709-728.
9. Bahturin Yu. A., Sehgal S. K., Zaicev M. V. Group graging on associative algebras // J. Algebra. 2001. Vol. 241. P. 677-698.
10. Bahturin Ju. A., Zaicev M. V. Group gradings on matrix algebras // Canad. Math. Bulletin. 2002. Vol. 45. P. 499-508.
11. Залесский А. Е., Михалев А. В. Групповые кольца // Итоги науки и техн. Сер. Соврем. пробл. мат. М. : ВИНИТИ, 1973. Т. 2. С. 5-118.
Semisimple Graded Rings I. N. Balaba, E. N. Krasnova
Leo Tolstoy Tula State Pedagogical University, Russia, 300026, Tula, Lenina pr., 125, ibalaba@mail.ru, KrasnovaEN.ne@yandex.ru
The graded version of Wedderburn-Artin theorem is obtained. It gives description of semisimple G-graded ring for arbitrary group G. Homological classification of graded semisimple rings is given.
Key words: graded rings, graded modules, semisimple rings.
References
1. Nastasescu C., Oystaeyen F. van. Method of graded rings. Berlin, Springer, 2004, 295 p.
2. Hwang Y.-S., Wadsworth A. R. Correspondences between valued division algebras and graded division algebras. J. Algebra, 1998, vol. 220, pp. 73-114.
3. Bahturin Yu. A. Zaicev M. V., Sehgal S. K. Finite-dimensional simple graded algebras. Sbornik : Mathematics, 2008, vol. 199, no. 7, pp. 965-983. DOI:10.1070/SM2008v199n07ABEH003949
4. Balaba I. N. Mikhalev A. V. Isomorphisms of graded endomorphism rings of graded modules close to free ones. J. Math. Sci., 2009, vol. 156, no. 2, pp. 209-218.
5. Balaba I. N. Graduirovannye prostye artinovy kol'tsa [Graded simple artinian rings]. Algebra i matematicheskaia logika : materialy mezhdunar. konf., posviashch. 100-letiiu so dnia rozhdeniia prof. V. V. Morozova [Algebra and Mathematical Logika : Trans. Intern. Confer., dedicated to 100th anniversary of V. V. Morozov]. Kazan, 2011, pp. 43-44 (in Russian).
6. Liu S.-X., Beattie M., Fang H. Graded division rings
УДК 501.1
and the Jacobson density theorem. J. Beijing Normal University (Natural Science), 1991, vol. 27, no. 2, pp. 129-134.
7. Balaba I. N. Izomorfizmy graduirovannykh kolets lineinykh preobrazovanii graduirovannykh vektornykh prostranstv [Isomorphisms of graded rings of linear transformations of graded vector spaces]. Chebyshevckiy sbornik, 2005, vol. 6. no. 4(16), pp. 6-23 (in Russian).
8. Dascalescu S., Ion B., Nastasescu C., Rios Montes J. Group gradings on full matrix rings. J. Algebra, 1999, vol. 220, pp. 709-728.
9. Bahturin Yu. A., Sehgal S.K., Zaicev M.V. Group graging on associative algebras. J. Algebra, 2001, vol. 241, pp. 677-698.
10. Bahturin Ju. A., Zaicev M. V. Group gradings on matrix algebras. Canad. Math. Bulletin, 2002, vol. 45, pp. 499-508.
11. Zalesskii A. E., Mikhalev A. V. Group rings. J. of Soviet Math., 1975, vol. 4, no. 1, pp. 1-78.
О МНОГООБРАЗИЯХ ГРУППОИДОВ ОТНОШЕНИЙ С ДИОФАНТОВЫМИ ОПЕРАЦИЯМИ
Д. А. Бредихин
Доктор физико-математических наук, профессор кафедры математики и моделирования, Саратовский государственный технический университет им. Гагарина Ю. А., bredikhin@mail.ru
В работе находятся базисы тождеств многообразий, порожденных классами группоидов бинарных отношений с диофанто-выми операциями.
Ключевые слова: алгебры отношений, диофантовые операции, тождества, многообразия, группоиды.
ВВЕДЕНИЕ
Множество бинарных отношений Ф, замкнутое относительно некоторой совокупности О операций над ними, образует алгебру (Ф,О), называемую алгеброй отношений. Теория алгебр отношений является существенной составной частью современной общей алгебры и алгебраической логики. Основы абстрактно-алгебраического подхода к изучению алгебр отношений были заложены в работах
© Бредихин Д. А., 2013
