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

Кислицин, Алексей Владимирович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Барнаул МЕСТО ЗАЩИТЫ
2014 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Диссертация по математике на тему «Тождества векторных пространств, вложенных в линейные алгебры, и примеры конечномерных алгебр, не имеющих конечного базиса тождеств»
 
Автореферат диссертации на тему "Тождества векторных пространств, вложенных в линейные алгебры, и примеры конечномерных алгебр, не имеющих конечного базиса тождеств"

На правах рукописи .л/]/

Кислицин Алексей Владимирович

ТОЖДЕСТВА ВЕКТОРНЫХ ПРОСТРАНСТВ, ВЛОЖЕННЫХ В ЛИНЕЙНЫЕ АЛГЕБРЫ, И ПРИМЕРЫ КОНЕЧНОМЕРНЫХ АЛГЕБР, НЕ ИМЕЮЩИХ КОНЕЧНОГО БАЗИСА ТОЖДЕСТВ

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

АВТОРЕФЕРАТ

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

31 ИЮЛ 2014

Барнаул — 2014

005550912

005550912

Работа выполнена в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования «Алтайская государственная педагогическая академия». Научный руководитель:

кандидат физико-математических наук, доцент Исаев Исмаил Мусаевич. Официальные оппоненты:

Пчелинцев Сергей Валентинович, доктор физико-математических наук, профессор, Федеральное государственное образовательное бюджетное учреждение высшего профессионального образования «Финансовый университет при Правительстве Российской Федерации», профессор кафедры «Математика-1»;

Гончаров Максим Евгеньевич, кандидат физико-математических наук, Федеральное государственное бюджетное учреждение науки «Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук», научный сотрудник лаборатории теории колец. Ведущая организация:

Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Уральский федеральный университет имени первого Президента России Б. Н. Ельцина».

Защита диссертации состоится 18 сентября 2014 г. в 15 ч. 00 мин. на заседании диссертационного совета Д 003.015.02 при Федеральном государственном бюджетном учреждении науки «Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук» по адресу: 630090, Новосибирск, пр. Акад. Коптюга, 4.

С диссертацией можно ознакомиться в библиотеке Федерального государственного бюджетного учреждения науки «Институт математики им. С. Л. Соболева Сибирского отделения Российской академии наук» и на сайте www.math.nsc.ru.

Автореферат разослан л » Ш'йАХ^ Ученый секретарь диссертационного совета кандидат физико-математических наук, доцент

Стукачев Алексей Ильич

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

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

Одной из центральных задач при изучении тождеств конечных алгебр является проблема, сформулированная в 1966 году А. Тар-ским [17]: будет ли множество всех конечно базируемых конечных алгебр фиксированной сигнатуры, содержащей по крайней мере одну двуместную операцию, рекурсивно? В 1996 году Р. МакКензи решил проблему Тарского отрицательно [14]. Однако, проблему Тар-ского можно изучать в конкретных классах конечных алгебр. Ясно, что эта проблема имеет содержательный смысл лишь в тех классах конечных алгебр, в которых существуют как КБ-алгебры, так и НКБ-алгебры. Поэтому важным направлением в изучении многообразий алгебр является построение примеров конкретных конечных алгебр, не имеющих конечного базиса тождеств.

Примеры таких алгебр приведены: в классе группоидов - Р. Лин-доном [13] и В. Л. Мурским [6], в классе полугрупп - П. Перкин-сом [15], в классе луп - М. Р. Воон-Ли [18], в классе колец и линейных алгебр - C.B. Полиным [7].

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

конечного базиса тождеств. Таким образом, конечная СББ-алгебра определяет в классе алгебр целую серию НКБ-алгебр.

Первые примеры СББ-группоидов приведены В. Л. Мурским [5] и П. Перкинсом [16]. М. В. Сапир привел пример СББ-полугруппы [9]. В классе колец и линейных алгебр пример конечной СББ-алгебры привел И. М. Исаев [2]. М. В. Сапир в 1987 году получил полное описание негрупповых СББ-многообразий полугрупп [10].

