АЛЬТЕРНАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ это:

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

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


Таким образом, все А. к. составляют многообразие. Термин "А. к." оправдан тем, что в любом таком кольце ассоциатор (дефект ассоциативности)


является кососимметрической (альтернативной) функцией своих аргументов.

Первым примером А. к. явились Кэли числа, дающие пример альтернативного тела, т. е. А. к. с единицей, в к-ром однозначно разрешимы уравнения ах=b и уа=b для всех bи всех . Альтернативные тела играют существенную роль в теории проективных плоскостей, поскольку проективная плоскость муфангова (т. е. плоскость трансляций относительно любой прямой) тогда и только тогда, когда любое координатизирующее ее тернарное кольцо является альтернативным телом. Если в кольце Rс единицей каждый элемент обратим, и для любых выполняется тождество (или тождество то Rявляется альтернативным телом. Всякое альтернативное тело либо ассоциативно, либо имеет строение Кали - Диксона алгебры, над своим центром.

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

Многие свойства А. к. весьма сильно отличаются от свойств ассоциативного кольца в аналогичных ситуациях. Так, если Rесть А. к., а Аи В - его правые идеалы, то их произведение А В уже не обязано быть правым идеалом, даже если А - двусторонний идеал в R; но произведение двусторонних идеалов А. к. является его двусторонним идеалом. Различие в случае ассоциативных колец и А. к. сильно проявляется и в том, что в А. к. существуют различные нильпотентности, поскольку произведение элементов, при одной расстановке скобок равное 0, при другой - может быть отлично от 0. Обычно в А. к. используются следующие нильпотентности: разрешимость (кольцо Rназ. разрешимы м индекса т, если существует такое число т, что ),правая нильпотентность (существует такое число п, что где и нильпотентность (существует такое число k, что т. е. произведение любых kэлементов Rравно 0 при любой расстановке скобок). Имеется А. к. разрешимое индекса 3, но не нильпотентное. Правая нильпотентность в А. к. эквивалентна нильпотентности (А. к., правонильпотентное индекса n, нильпотентно индекса Локально, т. е. на конечно порожденных кольцах, все нильпотентности эквивалентны. Теория, устанавливающая достаточные признаки локальной нильпотентности А. к., вполне параллельна соответствующей теории для ассоциативных колец. Это вытекает из следующего факта: пусть Rесть А. к., в к-ром можно выбрать такую систему Sпорождающих, что любые два элемента из Sпорождают нилькольцо; пусть, далее, все ассоциативные гомоморфные образы Rлокально нпль-потентны, тогда R локально нильпотентно. Поэтому если R есть А. к. с тождеством то R локально нильпотентно; если R есть А. а. с тождеством, к-рое не является следствием ассоциативности, и каждый элемент R есть сумма конечного числа нильэлементов, то алгебра R локально нильпотентна. Если речь идет не о локальной, а о глобальной нильпотентности, то ситуация в А. к. отличается от ассоциативной. Так, уже А. к. R с тождеством не обязано быть нильпотентным (даже если его аддитивная группа без кручения). Однако А. к. с тождеством и без элементов порядка в аддитивной группе разрешимо индекса Если R - алгебраич. А. а. с тождественным соотношением, не являющимся следствием ассоциативности (или степени алгебраичности элементов R ограничены в совокупности), то R локально конечномерна.

В А. к. имеется аналог Джекобсона радикала:во всяком А. к. R существует максимальный квазирегулярный идеал равный пересечению всех модулярных максимальных правых идеалов. Факторкольцо является J-полупростым, т. е. J(R/J(R))=0; если I есть идеал всякое I-полупростое кольцо аппроксимируется примитивными А. к. (т. е. примитивными ассоциативными кольцами и алгебрами Кэли - Диксона). Имеются аналоги и всех других ассоциативных радикалов (нижнего нильрадикала, локально нильпотентного радикала и т. д.), к-рые обладают теми же основными свойствами, что и в ассоциативных кольцах.

Вартиновом А. к. (то есть в А. к., удовлетворяющем условию минимальности для правых идеалов) R радикал J(R) нильпотентен, нильпотентен и всякий нильподгруппоид мультипликативного группоида R. Кольцо R является артиновым А. к. без нильпотентных идеалов тогда и только тогда, когда R раскладывается в прямую сумму конечного числа полных матричных алгебр (над нек-рыми ассоциативными телами) и алгебр Кэли - Диксона; такое разложение для каждого R единственно с точностью до перенумерации слагаемых. Если R есть А. к., I - его идеал и R удовлетворяет условию минимальности для двусторонних идеалов, содержащихся в I, то I нильпотентен тогда и только тогда, когда для любого гомоморфизма j кольца R в нет идеалов кольца , которые являются простыми кольцами.

В А. к. R различаются ассоциативный центр

коммутативный центр


и центр


Если в аддитивной группе R нет элементов порядка 3, то Однако над полем характеристики 3 существуют коммутативные неассоциативные А. а. В первичном А. к. R всегда В любом А. к. R всегда Пусть в А. к. R нет нетривиальных идеалов, тогда: 1) либо либо 2) либо либо

3) если А - правый идеал R, то В то же время над любым полем Fможно построить такое А. к. К с тривиальными идеалами, что но являясь идеалом К, будет ассоциативно коммутативным кольцом, т. е.


