Скелеты локально-конечных конгруэнц-модулярных многообразий и многообразий решеток тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

На правах рукописи

Мордвинов Яков Леонидович РГБ ОД

♦ • • 2 3 ОПТ №

Скелеты локально-конечных

конгруэнц-модулярных многообразий и многообразий решеток

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

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Новосибирск — 2000

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

Научный руководитель: доктор физико-математических наук

профессор Пинус: Александр Георгиевич

Официальные оппоненты: доктор физико-математических наук

профессор

Мартынов Леонид Матвеевич

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

Болыют Александр Дмитриевич Ведущая организация: Уральский государственный университет

Защита состоится « 9 » ¡■соя^г-Л- 2000 г. в часов на заседании специализированного совета К 064.36.02 при Омском государственном университете по адресу: Омск, пр. Мира, 55.

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

Автореферат разослан « » ¿¿-»с-^г-г-^^с- 2000 г.

Ученый секретарь специализированного совета

д.ф.-м.н., профессор ^ / ^ В. А. Романьков.

3/Г2, У" 03

;

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

Актуальность темы. При изучении строения различных классов алгебраических систем можно выделить два основных подхода: построение и изучение различных представлений систем из этого класса и изучение самого класса или систем из него при отождествлении изоморфных алгебраических систем. Такое отождествление, т. е. рассмотрение изоморфных алгебраических систем как единого объекта, типа изоморфизма, происходит в большом числе вопросов теории моделей и современной алгебры. В качестве одного лишь примера подобного вопроса назовем проблему спектра класса, т. е. нахождение числа неизоморфных систем данного класса, имеющих фиксированную мощность. А. Тар-ским, в монографиях [33,36], была поставлена задача изучения различных операций и отношений, которые возникают между типами изоморфизма алгебраических систем данного класса при перенесении на типы изоморфизма "алгебраически значимых" операций и отношений между алгебраическими системами. При изучении строения многообразий, в силу теоремы Г. Биркгофа [28], описывающей многообразия как классы алгебр, замкнутые относительно подалгебр, гомоморфных образов и декартовых произведений, важнейшая роль принадлежит изучению отношений "быть подалгеброй", "быть гомоморфным образом" и операции декартова произведения. Решению задачи А. Тарского служит изучение так называемых скелетов многообразий алгебраических систем, введенных в систематическое изучение А. Г. Пинусом [10]. С решением отмеченной выше задачи А. Тарского и связана данная диссертация.

Введем некоторые обозначения. Готическими буквами 21, С, © с верхними и нижними индексами будем обозначать алгебры. Букву <8 (с индексами) используем только для булевых алгебр. Классы алгебр будем обозначать буквами Л, (возможно с индексами). Для любого кардинала К и любого класса алгебр Я через Л« обозначаем совокупность Я-алгебр мощности, не большей чем К.

Если Я — некоторый класс алгебр, то через Эй обозначим совокупность типов изоморфизма Я-алгебр. Заметим, что традиционный вопрос о спектре класса Я является вопросом о мощностях множеств ЭЯК. Здесь Ян = {21 € Я : |21| = К}. Если а,с € ЭЯ, т. е. являются типами изоморфизма некоторых Я-алгебр 21, С, то пусть а < с (а<с) имеет место тогда и только тогда, когда алгебра 21 изоморфна некоторой подалгебре алгебры € (21 является гомоморфным образом алгебры €). Для любого класса алгебр Я отношения <, <С являются отношениями квазипорядка

на ЗЯ.

Скелетом вложимости многообразия Ш (скелетом эпиморфнос-ти Ш1) назовем квазиупорядоченный класс (39Л; <) С)); Н-

ограниченным скелетом вложимости (эпиморфности) многообразия Ш будем называть В частности, счетным скелетом

вложимости (эпиморфности) многообразия Ш называется квазиупоря-доченное множество (99Як0;<) ((ЗОЛк0; <С)).

Дважды квазиупорядоченный класс <, <5С) называется двой-

ным скелетом многообразия 9Я. Будем говорить, что отношения вложимости < и эпиморфности независимы (финитно независимы) на многообразии Ш. если любое (любое конечное) дважды квазиупорядоченное множество (Л;<1, <2) изоморфно вложимо в двойной скелет многообразия Ш.

Заметим, что скелеты вложимости и эпиморфности многообразий занимают промежуточное положение между такими традиционными объектами универсальной алгебры как "грубые" решетки подмногообразий с одной стороны и "тонкие" решетки конгруэнций и подалгебр — с другой. Действительно, как нетрудно заметить, для любого многообразия ГО1 существуют изотонные отображения скелетов эпиморфности и вложимости многообразия Ш на решетку подмногообразий этого многообразия. С другой стороны, для любого бесконечного кардинала К существует антиизотонное отображение решетки конгруэнций ЯЛ-свободной Н-порожденной алгебры на ^-ограниченный скелет эпиморфности Ш (существует изотонное отображение решетки подалгебр К-универсальной по вложимости 9Я-алгебры на К-ограниченный скелет вложимости ЯЛ).

Отметим, что эпизодическое изучение различных вопросов, связанных со скелетами конкретных многообразий и некоторых других классов алгебраических систем, проводилось в целом ряде работ различных авторов. В работах Бонне [29,31] изучался скелет вложимости некоторых подклассов многообразия булевых алгебр. Большое число работ посвящено изучению скелетов вложимости и эпиморфности класса линейно упорядоченных множеств. Среди них работы Фрессе, Поуза, Бонне, Лавера, Ландрайтиса и других. Сводку результатов такого рода можно найти в монографии Фрессе [32]. В ряде работ А. Г. Пинуса [1-6,8,9] также изучались'вопросы, связанные со скелетами вложимости и эпиморфности класса линейных порядков. Наиболее значимым из результатов о скелетах эпиморфности и вложимости класса линейных порядков, по-видимому, является результат Лавера [34,35], давшего положительное решение проблемы Фрессе и доказавшего, что счетный скелет вложи-

