Содержание к диссертации
Введение
ГЛАВА I. Свободные абелевы расширения
1. Свободные абелевы расширения групп, ассоциативных и лиевых алгебр 16
2. Представление Магнуса в конгруэнц-модулярных многообразиях 20
3. Необходимые понятия 30
ГЛАВА II. Представление магнуса для муль-тиоператорных алгебр
4. Свойства касательных колец 38
5. Ядро представления 48
6. Образ представления 53
7. Некоторые приложения 58
Литература 69
- Свободные абелевы расширения групп, ассоциативных и лиевых алгебр
- Представление Магнуса в конгруэнц-модулярных многообразиях
- Свойства касательных колец
- Некоторые приложения
Введение к работе
Теория алгебраических систем или универсальная алгебра, берущая свое начало с классической статьи Биркгофа [23], к настоящему времени сформировалась в самостоятельный раздел общей алгебры. В развитии этой теории можно выделить (весьма условно) два основных направления. Первое из них связано с изучением наиболее общих, то есть не зависящих от сигнатуры, свойств многообразий, а второе — с изучением конкретных классов алгебраических систем. На важность исследования многообразий групп, колец, решеток, линейных алгебр и других классических- многообразий указывал А. И. Мальцев на Международном конгрессе математиков (Москва, 1966). В настоящее время известно большое количество глубоких и интересных результатов в этой области.
Помимо двух указанных направлений в теории алгебраических систем большой интерес представляет широкий круг вопросов, связанных с обобщением известных свойств конкретных многообразий на многообразия значительно более широкого класса. К важным и крупным успехам в этом направлении универсальной алгебры следует отнести возникшую в восьмидесятых годах теорию коммутаторов конгруэнции алгебр1, в которой вводится и изучается операция коммутирования конгруэнции, обобщающая известную из классической теории групп операцию коммутирования нормальных под в подобном контексте алгебра (более точно, универсальная алгебра) — то же, что и алгебраическая система групп. В действительности содержательная теория коммутаторов получается для конгруэнции алгебр лишь конгруэнц-мо-дулярных многообразий, но к счастью большинство многообразий алгебр, представляющих научный интерес, конгруэнц-модулярны. Систематическое изложение теории коммутаторов для конгруэнц-модулярных многообразий содержится в [24].
Среди прочего, теория коммутаторов позволяет развивать структурную теорию разрешимых алгебр в конгруэнц-модулярных и, в частности, в конгруэнц-перестановочных многообразиях алгебр. Описанию разрешимых алгебр в конгруэнц-модулярном многообразии посвящена работа [19]. Общий подход, позволяющий вести индукцию по ступени разрешимости, предложен В.А.Артамоновым в работе [3] и состоит в обобщении на алгебры конгруэнц-модулярных многообразий еще одной классической теоретико-групповой конструкции — представления Магнуса (различные аспекты этой конструкции с разной степенью подробности изложены в [16], гл. 15, [15, 26]). К сожалению, для общего конгруэнц-модулярного многообразия вопрос о ядре представления Магнуса не удается решить однозначно, как это делается для многообразия всех групп, поэтому представляет интерес изучение представления Магнуса для конкретных многообразий. Отметим, что еще до появления этого общего подхода аналог представления Магнуса для алгебр Ли был построен и изучен в работе [18], а для ассоциативных алгебр — в работе [28]. Недавно в диссертации [1] было построено и применено для исследования ряда алгоритмических вопросов представление Магнуса для алгебр Лейбница.
С технической стороны представление Магнуса непосредственно связано с дифференциальным исчислением в соответствующих многообразиях. Среди других важных приложений дифференциального исчисления к свободным алгебрам различных многообразий отметим исследование автоморфных орбит элементов, теоремы о ранге и алгоритмы распознавания примитивности системы элементов — см., например, [20, 29].
Предлагаемая диссертация также посвящена изучению представления Магнуса, но в применении к общему многообразию мультиоператорных групп, а также к некоторым частным случаям таких многообразий, в числе которых многообразия всех неассоциативных, коммутативных неассоциативных и антикоммутативных неассоциативных линейных алгебр. Последние многообразия занимают важное место в современных алгебраических исследованиях благодаря своей общности, и особенно после того, как в работах [10, 17] для них было доказано интересное свойство шрейеровости (то есть доказано, что подалгебры свободных алгебр этих многообразий сами свободны). Объединяя для краткости коммутативный и антикоммутативный случай, будем говорить об є-алгебрах, то есть алгебрах с тождеством ху = єух, где є = ±1. Объединяя их еще и со случаем многообразия всех неассоциативных алгебр, будем говорить о неассоциативных (є-)алгебрах.
Приведем необходимые определения.
Многообразие — это класс всех алгебраических систем данной сигнатуры, в которых выполнен некоторый фиксированный набор тождеств. Согласно классической теореме Бирк-гофа [23], многообразия — это в точности те классы алгебраических систем, которые замкнуты относительно взятия гомоморфных образов, подсистем и прямых произведений. Конгруэнции (то есть эквивалентности, согласованные с операциями) алгебраической системы образуют решетку (структуру) по включению, то есть у любых двух конгруэнции а, (3 имеется точная верхняя грань а V /3, называемая их объединением, и точная нижняя грань а Л/3, называемая (и являющаяся) их пересечением. Кроме того, определена операция умножения конгруэнции:
х(а(3)у =$ 3z : xaz{3y,
где x,y,z — элементы алгебраической системы.
Многообразие алгебр называется конгруэнц-перестано-вочным, если любые две конгруэнции а, /3 любой его алгебры перестановочны, то есть а(3 = /За. Согласно классической теореме А. И. Мальцева [13], многообразие V конгруэнц-пе-рестановочно тогда и только тогда, когда существует такой тернарный терм р, что в V выполнены тождества Р(х,у,у) =р(у,У,х) = х.
Примерами конгруэнц-перестановочных многообразий служат многообразия групп, колец, модулей (вообще, любых мультио-ператорных групп), квазигрупп и булевых алгебр. Действительно, в мультиоператорных группах можно положить р(х, y,z)-x-y + z (или xy lz при мультипликативной записи), в квазигруппах p(x,y,z) = (x/(y\y))(y\z), в булевых алгебрах р(х, у, z) — xz-\- xy z + x y z.
Многообразие алгебр называется конгруэнц-дистрибутив-ным, если решетка конгруэнции любой его алгебры дистрибутивна, то есть удовлетворяет одному из двух эквивалентных тождеств дистрибутивности а V (р А т) = {а V /3) Л (а V 7) (1) а Л ф V 7) = (а Л /?) V {а Л 7).
Согласно теореме Йонссона [14], многообразие V конгруэнц-дистрибутивно тогда и только тогда, когда существует такое п 2 и тернарные термы to,t\, ..,tn, что в V выполнены тождества to(x,y,z) = x, tn(x,y,z) = z, ti(x,y,x) = x, t{(x, x, у) = ti+i(x, x, у), где і п четно, U(x, у, у) = ti+i(x,у, у), где і п нечетно. Примерами конгруэнц-дистрибутивных многообразий служат многообразия решеток. Действительно, для них можно положить п = 2 и p0(x,y,z) = x, p2(x,y,z) = z, Pi{x,y,z) = (х V у) А {х V z) A (yV z).
Многообразие называется конгруэнц-модулярным, если решетка конгруэнции любой его алгебры модулярна, то есть в ней тождество (1) выполнено при условии а /3. В [12], гл. IV показано, что это условное тождество эквивалентно тождеству модулярности (а А Р) V (Р А 7) = /З А {{а А /3) V 7).
Согласно теореме Гумма [14], многообразие V конгруэнц-мо-дулярно тогда и только тогда, когда существует такое п Ои тернарные термы p,to,ti, ..,tn, что в V выполнены тождества t0{x,y,z) = x, tn(x,y,y)=p(x,y,y), р(х,х,у) = у, U(x,y,x) = x, ti(x, х, у) = t{+i(x, х, у), где г п четно, U(x,y,y) = U+i(x,y,y), где і п нечетно.
Конгруэнц-модулярность следует и из конгруэнц-перестаново-чности, и, очевидно, из конгруэнц-дистрибутивности. Поэтому примеры конгруэнц-перестановочных и конгруэнц-дистрибутивных многообразий также служат примерами конгруэнц-мо дулярных многообразий. Примером многообразия, не являющегося конгруэнц-модулярным, служит многообразие всех полугрупп.
Перечислим основные результаты диссертации.
1. Специальный вариант представления Магнуса для многообразий мультиоператорных групп и алгебр. Матричное представление Магнуса для линейных алгебр.
2. Матричное представление свободного абелева расширения факторалгебры свободной неассоциативной (е-)алгебры по мономиальному идеалу.
3. Невложимость свободной разрешимой алгебры большего ранга в свободную разрешимую алгебру меньшего ранга, свойство хопфовости свободной разрешимой алгебры конечного ранга, нильпотентная аппроксимируемость свободной разрешимой алгебры.
Необходимо отметить, что близкие вопросы изучались в работах [8, 9, 32], посвященных так называемым (р, 5)-алгеб-рам — алгебрам с тернарной мальцевской операцией р, являющимся полигонами над моноидом S.
Перейдем к изложению содержания настоящей диссертации.
Диссертация состоит из введения и семи параграфов, которые объединены в две главы.
В первой главе (параграфы 1-3) приведены классические результаты о представлении Магнуса и их аналоги, а также обобщение для произвольного конгруэнц-модулярного многообразия, изложены необходимые понятия и технические средства, используемые для доказательства основных результатов. Во второй главе (параграфы 4-7) получен специальный вариант представления Магнуса для многообразий мультиопера-торных групп и, в частности, его матричная реализация, доказано, что при некоторых предположениях оно является вложением для многообразия неассоциативных (є-)алгебр, изучается его образ. Полученные результаты применяются для доказательства ряда свойств свободных разрешимых (в частности, метабелевых) алгебр.
В первом параграфе напоминаются классические результаты о представлении Магнуса для групп (теоремы 1.2, 1.3), ассоциативных алгебр (теорема 1.4) и алгебр Ли (теорема 1.5). Указаны их основные приложения.
Второй параграф посвящен представлению Магнуса в конгруэнц-модулярных многообразиях. Приводится определение необходимого понятия коммутатора конгруэнции и другие связанные с ним определения, перечислены основные свойства коммутаторов (теорема 2.2). Изложены основные определения и результаты из [3]: определение касательного кольца R, дифференцирования тождеств, представления Магнуса її : F — Я, описание его ядра (теорема 2.5). Здесь F — свободная алгебра многообразия, Н — специальным образом по строенная алгебра того же многообразия с носителем А х U, где А = F/в, в — конгруэнция F, a U — свободный модуль над касательным кольцом R.
Устанавливается связь между представлением Магнуса и свободными абелевыми расширениями: если ker/z = [в, в], то представление Магнуса является вложением свободного абеле-ва расширения алгебры А в алгебру Н. Для этого дается кате-горное определение свободного абелева расширения, а также его конструктивное описание (теорема 2.7). Объясняется роль свободных абелевых расширений в теории свободных разрешимых алгебр:
Теорема 2.8. Пусть Fs — свободная разрешимая алгебра ступени s ранга cardX многообразия V. Тогда Fs+\ является свободным абелевым расширением Fa с порождающей совокупностью X.
В третьем параграфе приводятся необходимые для дальнейшего определения и результаты. Напоминается понятие мультиоператорной группы, кольца и алгебры, а также и их идеалов. Указана связь между идеалами и конгруэнциями, в теореме 3.2 выписаны порождающие коммутатора идеалов. Кроме того, вводится понятие универсального дифференцирования, категорное определение универсальной мультипликативной обертывающей алгебры и ее конструктивное описание.
Основные результаты диссертации излагаются в параграфах 4-7.
Четвертый параграф посвящен построению специального варианта представления Магнуса для многообразий мультио-ператорных групп. В теореме 4.1 касательное кольцо R разложено в свободное произведение Ro R колец, заданных образующими и определяющими соотношениями. Оказывается, что в кольце R содержится все необходимое для представления Магнуса: в терминах свободного модуля над кольцом R! строится алгебра Н и гомоморфизм у! : F — Н и доказывается
Теорема 4.2. Ядра гомоморфизмов \i : F -» Н и // : F — Н совпадают.
Для многообразий мультиоператорных групп предлагается считать касательным кольцом кольцо R (более простое, чем R), а представлением Магнуса — //, и в дальнейшем не ставить штрихи. Необходимо отметить, что именно упрощенное таким образом представление Магнуса переходит в классические представления Магнуса для групп, алгебр Ли и ассоциативных алгебр, будучи рассмотренным в соответствующих многообразиях.
Далее рассматриваются многообразия более узкого класса — многообразия мультиоператорных алгебр. В теореме 4.3 на касательном кольце для алгебр этих многообразий введена структура линейной алгебры, и эта касательная алгебра задана образующими и определяющими соотношениями. В случае многообразия обычных алгебр над полем касательная алгеб ра совпадает с универсальной мультипликативной обертывающей (теорема 4.4), что приводит к матричному представлению Магнуса:
Теорема 4.5. Пусть V — многообразие алгебр над полем к, A = F/I, где F — свободная алгебра многообразия V с множеством свободных порождающихX, I Тогда алгебра Н изоморфна алгебре матриц а Є А, и Є U, где U — свободный бимодуль над алгеброй А с множеством свободных порождающих X. При указанной матричной реализации алгебры Н имеем ц(х) = I , \ х х + І I где [і — представление Магнуса, х Є X.
В пятом параграфе V — многообразие неассоциативных (г-)алгебр. Доказывается следующая
Теорема 5.3. Пусть charfc ф 2 (только для є-случая). Тогда если идеал I мономиальный, то ker ц = [/, /].
Показано, что условие, наложенное на charfc в этой теореме, существенно.
Шестой параграф посвящен изучению образа матричного представления свободного абелева расширения свободной абе-левой алгебры, то есть свободной метабелевой алгебры (тео рема 6.2). В частности, изучаются гомоморфизмы свободных метабелевых (е-)алгебр конечного ранга (теорема 6.4).
В седьмом параграфе полученные в диссертации результаты применяются для доказательства ряда свойств свободных разрешимых алгебр. Обозначим через Fs(r) свободную разрешимую алгебру ступени s ранга г в многообразии V и потребуем, чтобы существовало матричное представление F3(r), s 2. Будем говорить, что алгебра А Є V удовлетворяет условию 1, если ее универсальная мультипликативная обертывающая R не имеет делителей нуля, и инъективно хотя бы одно из отображений а н- а , а н а", где а , а" Є R — универсальные операторы умножения на а Є А справа и слева соответственно. Условию 1 удовлетворяют, например, алгебры Ли и неассоциативные (е-)алгебры. Доказывается следующая
Теорема 7.5. Если г\ Г2 и все алгебры Fs{r\), s Є N, удовлетворяют условию 1, то для каждого s алгебра Fs(ri) не вложима в Fs(r2).
Присоединенным идеалом ассоциативной алгебры R назовем такой идеал I, что R — к 0 /, причем f] In = 0. Бу дем говорить, что алгебра А Є V удовлетворяет условию 2, если ее универсальная мультипликативная обертывающая обладает присоединенным идеалом. Условию 2 удовлетворяют, например, разрешимые ассоциативные алгебры, произвольные алгебры Ли, неассоциативные (є-)алгебрьі. Доказывается следующее
Предложение 7.7. Свободный модуль конечного ранга над алгеброй с присоединенным идеалом обладает свойством хопфовости.
С помощью матричного представления Fs(r) из этого предложения получается
Теорема 7.10. Если г со и все алгебры Fs(r), s Є N; удовлетворяют условию 2, то они обладают свойством хопфовости.
Наконец, доказывается
Теорема 7.11. Если все алгебры Fs(r), s Є N, удовлетворяют условию 2, то они нильпотентно аппроксимируемы.
Результаты диссертации докладывались на заседаниях научно-исследовательских семинаров по алгебре и по теории колец в МГУ, на международном семинаре «Универсальная алгебра и ее приложения» (Волгоград, 1999), на V международной конференции «Алгебра и теория чисел» (Тула, 2003). Результаты диссертации опубликованы в работах [4, 5, 6, 7].
Автор хотел бы выразить глубокую благодарность своему научному руководителю д.ф.-м.н. профессору В. А. Артамонову за постановку задач, постоянную поддержку и внимание к работе, полезные советы и обсуждения.
Свободные абелевы расширения групп, ассоциативных и лиевых алгебр
Теория алгебраических систем или универсальная алгебра, берущая свое начало с классической статьи Биркгофа [23], к настоящему времени сформировалась в самостоятельный раздел общей алгебры. В развитии этой теории можно выделить (весьма условно) два основных направления. Первое из них связано с изучением наиболее общих, то есть не зависящих от сигнатуры, свойств многообразий, а второе — с изучением конкретных классов алгебраических систем. На важность исследования многообразий групп, колец, решеток, линейных алгебр и других классических- многообразий указывал А. И. Мальцев на Международном конгрессе математиков (Москва, 1966). В настоящее время известно большое количество глубоких и интересных результатов в этой области.
Помимо двух указанных направлений в теории алгебраических систем большой интерес представляет широкий круг вопросов, связанных с обобщением известных свойств конкретных многообразий на многообразия значительно более широкого класса. К важным и крупным успехам в этом направлении универсальной алгебры следует отнести возникшую в восьмидесятых годах теорию коммутаторов конгруэнции алгебр1, в которой вводится и изучается операция коммутирования конгруэнции, обобщающая известную из классической теории групп операцию коммутирования нормальных под в подобном контексте алгебра (более точно, универсальная алгебра) — то же, что и алгебраическая система групп. В действительности содержательная теория коммутаторов получается для конгруэнции алгебр лишь конгруэнц-мо-дулярных многообразий, но к счастью большинство многообразий алгебр, представляющих научный интерес, конгруэнц-модулярны. Систематическое изложение теории коммутаторов для конгруэнц-модулярных многообразий содержится в [24].
Среди прочего, теория коммутаторов позволяет развивать структурную теорию разрешимых алгебр в конгруэнц-модулярных и, в частности, в конгруэнц-перестановочных многообразиях алгебр. Описанию разрешимых алгебр в конгруэнц-модулярном многообразии посвящена работа [19]. Общий подход, позволяющий вести индукцию по ступени разрешимости, предложен В.А.Артамоновым в работе [3] и состоит в обобщении на алгебры конгруэнц-модулярных многообразий еще одной классической теоретико-групповой конструкции — представления Магнуса (различные аспекты этой конструкции с разной степенью подробности изложены в [16], гл. 15, [15, 26]). К сожалению, для общего конгруэнц-модулярного многообразия вопрос о ядре представления Магнуса не удается решить однозначно, как это делается для многообразия всех групп, поэтому представляет интерес изучение представления Магнуса для конкретных многообразий. Отметим, что еще до появления этого общего подхода аналог представления Магнуса для алгебр Ли был построен и изучен в работе [18], а для ассоциативных алгебр — в работе [28]. Недавно в диссертации [1] было построено и применено для исследования ряда алгоритмических вопросов представление Магнуса для алгебр Лейбница.
С технической стороны представление Магнуса непосредственно связано с дифференциальным исчислением в соответствующих многообразиях. Среди других важных приложений дифференциального исчисления к свободным алгебрам различных многообразий отметим исследование автоморфных орбит элементов, теоремы о ранге и алгоритмы распознавания примитивности системы элементов — см., например, [20, 29].
Предлагаемая диссертация также посвящена изучению представления Магнуса, но в применении к общему многообразию мультиоператорных групп, а также к некоторым частным случаям таких многообразий, в числе которых многообразия всех неассоциативных, коммутативных неассоциативных и антикоммутативных неассоциативных линейных алгебр. Последние многообразия занимают важное место в современных алгебраических исследованиях благодаря своей общности, и особенно после того, как в работах [10, 17] для них было доказано интересное свойство шрейеровости (то есть доказано, что подалгебры свободных алгебр этих многообразий сами свободны). Объединяя для краткости коммутативный и антикоммутативный случай, будем говорить об є-алгебрах, то есть алгебрах с тождеством ху = єух, где є = ±1. Объединяя их еще и со случаем многообразия всех неассоциативных алгебр, будем говорить о неассоциативных (є-)алгебрах. Приведем необходимые определения.
Многообразие — это класс всех алгебраических систем данной сигнатуры, в которых выполнен некоторый фиксированный набор тождеств. Согласно классической теореме Бирк-гофа [23], многообразия — это в точности те классы алгебраических систем, которые замкнуты относительно взятия гомоморфных образов, подсистем и прямых произведений. Конгруэнции (то есть эквивалентности, согласованные с операциями) алгебраической системы образуют решетку (структуру) по включению, то есть у любых двух конгруэнции а, (3 имеется точная верхняя грань а V /3, называемая их объединением, и точная нижняя грань а Л/3, называемая (и являющаяся) их пересечением. Кроме того, определена операция умножения конгруэнции:
Представление Магнуса в конгруэнц-модулярных многообразиях
Необходимо отметить, что близкие вопросы изучались в работах [8, 9, 32], посвященных так называемым (р, 5)-алгеб-рам — алгебрам с тернарной мальцевской операцией р, являющимся полигонами над моноидом S.Перейдем к изложению содержания настоящей диссертации. Диссертация состоит из введения и семи параграфов, которые объединены в две главы.
В первой главе (параграфы 1-3) приведены классические результаты о представлении Магнуса и их аналоги, а также обобщение для произвольного конгруэнц-модулярного многообразия, изложены необходимые понятия и технические средства, используемые для доказательства основных результатов. Во второй главе (параграфы 4-7) получен специальный вариант представления Магнуса для многообразий мультиопера-торных групп и, в частности, его матричная реализация, доказано, что при некоторых предположениях оно является вложением для многообразия неассоциативных (є-)алгебр, изучается его образ. Полученные результаты применяются для доказательства ряда свойств свободных разрешимых (в частности, метабелевых) алгебр.
В первом параграфе напоминаются классические результаты о представлении Магнуса для групп (теоремы 1.2, 1.3), ассоциативных алгебр (теорема 1.4) и алгебр Ли (теорема 1.5). Указаны их основные приложения.
Второй параграф посвящен представлению Магнуса в конгруэнц-модулярных многообразиях. Приводится определение необходимого понятия коммутатора конгруэнции и другие связанные с ним определения, перечислены основные свойства коммутаторов (теорема 2.2). Изложены основные определения и результаты из [3]: определение касательного кольца R, дифференцирования тождеств, представления Магнуса її : F — Я, описание его ядра (теорема 2.5). Здесь F — свободная алгебра многообразия, Н — специальным образом построенная алгебра того же многообразия с носителем А х U, где А = F/в, в — конгруэнция F, a U — свободный модуль над касательным кольцом R.
Устанавливается связь между представлением Магнуса и свободными абелевыми расширениями: если ker/z = [в, в], то представление Магнуса является вложением свободного абеле-ва расширения алгебры А в алгебру Н. Для этого дается кате-горное определение свободного абелева расширения, а также его конструктивное описание (теорема 2.7). Объясняется роль свободных абелевых расширений в теории свободных разрешимых алгебр:
Теорема 2.8. Пусть Fs — свободная разрешимая алгебра ступени s ранга cardX многообразия V. Тогда Fs+\ является свободным абелевым расширением Fa с порождающей совокупностью X.
В третьем параграфе приводятся необходимые для дальнейшего определения и результаты. Напоминается понятие мультиоператорной группы, кольца и алгебры, а также и их идеалов. Указана связь между идеалами и конгруэнциями, в теореме 3.2 выписаны порождающие коммутатора идеалов. Кроме того, вводится понятие универсального дифференцирования, категорное определение универсальной мультипликативной обертывающей алгебры и ее конструктивное описание.
Четвертый параграф посвящен построению специального варианта представления Магнуса для многообразий мультио-ператорных групп. В теореме 4.1 касательное кольцо R разложено в свободное произведение Ro R колец, заданных образующими и определяющими соотношениями. Оказывается, что в кольце R содержится все необходимое для представления Магнуса: в терминах свободного модуля над кольцом R! строится алгебра Н и гомоморфизм у! : F — Н и доказывается
Для многообразий мультиоператорных групп предлагается считать касательным кольцом кольцо R (более простое, чем R), а представлением Магнуса — //, и в дальнейшем не ставить штрихи. Необходимо отметить, что именно упрощенное таким образом представление Магнуса переходит в классические представления Магнуса для групп, алгебр Ли и ассоциативных алгебр, будучи рассмотренным в соответствующих многообразиях.
Далее рассматриваются многообразия более узкого класса — многообразия мультиоператорных алгебр. В теореме 4.3 на касательном кольце для алгебр этих многообразий введена структура линейной алгебры, и эта касательная алгебра задана образующими и определяющими соотношениями. В случае многообразия обычных алгебр над полем касательная алгебра совпадает с универсальной мультипликативной обертывающей (теорема 4.4), что приводит к матричному представлению Магнуса:
Свойства касательных колец
Пусть на группе G, не обязательно коммутативной, но с аддитивной записью операции, заданы мультиоператоры — произвольные операции положительных арностей, каждая из которых удовлетворяет тождеству /(0) = 0. В этом случае говорят, что G — мулътиоператорная группа или, точнее, Q-группа, где Г2 — множество ее мультиоператоров. (Заметим, что в большинстве случаев, сделав необходимые оговорки, можно допустить и нульарные мультиоператоры, что иногда оказывается удобным; разумеется, от нульарных мультиоператоров не следует требовать условия /(0) = 0.) Таким образом, во всякой Г2-группе выполнены тождества
В дальнейшем мы будем называть эти тождества общими тождествами многообразий Q-групп, в отличие от специальных, то есть всех остальных тождеств того или иного конкретного многообразия.
Если мультиоператорная fi-группа является модулем над коммутативным кольцом к с единицей, и все ее мультиоператоры / -полилинейны, то она называется Q-алгеброй над кольцом к. Соответственно, общие тождества многообразий fi-алгебр — это общие тождества многообразий Q-групп плюс тождества вида где r,s Є к. Отметим, что ft-алгебры над к = % называются Q-колъцами.
Для любого многообразия ft-групп тернарные термы являются мальцевскими и взаимно обратными по первой переменной.
Введенные понятия играют важную роль в алгебре по той причине, что при подходящем выборе ft многообразие всех ft-групп (ft-алгебр) содержит многообразия групп, колец, модулей, алгебр над кольцами, сохраняя при этом свойство биективного соответствия конгруэнции алгебры и некоторых ее подалгебр.
Определение 3.1. Идеал 0,-группы G — это нормальная подгруппа А аддитивной группы G, удовлетворяющая условию если f 6 ft, g Є Gn, а Є An. Идеал Q-алгебры G — это подмодуль А модуля G, удовлетворяющий условию если f Є ft, g Є Gn, причем хотя бы одна компонента g принадлежит А. В каждом из этих случаев пишем: А G. Непосредственно проверяется согласованность определения идеала ft-алгебры с более общим определением идеала ft-группы. Кроме того, легко видеть, что идеал ft-группы (fi-алгебры) является Г2-подгруппой (Г2-подалгеброй). Далее, идеалы замкнуты относительно произвольных пересечений, и существует наибольший идеал — вся fi-группа (Г2-алгебра). Из этого следует, что идеалы образуют решетку по включению. Эта решетка оказывается изоморфной решетке конгруэнции; при этом изоморфизме каждой конгруэнции соответствует идеал, состоящий из всевозможных разностей конгруэнтных элементов.
В силу указанного изоморфизма решеток операция коммутирования конгруэнции переносится на решетку идеалов. Следующая теорема описывает коммутатор (взаимный коммутант) двух идеалов fi-группы, а также Г2-алгебры. Теорема 3.2. Справедливы следующие утверждения: 1) Коммутатор [А, В] идеалов А, В мулътиоператорной Q, группы G есть идеал, порожденный элементами вида 2) Коммутатор [А, В] идеалов А, В мулътиоператорной Q алгебры G есть идеал, порожденный элементами вида f{g), где / Є 1 арности п 2, g Є Gn, причем хотя бы одна компонента g принадлежит А, хотя бы одна при надлежит В, и все остальные также принадлежат А либо В. Таким образом, коммутатор идеалов П-группы, введен -34 ный А. Г. Курошем в [12], совпадает с коммутатором идеалов как конгруэнции алгебры конгруэнц-модулярного многообразия. Классические примеры Г2-групп (Г2-алгебр) уже упоминались — это группы, кольца, модули и алгебры над кольцами. Так, группы — это Sl-группы с Г2 = 0, идеалы=нормальные подгруппы, коммутатор идеалов=взаимный коммутант нормальных подгрупп. Модули над кольцами — это Г2-алгебры с Q = 0, идеалы=подмодули, а коммутатор тривиален. Алгебры над кольцами (в частности, кольца как алгебры над Z) — это мультиоператорные алгебры с одним бинарным мультиопе-ратором — умножением, с обычным понятием идеала, причем для идеалов А, В коммутатор [А, В] = ЛВ + В А.
Некоторые приложения
Пусть V — многообразие всех неассоциативных алгебр. Тогда универсальная мультипликативная обертывающая R алгебры А Є V есть тензорная алгебра прямой суммы 5 = Л ф Л" пространств -А и Л", изоморфных А относительно изоморфизмов а н- а и а н- а" соответственно. Напомним, что а и а" — это универсальные операторы умножения на а Є Л справа и слева соответственно. Если Е — базис Д то R изоморфна свободной ассоциативной алгебре к{е ,е"\е Є Е).
Параллельно с описанным общим случаем будем рассматривать коммутативный и антикоммутативный, или, короче, є-случай, то есть многообразие V, заданное тождеством ху = еух. Здесь є = ±1, причем при є — — 1 требуем char А: Ф" 2. В е-случае универсальная мультипликативная обертывающая R алгебры А Є V есть Т(А), поэтому если Е — базис Д то R изоморфна свободной ассоциативной алгебре к(е Є Е). При этом для универсальных операторов умножения имеем а = а, а" = еа. К є-случаю относятся следующие определение и теорема из [17].
Определение 5.1. Мономы степени 1 назовем е-пра-вилъными и произвольно упорядочим. Считая, что е-прави-льные мономы, степень которых меньше некоторого I 1, уже определены и упорядочены так, что мономы меньшей степени предшествуют мономам большей степени, назовем моном степени І є-правильньїм, если 1) он имеет вид тп, где т,п — е-правильные мономы; 2) т п при е — +1 и т п при є = —1. Определенные таким образом е-правильные мономы степени I произвольно упорядочим и положим, что они больше е-правилъных мономов меньшей степени. Теорема 5.2. Совокупность е-правильных мономов образует базис свободной е-алгебры. В е-случае к мономам будем относить лишь е-правильные. Если идеал I мономиальный (порожден мономами), то линейные комбинации принадлежащих ему мономов и только они содержатся в /, а мономы, не принадлежащие /, образуют базис Е алгебры A = F/I. Если идеалы I и J мономиальные, то идеал [/, J] тоже мономиальный, причем мономов степени 1 в нем нет, а моном тп Є [/, J], если выполнено одно из условий: 1) один из мономов т,п Є /, а другой Є J; 2) один из мономов т,п Є [/, J]. Простая индукция с очевидным основанием (F — мономиальный идеал) показывает, что идеалы [F]s и (F]s являются мо-номиальными. Отметим, что факторалгебры по этим идеалам являются свободной разрешимой и свободной нильпотентной алгеброй ступени s соответственно. Таким образом, доказанная ниже теорема обслуживает многие важные случаи.