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

Значение НЕАССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ в математической энциклопедии:

- множества с доумя бинарными операциями + и ., удовлетворяющими всем аксиомам ассоциативных колец и алгебр, кроме, быть может, аксиомы ассоциативности умножения. Первые примеры неассоциативных колец (Н. к.) и неассоциативных алгебр (Н. а.), не являющихся ассоциативными, появились в сер. 19 в. ( Кэли числа и вообще гиперкомплексные числа). Если в ассоциативном кольце (алгебре) рассматривается (вместо обычного) умножение то получается Н. к. (Н. а.), являющееся кольцом Ли (алгеброй Ли). Еще один важный класс Н. к. (Н. а.) - пордановы кольца (алгебры): если в ассоциативной алгебре над полем характеристики (или над коммутативным кольцом операторов с 1 и 1/2) ввести операцию то полученное кольцо является йордановым.

Теория Н. к. и а. развилась в самостоятельное направление алгебры, имеющее много точек соприкосновения с другими частями математики, а также с физикой, механикой, биологией и др. Центральная часть теории Н. к. и а.- это теория т. н. колец и алгебр, близких к ассоциативным: лиевых, альтернативных, йордановых, мальцевских колец и алгебр и нек-рых их обобщений (см. Ли алгебра, Альтернативные кольца и алгебры, Йорданова алгебра, Мальцева алгебра).

Один из важнейших вопросов, к-рый ставится при изучении того или иного класса Н. а.,- это вопрос об описании простых алгебр как конечномерных, так и бесконечномерных. При этом описание понимается по модулю какого-то "классического" класса, содержащегося в данном (так, для альтернативных колец описание простых алгебр дается по модулю ассоциативных колец, для мальцевских - по модулю лиевых, для йордановых - по модулю специальных йордановых и т. д.). С этой точки зрения различные классы Н. а. можно разделить на те, в к-рых "много" простых алгебр, и те, в к-рых их "мало". Типичными классами алгебр, в к-рых много простых алгебр, являются классы ассоциативных, лиевых и специальных йордановых алгебр. Именно, в этих классах справедлива следующая теорема вложения: любая ассоциативная (лиева, специальная йорданова) алгебра над полем вложима в простую алгебру того же типа. Много простых алгебр в нек-рых классах алгебр, далеких от ассоциативных,- в классах всех алгебр, коммутативных (антикоммутативных) алгебр. В них также справедлива теорема вложения, аналогичная предыдущей.

Задача описания конечномерных простых ассоциативных, лиевых, альтернативных и йордановых алгебр - предмет класспч. части теории этих алгебр. В дальнейшем основные результаты о строении простых конечномерных ассоциативных (альтернативных, йордановых) алгебр были перенесены на артиновы кольца того же типа, т. е. на кольца с условием минимальности для односторонних идеалов; в случае йордановых колец под односторонним идеалом понимается квадратичный идеал (см. Йорданова алгебра).

Вызывают интерес классы алгебр, в к-рых "мало" простых алгебр. Типичные примеры таких классов - классы альтернативных, мальцевских и йордановых алгебр. В классе альтернативных алгебр, по модулю ассоциативных, простыми являются только (восьмимерные) алгебры Кэли - Диксона над ассоциативно-коммутативным центром. В классе мальцевских алгебр, по модулю лиевых, простыми являются только (семимерные) (относительно операции коммутирования [ а, b]) алгебры, присоединенные к алгебрам Кэли - Диксона. В классе йордановых алгебр, по модулю специальных, простыми являются (двадцатисемимерные) алгебры Алберта над своим ассоциативным центром (алгебры серии Е)(см. Йорданова алгебра). В более широких классах, таких, как правоальтернативные и бинарно лиевы алгебры, описание простых алгебр еще (1982) не закончено. Известно, что не существует конечномерных простых бинарно лиевых алгебр над полем характеристики 0, отличных от мальцевских, однако неизвестно, справедлив ли этот результат в бесконечномерном случае. В классе правоальтернативных алгебр известно, что хотя все конечномерные простые алгебры из этого класса альтернативны, существуют бесконечномерные простые правоальтернативные алгебры, не являющиеся альтернативными. Все простые алгебры ассоциативны для т. н. -алгебр (при );