мости класса всех линейно упорядоченных множеств является лучшим квазипорядком и, в частности, не содержит бесконечно убывающих цепей и бесконечных антицепей. Большое число результатов о строении скелетов конгруэнц-дистрибутивных многообразий содержится в работах А. Г. Пинуса [7,10-27].

Основное внимание в данной диссертации уделено изучению скелетов конгруэнц-модулярных многообразий. Этот класс многообразий играет заметную роль в современной алгебре. Примерами конгруэнц-модулярных многообразий являются все многообразия групп и колец, булевых алгебр и решеток, весь класс дискриминаторных многообразий, включающий в себя такие многообразия как многообразия алгебр Поста, цилиндрических алгебр, реляционных алгебр, многообразия, порожденные конечным множеством конечных полей, и целый ряд других. Известна ^е^цение Балдвином-Маккензи [30] проблемы спеектра для кла<^^конгруэЙц-модулярньгх многообразий: для любого такого многообразия 9Л, любого бесконечного кардинала К число типов изоморфизма 0Л-алгебр, имеющих мощность К, максимально и равно 2К. Тем самым, есть основания полагать, что и скелеты вложимости и эпиморфности конгруэнц-модулярных многообразий будут достаточно богаты и обладают развитой теорией.

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

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

Цель работы. Исследование вопроса о возможности перенесения ряда результатов о строении скелетов конгруэнц-дистрибутивных многообразий на более широкий класс конгруэнц-модулярных многообразий. Описание дискриминаторных многообразий с полурешеточными счетными скелетами. Исследование строения скелетов многообразий решеток.

Общая методика исследования. При изучении скелетов многообразий ключевую роль играет изучение решеток конгруэнций алгебр этих многообразий. В частности, изучение строения частично упорядоченных множеств главных конгруэнций алгебр, построенных с помощью различных булевых конструкций: булевых, фильтрованных булевых и конгруэнц-булевых степеней. Широко используются в диссертации методы теории булевых алгебр, и пережде всего рассмотрение стоуновских пространств.' Разнообразные применения находят результаты теории коммутаторов для конгруэнц-модулярных многообразий, а также теории линейно упорядоченных множеств.

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

Основные результаты диссертации:

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

2. Описание конгруэнц-дистрибутивных многообразий, имеющих фактор-линейный счетный скелет эпиморфности, расширено до класса неабелевых конгруэнц-модулярных многообразий. Сформулированы необходимые условия того, чтобы конгруэнц-модулярное абелево многообразие имело фактор-линейный счетный скелет эпиморфности.

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

4. Доказано, что для любого нетривиального многообразия решеток Ш счетный скелет вложимости Ш и счетный скелет эпиморфности 9Я не являются полурешетками. Исследована проблема существования покрытий элементов в скелетах эпиморфности многообразий решеток. До-

казана независимость отношений вложимости и эпиморфности на многообразии всех решеток.

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

Апробация. Результаты диссертации были представлены на первой и третьей международных школах по пограничным вопросам теории моделей и универсальной алгебры (Эрлагол 1995, 1999), на международной летней школе по общей алгебре и упорядоченным множествам (Злин 1999), на международной конференции по математической логике памяти А. И. Мальцева (Новосибирск 1999), на семинарах "Алгебра и логика", "Теория моделей" (Новосибирск 1991, 1993). Результаты диссертации отражены в публикациях автора [37-42]. Работы [40-42] написаны в нераздельном соавторстве.

Объем и структура работы. Диссертация изложена на 79 страницах и состоит из 4 глав. Глава 1 посвящена мотивации работы и некоторым вспомогательным результатам. В главе 2 исследуются скелеты вложимости и эпиморфности конгруэнц-модулярных многообразий, в главе 3 — решеточные свойства скелетов дискриминаторных многообразий и многообразий решеток, в главе 4 рассмотрены скелеты многообразий решеток. Библиография состоит из 58 наименований.

Краткое содержание диссертации

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

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

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

Для квазиупорядоченного множества (А; <) через =< обозначим эквивалентность на А, естественным образом связанную с квазипорядком < (а =< Ъ тогда и только тогда, когда а < Ь и Ъ < а). Через (А/ =<; <) будем обозначать результат факторизации квазипорядка (А; <) по эквивалентности =<,

Квазиупорядоченное множество (А; <) назовем фактор-линейно упорядоченным, если линейно упорядочено множество (А/ =<;<). Говоря о том, что скелет вложимости многообразия Ш является решеткой, будем иметь в виду, что решеткой является частично упорядоченный класс (ЗЯЯ/=<;<).

Элемент Ь 6 А является покрытием элемента а £ А в квазиупоря-доченном множестве (А; <), если а < Ь, Ь £ а и для любого с 6 А неравенства а<с<Ь влекут одно из равенств с = а или с = Ь.

Элемент а € 01 будем называть идемпотентным элементом алгебры 21 или просто идемпотентом, если для любой главной операции / алгебры 21 /(а,..., а) = а. Очевидно, что если а — идемпотент алгебры 21, то 31 содержит подалгебру с носителем {а}.

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

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

СЛЕДСТВИЕ 2.4. Пусть многообразие Ш конгруэнц-модулярно, локально конечно и неразрешимо. Тогда:

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

2) (К.Г.) В ($НОТ;<с) имеются неуплотняемые цепи порядковых типов множества всех действительных чисел и класса всех ординалов.

3) (К.Г.) Элементарная теория (ЭШ1; неразрешима.

Если к тому же Ш имеет продолжимые конгруэнции, то:

4) Для любого несчетного кардинала N любое квазиупорядоченное множество мощности, не превышающей изоморфно вложимо в К-ограпиченпый скелет вложимости многообразия Ш.

5) (К.Г.) Отношения вложимости и эпиморфности локально независимы на Ш, т. е. любое конечное дважды квазиупорядоченное множество изоморфно вложимо в двойной скелет (ЭЯКц; •С, <) многообразия 9Л.

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

