Math-Net.

Ru
All Russian mathematical portal

A. I. Mal’tsev, On a class of algebraic systems, Uspekhi Mat.

Nauk, 1953, Volume 8, Issue 1(53), 165–171

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have read
and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 217.75.200.13
December 24, 2021, 09:46:41
1953 г. январь—февраль т. VIII, вып. 1 (53)
УСПЕХИ МАТЕМАТИЧЕСКИХ НАУК

ОБ ОДНОМ КЛАССЕ АЛГЕБРАИЧЕСКИХ СИСТЕМ

А. И. М а л ь ц е в

Известно, что многие теоремы теории прямых произведений, нормаль­

ных рядов и нильпотсптных систем формулируются аналогично для групп
и для колец. Рассматривая кольца как группы с операторами, удаётся
часть этих параллельных результатов объединить в одной общей теории.
Иногда для той же цели хорошо служит теория структур. Однако вместо
того чтобы рассматривать кольца как группы, можно, наоборот, группы
рассматривать как обобщённые кольца, в которых сложением служит
групповая операция, а умножением —операция коммутирования. Поскольку
коммутирование в общем случае неассоциативно и недистрибутивно, то
получаемые указанным способом из групп системы с двумя действиями
не являются обычными кольцами. Одна из первых попыток включить
теорию групп в теорию обобщённых колец принадлежит П. К. Рашев-
скому [1], изучавшему обобщённые кольца с некоторыми дополнитель­
ными аксиомами, оказавшимися достаточными для перенесения в теорию
обобщённых колец обычных теоретико-групповых теорем о нормальных
рядах и прямых произведениях. С другой стороны, Мардоч и Орэ [2] рас­
смотрели системы, являющиеся относительно сложения группой и облада­
ющие операцией умножения, в общем случае никак не связанной со сло­
жением. Эти системы пока оказались слишком общими, поскольку даже
теория гомоморфных отображений для них значительно сложнее, чем для
обычных групп или колец.
В настоящей заметке указываются аксиомы, налагаемые на системы
с двумя бинарными операциями. Эти аксиомы заведомо выполняются как
для обычных колец, так и для групп с аддитивно записываемой группо­
вой операцией и операцией коммутирования в качестве действия умноже­
ния. В то же время эти аксиомы позволяют без всяких осложнений пере­
нести в теорию подчиняющихся им алгебраических систем значитель­
ную часть теорем, имеющих аналогичные формулировки в теории групп и
теории колец.
1. К в а з и к о л ь ц а . Пусть каждой упорядоченной паре элементов а, Ь
непустого множества К поставлены в соответствие однозначно определён­
ный элемент с£К, называемый суммой, и однозначно определённый
элемент d£K, называемый произведением а и Ь. Предположим сверх того,
166 А. И . М А Л Ь Ц Е В

что относительно сложения К является группой, в общем случае некомму­

тативной. Одночленом от букв х1у ...,хп условимся называть формальное
произведение вида (e1aril)(e2a;ia) . . . (emxim), где г1у . . . , е т — знаки + или —,
причём, кроме выписанных скобок, в произведении должны быть расста­
влены скобки, указывающие порядок перемножения сомножителей. Напри­
мер, выражения ((—x)y)z и ( — x){yz) будут различными одночленами
степени 3 от ху у, z. Многочленом от букв х1у х2у . . . , хп условимся назы­
вать алгебраическую сумму конечного числа одночленов от этих букв.
О п р е д е л е н и е . Множество К с определёнными на нём операциями
сложения и умножения называется квазикольцом, если относительно сло­
жения оно является группой и если для любых элементов хууу z из К
имеют место равенства
1) x + y^y + x + D^x.y),
2) x(y + z) = xy+xz + D2(x,y,z),
3) (x + y)z = xz + yz + D3(x, у, z)y
4) х- 0 - 0 . х = 0,
где Dx (x, у) — фиксированный многочлен от ху у, все члены которого содер­
жат каждую из букв ху у, a D2(x, у, z), D3(x, ?/, z) — фиксированные мно­
гочлены от х, у, z, каждый член которых содержит каждую из букв ху уу z.
Так как нуль можно представить в видах ху — ху и xyz — xyz, то
обычные кольца являются квазикольцами, для которых Dx = D2 — Dz — 0.
С другой стороны, называя основную операцию произвольной группы сло­
жением и вводя новую операцию умножения посредством формулы
ху — — х — у + х-\-у9 обращаем группу в систему с двумя операциями.
Вытекающие из групповых аксиом тождества
я + у = у + х + ху,
x{y-\-z) = xy-\-xz-\-xz • ху-\-ху • z,
(x±y)z = xz + yz + xz • у + (xz • у) . yz,
х-0-0.s=0
показывают, что получающаяся система есть квазикольцо. Поэтому всякую
теорему теории квазиколец можно рассматривать как теорему и теории
колец и теории групп. Простейшие примеры такого объединения содержа­
ния обеих теорий далее и указываются.
2. И д е а л ы и г о м о м о р ф и з м ы . Непустая совокупность / элемен­
тов квазикольца К называется его левым идеалом, если разность любых
двух элементов из / и произведение любого элемента из К на любой
элемент из / содержатся в / . Аналогично определяются правые и дву­
сторонние идеалы. В частности, ясно, что пересечение любой системы дву­
сторонних идеалов квазикольца есть снова его двусторонний идеал.
Элементы х, у квазикольца К называются сравнимыми по идеалу It
символически х==у (/), если —х-^-у£1.
С равнения по двусторонним идеалам являются конгруэнтностями
на квазикольце Ку т. е. для любых элементов х, у, z, и из К имеют место
следующие утверждения: а) х = х; [3) если х=ву, то у = х; 7) если х = у9
y = zy то x"=z\ 8) если x = z, y = u, то x + y = z + u, xy=EEzu.
 ОБ ОДНОМ КЛАССЕ АЛГЕБРАИЧЕСКИХ СИСТЕМ 167

