О многообразиях алгебраических систем с условиями конечности

Васильев, Сергей Константинович

О многообразиях алгебраических систем с условиями конечности тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Васильев, Сергей Константинович АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Санкт-Петербург МЕСТО ЗАЩИТЫ

2004 ГОД ЗАЩИТЫ

01.01.06 КОД ВАК РФ

Диссертация по математике на тему «О многообразиях алгебраических систем с условиями конечности»

Автореферат диссертации на тему "О многообразиях алгебраических систем с условиями конечности"

Санкт-Петербургский государственный университет

на правах рукописи Васильев Сергей Константинович

О многообразиях алгебраических систем с условиями конечности

01.01.06 - математическая логика, алгебра и теория чисел

Автореферат

диссертации на соискание ученой степени кандидата физико-математических наук

Санкт-Петербург 2004

Сй

Работа выполнена на кафедре высшей алгебры и теории чисел мате-матико-механического факультета Санкт-Петербургского государственного университета (г. Санкт-Петербург).

НАУЧНЫЙ РУКОВОДИТЕЛЬ

ОФИЦИАЛЬНЫЕ ОППОНЕНТЫ

доктор физико-математических наук, профессор Яковлев Анатолий Владимирович

доктор физико-математических наук, профессор Понизовский Иосиф Соломонович

кандидат физико-математических наук, старший научный сотрудник Лурье Борис Вениаминович

ВЕДУЩАЯ ОРГАНИЗАЦИЯ

Российский Государственный Педагогический Университет им. А. И. Герцена

Защита состоится « ¿3 » икмЛ

2004 г. в М-

часов на

заседании диссертационного совета Д 212.232.29 по защите диссертаций на соискание ученой степени доктора наук при Санкт-Петербургском государственном университете по адресу:

нлТ р, Я%н**И1си; к. 311 (помеочмие ШМЫ РАН)

С диссертацией можно ознакомиться в библиотеке им. А. М. Горького Санкт-Петербургского государственного университета по адресу: 191011, Санкт-Петербург, Университетская наб., 7/9.

Автореферат разослан » % _2004 г.

Ученый секретарь

диссертационного совета Д 212.232.29, доктор физико-математических наук,

профессор . Нежинский В.М.

Общая характеристика работы

Актуальность темы.

Изучение многообразий алгебраических систем с теми или иными условиями конечности составляет самостоятельное и развивающееся направление алгебраических исследований. В 1890 г. Д. Гильберт доказал, что в кольце многочленов от конечного числа переменных любой идеал порождается конечным числом элементов (имеет конечный базис). Затем этот результат был распространен на конечно порожденные алгебры над нетеровыми кольцами и нашел широкое применение в коммутативной алгебре. В дальнейшем это направление исследований получило развитие в работах многих авторов (А. И. Мальцев [10], [11], [12], [13]; В. Н. Латышев [7]; И. В. Львов [8], [9]; Е. И. Зельманов [2]; А. И. Кострикин [4]; К. Прочези [19]; Ж. Левин [18]; В. Т. Марков [14]; С. И. Кублановский [5], [6]).

Среди различных условий конечности естественным образом выделяется так называемая конечность типа для тождеств и многообразий. Многообразие алгебраических систем называется многообразием конечного типа, если любая конечно порожденная относительно свободная система данного многообразия является конечно определенной. Соответственно, тождество (система тождеств) называется тождеством (системой тождеств) конечного типа тогда и только тогда, когда таково многообразие алгебраических систем, заданное этим тождеством (системой тождеств).

В своих работах К. Прочези и Л. Смолл поставили проблему будет ли многообразие алгебр, порожденное матричной алгеброй, многообразием конечного типа? В 1978 г. В. Т. Марков [14] изучил конечность типа многообразий алгебр с единицей над бесконечным

1>ос. национал ьна}Г

библиотека

полем. Он доказал, что конечность типа для такого многообразия эквивалентна локальной левой нетеровости многообразия, а также выполнимости тождества Энгеля. Также из результатов Маркова вытекает отрицательное решение проблемы К. Прочези и Л. Смолла для многообразий алгебр с единицей над бесконечным полем. Однако, данный результат не дает алгоритмического описания таких многообразий. Кроме того, методы и результаты данной работы не удается распространить на общий случай.

В 1997 г. СИ. Кублановский [6] нашел условия для конечности типа многообразий алгебр (без единицы) с нормальной характеристикой, равной единице, над нетеровыми кольцами Джекобсона. Однако, результагы данной работы не переносятся на более общий случай многообразий алгебр произвольной нормальной характеристики. В этой же работе доказана эквивалентность различных условий конечности для многообразий алгебр нормальной характеристики, равной единице, над нетеровыми кольцами Джекобсона с единицей. А именно, это условия конечной аппроксимируемости, локальной конечной определенности, локальной представимости, локальной Хопфовости, наследственной Хигмановости.

Проблема описания многообразий конечного типа в наибольшей общности, т.е. для любых алгебраических систем (для групп, колец, алгебр и т.д.), была отмечена в 1995 г. в обзоре О. Г. Харлампович и М. В. Сапира [17].

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

ной системе тождеств, является ли опа системой конечного типа.