Р. Фриз, Дж. МакНалти и Дж. Нейшн в 2002 году указали метод построения СББ-решеток [12]. Этими же авторами в 2006 году построен пример существенно бесконечно базируемой модулярной решетки [11].

В 1978 году И.В. Львов построил пример конечномерной неассоциативной алгебры V = V ф Е (здесь V - конечномерное векторное пространство, Е = Епс1рУ) над полем F, тождества которой не задаются конечным набором тождеств [3]. Ясно, что V е ф = Var(a:(yz) — 0). Всякое тождество алгебры V — V ф Е эквивалентно (по модулю x(yz) = 0) конечной системе тождеств вида zf(RXl, RX2,..., RXn) = 0, где f(xi, Х2,..., хп) - тождество векторного пространства Е, Rx - оператор правого умножения на элемент х в свободной алгебре многообразия ф [3].

В 1973 году Ю.П. Размыслов при описании тождеств алгебры матриц второго порядка ввел понятие слабого тождества ассоциативно лиевой пары (А, L) (здесь L - алгебра Ли, А - ее ассоциативная обертывающая алгебра), т. е. ассоциативного многочлена f(x\,x2, ■ ■.,хп), который обращается в нуль в алгебре А при подстановке вместо переменных любых элементов из L [8].

Пусть далее Е - векторное пространство, являющееся подпространством линейной алгебры А. Будем называть тождеством векторного пространства Е (вложенного в линейную алгебру А) слабое тождество пары (А,Е), т.е. такой неассоциативный многочлен f(x i, х2,... ,хп) € F(X), что f(e \,е2,.. ■, е„) = 0в алгебре А при всех ei,e2,...,en е Е.

Пусть G С F(X) — подмножество абсолютно свободной алгебры. Класс всех пар (А,Е) (Е - векторное пространство, А - обертывающая алгебра пространства Е), в которых выполняются все тождества вида g = 0, где g 6 G, будем называть L-многообразием, задан-

ным множеством тождеств О. Если б - множество тождеств пары (А,Е), где Е - векторное пространство, А - обертывающая алгебра пространства Е, то ¿-многообразие, заданное множеством тождеств С?, будем называть Ь-многообразием векторных пространств, порожденным векторным пространством Е и обозначать Улг^Е.

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

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

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

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

= X] (-1)аги(х<т(1)^х(т[2), ■ ■ ■ ,^а[п)<У1,У2, ..-,Ук) = 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2) построены новые примеры конечномерных НКБ-алгебр из многообразия ф = Уаг(а:(уг) = 0); построен пример центральной простой конечномерной НКБ-алгебры; построен пример централь-

ной простой коммутативной конечномерной НКБ-алгебры над полем нулевой характеристики.

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

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

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