ТЕОРЕМА 2.1. Если 21 — подпрямо неразложимая алгебра с неабе-левым монолитом /?, многообразие 9Л(21) конгруэнц-модулярно, 95 — булева алгебра, и 21<в(/?) — конгруэнц-булева степень алгебры 21, то для любых /,д,Ъ,,к 6 21®(/?) включение (И, к) £ #21® (/?) (/> 5) имеет место тогда и только тогда, когда (Н(х),к(х)) € 0а(/(я),9(х)) для всех х€ 95*.

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

нейными скелетами. В параграфе 2 главы 2 получен следующий результат.

ТЕОРЕМА 2.2. Счетный скелет, эпиморфности неабелевого кон-груэнц-модулярного многообразия фактор-линейно упорядочен тогда и только тогда, когда это многообразие порождается квазипримальной алгеброй без собственных подалгебр. При этом (ЭОТк; <С) — ь)\ + 1", т. е. является минимальным. Из фактор-линейной упорядоченности счетного скелета эпиморфности неабелевого конгруэнц-модуляр-ного многообразия Ш следует совпадение скелетов эпиморфности и вложимости класса ЯЛ'Ко.

Выше уже отмечалось, что счетные скелеты вложимости не локально конечных дискриминаторных многообразий не являются ни верхними, ни нижними полурешетками. В связи с этим естественный вопрос — описание локально конечных дискриминаторных многообразий с полурешеточными счетными скелетами вложимости. Ответ на этот вопрос дан в главе 3.

ТЕОРЕМА 3.5. Пусть Ш — локально конечное дискримипаторное многообразие конечной сигнатуры и <) — нижняя полурешет-

ка. Тогда:

1) для всякой простой Ш-алгебры 21 выполнены условия:

а) 21 — квазипрималъная алгебра без неодноэлементных собственных подалгебр;

б) 21 содержит идемпотентный элемент;

в) для любых двух идемпотентных элементов алгебры 21 существует автоморфизм алгебры 21, переводящий один из этих элементов в другой;

2) множество конечно и Шц0;<) й (ш1+1*)п, где п=

в частности (39Яц0;<) является дистрибутивной решеткой конечной ширины.

Верно и обратное утверждение, если дискримипаторное многообразие Ш конечной сигнатуры порождено конечным числом квазипри-малъных алгебр с условиями "а"-"в", то ; <) — нижняя полу-

решетка.

ТЕОРЕМА 3.6. Пусть Ш1 — локально конечное дискримипаторное многообразие конечной сигнатуры и ; <) — верхняя полурешет-

ка. Тогда:

1) для всякой простой Ш-алгебры 2I выполнены условия:

о; 21 — квазипримальная алгебра без пеодпоэлементных собственных подалгебр;

б) для любых двух идемпотпентных элементов алгебры 21 существует автоморфизм алгебры 21, переводящий один из этих элементов в другой;

2) множество $>9% конечно и <) = Ьп, где п = |3'ЙЯ5|, а

Ьп — верхняя полурешетка, получаемая из решетки (и>1 + 1*)п удалением наименьшего элемента.

Верно и обратное утверждение, если дискриминаторное многообразие Ш конечной сигнатуры порождено конечным числом квазипри-малъных алгебр с условиями "а", "б", то (Э9Я^о;<) — верхняя полурешетка.

Доказательство этих теорем основано на построении стоуновских пространств с набором необходимых свойств и использовании фильтрованных булевых степеней.

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

ТЕОРЕМА 4.1. Для любого нетривиального многообразия решеток Ш счетный скелет вложимости многообразия 2Л не является полурешеткой.

В силу доказанной в этом же параграфе ретрактивности счетных дистрибутивных решеток получаем

СЛЕДСТВИЕ 4.2. Счетный скелет эпиморфности любого нетривиального многообразия решеток не является полурешеткой.

В ряде работ А. Г. Пинуса найден целый ряд достаточных условий существования покрытий элементов в скелетах эпиморфности конгруэнц-дйстрибутивных многообразий. Однако оставался открытым вопрос: любая ли алгебра конгруэнц-дистрибутивного многообразия имеет покрытие в скелете эпиморфности этого многообразия. В связи с этим представляет интерес следующий результат, доказанный в параграфе 2 главы 4.

СЛЕДСТВИЕ 4.3. Если ОЯ произвольное нетривиальное многообразие решеток с нулем (с единицей), то любая Ш-решетка имеет покрытие в скелете эпиморфности многообразия Ш.

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

А. Г. Пинусом была доказана финитная независимость отношений вложимости и эпиморфности на произвольном конгруэнц-дистрибутивном многообразии со свойством продолжимости конгруэнций. (Как известно, многообразие всех решеток последним свойством не обладает.) Представлялся естественным вопрос: в каких ситуациях можно говорить о большем — о независимости этих отношений. В параграфе 3 главы 4 подобная независимость доказана для многообразия всех решеток.

ТЕОРЕМА 4.5. (ОКГ) Отношения эпиморфности и вложимости независимы на многообразии всех решеток.

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

Литература

[1] Пинус А.Г. О числе попарно несравнимых порядковых типов // Сиб. мат. журнал. 1973. Т.14. №1. С.229-234.

[2] Пинус А. Г. Лексикографические степени линейно упорядоченных множеств // Сиб. мат. журнал. 1973. Т.14. №3. С.684-690.