Цель работы. Целью данной работы является изучение тождеств и многообразий алгебр над полем (коммутативным кольцом) конечного типа, а также их структурных свойств. Главный акцент делается на возможности алгоритмической проверки исследуемых свойств.

Научная новизна. Все основные результаты работы являются новыми.

Методы исследований. Используются структурные методы, опирающиеся на классические результаты Д. Гильберта и А. И. Мальцева. Также используются теоретико-кольцевые методы, разработанные для колец и алгебр с тождественными соотношениями Н. Дже-кобсоном, А. И. Ширшовым и И. Капланским. Решение поставленной задачи потребовало обобщения подхода С. И. Кублановского к характеристике тождеств. В работе построена общая теория арифметических характеристик тождеств, которая была использована для распознавания условий конечности типа. Также широко используются комбинаторные и синтаксические методы для работы с тождествами.

Теоретическая и практическая ценность. Диссертационная работа носит теоретический характер. Результаты диссертации могут быть использованы для дальнейших исследований алгебр с условиями конечности. В настоящей работе найдены необходимые и достаточные условия конечности типа для многообразий ассоциативных алгебр. Для бесконечного рекурсивного ноля построен алгоритм, выясняющий по конечной системе тождеств над этим полем, является ли она системой конечного типа. В качестве одного и следствий основных результатов доказана алгоритмическая распознаваемость

выполнимости тождества Энгеля (некоторой степени) для многообразий алгебр с единицей над бесконечным полем.

Апробация работы. Основные результаты диссертации докладывались на семинаре лаборатории алгебраических методов ПОМИ им. В. А. Стеклова, на алгебраических семинарах в РГПУ им. Герцена, на 58-х Герценовских чтениях в С.-Петербурге (2004).

Публикации. Основные результаты диссертации опубликованы в двух работах, список которых приведен в конце автореферата.

Обьем и структура работы. Работа состоит из введения и двух глав, каждая из которых состоит из пяти параграфов. Работа занимает 91 страницу рукописного текста, список литературы содержит 23 наименования.

Содержание диссертации

Настоящая работа разделена на две главы. В первой главе устанавливаются общие свойства многообразий конечного типа. Она разбита на 5 параграфов.

В § 1 приводятся некоторые известные факты о многообразиях алгебр и тождествах, даются общие определения и обозначения. Принципиальным моментом здесь является обобщение автором определения нормальной характеристики тождеств и многообразий. Пусть задан некоторый алфавит обо-

значим множество слов над ним. Рассмотрим полином

с коэффициентами из кольца Л, где ... ,хп) - слова над ал-

фавитом ..., хп}. Если задано некоторое отношение эквивалент-

ности на каком-либо подмножестве характеристикой по-

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

элементами

и обозначать ее Тогда характеристикой многообразия над

кольцом Л назовем сумму характеристик всех тождеств, выполненных в данном многообразии. Аналогично, такую характеристику будем обозначать через Легко видеть, что введенная С.И. Кубла-новским нормальная (левая, правая) характеристика является частным случаем общего определения, достаточно положить: (а) и V V, если слова и и v совпадают с точностью до перестановки внутренних переменных;

если слова совпадают с точностью до перестановки и первые буквы этих слов совпадают;

если слова совпадают с точностью до перестановки и последние буквы этих слов совпадают.

В § 2 приводятся и обсуждаются теоремы В. Т. Маркова и С. И. Кублановского, связанные с описанием многообразий конечного типа. Опираясь на теорему С. И. Кублановского [6], в этом же параграфе доказывается критерий конечности типа:

Теорема 1. Пусть V - многообразие нормальной характеристики 1 над нетеровым кольцом Джекобсона Ас 1. Тогда V являетсямного-образием конечного типа тогда и только тогда, когда í/|(V) =

1, т.е. суммалевой и правой нормальной характеристики Vсовпадает с А.

В данном параграфе приведен пример, показывающий, что су-

ществуют многообразия конечного типа, нормальная характеристика которых отлична от 1. Одним из основных результатов главы 1 является теорема 2, доказанная в § 3:

Теорема 2. Пусть V - многообразие нормальной характеристики О над кольдом Л, где Л - нетерово кольцо Джекобсона с 1. Если в многообразия V выполненохотя бы одно тождество вида

abm[x,y]c — J] aiab^yjcb"1-''

и хотя бы одно тождество вида а[х,у]6пс =

(где а,Ь,с,х,у - буквы, a aifij элементы А), тогда V - многообразие конечного тина.

Теорема 2 дает новую серию многообразий алгебр конечного типа, нормальная характеристика которых равна нулю. До сих пор все известные примеры многообразий конечного типа имели нормальную характеристику, равную единице.

Через Ass обозначим многообразие всех алгебр над каким-либо заданным кольцом. В § 4 приведен ряд необходимых условий конечности типа многообразий. Центральным среди них является:

Предложение 3. Если V - многообразие конечного типа над кольцом Л, отличное от Ass, тогда в многообразМвыполняетсятож-дествовида

где Л G Л \ {0}, а щ(х, у) - мономы, неподобные хтуп.

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

Следствие 4. Многообразие, порожденное алгеброй матриц Мп(А) над бесконечной областью целостности, с 1, не является многообразием конечного типа.

Это следствие дает ответ на вопрос К. Прочези и Л. Смолла.