эти алгебры естественно возникают из условия, что квадрат идеала есть идеал. Известно описание всех йор-дановых алгебр с двумя порождающими: любая йорда-нова алгебра с двумя порождающими является специальной (теорема Ширшова). Описаны (по модулю ассоциативных алгебр с делением) все йордановы алгебры с делением.

В классах альтернативных, мальцевских и йордано-вых алгебр описаны все первичные кольца (т. е. алгебры, группоид двусторонних идеалов к-рых не содержит делителей нуля). Именно, первичное альтернативное кольцо (с 1/6 в коммутативном кольце операторов) либо ассоциативно, либо есть кольцо Кэли - Диксона. Первичное мальцевское кольцо либо является лиевым, либо его центральное замыкание есть (семимерная) алгебра, присоединенная к алгебре Кэли - Диксона. Первичная невырожденная йорданова алгебра либо специальна, либо является кольцом Алберта (йорданово кольцо Аназ. кольцом Алберта, если его ассоциативный центр Zсостоит из регулярных элементов и алгебра - (двадцатисемимерная) алгебра Алберта над своим центром ).

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

В альтернативных (в частности, ассоциативных) алгебрах любая нильалгебра ограниченного индекса (т. е. с тождеством ) является локально нильпотентной, а если в ней нет т- кручения (т. е. mx=0 Ю х=0) при m<=n, то она разрешима (для ассоциативных - нильпотентна). Проблема Ширшова о локальной нильпотентности йордановых нильалгебр ограниченного индекса решена положительно. Неизвестно (1982), существует ли простое ассоциативное нилькольцо.

В случае алгебр Ли вопрос о локальной нильпотентности энгелевых алгебр Ли решается теоремой Кострикина: любая алгебра Ли с тождеством

над полем характеристики р>n является локально нильпотентной. Из этой теоремы следует положительное решение ослабленной проблемы Бёрнсайда для групп показателя р. Вообще, круг проблем, связанный с локальной нильпотентностью нильалгебр, наз. проблемами бёрнсайдовского типа. К проблемам бёрнсайдовского типа относится также проблема Куроша о локальной Конечности алгебраич. алгебр. Альтернативная (в частности, ассоциативная) алгебраич. алгебра Аограниченной степени (т. е. степени многочленов, к-рым удовлетворяют элементы алгебры А, ограничены в совокупности) локально конечна. В общем случае проблемы бёрнсайдовского типа (такие, как проблема локальной нильпотентности ассоциативных нильколец и др.) имеют отрицательное решение.

Изучались свободные алгебры и свободные произведения алгебр в различных многообразиях. В многообразии всех Н. а. любая подалгебра свободной алгебры сама свободна, а любая подалгебра свободного произведения алгебр есть свободное произведение своих пересечений с сомножителями и нек-рой свободной алгебры (теоремы Куроша). Теоремы этого типа справедливы также в многообразиях коммутативных (антикоммутативных) алгебр. Наиболее интересны эти вопросы в случае алгебр Ли. Любая подалгебра свободной алгебры Ли является свободной алгеброй Ли (теорема Ширшова). Вместе с тем для подалгебр свободного произведения алгебр Ли теорема типа теоремы Куроша уже не верна, однако эти подалгебры тем не менее могут быть описаны в терминах порождающих элементов идеала, по к-рому дополнительно нужно профакторизовать свободное произведение пересечений и свободной подалгебры. Изучены свободные альтернативные алгебры - их радикал Жевлакова (квазирегулярный радикал), центры (ассоциативные и коммутативные) этих алгебр, факторалгебры по радикалу Жевлакова и др. В отличие от свободных ассоциативных алгебр, свободные альтернативные алгебры с порождающими имеют делители нуля и, более того, тривиальные идеалы (ненулевые идеалы, квадрат к-рых равен нулю). Известны также тривиальные идеалы в свободных мальцевских алгебрах с порождающими, а напр., о свободных йордановых алгебрах с порождающими известно только, что они содержат делители нуля.

