Тождества векторных пространств, вложенных в линейные алгебры, и примеры конечномерных алгебр, не имеющих конечного базиса тождеств тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат наук Кислицин, Алексей Владимирович

  • Кислицин, Алексей Владимирович
  • кандидат науккандидат наук
  • 2014, Барнаул
  • Специальность ВАК РФ01.01.06
  • Количество страниц 98
Кислицин, Алексей Владимирович. Тождества векторных пространств, вложенных в линейные алгебры, и примеры конечномерных алгебр, не имеющих конечного базиса тождеств: дис. кандидат наук: 01.01.06 - Математическая логика, алгебра и теория чисел. Барнаул. 2014. 98 с.

Оглавление диссертации кандидат наук Кислицин, Алексей Владимирович

Содержание

Введение

1 Тождества векторных пространств, вложенных в линейные алгебры

1.1 Основные определения и вспомогательные утверждения

1.2 Базисы тождеств некоторых ассоциативных векторных пространств

1.3 Сильно бесконечно базируемые векторные пространства. Существенно бесконечно базируемые векторные пространства

1.4 Сильно бесконечно базируемые векторные пространства над полем нулевой характеристики, являющиеся алгебрами с единицей

1.5 Некоторые условия, влекущие конечную базируемость тождеств векторных пространств

1.6 Тождества векторных пространств, вложенных в неассоциативные алгебры

2 Примеры конечномерных линейных алгебр, не имеющих конечного

базиса тождеств

2.1 Основные определения и вспомогательные утверждения

2.2 Связь тождеств векторных пространств с тождествами алгебр многообразия Полина

2.3 Пример центральной простой конечномерной алгебры, не имеющей конечного базиса тождеств

2.4 Пример центральной простой коммутативной конечномерной алгебры, не имеющей конечного базиса тождеств

2.5 Некоторые следствия

Список литературы

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

С

Рекомендованный список диссертаций по специальности «Математическая логика, алгебра и теория чисел», 01.01.06 шифр ВАК

Введение диссертации (часть автореферата) на тему «Тождества векторных пространств, вложенных в линейные алгебры, и примеры конечномерных алгебр, не имеющих конечного базиса тождеств»

Введение

Актуальность темы. Одним из способов изучения алгебраических систем является изучение их тождеств. Напомним, что тождеством универсальной алгебры сигнатуры £ называется формула вида ... хп)(/ = д), где /, д - термы от х\, Х2, ■ ■ ■, хп. Класс алгебр называется многообразием, если существует такая совокупность бг тождеств сигнатуры Е, что 9Л состоит из тех и только тех алгебр сигнатуры £, в которых выполняются все тождества из С [16]. Тождества алгебр изучались в 1935 году Г. Бирк-гофом [34]. В этой работе он рассматривает понятие многообразия алгебр и доказывает знаменитую теорему о том, что класс алгебр является многообразием тогда и только тогда, когда он замкнут относительно взятия подалгебр, гомоморфных образов и прямых произведений алгебр.

Также понятие тождества рассматривалось в конкретных классах алгебр. В 1937 году Б.Х. Нейман изучал тождества групп [48]. М. Холл в 1943 году рассматривал тождества колец [39]. В его работе доказано, что если тело I) удовлетворяет тождеству [[а;, у)2, г] = 0, то И является либо полем, либо алгеброй обобщенных кватернионов над своим центром. И. Ка-планский в 1948 году показал, что примитивная ассоциативная алгебра, удовлетворяющая любому полиномиальному тождеству, изоморфна алгебре матриц над телом I), причем И конечномерно над своим центром [41].

Если рассмотреть алгебру А некоторой сигнатуры то множество тождеств алгебры А, из которых следуют все тождества этой алгебры, называется базисом тождеств алгебры А. По-видимому, впервые понятие базиса тождеств алгебры появилось в 1950 году работе Ш. Амицура и Я. Левицкого при изучении тождеств минимальных степеней ассоциативных алгебр [32]. А. Тарский в 1956 году доказал, что минимальные многообразия ассоциативных колец порождаются либо простым полем либо кольцом с нулевым умножением характеристики р и нашел базисы тождеств этих многообразий [55].

Если базис тождеств алгебры А конечен, то алгебру А называют конечно базируемой (или короче, КБ-алгеброй). В противном случае говорят, что алгебра А бесконечно базируема или не конечно базируема (коротко: НКБ-алгебра).

Ш. Оутс и М. Б. Пауэлл показали, что любая конечная группа имеет конечный базис тождеств [49]. И. В. Львов [15] и Р. Крузе [42] независимо доказали конечную базируемость тождеств конечного ассоциативного кольца.