Если задано кольцо А, то через Fco обозначим счетно порожденную свободную алгебру над кольцом - многообразие алгебр над кольцом Л, через Id(V) обозначим его идеал тождеств, его можно рассматривать как как идеал алгебры Fc0. Основываясь на предложении 3 в этом параграфе устанавливается

Предложение 4. Пусть V - многообразие конечного типа над кольцом А,отличноеот Ass. Обозначим ч е у m а -торную алгебру. Если идеал тождестМ{У) содержится вК^,тогда V не является многообразием конечного типа.

В качестве следствия.предложения 4 получается, что стандартное тождество

степени выше двух не является тождеством конечного типа.

алгебр без единицы существуют два многообразия конечного типа, между которыми есть многообразие не конечного типа. Предложение 9 показывает, что возможна и симметричная ситуация: есть два многообразия не конечного типа, между которыми находится многообразие конечного типа.

где Отношение разбивает множество мономов на два

класса: Поскольку сумма

коэффициентов мономов каждого класса равна нулю, то

- нулевой идеал. Все классы эквивалентности отношения сг^г на множестве мономов /(х,у) являются одноэлементными, и в качестве сумм коэффициентов мономов этих классов мы получим элементы: ЛьАг,—Аг, следовательно сгх.гС/) = (^ьАг) - идеал кольца Л, порожденный А1 и Аг. Отнощение сг^з разбивает множество мономов / на одноэлементные классы эквивалентности, поэтому аналогичным образом сг^з(/) = (Аь Аг)- Отношение <7^4(/) разбивает его на те же классы, что и а^д, поэтому <ть,4(/) = (0). Все мономы в^меют степень 4, поэтому для всех п > 4 отношение не порождает ни одного класса эквивалентности на множестве мономов /. Итак, по определению щ{}) = (Ах, Аг).

В § 1 устанавливаются основные свойства этой характеристики.

Теорема 3; Пусть V - многообразие алгебр над коммутативным кольцом А с 1. В многообразйёвыполняется тождество вида

тогда и только тогда, когда бинормальнаяхарактеристиМотлична от нуля.

Теорема 4. Пусть V - многообразие алгебр над коммутативным кольцом Ас 1, и система тождеств{Х)\г € 1} образует базис тождеств многообразия V, где X некоторый алфавит. Тогда ць^У) =

»€/

Эти теоремы, в частности, позволяют алгоритмически устанавливать остутствие конечности типа по базису тождеств многообразия.

К числу основных результатов диссертации отностится теорема, доказанная в § 2.

Теорема 5. Пусть V - многообразие алгебр с 1 над бесконечным полем р1; тогда эквивалентны следу ющиеусловия:

1) многообразие V - конечного типа;

2) бинормальнаялеваяхарактеристика V отлична от нуля;

3) в многообразии V выполнено тождество Энгеля: [я, у]п = 0.

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

Многообразие называется многообразием наследственно конечного типа, если оно и всякое его подмногообразие являются многообразиями конечного типа. Из теоремы Маркова [14] следует, что для многообразий алгебр с 1 над бесконечным полем все многообразия конечного типа являются наследственными. Однако, как следует из результатов § 5 главы 1, наследственная конечность типа не имеет места для всех многообразий алгебр без единицы конечного типа. Описанию многообразий наследственно конечного типа посвящен § 3, в котором доказана следующая теорема.

Теорема 6. Многообразие алгебр V наднетеровымкоммутативным кольцом Джекобсакас 1 являетсямногообразием наследственно конечного типа тогда и только тогда, когда ^¡(У) + VГ(У) = 1.

Этот критерий естественным образом легко проверяется алгоритмически.

Рассмотрим некоторый алфавит X и построим бинарное отношение р па множестве Х+: если «,« е Х+, то иру тогда и только тогда, когда и совпадает с и с точностью до перестановки. По аналогии с определением бинормальной характеристики, данное бинарное отношение порождает тождеств тождеств и много-

образий алгебр, которую мы назовем однородной характеристикой.

Если задано некоторое кольцо Л, то через ^ обозначим абсолютно свободную счетно порожденную алгебру над этим кольцом. Через Ык(У) обозначим идеал всех тождеств многообразия V от к переменных. Многообразие алгебр V над кольцом Л называется Р1-многообразием, если в нем выполняется тождество вида

где 6 Л, гц - попарно неподобные мономы и семейство (А¿)»е/ порождает

Многообразие алгебр будем называть многообразием лево-(право-) конечного типа, если для всякого натурального к идеал тождеств Ык{У) как левый (правый) модуль над алгеброй Рь является конечно порожденным. В § 4 описаны Р1-многообразия алгебр над нетеровым коммутативным кольцом с 1, удовлетворяющие условию односторонней конечности типа.

Теорема 7. Пусть V - Р1-многообразиеалгебрнадкоммутативным нетеровым кольцом А с 1. Тогда следующиеусловияэквивалентны:

1) многообразие V -лево-конечноготипа;

2) многообразие V - право-конечного типа;

3) в многообразии V выполняется тождество eud^£=i\iXx, где идеал, порожденныйвсеми А<, совпадаете Л;

4)однороднаяхарактеристикамногообразия V совпадаетсЛ.