Изучение свободных алгебр тесно связано с вопросами о тождествах в различных классах алгебр. Сюда относится также и вопрос о базисном ранге многообразия (базисный ранг - наименьшее натуральное число птакое, что данное многообразие порождается свободной алгеброй с ппорождающими; если такого пне существует, то базисный ранг, по определению, равен бесконечности). Базисный ранг многообразий ассоциативных и лиевых алгебр равен двум, а для альтернативных и мальцевских - бесконечности.

Общая теория многообразий и классов Н. а. изучает классы алгебр, лежащие за пределами классических, и их различные взаимосвязи. Характерным является, напр., следующий результат: оказалось, что введенные в разное время и разными исследователями многообразия достижимых, обобщенно достижимых и обобщенно стандартных алгебр на самом деле входят в восьми-элементную подрешетку решетки всех многообразий Н. а., к-рая складывается также из многообразий йордановых, коммутативных, ассоциативных, ассоциативно-коммутативных и альтернативных алгебр. Многообразие, порожденное конечным ассоциативным (альтернативным, лиевым, мальцевским и йордановым) кольцом, является конечно базируемым, в то же время существует конечное Н. к. (алгебра над конечным полем), порождающее не конечно базируемое многообразие. Существует алгебра Ли над бесконечным полем с этим свойством. Вместе с тем неизвестно (1982) ни одного не конечно базируемого многообразия ассоциативных алгебр (проблема Шпехта), а также многообразия алгебр Ли над полем характеристики нуль.

Алгоритмич. проблемы теории Н. к. и Н. а. возникли под влиянием математич. логики. Оказалась разрешимой проблема равенства в многообразии всех Н. а. (теорема Жукова). Аналогичный результат справедлив и для коммутативных (антикоммутативных) алгебр. Известно, что алгебры Ли с одним соотношением имеют разрешимую проблему равенства. Вместе с этим существуют конечно определенные алгебры Ли с неразрешимой проблемой равенства. Изучалась проблема равенства в многообразии разрешимых алгебр Ли данной ступени разрешимости п. Для n=2 эта проблема разрешима, а для - не разрешима. Доказано, что любую рекурсивно определенную алгебру Ли (ассоциативную алгебру) над простым полем можно вложить в конечно определенную алгебру Ли (ассоциативную алгебру).

Лит.:[l] Ширшов А. И., "Успехи матем. наук", 1958" т. 13, в. 6, с. 3-20; [2] Жевлаков К. А.,Слинько А. М., Шестаков И. П., Ширшов А. И., Кольца, близкие к ассоциативным, М., 1978; [3] Кострикин А. И., "Изв. АН СССР. Сер. матем.", 1959, т. 23, № 1, с. 3-34; [4] Бокуть Л. A., "Colloq. math.", 1966, v. 14, p. 349-53; [5] его же, "Сердика", 1977, т. 3, с. 299-308; [6] Кузьмин Е. Н., "Алгебра и логика", 1968, т. 7, № 4, с. 48-69; [7] Филиппов В. Т., там же, 1976, т. 15, № 2, с. 235-42; [8] его же, там же, 1977, т. 16, № 1, с. 101-08; [9] Кукин Г. П., там же, 1978, т. 17, № 4, с. 402-15; [10] его же, там же, 1972, т. 11, № 1, с. 59-86; [11] Львов И. В., там же, 1973, т. 12, № 3, с. 269-97; [12] Дорофеев Г. В., там же, 1976, т. 15, № 3, с. 267-91; [13] Голод Е. С, "Изв. АН СССР. Сер. матем.", 1964, т. 28, с. 273-76; [14] Курош А. Г., "Матем. сб.", 1955, т. 37, с. 251-64; [15] Ширшов А. И., там же, 1953, т. 33, с. 441-52; [16] Jacobson N., Structure and representations of Jordan algebras, Providence, 1968; [17] Зельманов Е. И., "Докл. АН СССР", 1979, т. 249, №1, с. 30 - 33. Л. А. Бокуть.