Одной из центральных задач при исследовании вопросов конечной ба-зируемости тождеств ассоциативных линейных алгебр является проблема, сформулированная в 1950 году В. Шпехтом [53]: будет ли произвольная ассоциативная алгебра над полем нулевой характеристики иметь конечный базис тождеств? Привлечению внимания к этому вопросу способствовали работы В.Н. Латышева [12, 13], в которых проблема Шпехта положительно решалась в различных классах ассоциативных алгебр над полем нулевой характеристики. В 1987 году проблема Шпехта положительно решена А. Р. Кем ером [9]. В случае бесконечного поля положительной характеристики существуют примеры линейных ассоциативных алгебр, не имеющих конечного базиса тождеств [1]. Подробный обзор вопросов, связанных с проблемой Шпехта, приведен в работе А. Я. Белова [2].

Важным направлением в изучении многообразий, порожденных конечными алгебрами, является построение конкретных конечных алгебр, не имеющих конечного базиса тождеств. Одной из центральных задач при изучении тождеств конечных алгебр является проблема, сформулированная в 1966 году А. Тарским [54]: будет ли множество всех конечно базируемых конечных алгебр фиксированной сигнатуры, содержащей по крайней мере одну двуместную операцию, рекурсивно (т. е. существует ли общий алгоритм, позволяющий определить, имеет или нет конечная алгебра конечный базис тождеств)? В 1984 году Р. МакКензи показал, что проблему Тарского достаточно решить в классе группоидов [44], а в 1996 году решил

проблему Тарского отрицательно [45]. Однако, проблему Тарского можно изучать в конкретных классах конечных алгебр. Ясно, что эта проблема имеет содержательный смысл лишь в тех классах конечных алгебр, в которых существуют как КБ-алгебры, так и НКБ-алгебры Поэтому важным направлением в изучении многообразий алгебр является построение примеров конкретных конечных алгебр, не имеющих конечного базиса тождеств Примеры таких алгебр приводились в различных классах алгебраических систем.

Так, в классе группоидов пример неассоциативного группоида из семи элементов, удовлетворяющего тождеству х(yz) = 0 и не имеющего конечного базиса тождеств, был построен в 1954 году Р. Линдоном [43]. В 1965 году В. Л. Мурский построил пример трехэлементного НКБ-группоида [21]. П. Перкинс в 1969 году привел пример шестиэлементной полугруппы, не имеющей конечного базиса тождеств [50]. Пример конечной лупы, тождества которой не задаются конечным набором, приведен М. Р. Воон-Ли в 1979 году [56]. C.B. Полин в 1976 году для любого конечного поля F построил пример неассоциативной конечной линейной алгебры из многообразия ф = Var(x(yz) = 0), тождества которой не задаются конечным набором тождеств [24]. Построенный пример является первым примером конечной линейной алгебры, не имеющей конечного базиса тождеств, показывающий, что теорема Львова-Крузе о конечной базируемости тождеств любого конечного ассоциативного кольца не справедлива в случае произвольного неассоциативного кольца (линейной алгебры над конечным полем).

В 1977 году Ю.Н. Мальцевым и В. А. Парфеновым построен пример неассоциативной пятимерной алгебры, принадлежащей многообразию ф, над полем нулевой характеристики, не имеющей конечного базиса тождеств [19] И. М. Исаев в 1997 г. построил пример конечной алгебры (конечного кольца) из многообразия ф, которая не имеет независимого базиса

тождеств [40]. t

I

| I ,

5

ь

' 1V

) > tj\

. ' ' '

} 'v 1

it HiiiI ii

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

Первые примеры СББ-группоидов приведены В. Л. Мурским в 1979 году [20] и П. Перкинсом в 1980 году [51]. М. В. Сапир в 1987 году показал, что мультипликативная полугруппа В\ = {0,1, ец,е^, егъ 622}, рассмотренная П. Перкинсом [50], существенно бесконечно базируема [29]. Дж. МакНалти и К. Шеллон в 1983 году сформулировали вопрос о существовании в классе конгруэнц-модулярных алгебр конечной алгебры, порождающей СББ-многообразие [46]. В классе колец и линейных алгебр пример конечной СББ-алгебры привел в 1989 году И. М. Исаев [8], получив тем самым положительный ответ на вопрос МакНалти и Шеллон. М. В. Сапир в 1987 году получил полное описание негрупповых СББ-многообразий полугрупп [30].