[3] Пинус А.Г. (¿¿-рассеяные множества и вложения линейных порядков // Алгебраические системы. Иркутск, изд-во ИрГУ. 1976. С.154-163.

[4] Пинус А.Г. Совокупности попарно несравнимых линейных порядков данной степени рассеяности // Известия вузов. Математика. 1979. №7. С. 62-65.

[5] Пинус А.Г. Слабая коммутативность рассеяного суммирования линейных порядков // Сиб. мат. журнал. 1980. Т.21. №2. С.155-159.

[6] Пинус А.Г. Вложения лексикографических произведений линейных порядков // Упорядоченные множества и решетки. Саратов, изд-во СГУ. 1980. №6. С.52-63.

[7] Пинус А.Г. Спектр жестких систем хорновых классов // Сиб. мат. журнал. 1981. Т.22. №5. С.153-157.

-12-

[8] Пинус А.Г. Об отношенияж вложимости и эпиморфности на линейных порядках // Упорядоченные множества и решетки. Саратов, изд-во СГУ. 1982. №8. С.81-91.

[9] Пинус А.Г. Элементарные теории полугрупповых операций на классе линейных порядков // ВИНИТИ. №4116-82. Деп.1982.

[10] Пинус А.Г. Об отношениях вложимости и эпиморфности на конгруэнц-дистрибутивных многообразиях // Алгебра и логика. 1985. Т.24. №5. С.588-607.

[11] Пинус А.Г. Конгруэнц-модулярные многообразия алгебр // Иркутск, изд-во ИрГУ. 1986.

[12] Пинус А.Г. О простых счетных скелетах эпиморфности конгруэнц-дистрибутивных многообразий Ц Известия вузов. Математика. 1987. №11. С.67-70.

[13] Пинус А.Г. О квазипростых алгебрах // Исследования алгебраических систем по свойствам их подсистем. Свердловск, изд-во УрГУ. 1987. С.108-118.

[14] Пинус А.Г. О покрытиях в скелетах эпиморфности многообразий алгебр // Алгебра и логика. 1988. Т.27. №3. С.316-326.

[15] Пинус А.Г. Конгруэнц-дистрибутивные многообразия алгебр // Итоги науки и техники. ВИНИТИ. Сер. "Алгебра. Топология. Геометрия." 1988. Т.26. С.311-323.

[16] Пинус А.Г. Элементарная теория скелетов эпиморфности конгру-энц-дистрибутивных многообразий // Известия вузов. Математика.

1989. т. С. 14-17.

[17] Пинус А.Г. О числе несравнимых в счетных скелетах эпиморфности дискриминаторных многообразий // Алгебра и логика. 1989. Т.28. №3. С.311-323.

[18] Пинус А.Г. О счетных скелетах вложимости дискриминаторных многообразий // Алгебра и логика. 1989. Т.28. №5. С.597-607.

[19] Пинус А.Г. Об интервалах и цепях в скелетах эпиморфности конгруэнц-дистрибутивных многообразий // Алгебра и логика.

1990. Т.29. т. С.207-219.

[20] Пинус А.Г. Многообразия с простым счетным скелетом вложимости // Сиб. мат. журнал. 1990. Т.31. №1. С.127-134.

[21] Пинус А.Г. О счетных скелетах конечно порожденных дискриминаторных многообразий // Сиб. мат. журнал. 1992. Т.ЗЗ. №2. С. 190195.

[22 [23 [24 [25 [26 [27

[28 [29 [30 [31 [32 [33 [34 [35 [36

Пинус А.Г. О многообразиях, скелеты которых являются решетками // Алгебра и логика. 1992. Т.31. №1. С.74-82. Пинус А.Г. Булевы конструкции в универсальной алгебре // УМН. 1992. Т.47. №4. С.145-180.

Пинус А.Г. К вопросу о покрытиях в скелетах эпиморфности многообразий // Известия вузов. Математика. 1993. J№1. С.48-55. Pinus A.G. Boolean constructions in universal algebra Dordrecht, Kluwer Academic Publ. 1993.

Pinus A.G. Sceletons of congruence distributive varieties of algebras // Alg. univ, 1994. V.32. №3. P.531-544.

Пинус А.Г. О свойстве быть полурешеткой для счетных скелетов вложимости дискриминаторных многообразий // Вопросы алгебры и логики. Труды ИМ СО РАН. 1996. Т.ЗО. С.119-125. Birkhoff G. On the structure of abstract algebras // Proc. Cainb. Philos. Soc. 1935. V.31. №3. P.433-454.

Bonnet R. On homomorphism types of superatomic interval Boolean algebras // Models and sets. Berlin, Springer-Verlag. 1984, P.67-81. Baldwin J. Т., McKenzie R. Counting models in universal Horn classes // Alg. univ. 1982. V.15. №3. P.359-384.

Bonnet R., Si-Kaddour H. Comparison of Boolean algebras // Order. 1987. V.4. №. P.273-284.

Fraisse R. Theory of relations // Amsterdam, North-Holland Publ. Сотр. 1986.

Henkin L., Monk J.D., Tarski A. Cylindric algebras. Part I // Amsterdam, North-Holland Publ. Сотр. 1971. Laver R. On Fraisse's order type conjecture // Ann. Math. 1971. V.93. №1. P.89-111.

Laver R. An order type decomposition theorem // Ann. Math. 1973. V.98. №1. P.96-119.

Tarski A. Cardinal algebras // Amsterdam, North-Holland Publ. Сотр. 1949.

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

[37] Мордвинов Я. Л. О многообразиях с полурешеточным счетным скелетом вложимости // Алгебра и логика. 1993. Т.32. №3. С.288-307.

[38] Мордвинов Я. Л. Об отношениях вложимости и эпиморфности на неразрешимых локально конечных многообразиях // Алгебра и логика. 1996. Т.35. ЛП. С.79-87.

[39] Мордвинов Я. Л. О простых скелетах конгруэнц-модулярных многообразий // Алгебра и теория моделей. Новосибирск, изд-во НГТУ. 1997. С.110-116.

[40] Пинус А.Г., Мордвинов Я.Л. О скелетах многообразий решеток // Алгебра и теория моделей 2. Новосибирск, изд-во НГТУ. 1999. С.111-118.

[41] Пинус А.Г., Мордвинов Я.Л. О скелетах многообразий решеток // Тезисы международной конференции по математической логике памяти А.И. Мальцева. Новосибирск. 1999. С.49-50.

[42] Пинус А.Г., Мордвинов Я.Л. О независимости отношений эпиморфности и вложимости на многообразии всех решеток // Сиб. мат. журнал (в печати).

Подписано в печать 25.09.2000. Формат 60 х 84 1/16. Бумага офсетная. Тираж 60 экз. Уч.-изд. л. 0,7. Печ. л. 1,0. Заказ №

Отпечатано в типографии Новосибирского государственного технического университета 630092, г. Новосибирск, пр. К. Маркса, 20

1 Введение и необходимые сведения по теории многообразий и их скелетам

1.1 Введение

1.2 Необходимые сведения по теории многообразий и их скелетам.

2 Скелеты конгруэнц-модулярных многообразий

2.1 Скелеты локально-конечных неразрешимых многообразий

2.2 Фактор-линейная упорядоченность счетных скелетов

3 Решеточные свойства счетных скелетов дискриминаторных многообразий

4 Скелеты многообразий решеток

4.1 Полурешеточные свойства счетных скелетов многообразий решеток.

4.2 Проблема покрытия.

4.3 Независимость отношений вложимости и эпиморфности

Глава

Введение и необходимые сведения по теории и их скелетам

При изучении строения различных классов алгебраических систем можно выделить два основных подхода: построение и изучение различных представлений систем из этого класса и изучение самого класса или систем из него при отождествлении изоморфных алгебраических систем. Такое отождествление, т. е. рассмотрение изоморфных алгебраических систем как единого объекта, типа изоморфизма, происходит в большом числе вопросов теории моделей и современной алгебры. В качестве одного лишь примера подобного вопроса назовем проблему спектра класса, т. е. нахождение числа неизоморфных систем данного класса, имеющих фиксированную мощность. А. Тарским, в монографиях [41, 51], была поставлена задача изучения различных операций и отношений, комногообразий торые возникают между типами изоморфизма алгебраических систем данного класса при перенесении на типы изоморфизма "алгебраически значимых" операций и отношений между алгебраическими системами. При изучении строения многообразий, в силу теоремы Г. Биркгофа [28], описывающей многообразия как классы алгебр, замкнутые относительно подалгебр, гомоморфных образов и декартовых произведений, важнейшая роль принадлежит изучению отношений "быть подалгеброй", "быть гомоморфным образом" и операции декартова произведения. Решению задачи А. Тарского служит изучение так называемых скелетов многообразий алгебраических систем, введенных в систематическое изучение А. Г. Пинусом в работе [10]. С решением отмеченной выше задачи А. Тарского и связана данная диссертация.

Введем некоторые обозначения. Готическими буквами 21, (£, D с верхними и нижними индексами будем обозначать алгебры. Букву 93 (с индексами) используем только для булевых алгебр. Классы алгебр будем обозначать буквами Я, (возможно с индексами). Для любого кардинала К и любого класса алгебр Я через Як обозначаем совокупность Я-алгебр мощности, не большей чем N.

Если Я — некоторый класс алгебр, то через ^Я обозначим совокупность типов изоморфизма Я-алгебр. Заметим, что традиционный вопрос о спектре класса Я является вопросом о мощностях множеств Здесь Як = {01 G Я : |2l| = N}. Если а, с G т. е. являются типами изоморфизма некоторых Я-алгебр 01, <£, то пусть а < с (а <С с) имеет место тогда и только тогда, когда алгебра 01 изоморфна некоторой подалгебре алгебры С (21 является гомоморфным образом алгебры <£). Для любого класса алгебр Я отношения <, <С являются отношениями квазипорядка на ЗЯ.

Скелетом вложимости многообразия 9Я (скелетом эпиморфности 9Я) назовем квазиупорядоченный класс (&Ш; <) <С)); ^-ограниченным скелетом вложимости (эпиморфности) многообразия ЮТ будем называть <) <С))- В частности, счетным скелетом вложимости (эпиморфности) многообразия 9DT называется квазиупорядоченное множество (SI,,»; <> «)).

Дважды квазиупорядоченный класс (ЗШ1; <, С) называется двойным скелетом многообразия Ш. Будем говорить, что отношения вложимости < и эпиморфности < независимы (финито независимы) на многообразии Ш если любое (любое конечное) дважды квазиупорядоченное множество <ъ <2) изоморфно вложимо в двойной скелет многообразия Ш. Заметим, что скелеты вложимости и эпиморфности многообразий занимают промежуточное положение между такими традиционными объектами универсальной алгебры как "грубые"решетки подмногообразий с одной стороны и "тонкие"решетки конгруэнций и подалгебр •— с другой. Действительно, как нетрудно заметить, для любого многообразия 9Я существуют изотопные отображения скелетов эпиморфности и вложимости многообразия ЯЯ на решетку подмногообразий этого многообразия. С другой стороны, для любого бесконечного кардинала N существует антиизотонное отображение решетки конгруэнций 9Я-свободной N-порожденной алгебры на ^-ограниченный скелет эпиморфности ЯЯ (существует изотонное отображение решетки подалгебр ^-универсальной по вложимости ЯЯ-алгебры,если таковая существует, на К-ограниченный скелет вложимости 9Я).

Отметим, что эпизодическое изучение различных вопросов, связанных со скелетами конкретных многообразий и некоторых других классов алгебраических систем, проводилось в целом ряде работ различных авторов. В работах Бонне [30,33] изучался скелет вложимости некоторых подклассов многообразия булевых алгебр. Большое число работ посвящено изучению скелетов вложимости и эпиморфности класса линейно упорядоченных множеств. Среди них работы Фрессе, Поуза, Бонне, Лавера, Ландрайтиса и других. Сводку результатов такого рода можно найти в монографии Фрессе [36]. В ряде работ А. Г. Пинуса [1-6,8,9] также изучались вопросы, связанные со скелетами вложимости и эпиморфности класса линейных порядков. Наиболее значимым из результатов о скелетах эпиморфности и вложимости класса линейных порядков, по-видимому, является результат Лавера [46,47], давшего положительное решение проблемы Фрессе и даказавшего, что счетный скелет вложимости класса всех линейно упорядоченных множеств является лучшим квазипорядком и, в частности, не содержит бесконечно убывающих цепей и бесконечных антицепей. Большое число результатов о строении скелетов конгруэнц-дистрибутивных многообразий содержится в работах А. Г. Пинуса [7,10-27].

Основное внимание в данной диссертации уделено изучению скелетов конгруэнц-модулярных многообразий. Этот класс многообразий играет заметную роль в современной алгебре. Примерами конгруэнц-модуляр-ных. многообразий являются все многообразия групп и колец, булевых алгебр и решеток, весь класс дискриминаторных многообразий, включающий в себя такие многообразия как многообразия алгебр Поста, цилиндрических алгебр, реляционных алгебр, многообразия, порожденные конечным множеством конечных полей, и целый ряд других. Известно решение Балдвином - Маккензи [32] проблемы спеектра для класса конгруэгц-модулярных многообразий: для любого такого неабелевого многообразия 9Я, любого бесконечного кардинала К число типов изоморфизма Ш1-алгебр, имеющих мощность U, максимально и равно 2*\ Тем самым, есть основания полагать, что и скелеты вложимости и эпиморф-ности конгруэнц-модулярных многообразий будут достаточно богаты и обладают развитой теорией.

Цель работы. Исследование вопроса о возможности перенесения ряда результатов о строении скелетов конгруэнц-дистрибутивных многообразий на более широкий класс конгруэнц-модулярных многообразий. Описание дискриминаторных многообразий с полурешеточными счетными скелетами. Исследование строения скелетов многообразий решеток.

Общая методика исследования. При изучении скелетов многообразий ключевую роль играет изучение решеток конгруэнций алгебр этих многообразий. В частности, изучение строения частично упорядоченных множеств главных конгруэнций алгебр, построенных с помощью различных булевых конструкций: булевых, фильтрованных булевых и Iконгруэнц-булевых степеней. Широко используются в диссертации методы теории булевых алгебр, и пережде всего рассмотрение стоунов-ских пространств. Разнообразные применения находят результаты теории коммутаторов для конгруэнц-модулярных многообразий. Используются различные результаты из теории линейно упорядоченных множеств.

Научная новизна. Новыми являются все результаты диссертации, а также значительная часть аппарата исследований. Как уже было сказано выше, скелеты конгруэнц-дистрибутивных многообразий подробно исследовались во многих работах А. Г. Пинуса. Были доказаны многие свойства скелетов такие, как вложимость в несчетные скелеты эпиморфности (а при условии продолжимости конгруэнций и в несчетные скелеты вложимости) любых квазипорядков соответствующих мощностей, наличие в скелете эпиморфности неуплотняемых цепей порядковых типов множества всех действительных чисел и класса всех ординалов, неразрешимость элементарной теории скелета эпиморфности, финитная независимость отношений вложимости и эпиморфности и т. д. Рассматривался вопрос о решеточных свойствах скелетов. Для любого конгруэнц-дистрибутивного многообразия все несчетные скелеты не являются полурешетками, описаны дискриминаторные многообразия с полурешеточными счетными скелетами эпиморфности, в то же время было доказано, что не существует не локально конечных дискриминаторных многообразий с полурешеточными счетными скелетами вложимости. В силу этого возникает ряд естественных вопросов. В каких случаях результаты о строении скелетов конгруэнц-дистрибутивных многообразий могут быть перенесены на случай конгруэнц-модулярных многообразий. Очевидно, что это не всегда возможно. К примеру, скелеты категоричных абеле-вых конгруэнц-модулярных многообразий изоморфны классу всех ординалов, а значит, не обладают почти всеми указанными выше свойствами. В силу этого представляло интерес нахождение условий на конгруэнц-модулярные многообразия, при которых их скелеты в какой-то мере сохраняют свойства скелетов конгруэнц-дистрибутивных многообразий. В дагйгой диссертации доказано, что подобным достаточным условием яв-* ляется свойство неразрешимости локально конечных конгруэнц-моду-лярных многообразий.

СЛЕДСТВИЕ 2.4. Пусть многообразие конгруэнц-модулярно, локально конечно и неразрешимо. Тогда:

1) Для любого несчетного регулярного кардинала К каждое квазиупорядоченное множество мощности, не превышающей К, изоморфно вложимо в К-ограниченный скелет эпиморфности (SSDTn; <С) многообразия ШТ.

2) (К.Г.) В (ЗШТ; <С) имеются неуплотняемые цепи порядковых типов множества всех действительных чисел и класса всех ординалов.

3) (К. Г.) Элементарная теория (&Ш; <С) неразрешима.

Если к тому же ШТ имеет продолжимые конгруэнции, то:

4) Для любого несчетного кардинала К любое квазиупорядоченное множество мощности, не превышающей изоморфно вложимо в N-ограниченный скелет вложимости (йШТк; <) многообразия ШТ.

5) (К.Г.) Отношения вложимости и эпиморфности локально независимы на Ш, т. е. любое конечное дважды квазиупорядоченное множество изоморфно вложимо в двойной скелет (^ШТ^; <С, <) многообразия ШТ.

В работах А. Г. Пинуса [17,20-22] предложена некоторая классификация конгруэнц-дистрибутивных многообразий по свойствам их счетных скелетов. В частности, описаны конгруэнц-дистрибутивные многообразия, счетные скелеты которых фактор-линейны. В силу этого, представляет интерес описание конгруэнц-модулярных многообразий с фактор-линейными скелетами. В настоящей диссертации получен следующий результат.

ТЕОРЕМА 2.2. Счетный скелет эпиморфности неабелевого конгру-энц-модулярного многообразия фактор-линейно упорядочен тогда и только тогда, когда это многообразие порождается квазипрималъной алгеброй без собственных подалгебр. При этом (^ШТн; <С) — из\ + 1*, т. е. является минимальным. Из фактор-линейной упорядоченности счетного скелета эпиморфности неабелевого конгруэнц-модулярного много- 9 образия ffl следует совпадение скелетов эпиморфности и вложимости класса 9Df„0, где 9Л'Ко = {21 6 Ж : 1 < |21| < оо.

Здесь tc?i -+- 1* — ординальная сумма ординала ш\ и континуума попарно эквивалентных элементов.

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

ТЕОРЕМА 3.5. Пусть 9Я — локально конечное дискриминаторное многообразие конечной сигнатуры и <) — нижняя полурешетка. Тогда:

1) для всякой простой Ш-алгебры 21 выполнены условия: а) 21 — квазипрималъная алгебра без неодноэлементных собственных подалгебр; б) 21 содержит идемпотентный элемент; в) для любых двух идемпотентных элементов алгебры 21 существует автоморфизм алгебры 21, переводящий один из этих элементов в другой;