Этот критерий может быть легко проверен алгоритмически по конечному базису тождеств многообразия (для рекурсивного кольца).

На основании предыдущих результатов в § 5 приводится классификация многообразий алгебр над полем с точки зрения конечности типа на языке идеалов тождеств. Пусть V - многообразие алгебр над некоторым полем Р, тогда возможны следующие варианты.

(1) Идеал тождеств Id(V) не содержится в пересечении идеалов

конечного типа.

(2) Идеал тождеств Td(V) содержится в пересечении идеалов F^K^ и но не содержится в тогда не конечного типа.

(3) Идеал тождеств Id(V) содержится в FooK^F^ и

(3.1) Идеал тождеств Id(V) содержится в К^, тогда V не конечного типа.

(3.2) Идеал тождеств Id(V) не содержится в Кпоказано, что существуют как многообразия конечного типа, так и многообразия не конечного типа, подпадающие под данный случай.

Отметим, что в случае, когда поле рекурсивно и многообразие задано конечной системой тождеств, все условия данной классификации могут быть проверены алгоритмически.

Работы автора по теме диссертации

1. Васильев С. К. О тождествах и многообразиях ассоциативных алгебр конечного типа //Записки научных семинаров ПОМИ 10 (2003), №305, 18-43.

2. Васильев С.К. Многообразия алгебр конечного типа и бинормальная характеристика / Вестник С. Петербургского университета, С. Петербург 2004, деп. в ВИНИТИ 19.04.2004, № 635-В2004.

Цитируемая литература

1. Джекобсон Н. Строение колец / Пер. с англ. М.: ИЛ, 1961.

2. Зельманов Е. И. Решение ограниченной проблемы Бернсайда для групп четной экспоненты //Изв. Акад. Наук СССР., Сер. Мат. 1990. Т. 54(1), С. 42-59.

3. Кострикин А. И. Проблема Берсайнда //Акад. Наук СССР., Сер. Мат. 1959. Т. 23, С. 3-34.

4. Кублановский С. И. Локально финитно аппроксимируемые и локально представимые многообразия ассоциативных колец и алгебр. - Ленингр. гос. пед. ин-т., - Л., 1982. - 78 с. деп. в ВИНИТИ 21.11.1982, № 6143-82.

5. Кублановский С. И. О многообразиях ассоциативных алгебр с локальными условиями конечности //Алгебра и Логика. 1997. Т 9, № 4, С. 119-174.

6. Латышев В. Н. Обобщение теоремы Гильберта о конечности базисов //Сиб. мат. журн. 1996. Т. 7, № 6, С. 1422-1424.

7. Львов И. В. Условия максимальности в алгебрах с тождествен-

ны. и соотношениями //Алгебра и Логика. 1969. Т. 8, № 4.

8. Львов И. В. Локально слабо нетеровые многообразия алгебр над нетеровыми кольцами //В сб.: III Всесоюзный симпозиум по теории колец, алгебр, модулей. Тарту, Изд-во ТГУ, 1976.

9. Мальцев А. И. О представлениях бесконечных алгебр //Матем. сб. 1943. Т. 13, № 55.

10. Мальцев А. И. Об алгебрах с тождественными определяющими соотношениями //Матем. сб. 1950. Т. 26, № 1, С. 19-33.

11. Мальцев А. И. О гомоморфизмах на конечные группы //Учен, зап. Ивановского пед. института. 1958. Т. 18, С. 49-60.

12. Марков В. Т. О системах образующих Т-идеалов конечно-порожденных свободных алгебр //Алгебра и Логика 1979. Т. 18, № 5, С. 587-598.

13. Ширшов А. И. О кольцах с тождественными соотношениями //Матем. сб. 1957. Т. 43, № 2.

14. Khailampovich О. G., Sapir М. V. Algorithmic problems in varieties //Internat. J. Algebra Comput. 1995. Vol. 5, N. 4-5, P. 379-602.

15. Levin J. A Matrix representations for associative algebras //Trans. Amer. Math. Soc. 1974. Vol. 188, Iss. 2, P. 293-317.

16. Procezi C. Rings with polynomial identity //Marcel Dekker, New-

17.

ed. R. Gordon, Acad. Press, New-York-London, 1972, P. 347-351.

ЛР № 040815 от 22.05.97.

Подписано к печати 27.04.2004 г. Формат бумаги 60X84 1/16. Бумага офсетная. Печать ризографическая. Объем 1 усл. п.л. Тираж 100 экз. Заказ 3247. Отпечатано в отделе оперативной полиграфии НИИХ СПбГУ с оригинал-макета заказчика. 198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 26.

№99 43

Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Васильев, Сергей Константинович

Введение.

Глава 1. Общие свойства многообразий конечного типа.

1. Основные понятия, обозначения и замечания.

2. Теоремы Маркова и Кублановского.

3. Достаточные условия конечности типа.

4. Необходимые условия конечности типа.

5. Структурные свойства.

Глава 2. Об алгоритмической распознаваемости конечности типа

1. Бинормальная характеристика и ее свойства.

2. Алгоритмическое распознавание многообразий алгебр с единицей над бесконечным полем.

3. О многообразиях наследственно конечного типа.

4. Односторонняя конечность типа.

5. Классификация.