Р. Фриз, Дж. МакНалти и Дж. Нейшн в 2002 году указали метод построения СББ-решеток [38]. Этими же авторами в 2006 году построен пример существенно бесконечно базируемой модулярной решетки [37]. Дж. МакНалти, 3. Секей и Р. Уиллард в 2008 году рассмотрели понятие эквацио-нальной сложности многообразия алгебр. А именно, сложностью /Зэя(п) многообразия Ш называется наименьшее целое положительное число I такое, что любая алгебра В мощности п принадлежит многообразию ШТ, если каждое тождество длины, не превосходящей которое выполняется в Ш, будет тождеством в В [47]. В работе приводится метод оценки верхней и нижней границ роста эквациональной сложности. Также в этой работе

доказано, что не существует многообразий СББ-полугрупп, эквациональ-ная сложность которых ограничена константой. Отметим, что конечная алгебра А, для которой Дд ограничена константой (21 - многообразие, порожденное алгеброй А), будет либо конечно базируемой, либо существенно бесконечно базируемой [35].

В 1978 году И.В. Львов построил пример конечномерной неассоциативной алгебры V = V®Е (здесь V - конечномерное векторное пространство, Е - пространство линейных преобразований пространства V) над полем Р, тождества которой не задаются конечным набором тождеств [14]. Ясно, что V 6 ф. Всякое тождество алгебры V = V ф Е эквивалентно (по модулю х(уг) = 0) конечной системе тождеств вида НХ2,..., 11Хп) = 0, где

/(х1, Х2,.. ■, хп) - тождество векторного пространства Е, Ях - оператор правого умножения на элемент х в свободной алгебре многообразия ф [14].