2) множество конечно и <) = (a>i + 1*)п, где п = |5ЯЯз|; в частности <) является дистрибутивной решеткой конечной ширины.

Верно и обратное утверждение, если дискриминаторное многообразие Ш конечной сигнатуры порождено конечным числом квазипрималъ-ных алгебр с условиями "а— "в", то <) — нижняя полурешетка.

Здесь 9Я5 обозначает совокупность простых алгебр многообразия ЯК.

ТЕОРЕМА 3.6. Пусть ЯК — локально конечное дискриминаторное многообразие конечной сигнатуры и (^ЯК'^; <) — верхняя полурешетка. Тогда:

1) для всякой простой Ш-алгебры 21 выполнены условия: а) 21 — квазипрималъная алгебра без неодноэлементных собственных подалгебр; б) для любых двух идемпотентных элементов алгебры 21 существует автоморфизм алгебры 21, переводящий один из этих элементов в другой;

2) множество &Ш5 конечно и (ЗЯК'Но; <) = Ln, где п = |SSDts|, a Ln — верхняя полурешетка, получаемая из решетки (o>i + 1*)" удалением наименьшего элемента.

Верно и обратное утверждение, если дискриминаторное многообразие ЯК конечной сигнатуры порождено конечным числом квазипрималь-ных алгебр с условиями "а", "б", то <) — верхняя полурешетка.

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