Введение диссертация по математике, на тему "О многообразиях алгебраических систем с условиями конечности"

Изучение многообразий алгебраических систем с теми или иными условиями конечности составляет самостоятельное и развивающееся направление алгебраических исследований. В 1890 г. Д. Гильберт доказал, что в кольце многочленов от конечного числа переменных любой идеал порождается конечным числом элементов (имеет конечный базис). Затем, этот результат был перенесен на конечно порожденные алгебры над нетеровыми кольцами и нашел широкое применение в коммутативной алгебре. В дальнейшем это направление исследований получило развитие в работах многих авторов (А. И. Мальцев [13], [14], [15], [16]; А. И. Ширшов [19]; В. Н. Латышев [10]; И. В. Львов [11], [12]; Е. И. Зельманов [5], А. И. Костри-кин [7]; К. Прочези [22]; Ж. Левин [21]; В. Т. Марков [17]; С. И. Кубла-новский [8], [9]).

Говорят, что алгебра M над кольцом Л является конечной, если она является конечно порожденным (к.п.) модулем над Л. Говорят, что алгебра А - финитно аппроксимируема (ф.а.) если для любого ненулевого элемента а А существуют конечная алгебра M и гомоморфизм ip : A M такой, что <р(а) = 0. В 1958 г. А. И. Мальцев [15] доказал, что конечно порожденная коммутативная алгебра над полем финитно аппроксимируема, и вывел отсюда разрешимость ряда алгоритмических проблем. Эта работа А.И.Мальцева оказала существенное влияние на ход всех дальнейших алгебраических исследований в этой области.

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

В 1966 г. В. Н. Латышев [10] описал локально слабо нетеровы (л.с.н.) слева многообразия над полем характеристики 0. В 1969 г. И. В. Львов доказал [11], что многообразие алгебр над полем характеристики 0 будет л.с.н. тогда и только тогда, когда в нем выполнено некоторое тождество вида: хупг = щхуп*гУ1,

ГЦ <71 где щ, Уг - некоторые слова.

В 1978 г. В. Т. Марков доказал, что многообразие алгебр с единицей над бесконечным полем будет л.с.н. слева тогда и только тогда, когда оно удовлетворяет тождеству Энгеля, т.е. тождеству вида \Х1 у\п ~ которое можно описать по индукции: х>У\к+\ = 2; [х,у]2 = [я,2/] = ху ух.

В 1997 г. С. И. Кублановский в работе [9] вводит понятие нормальной характеристики. Коммутативное кольцо с единицей А называется кольцом Джекобсона, если каждый простой идеал этого кольца является пересечением некоторого семейства максимальных идеалов. Любое поле, конечно порожденнное коммутативное кольцо, кольцо полиномов над кольцом Джекобсона являются также кольцами Джекобсона. Известно, что класс колец Джекобсона замкнут относительно гомоморфных образов. Пусть / - некоторый полином от некоммуттирующих переменных над кольцом А. Два одночлена будем считать подобными, если один моном можно получить из другого перестановкой внутренних переменных (т.е. не затрагивая крайние слева и справа переменные). Путем приведения подобных членов такого типа из данного многочлена / может быть получен многочлен вида: = где £ Л, - семейство неподобных в указанном смысле одночленов. Идеал в кольце Л, порожденный семейством обозначается и называется нормальной характеристикой многочлена /. Если этот идеал совпадает с Л, говорят, что нормальная характеристика мнгочлена / равна 1. Нормальной характеристикой многообразия V алгебр над кольцом Л, заданного совокупностью тождеств {/¿|г Е /}, называется сумма нормальных характеристик многочленов (/г)ге/; она обозначается через Таким образом

I'{V) = ^(/г)- Можно показать, что нормальная характеристика многообразия определяется этим многообразием однозначно, так как не зависит от выбора базиса тождеств. Аналогично можно определить левую и правую характеристику тождеств и многообразий, они обозначаются г// и иг соответственно.

С. И. Кублановский в работе [9] доказал, что многообразие алгебр над нетеровым кольцом Джекобсона будет локально слабо нете-рово тогда и только тогда, когда его нормальная характеристика равна 1. В этой же работе установлена эквивалентность локальной слабой нетеровости и других классических условий конечности, таких как: финитная аппроксимируемость, локальная представимость и другие.

С тождеством Энгеля связана известная проблема (проблема Эн-геля): если алгебра (кольцо) удовлетворяет тождеству Энгеля, то будет ли она локально Лиево нильпотентна? Проблема Энгеля представляет собой проблему Бернсайдовского типа. Впервые она была рассмотрена для групп и алгебр Ли. Работы А. И. Кострикина [7] оказали существенное влияние на ход исследований в этой области. Положительное решение этой проблемы для колец Ли было найдено в известной работе Е. И. Зельманова [5]. Следует отметить, что для конечно порожденных ассоциативных алгебр над полем ненулевой характеристики положительное решение этой проблемы следует из теоремы А. И. Ширшова о высоте [19]. Для алгебр над полем характеристики 0 положительное решение данной проблемы было найдено А. Р. Кемером [6] в 1980 г. Положительное решение для ассоциативных алгебр над кольцом Джекобсона было найдено С. И. Кубланов-ским [9] в 1997 г.