В 1973 году Ю.П. Размыслов при описании тождеств алгебры матриц второго порядка ввел понятие слабого тождества ассоциативно лиевой пары (Л, Ь) (здесь Ь - алгебра Ли, А - ее ассоциативная обертывающая алгебра), т.е. ассоциативного многочлена /(#1,#2, • • • >хп)-> который обращается в нуль в алгебре А при подстановке вместо переменных любых элементов из Ь [26].

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

Пусть далее Е - векторное пространство, являющееся подпространством линейной алгебры А. Будем называть тождеством векторного прост-

ранства Е (вложенного в линейную алгебру А) слабое тождество пары (А,Е), т.е. такой неассоциативный многочлен /(х1,х2,---,хп) £ -Р^РО, что /(ех, е2,...,еп) = 0 в алгебре А при всех е\, е2,еп Е Е.

Пусть С С Е(Х) - подмножество абсолютно свободной алгебры. Класс всех пар (Л, Е) (Е - подпространство линейной алгебры А, причем А как линейная алгебра порождается пространством Е), в которых выполняются все тождества вида д = 0, где д пробегает будем называть Ь-многообразием, заданным множеством тождеств Если 6? - множество тождеств пары (А, Е), где Е - подпространство линейной алгебры А, причем А как линейная алгебра порождается пространством Е, то Ь-многообразие, заданное множеством тождеств 6?, будем называть Ь-много-образием векторных пространств, порожденным векторным пространством Е и обозначать Уаг¿Е.

Идеал 7 абсолютно свободной алгебры Е(Х) будем называть Ь-идеалом, если он замкнут относительно подстановок вместо переменных их линейных комбинаций. Совокупность всех тождеств векторного пространства, вложенного в линейную алгебру, образует Ь-идеал алгебры Е(Х). Напомним, что Т-идеалом абсолютно свободной алгебры Е(Х) называется такой идеал I <\ Е(Х), что для любых многочленов /(а^, • • •, € I, 01, 02, • • • , Фп £ Е(х) выполняется /(01, 02, ■ • • , Фп) £ I- Ясно, что совокупность всех тождеств некоторой линейной алгебры образует Т-идеал свободной алгебры Е(Х).

Необходимо отметить, что различные обобщения понятия Т-идеала уже рассматривались рядом авторов. Так, А. В. Гришин исследовал вопросы конечной базируемости Т-пространств, т. е. линейных подпространств свободной счетнопорожденной ассоциативной алгебры Е[х 1,ж2,...] над полем Р, замкнутых относительно подстановок вместо переменных любых элементов этой алгебры [4, 5]. Примером Г-пространства служит подпространство .Р[сс1, Х2, ■ ■. ], порожденное центральными многочленами ассоциативной алгебры.

М. Ашенбреннер и К. Хиллар рассматривали понятие симметрического идеала свободной ассоциативно-коммутативной алгебры, т. е. такого идеала, который инвариантен относительно перестановок переменных. В их работе показано, что любой симметрический идеал свободной ассоциативно-коммутативной алгебры над нетеровым коммутативным кольцом с единицей конечно порожден как симметрический идеал [33].

Н. Г. Наджарян доказал, что Т-идеал свободной ассоциативной алгебры с единицей над полем нулевой характеристики, порожденный полилинейным длинным коммутатором, конечно порожден как ¿-идеал [22, теорема 2.2]. В. Н. Латышев отметил справедливость этого утверждения для свободной ассоциативной алгебры без единицы над полем нулевой характеристики [11].

Рассмотрим ¿-многообразие Л ассоциативных векторных пространств, т.е. векторных пространств, в которых выполняются все тождества ассоциативности вида (иу)и) = и(уи>), где и, V, т - произвольные неассоциативные слова. Всюду далее, если не оговорено противное, мы будем рассматривать все векторные пространства и их тождества внутри ¿-многообразия Л.

В связи с примерами НКБ-алгсбр, приведенными в различных классах алгебраических систем, нами была поставлена следующая задача.

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

В ходе решения этой задачи нами были построены примеры четырех-, трех- и двумерного векторных пространств над произвольным полем, вложенных в ассоциативные алгебры и не имеющих конечного базиса тождеств [57, 62, 63, 64, 65]. Поскольку любое одномерное пространство имеет конечный базис тождеств [61, 67], минимальная размерность пространства, не имеющего конечного базиса тождеств, равна двум.

Ввиду условия локальной конечности, в классе линейных алгебр понятие СББ-алгебры может рассматриваться только для линейных алгебр над конечным полем [8]. Нами введено понятие сильно бесконечно базируемой или сильно не конечно базируемой алгебры (сокращенно СНКБ-алгебры), являющееся некоторым аналогом существенно бесконечно базируемых алгебр для произвольного поля. А именно, рассмотрим тождества Капел-ли = £ (—1)аги(ха(1),ха(2),ха{пу,УъУ2, ■ ■ ■, Ук) = 0 и положим

Сар(п) = Уаг(С^ = 0|ги 6 Е(Х) - неассоциативное слово) - многообразие линейных алгебр, удовлетворяющих всевозможным тождествам Ка-пелли С^ = 0 для фиксированного п. Многообразие линейных алгебр ОТ, такое что ОТ С Сар(/г) при некотором к, будем называть сильно бесконечно базируемым, если любое многообразие Ш, удовлетворяющее условию ОТ С Ш С Сар(п) для некоторого п, не имеет конечного базиса тождеств. Алгебру А назовем сильно бесконечно базируемой, если многообразие Уаг А является СНКБ-многообразием. Аналогично можно рассматривать сильно бесконечно базируемые векторные пространства, вложенные в произвольные линейные алгебры. Отметим, что любая конечномерная линейная алгебра (конечномерное векторное пространство, вложенное в линейную алгебру), содержащая в качестве подалгебры сильно бесконечно базируемую алгебру (векторное пространство), сама не имеет конечного базиса тождеств. Таким образом, конечномерные СНКБ-алгебры задают в классе линейных алгебр серию НКБ-алгебр.

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

Задача 2. Построить примеры:

а) существенно бесконечно базируемого (сильно бесконечно базируемого) конечномерного векторного пространства;

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

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

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

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

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

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

Задача 5. Выяснить, задаются ли тождества классов векторных пространств, вложенных в ассоциативные алгебры, либо в алгебры Ли, конечным набором тождеств, выполняющихся в этих классах.

Нами было показано, что в указанных классах векторных пространств для произвольного конечного набора тождеств С, выполняющихся в этих классах, можно указать тождество, которое не следует из (3 [72].

В связи с примерами шести- и пятимерных НКБ-алгебр из многообразия ф = Уат(х(уг) = 0), построенными Ю. Н. Мальцевым и В. А. Парфеновым, И. В. Львовым, была сформулирована следующая задача.

Задача 6. Построить пример алгебры из многообразия не имеющей конечного базиса тождеств, размерность которой меньше пяти.

В 1993 году И. П. Шестаков в «Днестровской тетради» поставил вопрос о существовании центральной простой конечномерной алгебры над полем нулевой характеристики, не имеющей конечного базиса тождеств [6]. Отметим, что любая простая конечномерная алгебра над алгебраически замкнутым полем с точностью до изоморфизма однозначно определена своим базисом тождеств [52].

Задача 7. Построить пример центральной простой конечномерной алгебры над произвольным полем, тождества которой не задаются конечным набором тождеств.

Искомый пример построен в работах [58, 60], в частности, проблема И. П. Шестакова решена положительно.

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

Цель работы. Данная работа посвящена решению задач 1-8.

Методы исследования. В работе используются методы и результаты теории многообразий линейных алгебр, структурной теории колец и теории Р/-алгебр.

Основные результаты. Основные результаты диссертационного исследования заключаются в следующем:

12

i

а

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

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

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

Теоретическая и практическая ценность. Работа имеет теоретическое значение. Результаты диссертации могут быть использованы для дальнейшего исследования тождеств векторных пространств, вложенных в линейные алгебры, для описания различных классов векторных пространств, а также для исследования вопросов конечной базируемости тождеств некоторых классов неассоциативных линейных алгебр. Кроме того, результаты работы могут быть использованы при чтении специальных курсов по теории многообразий линейных алгебр и по теории Р/-алгебр.

Апробация работы. Результаты диссертации докладывались:

• на семинаре по теории колец кафедры алгебры и теории чисел Алтайского государственного университета (Барнаул, 2008-2009 гг.);

• на семинаре по теории колец кафедры алгебры и методики обучения математике Алтайской государственной педагогической академии (Барнаул, 2010-2014 гг.);

• на международной конференции по теории колец, посвященной 90-летию со дня рождения А. И. Ширшова (Новосибирск, Институт математики СО РАН, 2011 г.);

• на международной конференции «Фундаментальные науки и образование» (Бийск, АГАО, 2012 г.);

• на семинаре по теории колец им. А. И. Ширшова Института математики СО РАН (Новосибирск, апрель 2012 г.);

• на международной конференции «Ломоносовские чтения на Алтае» (Барнаул, Алтайская государственная педагогическая академия, Алтайский государственный университет, 2010, 2012, 2013 гг.);

• на международной конференции «Мальцевекие чтения» (Новосибирск, Институт математики СО РАН, 2010, 2012, 2013 гг.);

• на семинаре «Алгебраические системы» кафедры алгебры и дискретной математики Уральского федерального университета (Екатеринбург, май 2014 г.);

• на семинаре «Алгебра и логика» Института математики СО РАН (Новосибирск, май 2014 г.).

Публикации. Основные результаты исследования опубликованы в виде статей как в отечественных, так и в зарубежных журналах [57]-[61], а также в материалах конференций [62]—[73]. Статьи [57, 58, 61] опубликованы в изданиях, рекомендованных ВАК РФ.

Структура и объем работы. Диссертация состоит из введения и двух глав. Объем диссертации составляет 98 страниц. Список литературы, приведенный в конце работы, содержит 73 наименования.

Содержание диссертации. Каждая из глав диссертации разбита на параграфы. В конце введения приведен список обозначений, которые используются на протяжении всей работы. Нумерация утверждений (предложений, лемм, теорем и следствий) сквозная внутри главы. Утверждения занумерованы двумя числами: первое соответствует номеру главы, а второе - порядковому номеру утверждения в данной главе.

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

чисел: первое соответствует номеру главы, а второе - порядковому номеру этого параграфа в текущей главе.

Первая глава посвящена исследованию вопросов конечной базируемое™ тождеств векторных пространств внутри класса А ассоциативных векторных пространств (кроме теоремы 1.13 в параграфе § 1.5 и § 1.6, в которых рассматриваются произвольные векторные пространства).

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

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

во степени 3; через Х^-Р) обозначается векторное пространство верхних треугольных матриц второго порядка над полем Р; = (е^ехг)^ Аг — (е1Ь<321 обозначает матрицу, у которой на пересечении г-й строки и

]-то столбца стоит единица, а остальные элементы равны нулю). Теорема 1.1. Пусть Р - бесконечное поле произвольной характеристики. Векторное пространство Е = А\ ® А2 является НКБ-пространством с базисом тождеств

