НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

АССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ

Расстановка ударений: АССОЦИАТИ`ВНЫЕ КО`ЛЬЦА И А`ЛГЕБРЫ

АССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ - кольца и алгебры с ассоциативным умножением, т. е. множества с двумя бинарными операциями - сложением + и умножением ⋅, являющиеся абелевой группой по сложению и полугруппой по умножению, причем умножение дистрибутивно (слева и справа) относительно сложения. Ассоциативная алгебра, кроме того, должна быть векторным пространством над фиксированным полем F и умножение в ней связано с умножением на элементы поля условиями α (ab) = (α a)b = а(α b) для всех α ∈ F, a, b из алгебры.

Первыми примерами ассоциативных колец (А. к.) в ассоциативных алгебр (А. а.) были числовые кольца и поля (поле комплексных чисел и его подкольца), алгебры многочленов, алгебры матриц над полями, кольца функций. Как самостоятельная область алгебры теория А. к. и А. а. оформилась к началу 20 в. Эта теория имеет много точек соприкосновения с многими областями математики, в особенности с алгебраич. геометрией и алгебраич. теорией чисел (коммутативные кольца), функциональным анализом (коммутативные нормированные кольца, кольца операторов и кольца функций), топологией (кольца непрерывных функций на топологич. пространствах). Из теории А. к. и А. а. выделились в самостоятельные области алгебры теория полей и теория коммутативных колец (см. также Коммутативная алгебра), теория представлений ассоциативных алгебр. Теория топологич. колец и тел входит в качестве составной части в топологическую алгебру.

Классич. часть теории А. к. и А. а. - теория конечномерных А. а. (см. [2]). Центральные результаты этой теории: конечномерная простая (т. е. без собственных идеалов) А. а. над полем F является полной матричной алгеброй над нек-рым телом, конечномерным над F (теорема Веддерберна); конечномерная А. а. над полем характеристики нуль (и даже более общо - сепарабельная конечномерная А. а.) есть прямая сумма (как линейных пространств) своего радикала I (т. е. максимального нильпотентного идеала) и нек-рой полупростой (т. е. с нулевым радикалом) подалгебры S, причем любые две дополнительные полупростые подалгебры S и S1 сопряжены (см. Веддерберна-Мальцева теорема).

Одним из важнейших классов А. к. являются тела (то есть А. к., в к-рых разрешимы уравнения ах = b и уа = b для всех a, b из кольца, а ≠ 0). Тела, являющиеся алгебрами над нек-рым полем, наз. алгебрами с делением. Теория конечномерных алгебр с делением - классич. часть теории тел. Описаны все конечномерные А. а. с делением над полем действительных чисел - это само поле действительных чисел, поле комплексных чисел и тело кватернионов (Фробениуса теорема). Всякое конечное тело коммутативно (теорема Веддерберна о телах). Построена теория Галуа тел [5].

Центральными понятиями структурной теории А. к. являются понятия Джекобсона радикала, полупростоты и примитивности. А. к. наз. полупростым (в смысле Джекобсона), если его радикал Джекобсона равен нулю. Кольцо наз. примитивным (справа), если оно обладает правым неприводимым точным модулем. Всякое полупростое А. к. является под прямой суммой примитивных колец. Каждое примитивное А. к. R есть плотное кольцо линейных преобразований нек-рого векторного пространства У над телом (теорема плотности Джекобсона); здесь плотность означает, что для любых линейно независимых элементов v1, ..., vk из F и любых элементов u1, ..., uk из V существует преобразование r ∈ R такое, что vi r = ui при 1 ≤ i ≤ k. Важное место в структурной теории колец занимает общая теория радикалов (см. Радикалы колец).

Классич. частью теории А. к. является теория артиновых колец (справа), т. е. колец с условием минимальности для правых идеалов. Центральный результат этой теории: А. к. будет полупростым артиновым кольцом тогда и только тогда, когда оно является прямой суммой конечного числа полных матричных колец над телами (Веддерберна-Артина теорема).

Большое значение в структурной теории А. к. имеет понятие (классического) кольца частных. Кольцо Q(R) наз. (правым) кольцом частных своего подкольца R, если в Q(R) все регулярные элементы (т. е. не делители нуля) кольца R обратимы и любой элемент из Q(R) имеет вид ab- 1, где a, b ∈ R. А. к. обладает кольцом частных тогда и только тогда, когда для любых элементов a, b ∈ R, где b регулярен, существуют элементы a, b1 ∈ R такие, что ab1 = bа1 и b1 регулярен (теорема Оре). Кольцо R обладает полупростым артиновым кольцом частных тогда и только тогда, когда оно полупервично (т. е. I2 ≠ 0 для всякого ненулевого идеала I ⊆ R), удовлетворяет условию минимальности для правых аннуляторных идеалов вида

r(S) = {x ∈ R, Sx = 0},

где S - подмножество R, и не содержит бесконечных прямых сумм правых идеалов (теорема Голди). Наряду с классич. кольцами частных изучаются и кольца частных в других смыслах, в первую очередь максимальные, или полные, кольца частных [8].

Значительное внимание уделяется изучению свободных ассоциативных алгебр. Пусть F - поле, X - множество. Свободная А. а. с единицей F〈 X〉 над F с базой X есть алгебра некоммутативных многочленов со свободными членами от множества переменных X с коэффициентами из F. Алгебра F〈 X〉 характеризуется тем, что порождается как алгебра с единицей множеством X и любое отображение А в А. а. R с единицей может быть и притом единственным способом продолжено до гомоморфизма F〈 X〉 в R. Свободная А. а. является кольцом со свободными идеалами, т. е. правые (левые) идеалы кольца F〈 X〉 суть свободные правые (левые) F〈 X〉 - модули, при этом любые базисы свободного конечно порожденного F〈 X〉 - модуля содержат одинаковое число элементов (теорема Кона). Другие примеры колец со свободными идеалами - групповые алгебры свободных групп и свободные произведения А. а. с делением. Свободная A. a. F〈 X〉 является также областью с однозначным разложением: любой необратимый элемент a ∈ F〈 X〉 обладает представлением а = p1, ..., pn, где pi - неприводимые элементы, и это представление единственно с точностью до порядка членов и подобия (два элемента а и b кольца R наз. подобными, если R/aR и R/bR изоморфны как правые R-модули). Централизатор каждого нескалярного элемента алгебры F〈 X〉 изоморфен алгебре многочленов F[t] от одного переменного t (теорема Бергмана).

Важными классами А. а. являются групповые алгебры и РI-алгебры. Развивается теория многообразий колец.

Роль теории колец в математике возросла в связи с развитием гомологической алгебры. Многие известные классы колец можно охарактеризовать в терминах свойств модулей категорий над этими кольцами. Напр., кольцо R является полупростым артиновым тогда и только тогда, когда все правые (левые) модули над R проективны (инъективны). Кольцо R регулярно (в смысле фон Неймана) тогда и только тогда, когда все правые (левые) модули над R являются плоскими; см. также Регулярное кольцо, Гомологическая классификация колец, Квазифробениусово кольцо.

Лит. : [1] Ван-дер-Варден Б. Л., Современная алгебра, ч. 1-2, пер. с нем., М. - Л., 1947; [2] Аlbеrt А. А., Structure of alrebras, N. Y., 1939; [3] Artin E., Nesbitt C. J., Thrall R. M., Rings with minimum conditions, Ann Arbor, 1944; [4] Джeкобсон Н., Теория колец, пер. с англ., М., 1947; [5] его же, Строение колец, пер. с англ., М., 1961; [6] Курош А. Г., Лекции по общей алгебре, 2 изд., М., 1973; [7] Xерстейн И., Некоммутативные кольца, пер. с англ., М., 1972; [8] Ламбек И., Кольца и модули, пер. с англ., М., 1971; [9] Кэртис Ч., Pайнер И., Теория представлений конечных групп и ассоциативных алгебр, пер. с англ., М., 1969; [10] Понтрягин Л. С. Непрерывные группы, 3 изд., М., 1973; [11] Кон П., Свободные кольца и их связи, пер. с англ., М., 1975; [12] Зарисский О., Самюэль П., Коммутативная алгебра, т. 1, 2, пер. с англ., М., 1963; [13] Картан А., Эйленберг С. Гомологическая алгебра, пер. с англ., М., 1960; [14] Итоги науки. Алгебра. Топология. 1962, М., 1963, с. 59-79; [15] Итоги науки. Алгебра. Топология. Геометрия. 1965, М., 1967, с. 133-180; [16] Итоги науки. Алгебра. Топология. Геометрия, 1968, М., 1970, с. 9-56; [17] Бокуть Л. А., Кузьмин Е. Н., Ширшов А. И., Кольца, т. 1-3, Новосибирск, 1973; [18] Divinsky N. J., Rings and radicals, L., 1965; [19] Passman D. S., Infinite group rings, N. Y., 1971; [20] Procese C., Rings with polynomial identities, N. Y., 1973.

Л. А. Бокуть.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru