Групповая алгебра

группы G над полем K - ассоциативная алгебра над полем К, элементами к-рой являются всевозможные формальные конечные суммы вида [img: http://localhost:8080/file/010432-29.jpg] а операции определяются формулами: [img: http://localhost:8080/file/010432-30.jpg] (в правой части второй формулы сумма также конечна). Эта алгебра обозначается KG;элементы группы Gобразуют базис алгебры KG;умножение базисных элементов в Г. а. индуцируется групповым умножением. Алгебра KG изоморфна алгебре функций, определяемых на группе Gсо значениями в поле Ки принимающих лишь конечное число ненулевых значений; умножение в этой алгебре - свертка функций. Эту же конструкцию можно рассмотреть и для случая, когда K - ассоциативное кольцо. Таким образом приходят к понятию группового кольца группы G над кольцом K; в случае, когда Ккоммутативно и с единицей, групповое кольцо наз. часто также групповой алгеброй группы над кольцом. Г. а. были введены Г. Фробениусом (G. Frobenius) и И. Шуром [1] в связи с изучением представлений групп, поскольку рассмотрение представлений группы Gнад полем K равносильно изучению модулей над Г. a. KG. Так, теорема Машке на языке групповых алгебр формулируется следующим образом: если G - конечная группа, а K - поле, то Г. a. KG полупроста тогда н только тогда, когда порядок группы G не делится на характеристику поля K. В начале 50-х гг. 20 в. появились исследования по Г. а. бесконечных групп в связи с применением целочисленных Г. а. в алгебраич. топологии, а также с использованием методов теории Г. а. при изучении строения группы. Этому способствовал также ряд проблем, поставленных для Г. а., наиболее известная из них: содержит ли делители нуля Г. а. группы без кручения? (проблема Капланского). Некоторые направления исследований по групповым кольцам н алгебрам. Радикал и полупростота. Групповое кольцо обладает ненулевым нилыютентным идеалом тогда и только тогда, когда либо Кимеет ненулевой нилыютентный идеал, либо порядок нек-рой конечной нормальной подгруппы из Gделится на порядок элемента из аддитивной группы кольца К. Если К - кольцо без нильидеалов и порядок любого элемента из G не делится иа порядок ни одного элемента из аддитивной группы К, то KG без нпльидеалов. Г. a. KG над полем характеристики 0 полупроста в смысле Джекобсона радикала, если Ксодержит трансцендентный элемент над полем рациональных чисел. Вложение Г. а. в тела. Г. а. упорядоченной группы вложима в тело (теорема Мальцева - Неймана). Существует предположение, что это же верно для Г. а. всякой правоупорядоченной группы. Связь теоретико-кольцевых свойств группового кольца КG со строением группы G и кольца К. Напр., КG первично тогда н только тогда, когда кольцо Кпервично и группа G не имеет конечных нормальных подгрупп. Проблема изоморфизма: если групповые кольца КG и КН изоморфны как К-алгебры, то какая связь существует между строением групп G и К, в частности, когда G и Н изоморфны? Выяснилось, что однозначно определяет группу групповое кольцо периодической разрешимой группы класса 2 над кольцом целых чисел и групповое кольцо счетной абелевой р-группы над кольцом характеристики р. Рассматривались различные обобщения понятия Г. а., напр, понятие скрещенного произведения группы и кольца, для к-рого остаются справедливыми многие свойства Г. а.