Докажем последнее утверждение. Пусть a; = z, у = и. Тогда — x-{-z = at

— у-\-и = Ь, где a, b£l. Отсюда
zJrU==x + a + y+b = x + y + D1{a, y) + b.
Каждый член полинома Dl(a, у) содержит множителем элемент идеала а,
поэтому D1(a, y)£ I и, следовательно,
— (я + У) + z + и = D1 (a, y) + b£ I,
т. е. х + 7 / ^ z + и. При тех же предположениях имеем
zu = (х + a) (y + b)-~^xy + xb -f D2 (x, y,b) + a(y-f- b) A- D3 (х, a,y + 6).
Так как все члены правой части, за исключением первого, содержатся
в / , то zu = xy, что и требовалось.
Совокупности сравнимых друг с другом элементов квазикольца К по
двустороннему идеалу / образуют смежные классы К по / . Обозначая
через [а] смежный класс, содержащий элемент а, и полагая
[а] + [Ь] = [а + Ь], [ab] = [a].[b],

обратим систему смежных классов в алгебраическую систему с двумя

операциями. В силу свойств а) —о) эти операции однозначны, и система
Kjl относительно их является квазикольцом.
Однозначное отображение совокупности элементов квазикольца К на
квазикольцо L называется гомоморфизмом, если оно переводит сумму
и произведение произвольных элементов из К в сумму и произведение
соответствующих элементов из L. Так как гомоморфное отображение ква­
зикольца К на квазикольцо L является в то же время гомоморфным ото­
бражением аддитивной группы К на аддитивную группу L, то при ква­
зикольцевом гомоморфизме нуль переходит в нуль, противоположные
элементы переходят в противоположные и прообраз нуля из L в квази­
кольце К является нормальным делителем аддитивной группы К, Из
аксиомы 4 следует, что прообраз нуля при квазикольцевом гомоморфизме
есть двусторонний идеал. Отсюда обычным путём получаются следующие
аналоги известных теорем о гомоморфных отображениях групп и колец.
1. Если квазикольцо К гомоморфно отображено на квазикольцо L,
то полный прообраз нуля при этом отображении является двусторонним
идеалом I в К и L изоморфно фактор-кольцу К/1. Если J — двусторонний
идеал в К, содержащий / , и Р — образ J в квазикольце L, то Р —двусто­
ронний идеал в L, причём К/J ~^ L/P.
2. Пусть Кг — произвольное подквазикольцо квазикольца К, содержа­
щего двусторонний идеал I. Тогда Кх р I есть двусторонний идеал в Кг
uiK. + ^/f^K.KK.^I).
Эти теоремы позволяют без всяких изменений распространить на ква­
зикольца обычные теоремы о нормальных композиционных рядах.
3. II и л ь п о т е н т н о с т ь. Одночлен ( г ^ ^ ) (£2'хг2) • • • {Bmxim) c опреде­
лённым образом расставленными дополнительными скобками назовём пра­
вильным, если порядок скобок таков, что в ходе вычисления каждая
операция состоят в умножении прздыдущзго результата на множитель
168 А. И . М А Л Ь Ц Е В

вида (ekXj ) . Например, правильными одночленами будут (x{yz))u, x(y(zu))f

но не одночлен (xy)(zu).
Обозначим через Кт совокупность всех тех элементов квазикольца К,
которые могут быть предстаплены в виде алгебраической суммы правиль­
ных одночленов степени т от элементов К. Докажем, что совокупности Кт
(иг = 1,2, . . . ) являются двусторонними идеалами квазикольца К.
В самом деле, разность любых двух элементов из Кт в силу опреде­
ления Кт принадлежит Кт. Пусть теперь а£Кт, х£К. Если элемент а
может быть представлен как одночлен степени т от элементов К, то ах
и ха принадлежат Кт по определению. По индукции допустим, что при­
надлежность ах и ха к Кт доказана, если а есть алгебраическая сумма не
более п одночленов степени т, и пусть a = s±c, где с —одночлен,
а 5 —сумма п одночленов степени т. Согласно аксиоме 2)
xa — x{s-\-c)~xs + xc-\-D2 (х, s, с).
Поскольку каждый член многочлена D2 (x, s, с) содержит множителем пра­
вильный одночлен с степени т, то все члены D2(x, s, с) представимы пра­
вильными одночленами степени т + 1. Это же справедливо и для xs-\-xc*
Следовательно, ха£ Km+ldKm. Случай a-=s—c сводится к предыдущему,
так как для любых х, у, z из К имеем
О = х (у -±- (- у)) = ху + х (- у) + D2(x, у, —у),
откуда
я (— У) = — (ху) - А» (х, у, — у).
Аналогично
( — х)у= —{%У)-Вз{%, —х, У)-
Из приведённых рассуждений следует также, что
хЯтС1Ят+\ BmxCZRm+1.
Назовём квазикольцо К т-ступенно нильпотентным, если /Г т + 1 = (Х
Ввиду того, что каждое произведение 2 т множителей можно представить
в виде правильного произведения т множителей, в т-ступенно нильпотент-
ном квазикольце любое произведение 2 т элементов равно нулю.
Аддитивная группа фактор-кольца К71*1 / Кп коммутативна, так как
произведение любых двух его элементов равно нулю. Аналогично доказы­
вается, что цепочка К ZD К2, ZD К* Z2> • • • является убывающим централь­
ным рядом аддитивной группы квазикольца К. Отсюда следует, в част­
ности, что аддитивная группа нилъпотентного квазикольца нилъпотентна.
Пусть А, В — произвольные множества элементов квазикольца К.
Через А-\-В обозначим совокупность элементов вида а + Ь, где а£А, b£B.
Если Кх — подквазикольцо, а / — двусторонний идеал, то Кх ~\-1 будет
также подквазикольцом.
Если Кх — подквазикольцо нильпотентного квазикольца К и Кг -\-К2 = К,
то КХ = К (ср. [3]).
 ОБ ОДНОМ КЛАССЕ АЛГЕБРАИЧЕСКИХ СИСТЕМ 169

Из,определения идеалов Кт следует, что K=^KjKm+l есть т-ступенно

нильпотентное квазикольцо, причём

К1 = К{ /Кт+1 (£ = 1, . . . , 776+1).

Это делает возможным доказать приведённое утверждение индукцией по

степени нильпотентности К. Если К2 ••= О, то утверждение тривиально. Пред­
положим, что утверждение верно для (т — 1)-ступенно нильпотентных ква­
зиколец, и пусть if —m-ступенно нильпотентное квазикольцо. Положив
К = К J Кт и обозначая чертою сверху переход к образам при гомомор­
физме К—^К, будем иметь
И1 + К2 = К, Кт = 0,

откуда в силу индукции КХ = К, т. е. Кг + Кт = К. Беря произвольные

элементы х, у из К и представляя их в виде х = хг-\-а, y=:yx-\-h
m
(xlf y1^K1\ a, b£K ), будем иметь
ху = (х± + а) {У\ + Ь) = х±уи

так кък хс = сх = 0, если с£Кт. Отсюда

KHuK^i KzjKlz^K1- К2=--К.

4. А в т о м о р ф и з м ы. Элементы аъ . . ., ап, . . . квазикольца К назы­

ваются порождающими для К, если всякое подквазикольцо, содержащее
аъ . . . , а п , . . . , совпадает с К. В дальнейшем предполагается, что много­
члены / ) ь JD2> D3 произвольны, но для всех рассматриваемых квазиколец
одинаковы. Тогда имеет смысл говорить о свободных квазикольцах с дан­
ным числом порождающих элементов, о квазикольцах с данными поро­
ждающими элементами и данными тождественными и индивидуальными опре­
деляющими соотношениями. Квазикольца с данными порождающими эле­
ментами и лишь тождственными определяющими соотношениями назовём
приведённо-свободными.
Имеет место следующий аналог теоремы Б. Неймана [4]:
Фактор-кольцо К / К2 приведснио-своб одного квазикольца К есть либо О,
либо прямая сумма циклических нуль-колец одной и той же характе­
ристики.
Действительно, чтобы получить определяющие соотношения для К / К2,
нужно к определяющим соотношениям для К присоединить тождественное
соотношение ху = 0. Но тогда все соотношения для К \ К2 приведутся
к тождествам вида п1х1 + п2х 4- . . . -г nkxlt = Q, где пъ . . . , nk—целые числа.
Поскольку хъ ...,xk произвольны, то отсюда пьх{=~0 и, значит, все соот­
ношения для К J К2 равносильны тождествам dx = 0, xy = 0, где d—наи­
больший общий делитель чисел ni9 что и требовалось.
Изучение автоморфизмов приведённо-свободных квазиколец опирается
на несколько вспомогательных утверждений, имеющих силу для произволь­
ных алгебраических систем. В этом общем виде мы их и сформулируем.
170 А. И . М А Л Ь Ц Е В

Рассмотрим алгебраическую систему К с произвольным набором опе­

раций и некоторую систему II тождественных соотношений, записываемых
в терминах этих операций. Система порождающих элементов алгебры К
называется П.-свободной, если тождественные соотношения П являются пол­
ной системой определяюших соотношений для К в этой системе порождаю­
щих элементов. Алгебраическая система, имеющая хотя бы одну П-свобод-
ную систему порождающих элементов, является приведённо-свободной
(П-свободной) системой.
Если алгебраическая система К имеет конечную И-свободную систему
из п порождающих элементов и К не изоморфна никакой своей истинной
фактор-системе, то любые п порождающих элементов системы К будут
^.-свободными.
Доказательство этого предложения совпадает с доказательством анало­
гичного предложения об алгебрах в работе [3].
Если алгебраическая система К имеет в порождающих элементах
аъ . . . , ап, . . . тождественные определяющие соотногиения П, то под­
система L, порожденная лишь частью указанных элементов, имеет их
своими 11-свободиыми пороме дающими элементами.
Отметим, наконец, ещё следующее обстоятельство, доказанное Б. Ней­
маном для групп, но справедливое и для произвольных алгебраических
систем:
Всякая конечная алгебраическая система есть гомоморфный образ
подходящей конечной приведённо-свободной системы.
Переходя к рассмотрению специально квазиколец, заметим, что для
нильпотентного ненулевого квазикольца всегда К £ К2. Таким образом,
если К нильпотентно и П-свободно, то аддитивная группа квазикольца
КI К2 распадается в прямую сумму циклических подгрупп одного и того
же порядка d. Систему элементов нильпотентного И-свободного квази­
кольца К условимся называть полной и независимой, если образы этих
элементов в фактор-кольце К \ К2 порождают циклические подгруппы одного
и того же порядка, прямой суммой которых является К j К2.
Всякая полная независимая система элементов нильпотентного приве-
дённо-своб одного квазикольца является его приведённо-свободной порождающей
системой и потому может быть переведена в любую другую полную неза­
висимую систему подходящим автоморфизмом квазикольца.
Доказательство, аналогичное доказательству такого же предложения
об обыкновенных кольцах в работе [3], здесь может быть опущено. Обыч­
ным способом (см. [3]) устанавливаются также следующие предложения:
Если идеал I приведенно-свободного нильпотентного квазикольца К
содержится в К2 или если характеристика К J К2 есть число простое,
то каждый автоморфизм фактор-квазикольца К /1 индуцируется подхо­
дящим автоморфизмом. К.
Для любых двух идеалов / 1 ? 12 приведённо-свободного нильпотентного
квазикольца К, содержащихся в К2 и обладающих изоморфными фактор-
квазикольцами К11\, К j / 2 , существует автоморфизм К, переводя­
щий 1г в 12.
 ОБ ОДНОМ КЛАССЕ АЛГЕБРАИЧЕСКИХ СИСТЕМ 171

В случае, когда характеристика К / К2 является простым числом,

аредположение I1CZK2> I2ClK2 в условии последней теоремы может быть
заменено требованием равномощности фактор-колец (Ix-\-K2) \ К2 и
{12 + К2)1К2.

ЦИТИРОВАННАЯ ЛИТЕРАТУРА

[1] П. К. Р а ш е в с к и й , Un schema unifiant la theorie des groupes abstraits avec

la theorie des groupes infinitesimaux de Lie, C. R. Acad. Sci. Paris, 202 (1936),
1012-1013.
[2] D. C. M u r d o c h and 0 . O r e , On generalized rings, Amcr. Journ. of Math., 63
(1941), 73—78.
[3] А. И. М а л ь ц е в , Об алгебрах с тождественными определяющими соотноше­
ниями, Мат. сб., 26 (68) (1950), 19 — 33.
[4] В. Н. N e u m a n n , Identical relations in groups. I, Math. Ann., 114 (1937),
506-525.

Поступило в редакцию 2 октября 1952 г.