ТЕОРЕМА 4.1. Для любого нетривиального многообразия решеток ЯК счетный скелет вложимости многообразия ЯК не является полурешеткой.

СЛЕДСТВИЕ 4.2. Счетный скелет эпиморфности любого нетривиального многообразия решеток не является полурешеткой.

В ряде работ А. Г. Пинуса [14, 24] найден целый ряд достаточных условий существования покрытий элементов в скелетах эпиморфности конгруэнц-дистрибутивных многообразий. Однако оставался открытым вопрос: любая ли алгебра конгруэнц-дистрибутивного многообразия имеет покрытие в скелете эпиморфности этого многообразия. В связи с этим представляет интерес следующий результат, доказанный в диссертации.

СЛЕДСТВИЕ 4.3. Если произвольное нетривиальное многообразие решеток с нулем (с единицей), то любая Ш-решетка имеет покрытие в скелете эпиморфности многообразия ШТ.

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

А. Г. Пинусом [10] была доказана финитная независимость отношений вложимости и эпиморфности на произвольном конгруэнц-дистрибутивном многообразии со свойством продолжимости конгруэнций. (Как известно, многообразие всех решеток последним свойством не обладает.) Представлялся естественным вопрос: в каких ситуациях можно говорить о большем — о независимости этих отношений. Подобная независимость доказана для многообразия всех решеток.