В 1972 г. К. Прочези [22] и Л. Смолл [23] поставили проблему: будет ли многообразие алгебр, порожденное матричной алгеброй, многообразием конечного типа? В 1978 г. В. Т. Марков [17] изучил конечность типа многообразий алгебр с единицей над бесконечным полем. Он доказал, что конечность типа для такого многообразия эквивалентна локальной левой нетеровости многообразия, а также выполнимости тождества Энгеля. Также из результатов Маркова вытекает отрицательное решение проблемы К. Прочези и Л. Смолла для многообразий алгебр с единицей над бесконечным полем. Однако, данный результат не дает алгоритмического описания таких многообразий. Кроме того, методы и результаты данной работы не удается распространить на общий случай многообразий алгебр без единицы.

В 1997 г. С. И. Кублановский [9] нашел условия для конечности типа многообразий алгебр (без единицы) с нормальной характеристикой, равной единице, над нетеровыми кольцами Джекобсона. Однако, результаты данной работы не переносятся на более общий случай многообразий алгебр произвольной нормальной характеристики.

Целью данной работы является изучение тождеств и многообразий алгебр над полем (коммутативным кольцом) конечного типа, а также их структурных свойств. Главный акцент делается на возможность алгоритмической проверки исследуемых свойств.

Краткое содержание работы. Мы опишем структуру данной диссертации и приведем ее основные результаты. Настоящая работа разделена на две главы. В первой главе устанавливаются общие свойства многообразий конечного типа. Она разбита на 5 параграфов.

1 Я'п) к=1 с коэффициентами из кольца Л, где ик(х1,. ,хп) — слова над алфавитом {х1,., хп}. Если задано некоторое отношение эквивалентности 7 на каком-либо подмножестве Х+, то 7-характеристикой полинома /(х 1,.,жте) будем называть идеал кольца Л, порожденный элементами

Н = лг|1<7<т l<i<m;ui'yuj и обозначать ее 7(/). Тогда 7-характеристикой многообразия V над кольцом Л назовем сумму 7-характеристик всех тождеств, выполненных в данном многообразии. Аналогично, такую характеристику будем обозначать через 7(У). Легко видеть, что введенная С. И. Кубла-новским нормальная (левая, правая) характеристика является частным случаем общего определения, достаточно положить: a) и V у, если слова и л V совпадают с точностью до перестановки внутренних переменных; b) и щ V, если слова и и г> совпадают с точностью до перестановки и первые буквы этих слов совпадают; c) и иг V, если слова и н V совпадают с точностью до перестановки и последние буквы этих слов совпадают.

В § 2 приводятся и обсуждаются теоремы В. Т. Маркова и С. И. Кублановского, связанные с описанием многообразий конечного т*ипа. Опираясь на теорему С. И. Кублановского [9], в этом же параграфе доказывается критерий конечности типа:

Теорема 1. Пусть V - многообразие нормальной характеристики 1 над нетеровым кольцом Джекобсона А с 1. Тогда V является многообразием конечного типа тогда и только тогда, когда щ{У) + ь>г{У) = 1, т.е. сумма левой и правой нормальной характеристики V совпадает с А.

В данном параграфе приведен пример, показывающий, что существуют многообразия конечного типа, нормальная характеристика которых отлична от 1. Одним из основных результатов главы 1 является теорема 2, доказанная в § 3:

Теорема 2. Пусть V - многообразие нормальной характеристики О над кольцом А, где А - нетерово кольцо Джекобсона с 1. Если в многообразии V выполнено хотя бы одно тождество вида га— 1 аЪш[х,у]с = £ чаЬЧх,у]сЬт-* о и хотя бы одно тождество вида п-1 ф, у]Ьпс = ^ №пЧа\х, у\Ус, где а,Ъ,с,х,у - буквы, а а*элементы А), тогда V - многообразие конечного типа.

Предложение 3. Если V - многообразие конечного типа над кольцом А, отличное от Ass, тогда в многообразии V выполняется тождество вида S 1 где A G Л \ {0}, а щ(х, у) - мономы, неподобные хтпуп.

Следствие 4. Многообразие, порожденное алгеброй матриц Мп(А) над бесконечной областью целостности А с 1, не является многообразием конечного типа.

Это следствие дает ответ на вопрос К. Прочези и JL Смолла.

Если задано кольцо А, то через Fqq обозначим счетно порожденную свободную алгебру над кольцом А. Пусть V — многообразие алгебр над кольцом А, через Id(V) обозначим его идеал тождеств, его можно рассматривать как как идеал алгебры Fqq. Основываясь на предложении 3 в этом параграфе устанавливается

Предложение 4. Пусть V - многообразие конечного типа над кольцом А, отличное от .Ass. Обозначим через К со [-^осм-^оо] коммутаторную алгебру. Если идеал тождеств Id(V) содержится в К^, тогда V не является многообразием конечного типа.

В качестве следствия предложения 4 получается, что стандартное тождество

Яп(х 1,., яп) = ^ 8ъдп(о)ха(1). ха(п) а степени выше двух не является тождеством конечного типа.