Апробация работы. Результаты диссертации докладывались на семинаре по теории колец кафедры алгебры и теории чисел Алтайского государственного университета (Барнаул, 2008-2009 гг.); на семинаре по теории колец кафедры алгебры и методики обучения математике Алтайской государственной педагогической академии (Барнаул, 2010-2014 гг.); на международной конференции по теории колец, посвященной 90-летию со дня рождения А. И. Ширшова (Новосибирск, Институт математики СО РАН, 2011 г.); на международной конференции «Фундаментальные науки и образование» (Бийск, АГАО, 2012 г.); на семинаре по теории колец им. А. И. Ширшова Института математики СО РАН (Новосибирск, апрель 2012 г.); на международной конференции «Ломоносовские чтения на Алтае» (Барнаул, Алтайская государственная педагогическая академия, Алтайский государственный университет, 2010, 2012, 2013 гг.); на международной конференции «Мальцевские чтения» (Новосибирск, Институт мате-

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

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

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

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

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

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

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

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

1. Векторное пространство Е = (е11,е12,езз,е4з)р над произвольным полем Е не имеет конечного базиса тождеств (теоремы 1.1 и 1.2).

2. Векторное пространство Т2(Е) = (еп, е12, е22)Р над произвольным полем Е является СНКБ-пространством; в частности, пространство Т2(Е) не имеет конечного базиса тождеств (теоремы 1.3, 1.4, 1.7).

3. Векторное пространство Т2{ОЕ(ц)) = (еп, е12, е22}СР(1?) над конечным полем 6^(17) является СББ-пространством (теорема 1.6).

4. Векторное пространство Е0 = (ец + ех2, е22)Р над полем Е нулевой характеристики является СНКБ-пространством; в частности, векторное пространство Е0 не имеет конечного базиса тождеств (теоремы 1.5 и 1.8).

5. Подпространство Е2 = {ец,е12,езз,е4з)^ алгебры матриц М3(^) не является СНКБ-пространством и СББ-пространством в случае конечного поля (теорема 1.9).

Во всех построенных примерах явно указаны бесконечные базисы тождеств соответствующих векторных пространств внутри А. Поскольку любое одномерное векторное пространство имеет конечный базис тождеств внутри Л, векторное пространство Е0 имеет минимальную размерность среди НКБ-пространств.

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

Теорема 1.11. Пусть А - конечномерное векторное пространство над полем F нулевой характеристики, являющееся одновременно ассоциативной F-алгеброй с единицей. Векторное пространство А имеет конечный базис тождеств внутри А тогда и только тогда, когда ГдСР) 2 УагЬА.

Теорема 1.12. Пусть А - конечномерное векторное пространство над полем Р нулевой характеристики, являющееся одновременно ассоциативной Р-алгеброй с единицей. Векторное пространство А сильно бесконечно базируемо внутри А тогда и только тогда, когда Г2(^) е УатьА.

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

Теорема 1.13. Векторное пространство V над полем Р, вложенное в ассоциативно-коммутативную Р-алгебру, имеет конечный базис тождеств.

Теорема 1.14. Векторное пространство V над полем Р, вложенное в произвольную (не обязательно ассоциативную) нильпотентную Р-алгебру, имеет конечный базис тождеств.

Теорема 1.15. Пусть V - векторное пространство над полем F нулевой характеристики, вложенное в ассоциативную Р-алгебру. Если V удовлетворяет одному из тождеств [х,у)г = 0 или х[у, г] = 0, то оно имеет конечный базис тождеств.

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

Теорема 1.16. Тождества Ь-многообразия А векторных пространств, вложенных в ассоциативные алгебры, не следуют из конечного набора тождеств, выполняющихся в этом Ь-многообразии. Теорема 1.17. Тождества Ь-многообразия С. векторных пространств, вложенных в алгебры Ли, не следуют из конечного набора тождеств, выполняющихся в этом Ь-многообразии.

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

В параграфе §2.1 приведены основные обозначения, используемые во второй главе, сформулированы основные определения. Помимо этого, доказаны леммы о связи тождеств неассоциативных алгебр из многообразия ф = (х(уг) = 0) с тождествами векторных пространств, вложенных в ассоциативные алгебры.

В параграфе §2.2 на основе лемм 2.1 и 2.2 и результатов предыдущей главы доказаны следующие факты:

1. Алгебра А = У®Е, где V = (ииь2,у3,у4)г и Е = (еп, е12, е33,

и ненулевые произведения базисных элементов определяются правилом VI ■ ец = у, (1 < г, j < 4), не имеет конечного базиса тождеств (теоремы 2.1 и 2.2).

2. Алгебра А = = (иь и2, еи, ег2, е22)^, где ненулевые произведения базисных элементов определяются правилом ■ еУ = уз (! < г < 3 < 2), является СНКБ-алгеброй; в частности, алгебра А не имеет конечного базиса тождеств (теоремы 2.3-2.5).

3. Алгебра А = <г;ьг;2,еп + е12,е22)Р над полем Р нулевой характеристики является СНКБ-алгеброй; в частности, алгебра А не имеет конечного базиса тождеств (теоремы 2.6 и 2.7).