ТЕОРЕМА 4.5. (ОКГ) Отношения эпиморфности и вложимости независимы на многообразии всех решеток.

Отметим, что все результаты, связанные с многообразиями решеток получены в нераздельном соавторстве с А. Г. Пинусом.

1. А.Г. Пинус О числе попарно несравнимых порядковых типов // Сиб. мат. журн., 14, N 1 (1973), 229-234.

2. А.Г. Пинус Лексикографические степени линейно упорядоченных множеств // Сиб. мат. журн., 14, N 3 (1973), 684-690.

3. А.Г. Пинус Wj-рассеяные множества и вложения линейных порядков // Алгебраические системы, Иркутск, изд-во ИрГУ, 1976, 154-163.

4. А.Г. Пинус Совокупности попарно несравнимых линейных порядков данной степени рассеяности // Известия вузов. Математика, N 7 (1979), 62-65.

5. А.Г. Пинус Слабая коммутативность рассеяного суммирования линейных порядков // Сиб. мат. журн., 21, N 2 (1980), 155-159.

6. А.Г. Пинус Вложения лексикографических произведений линейных порядков // Упорядоченные множества и решетки, N 6, Саратов, изд-во СГУ, 1980, 52-63.

7. А.Г. Пинус Спектр жестких систем хорновых классов // Сиб. мат. журн., 22, N 5 (1981), 153-157.

8. А. Г. Пину с Об отношенияж вложимости и эпиморфности на линейных порядках // Упорядоченные множества и решетки, N 8, Саратов, изд-во СГУ, 1982, 81-91.

9. А.Г. Пинус Элементарные теории полугрупповых операций на классе линейных порядков // ВИНИТИ, N 4116-82, Деп. 1982.

10. А.Г. Пинус Об отношениях вложимости и эпиморфности на конгруэнц-дистрибутивных многообразиях // Алгебра и логика, 24, N 5 (1985), 588-607.

11. А.Г. Пинус Конгруэнц-модулярные многообразия алгебр // Иркутск, изд-во ИрГУ, 1986.

12. А.Г. Пинус О простых счетных скелетах эпиморфности конгруэнц-дистрибутивных многообразий // Известия вузов. Математика, N 11 (1987), 67-70.

13. А.Г. Пинус О квазипростых алгебрах // Исследования алгебраических систем по свойствам их подсистем, Изд-во УрГУ, Свердловск, 1987, 108-118.

14. А.Г. Пинус О покрытиях в скелетах эпиморфности многообразий алгебр // Алгебра и логика, 27, N 3 (1988), 316-326.

15. А.Г. Пинус Конгруэнц-дистрибутивные многообразия алгебр // Итоги науки и техники. ВИНИТИ, сер. Алгебра. Топология. Геометрия., 26, 1988, 311-323.

16. А^Г. Пинус Элементарная теория скелетов эпиморфности конгруэнц-дистрибутивных многообразий // Известия вузов. Математика, N 7 (1989), 14-17.