Из тождеств, выполняющихся в А. к., наиболее известны следующие:


(тождества Муфанг);


В А. к. с 3 образующими выполняется, кроме того, тождество:


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

Во всяком свободном А. к. Rимеется ненулевой идеал U(R), содержащийся в ассоциативном центре N(R). Свободное А. к. с 3 или более образующими не только содержит делители нуля, но и не является первичным. Свободное А. к. с 4 или более образующими содержит даже тривиальные идеалы и поэтому не аппроксимируется первичными кольцами.

Лит.:[1] Дорофеев Г. В., "Успехи матем. наук", 1960, т. 15, № 3, с. 147-50; [2] Жевлаков К. А., "Алгебра и логика", 1966, т. 5, № 3, с. 11-36; [3] его же, там же, 1969, т. 8, № 4, с. 425-39;[4] Ширшов А. И., "Матем. сб.", 1957, т. 41, с. 381-94; [5] Kleinfeld E., "Ann. Math" 1953, v. 58, № 3, p. 544-547; [6] его же, там же, 1957, т. 06, № 3, р. 395-99; [7] Скорняков Л. A., "Rend. mat. e applic.", 1965, v. 24, №3-4, р. 360-72 [8] Slatеr М., "J. Algebra", 1968, v. 8, № 1, p. 60-76; [9] Дорофеев Г. В., "Сиб. матем. ж.", 1963, т. 4, № 5, с. 1029-48.

К. А. Жевлаков.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "АЛЬТЕРНАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ" в других словарях:

  • КОЛЬЦА И АЛГЕБРЫ — множества с двумя бинарными операциями, к рые обычно принято наз. сложением и умножением. Кольцом наз. множество: 1) являющееся абелевой группой относительно сложения (в частности, в кольце существует нулевой элемент, обозначаемый 0, и… …   Математическая энциклопедия

  • НЕАССОЦИАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ — множества с доумя бинарными операциями + и ., удовлетворяющими всем аксиомам ассоциативных колец и алгебр, кроме, быть может, аксиомы ассоциативности умножения. Первые примеры неассоциативных колец (Н. к.) и неассоциативных алгебр (Н. а.), не… …   Математическая энциклопедия

  • ПРОСТРАНСТВО НАД АЛГЕБРОЙ — пространство, обладающее дифференциально геометрической структурой, точки к рого могут быть снабжены координатами из нек рой алгебры. В большинстве случаев алгебра предполагается ассоциативной с единицей, иногда альтернативной с единицей (см.… …   Математическая энциклопедия

  • АРТИНОВО КОЛЬЦО — артипово справа кольцо, кольцо, удовлетворяющее условию минимальности для правых идеалов, т. е. кольцо, в к ром любое непустое частично упорядоченное по включению множество Мправых идеалов имеет минимальный элемент (см. [1]) такой правый идеал из …   Математическая энциклопедия

  • ПРОСТАЯ АЛГЕБРА — неодноэлементная алгебра без двусторонних идеалов, отличных от 0 и всей алгебры. П. а. без единицы может и не быть простым кольцом, т. к. в этом случае не всякий идеал кольца является идеалом алгебры. Для нек рых классов алгебр известна… …   Математическая энциклопедия

  • МАЛЬЦЕВА АЛГЕБРА — м у ф а н г л и е в а алгебра, линейная алгебра над полем, удовлетворяющая тождествам где якобиан элементов х, у, z.M. а. представляют собой естественное обобщение алгебр Ли. Любая М. а. является бинарно лиевой алгеброй. М. а. были введены А. И.… …   Математическая энциклопедия

  • ТЕЛО — кольцо, в к ром уравнения ах=b и уа=b, где однозначно разрешимы. В случае ассоциативного кольца достаточно потребовать существования единицы 1 и однозначной разрешимости уравнений ах=1 и уа=1 для любого Коммутативное ассоциативное Т. является… …   Математическая энциклопедия

  • ПРОСТОЕ КОЛЬЦО — неодноэлемснтное кольцо без двусторонних идеалов, отличных от 0 и всего кольца. Ассоциативное П. к. с единицей, содержащее минимальный односторонний идеал, изоморфно кольцу матриц над нек рым телом. Без предположения существования единицы такое… …   Математическая энциклопедия

  • ПОЛУПРОСТАЯ АЛГЕБРА — относительно радикала r алгебра, являющаяся r полупростым кольцом (см. Полупростое кольцо). В нек рых классах алгебр при подходящем выборе радикала rудается описать строение П. а. (см. Классически полупростое кольцо, Альтернативные кольца и… …   Математическая энциклопедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»