В § 5 установлен ряд структурных свойств для многообразий алгебр конечного типа. В том числе, доказана замкнутость класса многообразий алгебр конечного типа относительно переселения и его незамкнутость относительно обьединения - соответственно предложения 6 и 10. В предложении 8 показано, что в классе многообразий алгебр без единицы существуют два многообразия конечного типа, между которыми есть многообразие не конечного типа. Предложение 9 показывает, что возможна и симметричная ситуация: есть два многообразия не конечного типа, между которыми находится многообразие конечного типа.

Глава 2 посвящена вопросам алгоритмического распознавания многообразий алгебр конечного типа. Для решения этой задачи автором определяется новая арифметическая характеристика тождеств и многообразий (§1). Пусть X - счетный алфавит, п - натуральное число; определим бинарное отношение (тц,п на множестве . Если £ Х+, то Ш7£)Пг> тогда и только тогда, когда п-е буквы данных слов совпадают, а подслова, стоящие слева и справа от этой буквы соответственно, равны с точностью до перестановки. Очевидно, что это бинарное отношение является отношением эквивалентности на множестве слов длины не менее п. В соответствии с обобщенным определением нормальной характеристики будем говорить о сг/,^-характеристике тождеств и многообразий. Бинормальной характеристикой многообразия (тождества) V будем называть сумму ^-характеристик этого многообразия (тождества) по всем натуральным п и обозначать Далее, приведем пример подсчета бинормальной характеристики тождества. Рассмотрим тождество над некоторым кольцом Л: f(x, у) = Xix[x, у]у + \2у[х, у]х = = Aiх2у2 - \\xyxy + Л2ухух - А2у2х2, г где Ai, Л2 G А. Отношение gl, 1 разбивает множество мономов на два класса: {Aiх2у2, —Aiхуху} и {\2ухух, —\2у2х2}. Поскольку сумма коэффициентов мономов каждого класса равна нулю, то сг£,д(/) = (0) - нулевой идеал. Все классы эквивалентности отношения сть,2 на множестве мономов f(x,y) являются одноэлементными, и в качестве сумм коэффициентов мономов этих классов мы получим элементы: Ai,—Ai,A2,—А2, следовательно <tl(2(/) = (Ai,Л2) - идеал кольца Л, порожденный Ai и Х2- Отнощение сг^з разбивает множество мономов / на одноэлементные классы эквивалентности, поэтому аналогичным образом аь,з(/) = (Ai, А2). Отношение <jl,4(/) разбивает его на те же классы, что и с¿д, поэтому <tl)4(/) = (0). Все мономы в / имеют степень 4, поэтому для всех п > 4 отношение (ть,т не порождает ни одного класса эквивалентности на множестве мономов /. Итак, по определению Дс,(/) = (Ai,A2).

В § 1 устанавливаются основные свойства этой характеристики.

Теорема 3. Пусть V - многообразие алгебр над коммутативным кольцом А с 1. В многообразие V выполняется тождество вида к

АЛ/П = ]Г> (*,</), МО г-1 тогда и только тогда, когда бинормальная характеристика V отлична от нуля.

Теорема 4. Пусть V — многообразие алгебр над коммутативным кольцом А с 1, и система тождеств {/¿(Х)|г € /} образует базис тождеств многообразия V, где X некоторый алфавит. Тогда /х¿(V) = ге/

К числу основных результатов диссертации отностится теорема, доказанная в § 2.

Теорема 5. Пусть V - многообразие алгебр с 1 над бесконечным полем Р; тогда эквивалентны следующие условия:

1) многообразие V — конечного типа;

2) бинормальная левая характеристика V отлична от нуля;

3) в многообразии V выполнено тождество Энгеля: [х,у]п = 0.

Многообразие называется многообразием наследственно конечного типа, если оно и всякое его подмногообразие являются многообразиями конечного типа. Из теоремы Маркова [17] следует, что для многообразий алгебр с 1 над бесконечным полем все многообразия конечного типа являются наследственными. Однако, как следует из результатов § 5 главы 1, наследственная конечность типа не имеет места для всех многообразий алгебр без единицы конечного типа. Описанию многообразий наследственно конечного типа посвящен § 3, в котором доказана следующая теорема.

Теорема 6. Многообразие алгебр V над нетеровым коммутативным кольцом Джекобсона А с 1 является многообразием наследственно конечного типа тогда и только тогда, когда щ(У) + г/г(У) = 1.

Этот критерий естественным образом легко проверяется алгоритмически.

Рассмотрим некоторый алфавит X и построим бинарное отношение р на множестве Х+: если и, V Е то иру тогда и только тогда, когда и совпадает с г; с точностью до перестановки. По аналогии с определением бинормальной характеристики, данное бинарное отношение порождает р-характеристику тождеств тождеств и многообразий алгебр, которую мы назовем однородной характеристикой.

Если задано некоторое кольцо Л, то через ^ обозначим абсолютно свободную счетно порожденную алгебру над этим кольцом. Через Ык{У) обозначим идеал всех тождеств многообразия V от к переменных. Многообразие алгебр V над кольцом А называется Р1-многообразием, если в нем выполняется тождество вида

1, . . . , = ^ ^ . . . , ге/ где А* € Л, щ - попарно неподобные мономы и семейство порождает Л.