17. А.Г. Пинус О числе несравнимых в счетных скелетах эпиморфности дискриминаторных многообразий // Алгебра и логика, 28, N 3 (1989), 311-323.

18. А.Г. Пинус О счетных скелетах вложимости дискриминаторных многообразий // Алгебра и логика, 28, N 5 (1989), 597-607.

19. А.Г. Пинус Об интервалах и цепях в скелетах эпиморфности конгруэнц-дистрибутивных многообразий // Алгебра и логика, 29, N 2 (1990), 207-219.

20. А.Г. Пинус Многообразия с простым счетным скелетом вложимости // Сиб. мат. журн., 31, N 1 (1990), 127-134.

21. А.Г. Пинус О счетных скелетах конечно порожденных дискриминаторных многообразий // Сиб. мат. журнал, 33, N 2 (1992), 190-195.

22. А.Г. Пинус О многообразиях, скелеты которых являются решетками // Алгебра и логика, 31, N 1 (1992), 74-82.

23. А.Г. Пинус Булевы конструкции в универсальной алгебре // Успехи мат.наук, 47, N 4 (1992), 145-180.

24. А.Г. Пинус К вопросу о покрытиях в скелетах эпиморфности многообразий // Известия вузов. Математика, N 1 (1993), 48-55.

25. A.G. Pinus Boolean constructions in universal algebra Dordrecht, Kluwer Academic Publ., 1993.

26. A.G. Pinus Sceletons of congruence distributive varieties of algebras // Alg. univ., 32, N 3 (1994), 531-544.

27. А. Г. Пину с О свойстве быть полурешеткой для счетных скелетов вложимости дискриминаторных многообразий // Вопросы алгебры и логики. Труды ИМ СО РАН, т. 30 (1996), 119-125.

28. G. Birkhoff On the structure of abstract algebras // Proc. Camb. Philos. Soc., 31, N 3 (1935), 433-454.

29. S. Burns Boolean powers // Alg. univ., 5, N 3 (1975), 341-360.

30. R. Bonnet On homomorphism types of superatomic interval Boolean algebras // Models and sets, Berlin: Springer-Verlag, 1984, 67-81.

31. R. Bonnet Very strongly rigid Boolean algebras, continuum discrete set condition, countable antichain condition (I) // Alg. univ., 11, N 3 (1980), 341-364.

32. J. T. Baldwin, R. McKenzie Counting models in universal Horn classes // Alg. univ., 15, N 3 (1982), 359-384.

33. R. Bonnet, H. Si-Kaddour Comparison of Boolean algebras // Order., v. 4, N 3 (1987), 273-284.

34. S. Bulman-Fleming, H. Werner Equational compactness in quasi-primal varieties // Alg. univ., 7, N 1 (1977), 33-46.

35. S. Burris, H. Werner Sheaf constructions and their elementary properties, Trans. Amer. Math. Soc., 248, N 1 (1979), 269-309.

36. R. Fraisse Theory of relations // Amsterdam, North-Holland Publ. Сотр., 1986.

37. E. Fried, G. Gratzer, R. Quackenbush Uniform congruence schemes // Alg. univ., 10, N 2 (1980), 176-189.

38. R. Freese, R. McKenzie Commutator theory for congruence modular varieties, Cambridge — New York, Cambridge Univ. Press, 1987.

39. W. Hodges On constructing many non isomorphic algebras // Universal algebra and its links with logik, algebra, combinatoric and computer sciences, Berlin: Springer-Verlag, 1984, 67-77.

40. Д.Хобби, P. Маккензи Строение конечных алгебр, М., Мир, 1993.

41. L. Henkin, J.D. Monk, A. Tarski Cylindric algebras. Part I // Amsterdam, North-Holland Publ. Сотр., 1971.

42. В. Jonsson Algebras whose congruence lettices are distributive // Math. Scand., v. 21, N 1 (1967), 110-121.

43. B. Jonsson Congruence distributive varieties // Math. Japonica, v. 48, N 2 (1995), 353-401.

44. S. Koppelberg General theory of boolean algebras // Handbook of boolean algebras, v. 1, North-Holland Publ. Сотр., Amsterdam — New York — Oxford — Tokyo, 1989.

45. K. Keimel, H. Werner Stone duality for varieties generated by quasi-primal algebras // Metoirs AMS, 1975, v. 148, 59-85.

46. R. Laver On Fraisse's order type conjecture // Ann. Math., v. 93, N 1 (1971), 89-111.

47. R. Laver An order type decomposition theorem // Ann. Math., v. 98, N 1 (1973), 96-119.

48. С. Landraitis A combinatorial property of the homomorphism relation between countable order types // J. Symb. Logic, v. 44, N 3 (1979), 403-411.

49. R. Magari Una dimonstrazione del fatto che ogni varieta ammehte algebre semplied // Ann. Univ. Ferrara Sez., v. 14, N 7 (1969), 1-4.

50. A.F. Pixley The ternary discriminator function in universal algebra // Math. Ann., 191, N 3 (1971), 167-180.

51. A. Tarski Cardinal algebras // Amsterdam, North-Holland Publ. Сотр., 1949.

52. H. Werner Discriminator algebras, Akademic-Verlag, Berlin, 1978.Работы автора по теме диссертации

53. Я.Л. Мордвинов О простых скелетах конгруэнц-модулярных многообразий // Алгебра и теория моделей, Изд-во НГТУ, Новосибирск, 1997, 110-116.

54. А.Г. Пинус, Я.Л. Мордвинов О скелетах многообразий решеток // Алгебра и теория моделей 2, Изд-во НГТУ, Новосибирск, 1999, 111— 118.'

55. А.Г. Пинус, Я.Л. Мордвинов О скелетах многообразий решеток // Тезисы международной конференции по математической логике памяти А.И. Мальцева, Новосибирск, 1999, 49-50.

56. А.Г. Пинус, Я.Л. Мордвинов О независимости отношений эпиморфности и вложимости на многообразии всех решеток// Сиб. мат. журнал (в печати).1.AIS