С = {5г3(£, У, г), х[у, и]и, [х, у][щ -у], [х, у... гт[и, и]\т = 1,2,... }.

Теорема 1.2. Пусть Р = - конечное поле из д элементов. Вектор-

ное пространство Е = А\ © А2 является НКБ-пространством с базисом тождеств

в = {х[у, и]у, [ж, у][и, у],х(у - уч)х, (х - х<1)(у - у4), [х, у]{г - гя),

(х - хд)[у, г], [х, у\ххг2 ... гт[и, у]\т = 1,2,... }.

Похожие диссертационные работы по специальности «Математическая логика, алгебра и теория чисел», 01.01.06 шифр ВАК

Список литературы диссертационного исследования кандидат наук Кислицин, Алексей Владимирович, 2014 год

Список литературы

[1] Белов А. Я. Контрпримеры к проблеме Шпехта // Математический сборник. 2000. Т. 191. №3. С. 13-24.

[2] Белов А. Я. Локальная конечная базируемость и локальная представимость многообразий ассоциативных колец // Известия РАН. 2010. Т. 74. №1. С. 3-134.

[3] Голубчик И.З., Михалёв А. В. О многообразиях алгебр с полугрупповым тождеством // Вестник МГУ. Серия 1. Математика, механика. 1982. Т. 65. №2. С. 8-11.

[4] Гришин А. В. О конечной базируемости абстрактных Т-пространств // Фундаментальная и прикладная математика. 1995. Т. 1. №3. С. 669700.

[5] Гришин А. В. О конечной базируемости систем обобщенных многочленов // Известия АН СССР. 1990. Т. 54. №5. С. 899-927.

[6] Днестровская тетрадь. Нерешенные проблемы теории колец и модулей. 4-е изд. Новосибирск: Институт математики СО РАН. 1993. 73 с.

[7] Жевлаков К. А., Слинько А. М., Шестаков И. П., Ширшов А. И. Кольца, близкие к ассоциативным. М.: Наука. 1978. 432 с.

[8] Исаев И. М. Существенно бесконечно базируемые многообразия алгебр // Сибирский математический журнал. 1989. Т. 30. №6. С. 75-77.

[9] Кемер А. Р. Конечная базируемость тождеств ассоциативных алгебр // Алгебра и логика. 1987. Т. 26. №5. С. 597-641.

[10] Кемер А. Р. О нематричных многообразиях // Алгебра и логика. 1980. Т. 19. №3. С. 255-283.

[11] Латышев В.Н. Алгоритмическая распознаваемость полиномиальных тождеств // Математические вопросы кибернетики. 2002. Вып. 11. С. 5-14.

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

[13] Латышев В. Н. О шпехтовости некоторых многообразий ассоциативных алгебр // Алгебра и логика. 1969. Т. 8. №6. С. 660-673.

[14] Львов И. В. Конечномерные алгебры с бесконечными базисами тождеств // Сибирский математический журнал. 1978. Т. 19. № 1. С. 91-99.

[15] Львов И. В. О многообразиях ассоциативных колец I // Алгебра и логика. 1973. Т. 12. №3. С. 269-297.

[16] Мальцев А. И. Алгебраические системы. М.: Наука. Гл. ред физ.-мат. лит. 1970. 392 с.

[17] Мальцев Ю. Н. Базис тождеств алгебры верхних треугольных матриц // Алгебра и логика. 1972. Т. 10. №4. 391-401.

[18] Мальцев Ю. Н., Кузьмин E.H. Базис тождеств алгебры матриц второго порядка над конечным полем // Алгебра и логика. 1978. Т. 17. №1. - С. 206-215.

[19] Мальцев Ю.Н., Парфенов В. А. Пример неассоциативной алгебры, не допускающей конечного базиса тождеств // Сибирский математический журнал. 1977. Т. 18. №6. С. 1420-1421.

[20] Мурский В. Л. О числе /г-элементных алгебр с одной бинарной операцией без конечного базиса тождеств // Проблемы кибернетики. 1979. Т. 35. №1. С. 5-27.

[21] Мурский В. Л. Существование в трехзначной логике замкнутого класса с конечным базисом, не имеющего конечной полной системы тождеств // Доклады АН СССР. 1965. Т. 163. №4. С. 15-18.

[22] Наджарян H. Г. Комбинаторные соотношения в алгебрах с полиномиальными тождествами: Дисс. ... кандидата физ.-мат. наук. М: МГУ им. М. В. Ломоносова. 1980.

[23] Парфенов В. А. О проблеме Шпехта в б-алгебрах // Математические заметки. 1983. Т. 34. №2. С. 189-198.

[24] Полин C.B. О тождествах конечных алгебр // Сибирский математический журнал. 1976. Т. 17. №6. С. 1356-1366.

[25] Полин C.B. Тождества алгебры треугольных матриц // Сибирский математический журнал. 1980. Т. 21. №24. С. 206-215.

[26] Размыслов Ю. П. О конечной базируемое™ тождеств матричной алгебры второго порядка над полем характеристики нуль // Сибирский математический журнал. 1973. Т. 12. №1. С. 83-113.

[27] Размыслов Ю.П. Тождества алгебр и их представлений. М.: Наука. Гл. ред физ.-мат. лит. 1989. 432 с.

[28] Самойлов Л. М. Замечание о трехчленных тождествах в ассоциативных алгебрах // Математические заметки. 1999. Т. 65. №2. С. 254-260.

[29] Сапир М. В. Проблемы бернсайдовского типа и конечная базируемость в многообразиях полугрупп // Известия АН СССР. 1987. Т. 51. №2. С. 319-340.

[30] Сапир М. В. Существенно бесконечно базируемые конечные полугруппы // Математический сборник. 1987. Т. 133. №2. С. 154-166.

[31] Шеврин Л. Н., Волков М.В. Тождества полугрупп // Известия вузов. Математика. 1985. Т. 282. №11. С. 3-47.

[32] Amitsur S., Levitzki J. Minimal identities for algebras // Proceedings of the American Mathematical Society. 1950. Vol. 1. pp. 449-463.

[33] Aschenbrenner M., Hillar C. Finite generation of symmetric ideals // Trans. Amer. Math. Soc. 2007. Vol. 359. pp. 5171-5192.

[34] Birkhoff G. On the structure of abstract algebra // Proc. Cambridge Philos. Soc. 1935. Vol. 31. pp. 433-454.

[35] Cacioppo R. Non-finitely based pseudovarieties and inherently non-finitely based varieties // Semigroup Forum. 1993. Vol. 47. №2. pp. 223-226.

[36] Cohn P. M. A non-nilpotent Lie ring satisfying the Engel condition and a non-nilpotent Engel group // Proc. Cambridge Phil. Soc.: Math, and Phys. Sci. 1955. Vol. 51. №3. pp. 401-405.

[37] Freese R., McNulty G. F., Nation J.B. A modular inherently nonfinitely based lattice // Algebra Universalis. 2006. Vol. 55. №2-3. pp. 119-125.

[38] Freese R., McNulty G.F., Nation J.B. Inherently nonfinitely based lattices // Ann. Pure Appl. Logic. 2002. Vol. 115. №1-3. pp. 175-193.

[39] Hall M. Projective planes // Trans. Amer. Math. Soc. 1943. Vol. 54. pp. 229-277.

[40] Isaev I. M. Finite algebras with no independent basis of identities // Algebra Universalis. 1997. Vol. 37. №4. pp. 440-444.

[41] Kaplansky I. Rings with a polynomial identity // Bull. Amer. Math. Soc. 1948. Vol. 54. №6. pp. 575-580.

[42] Kruse R. Identities satisfied by a finite ring // Journal of Algebra. 1973. Vol. 26. №2. pp. 298-318.

[43] Lyndon R. C. Identities in finite algebras // Proc. Amer. Math. Soc. 1954. Vol. 5. №1. pp. 8-9.

[44] McKenzie R. A new product of algebras and a type reduction theorem //Algebra Universalis. 1984. Vol. 18. №1. pp. 29-69.

[45] McKenzie R. Tarski's finite basis problem is undecidable // Internat. J. Algebra Comput. 1996. Vol. 6. №1. pp. 49-104.

[46] McNulty G. F., Shallon C. R.Inherently nonfinitely based finite algebras // Lecture notes in mathematics. 1983. Vol. 1004. pp. 206-231.

[47] McNulty G.F., Szekély Z., Willard R. Equational complexity of the finite algebra membership problem // Internat. J. Algebra Comput. 2008. Vol. 18. №8. pp. 1283-1319.

[48] Neuman B. H. Identical relations in groups. I // Mathematische Annalen. 1937. Vol. 114. №1. pp. 506-525.

[49] Oates S., Powell M.B. Identical relations in finite groups // Journal of Algebra. 1964. Vol. 1. pp. 11-39.

[50] Perkins P. Bases of equational theories of semigroups // Journal of Algebra. 1969. Vol. 11. №2. pp. 293-314.

[51] Perkins P. Inherently non-finitely based finite algebras // Abstracts Amer. Math. Soc. 1980. Vol. 1. №6. p. 507.

[52] Shestakov I., Zaicev M. Polynomial identities of finite dimensional simple algebras // Communications in algebra. 2011. Vol. 39. №3. pp. 929-932.

[53] Specht W. Gesetze in Ringen, I // Mathematische Zeitschrift. 1950. Vol. 52. №5. pp. 557-589.

[54] Tarski A. Equational logic and equational theories of algebras // Contributions to Math. Logic (Colloquium, Hannover, 1966). North-Holland, Amsterdam, 1966. pp. 275-288.

[55] Tarski A. Equationally complete rings and relation algebras // Proc. Koninkl. Nederl. Akad. Wetensch. 1956. Vol. 59. №1. pp. 39-46.

[56] Vaughan-Lee M. R. Laws in finite loops // Algebra Universalis. 1979. Vol. 9. №3. pp. 269-280.

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

[57] Кислицин А. В. О тождествах пространств линейных преобразований над бесконечным полем // Известия Алтайского государственного университета. 2010. №1/2(65). С. 37-41.

[58] Исаев И. М., Кислицин А. В. Пример простой конечномерной алгебры, не имеющей конечного базиса тождеств // Доклады Академии наук. 2012. Т. 447. №3. С. 252-253.

[59] Isaev I.M., Kislitsin A.V. An Example of a Simple Finite-Dimensional Algebra with No Finite Basis of Identities // Doklady Mathematics. 2012. Vol. 86. №3. pp. 774-775.

[60] Isaev I.M., Kislitsin A.V. Example of simple finite dimensional algebra with no finite basis of its identities // Communications in Algebra. 2013. Vol. 41. №12. pp. 4593-4601.

[61] Исаев И. M., Кислицин А. В. Тождества векторных пространств и примеры конечномерных линейных алгебр, не имеющих конечного базиса тождеств // Алгебра и логика. 2013. Т. 52. №4. С. 435-460.

[62] Исаев И. М., Кислицин А. В. О тождествах пространств линейных преобразований / / Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 2-6 мая 2010 г.) [Электронный ресурс]. Режим доступа: http://www.math.nsc.ru/confercnce/malmeet/10/abstracts.pdf. С. 109.

[63] Исаев И. М., Кислицин А. В. О тождествах пространств линейных преобразований малых размерностей / / Тезисы международной конференции по теории колец, посвященной 90-летию со дня рождения А. И. Ширшова (Новосибирск, 14-18 июля 2011 г.). Новосибирск: Институт математики СО РАН. 2011. С. 44-45.

[64] Исаев И.М., Кислицин A.B. Базис тождеств пространства верхних треугольных матриц второго порядка // Сборник научных статей межрегиональной школы-семинара «Ломоносовские чтения на Алтае». 2010. 1 ч. С. 29-34.

[65] Исаев И. М., Кислицин А. В. О бесконечно базируемых векторных пространствах // Материалы 13-й региональной конференции по математике «МАК-2010» (Барнаул, июнь 2010 г.). Барнаул: Изд-во АлтГУ. 2010. С. 23-24.

[66] Исаев И. М., Кислицин А. В. О тождествах пространств линейных преобразований небольших размерностей // Материалы 14-й региональной конференции по математике «МАК-2011» (Барнаул, июнь 2011 г.). Барнаул: Изд-во АлтГУ. 2011. С. 12-13.

[67] Исаев И.М., Кислицин A.B. О тождествах векторных пространств, вложимых в ассоциативно-коммутативные алгебры // материалы I международной научно-практической конференции «Фундаментальные науки и образование» (Бийск, февраль 2012 г.). Бийск: ФГБОУ ВПО «АГАО». 2012. С. 72-73.

[68] Исаев И. М., Кислицин А. В. О вложениях бесконечно базируемых векторных пространств в конечно базируемые // Материалы 15-й региональной конференции по математике «МАК-2012» (Барнаул, июнь 2012 г.). Барнаул: Изд-во АлтГУ. 2012. С. 16-17.

[69] Исаев И. М., Кислицин А. В. О тождествах векторных пространств малых размерностей // Сборник научных статей международной школы-семинара «Ломоносовские чтения на Алтае». 2012. 1 ч. С. 216-218.

[70] Кислицин А. В. Пример центральной простой коммутативной конечномерной алгебры, не имеющей конечного базиса тождеств / / Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 12-

16 ноября 2012 г.) [Электронный ресурс]. Режим доступа: http://www.math.nsc.ru/conference/malmeet/12/malmeet_2012.pdf. С. 112.

[71] Кислицин А. В. О конечной базируемости конечномерных векторных пространств // Сборник научных статей международной школы-семинара «Ломоносовские чтения на Алтае». 2013. 1 ч. С. 95-100.

[72] Исаев И.М., Кислицин A.B. Тождества векторных пространств, вложенных в ассоциативные алгебры // Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 11-15 ноября 2013 г.) [Электронный ресурс]. Режим доступа: http://www.math.nsc.ru/conference/malmeet/13/malmeet_2013.pdf. С. 131.

[73] Кислицин А. В. О конечной базируемости тождеств некоторых классов векторных пространств // Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 11-15 ноября 2013 г.) [Электронный ресурс]. Режим доступа: http: / / www.math.nsc.ru/conference/malmeet/13/malmcet_2013.pdf. С. 132.

Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.