Многообразие алгебр V будем называть многообразием лево-(право-)конечного типа, если для всякого натурального к идеал тождеств Ык(У) как левый (правый) модуль над алгеброй ^ является конечно порожденным. В § 4 описаны Р1-многообразия алгебр над нетеровым коммутативным кольцом с 1, удовлетворяющие условию односторонней конечности типа.

Теорема 7. Пусть V - Р1-многообразие алгебр над коммутативным нетеровым кольцом А с 1. Тогда следующие условия эквивалентны:

1) многообразие V - лево-конечного типа;

2) многообразие V - право-конечного типа;

3) в многообразии V выполняется тождество вида \{Хг, где идеал, порожденный всеми А{, совпадает с А;

4) однородная характеристика многообразия V совпадает с А.

На основании предыдущих результатов в § 5 приводится классификация многообразий алгебр над полем с точки зрения конечности типа на языке идеалов тождеств. Пусть V — многообразие алгебр над некоторым полем Р, тогда возможны следующие варианты.

1) Идеал тождеств Ы(у) не содержится в пересечении идеалов РооКоо и К ж Рос, тогда V конечного типа.

2) Идеал тождеств 1<1{У) содержится в пересечении идеалов Р^Коо и Коо Роо 1 но не содержится в Роо Роо} тогда V не конечного типа.

3) Идеал тождеств /¿(V) содержится в ^оо^схз^оо и

3.1) Идеал тождеств 1с1(У) содержится в К^, тогда V не конечного типа.

3.2) Идеал тождеств Ы(У) не содержится в К^: показано, что существуют как многообразия конечного типа, так и многообразия не конечного типа, подпадающие под данный случай.

Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Васильев, Сергей Константинович, Санкт-Петербург

1. Бурбаки Н. Многочлены и поля; упорядоченные группы / Наука. М., 1966.

2. Васильев С. К. О тождествах и многообразиях ассоциативных алгебр конечного типа //Зап. науч. семинаров ПОМИ. 2003. Т. 10, № 305, С. 18-43.

3. Васильев С. К. Многообразия алгебр конечного типа и бинормальная характеристика. Вестник С.-Петербургского университета, - С.-Петербург 2004. - 56 с. - Деп. в ВИНИТИ 19.04.2004 № 635-В2004.

4. Джекобсон Н. Строение колец / Пер. с англ. М.: ИЛ, 1961.

5. Зельманов Е. И. Решение ограниченной проблемы Бернсайда для групп четной экспоненты //Изв. Акад. Наук СССР., Сер. Мат. 1990. Т. 54(1), С. 42-59.

6. Кемер А. Р. О нематричных многообразиях //Алгебра и логика. 1980. Т 9, С. 283-285.

7. Кострикин А. И. Проблема Берсайнда //Акад. Наук СССР., Сер. Мат. 1959. Т. 23, С. 3-34.

8. Кублановский С. И. Локально финитно аппроксимируемые и локально представимые многообразия ассоциативных колец и алгебр. Ленингр. гос. пед. ин-т., - Л., 1982. - 78 с. деп. в ВИНИТИ 21.11.1982, № 6143-82.

9. Кублановский С. И. О многообразиях ассоциативных алгебр с локальными условиями конечности //Алгебра и Логика. 1997. Т 9, № 4, С. 119-174.

10. Латышев В. Н. Обобщение теоремы Гильберта о конечности базисов //Сиб. мат. журн. 1996. Т. 7, № 6, С. 1422-1424.

11. Львов И. В. Условия максимальности в алгебрах с тождественными соотношениями //Алгебра и Логика. 1969. Т. 8, № 4.

12. Львов И. В. Локально слабо нетеровые многообразия алгебр над нетеровыми кольцами //В сб.: III Всесоюзный симпозиум по теории колец, алгебр, модулей. Тарту, Изд-во ТГУ, 1976.

13. Мальцев А. И. О представлениях бесконечных алгебр //Матем. сб. 1943. Т. 13, № 55.

14. Мальцев А. И. Об алгебрах с тождественными определяющими соотношениями //Матем. сб. 1950. Т. 26, № 1, С. 19-33.

15. Мальцев А. И. О гомоморфизмах на конечные группы //Учен, зап. Ивановского пед. института. 1958. Т. 18, С. 49-60.

16. Мальцев А. И. Избранные труды / Т. 1. М.: "Наука", 1976.

17. Марков В. Т. О системах образующих Т-идеалов конечно-порожденных свободных алгебр //Алгебра и Логика 1979. Т. 18, № 5, С. 587-598.

18. Херстейн И. Некоммутативные кольца / Пер. с англ. Мир, 1972.

19. Ширшов А. И. О кольцах с тождественными соотношениями //Матем. сб. 1957. Т. 43, № 2.

20. Kharlampovich О. G., Sapir М. V. Algorithmic problems in varieties //Internat. J. Algebra Comput. 1995. Vol. 5, N. 4-5, P. 379-602.

21. Levin J. A Matrix representations for associative algebras //Trans. Amer. Math. Soc. 1974. Vol. 188, Iss. 2, P. 293-317.

22. Procezi C. Rings with polynomial identity //Marcel Dekker, New-York, 1973. MR 51 #3214.

23. Small L. W. Ideals in finitely generated Pi-algebras //Ring theory, ed. R. Gordon, Acad. Press, New-York-London, 1972, P. 347-351.