4. НКБ-алгебра А = (и1,и2.1>з,и1,еп,е12,езз,е4з)^ не является СНКБ-алгеброй и СББ-алгеброй в случае конечного поля (теоремы 2.8 и 2.9).

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

Отметим, что в пункте 3 построен пример четырехмерной неассоциативной НКБ-алгебры. Ранее был известен пример пятимерной неассоциативной НКБ-алгебры [4].

Основным результатом параграфа § 2.3 является следующее утверждение.

Теорема 2.10. Пусть В = (1, иь ь2, е1Ь е12, е22,р)Р ~ алгебра над произвольным полем Р, где 1 - единица и ненулевые произведения базисных элементов, отличных от единицы, определяются следующими правилами: = у2р = 1. Алгебра В является простой центральной Р-алгеброй, не имеющей конечного базиса тождеств.

В частности, если char F = 0, теорема 2.10 дает положительный ответ на вопрос И. П. Шестакова [1, вопрос 3.103].

Параграф § 2.4 продолжает исследование вопроса И. П. Шестакова в случае коммутативных алгебр. Доказана справедливость следующего утверждения.

Теорема 2.11. Пусть С = (1, vu v2, е1Ь е12, е22, p)F - алгебра надполем F нулевой характеристики, где 1 - единица и ненулевые произведения базисных элементов, отличных от единицы, определяются следующими правилами: vieij = eijVi = Vj, v2p = pv2 = 1. Алгебра С является простой центральной коммутативной F-алгеброй, не имеющей конечного базиса тождеств.

Благодарности. Автор выражает глубокую благодарность своему научному руководителю доценту Исмаилу Мусаевичу Исаеву за постановку задач, постоянное внимание к работе и чуткое научное руководство. Автор также искренне благодарит профессора Ю. Н. Мальцева за конструктивную критику и полезные обсуждения, и заведующего кафедрой алгебры и методики обучения математике Алтайской государственной педагогической академии доцента Ю.А. Мото-ринского за всестороннюю помощь и поддержку.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[22] 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.

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

[24] Исаев И. М., Кислицин А. В. О тождествах пространств линейных преобразований // Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 2-6 мая 2010 г.) [Электронный ресурс]. Режим доступа:

http://www.math.nsc.ru/conference/malmeet/10/abstracts.pdf. -С. 109.

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

[26] Исаев И. М., Кислицин А. В. Базис тождеств пространства верхних треугольных матриц второго порядка // Сборник научных

статей межрегиональной школы-семинара «Ломоносовские чтения на Алтае». 2010. 1 ч. С. 29-34.

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

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

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

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

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

[32] Кислицин A.B. Пример центральной простой коммутативной конечномерной алгебры, не имеющей конечного базиса тождеств // Мальцевские чтения: тезисы докладов международной конференции по математике (Новосибирск, 12-16 ноября 2012 г.) [Электронный ресурс]. Режим доступа: http://www.math.nsc.ru/conference/malmeet/12/ malmeet_2012.pdf. С. 112.

[33] Кислицин A.B. О конечной базируемости конечномерных векторных пространств // Сборник научных статей международ-

ной школы-семинара «Ломоносовские чтения на Алтае». 2013. 1 ч. С. 95-100.

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

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

Кислицин Алексей Владимирович

ТОЖДЕСТВА ВЕКТОРНЫХ ПРОСТРАНСТВ, ВЛОЖЕННЫХ В ЛИНЕЙНЫЕ АЛГЕБРЫ, И ПРИМЕРЫ КОНЕЧНОМЕРНЫХ АЛГЕБР, НЕ ИМЕЮЩИХ КОНЕЧНОГО БАЗИСА ТОЖДЕСТВ

Автореферат

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

Подписано в печать 18.07.2014 г. Объем 1,1 уч.-изд. л. Формат 60x84/16. Бумага офсетная. Тираж 100 экз. Заказ №1764. Отпечатано в типографии «Концепт», 656049, г. Барнаул, пр-т Социалистический, 85, т./ф.: (3852) 36-82-51, concept-print.ru