CC BY
21
Серия «Математика»
2009. Т. 2, № 2, С. 127-135
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК УДК 512.57
О семействах определимых (формульных) производных объектов на универсальных алгебрах
А. Г. Пинус
Новосибирский государственный технический университет
Аннотация. Приводится обзор результатов автора о совокупностях формульных (в различных смыслах) автоморфизмов, эндоморфизмов, конгруэнций, подалгебр произвольных универсальных алгебр.
Ключевые слова: Автоморфизм, эндоморфизм, конгруэнция, подалгебра, универсальная алгебра
Производной структурой данной алгебры А называется универсальная алгебра О (А), однозначно определяемая по А и несущая в себе ту либо иную информацию о строении алгебры А. Как правило, в качестве О (А) используются классические алгебры: группы, полугруппы, решетки и т.п., имеющие хорошо развитую теорию. В частности, в качестве производных структур как классических, так и универсальных алгебр А традиционно и всесторонне рассматривались группы автоморфизмов АпЬА, моноиды эндоморфизмов ЕийА, решетки подалгебр БпЪА, решетки конгруэнций СоиА, полугруппы внутренних изоморфизмов ІввА и другие. Элементы производных структур алгебры А будем называть производными объектами на А.
Исследование производных структур и объектов алгебр А служит традиционным ключем к изучению строения и классификации алгебр А. Подобным результатом, по отношению к классическим алгебрам, посвящен ряд известных монографий: для групп — М. Судзуки [1], Б.И. Плоткин [3], для полугрупп — Л.Н. Шеврин и А.Я. Овчинников [2]. Производным структурам универсальных алгебр посвящена монография автора [4].
При исследовании производных структур естественен интерес к элементам этих структур, которые могут быть определены средствами
Памяти Али Ивановича Кокорина
самих исходных алгебр, в частности могут быть определены на алгебре теми либо иными формулами, и к совокупностям подобных формульных производных объектов на алгебрах.
Подобные формульные автоморфизмы рассматривались, к примеру, в работе И. Гранта [6], ІС — и I — автоморфизмы универсальных алгебр
— в работе Б. Чаконя [16], формульные, в том или ином смысле, главные конгруэнции универсальных алгебр изучались в работах В. Блока, Д. Пигоци [5], Э. Фрида, Г. Грэтцера, Р. Квакенбуша [7], П. Колера, Д. Пигоци [8] и других. Примерами формульных проиводных объектов на классических алгебрах служат: внутренние автоморфизмы групп, конгруэнций Ершова-Тарского на булевых алгебрах, автоморфизмы вида х —► хр на полях характеристики р и другие.
В настоящей работе приведен обзор результатов автора появящен-ных совокупностям формульных (в различных смыслах) производных объектов на универсальных алгебрах: формульных автоморфизмов, эндоморфизмов, подалгебр, конгруэнций и представлен ряд открытых, естественных в этом контексте, вопросов.
Одним из первых, классических результатов по производным структурам универсальных алгебр были абстрактные описания решеток подалгебр, решеток конгруэнций, групп автоморфизмов, моноидов эндоморфизмов универсальных алгебр.
Напомним их:
ТЕОРЕМА Биркгофа-Фринка [9]. Для любой алгебраической решетки Ь существует универсальная алгебра А такая, что БпЪА = Ь.
ТЕОРЕМА Гретцера-Шмидта [10]. Для любой алгебраической решетки Ь существует универсальная алгебра А такая, что СоиА = Ь.
ТЕОРЕМА Биркгофа [11]. Для любой группы О существует универсальная алгебра А такая, что АпЬА = О.
ТЕОРЕМА Армбруста-Шмидта [12]. Для любого моноида М существует универсальная алгебра А такая, что ЕиіІА = М.
Формульные подалгебры. Подмножество Ь решетки Ь назовем 0-1
— нижней подполурешекой, если наибольший и наименьший элементы Ь входят в Ь и (Ь1, Л) есть подполурешетка полурешетки (Ь, Л).
Подалгебра В алгебры А открыто определима (параметрически открыто определима), если существуют бескванторная формула логики первого порядка ф(х) сигнатуры алгебры А (бескванторная формула ф(х,у) и элементы а Є А) такие, что
В = {Ъ Є А|А |= ф(Ъ)} (В = {Ъ Є А|А |= ф(Ъ,а)}).
Подалгебра В алгебры А элементарна (параметрически элементарна, если существуют формула ф(х) логики первого порядка (формула логики ф(х,у) первого порядка и элементы а Є А) такие, что
В = {Ь € А|А 1= ф(Ь)} (В = {Ь € А|А |= ф(Ь,а)}).
Семейства всех открыто определимых (параметрически открыто определимых, элементарных, параметрически элементарных) подалгебр алгебры А очевидным образом образуют 0-1-нижние подполурешетки решетки БпЬА. Обозначим эти 0-1-нижние подполурешетки как ОЕБиЬА(РОЕБиЬА, ЕБпЬА, РЕ БпЬА) соответственно.
Имеют место следующие очевидные включения любой алгебры А
ОЕБиЬА^ОБиБпЬл^РЕБиЬА с БпЬА
В работах [13], [14] доказано следующее обобщение теоремы Биркгофа-Фринка.
Теорема 1. Для любой алгебраической решетки Ь, любых ее 0-1-нижних подполурешеток Ьо С Ь\ С Ь2 существуют универсальная алгебра А и изоморфизм р решетки Ь на решетку БпЬА такие, что р(Ьо) = ОЕБиЬА, р(Ь\) = РОЕ БпЬА, р(Ь2) = РЕБиЬА и, при этом, РЕБиЬА = ЕБиЬА.
Остается открытым Вопрос 1. Найти абстрактное описание алгебраических решеток Ь и их 0-1-нижних подполурешеток Ьо, Ь\, Ь2, Ьз таких, что существуют универсальная алгебра А и изоморфизм р для которых
(Ьо, Ьъ Ь2, Ьз, Ь) ^ (ОЕБиЬА, ЕБиЬА, РОЕБиЬА, РЕБиЬА, БиЬА).
Напомним что внутренним изоморфизмом алгебры А называется изоморфизм между любыми ее подалгебрами, в случае когда эти подалгебры совпадают между собой будем говорить о внутреннем автоморфизме алгебры А.
Теорема 2. ([21]). Все конечные подалгебры алгебры А открыто определимы тогда и только тогда, когда все внутренние изоморфизмы алгебры А между подобными подалгебрами являются ее внутренними автоморфизмами.
Следствие 1. Все конечные подалгебры локально конечной алгебры А открыто определимы тогда и только тогда, когда все ее внутренние изоморфизмы являются ее внутренними автоморфизмами.
Приведем некоторые результаты связанные с формульными подалгебрами классических алгебр.
Без труда замечается, что для любой булевой алгебры А, ОЕБиЬА = {А, {0,1}}, РОБиЬА = {А [ а х Аа|а € А и Аа — конечная подалгебра
булевой алгебры А [ —а}. здесь для Ь € А, А [ Ь — булева алгебра естественным образом определенная на множестве {а € А|а < Ь}. Поля будем рассматривать в сигнатуре (+, ■). Для полей А характеристики нуль, ОЕБиЬА = РОЕБиЬА = {А}. Для полей характеристики р, ОЕБиЬА = РОЕБиЬА = {А и все конечные подполя поля А}. Для любой решетки А, ОЕБиЬА = {А}. Для любой абелевой группы А,ОЕБиЬА = {Ат|т € N}, где Ат = {а € А|та = 0}.
Формульные конгруэнции. Конгруэнция в алгебры А открыто определима (элементарна) если существует бескванторная (элементарная) формула ф(х, у) сигнатуры алгебры А такая, что
в = {(а, Ь) € А2|А = ф(а, Ь)}.
Пусть ОЕСопА(ЕСопА) — совокупность всех открыто определимых (элементарных) конгруэнций алгебры А. Очевидно, что ОЕСопА и ЕСопА 0-1-нижние подполурешетки решетки СопА и имеют место включения
ОЕСопА С ЕСопА С СопА.
Напомним, что Ад и Уд — наименьшая и, соответственно, наибольшая конгруэнции алгебры А. Через Ь0 обозначим расширение решетки Ь путем добавлением к Ь внешнего нуля.
В работе [15] доказаны следующие частичные результаты по абстрактному описанию совокупностей открыто определимых и элементарных конгруэнций универсальных алгебр
Теорема 3. Для любой алгебраческой решетки Ь существуют универсальная алгебра А и изоморфизм р решеток Ьо и СопА такие, что ЕСопА = {Ад, Уд}.
Теорема 4. Для любой алгебраической решетки Ь и любой 0-1-нижней подполурешетки Ь\ решетки Ь0 существуют универсальная алгебра А и изоморфизм р решетки Ь0 на решетку СопА такие, что р(Ь\) = ОЕСопА.
Остается открытым Вопрос 2. Найти абстрактное описание решеток Ь и их 0-1-нижних подполурешеток Ьо С Ь1 для которых существуют универсальная алгебра А и изоморфизм р такие, что
(Ьо,Ь1,Ь) ^ (ОЕСопА, ЕСопА, СопА).
Собственные автоморфизмы. Для любой алгебры А = (А; а) отображение р множества А в себя называется термальным (полиномиальным) если существуют терм Ь(х) (терм Ь(х,у) и элементы Ь € А, соответственно), сигнатуры а такие, что для любого а € А
р(а) = Ь(а) (р(а) = Ь(а, Ь)).
Автоморфизм алгебры А = (А; а) назовем ее собственным (чисто собственным) автоморфизмом, если он представим в виде произведения полиномиальных (термальных) автоморфизмов алгебры А и обратных к таковым. Через Р Б АиЬА(Б АиЬА) обозначим группы всех чисто собственных (собственных) автоморфизмов алгебры А. Через 2 (С) будем обозначать центр группы С. Без труда замечается, что БАиЬА является нормальной подгруппой группы АиЬА и, что РБАиЬА подгруппа группы 2(АиЬА) П БАиЬА.
В работе [18] доказано следующее обобщение теоремы Биркгофа
Теорема 5. Для любых (конечной) группы С, ее нормальной подгруппы С1 и и подгруппы С2 группы С1 П 2(С) существуют (конечная) универсальная алгебра А и изоморфизм р группы С на группу АиЬА такие, что р(С1) = БАиЬА и р(С2) = РБАиЬА.
Через Ш АиЬА обозначим группу слабых автоморфизмов алгебры А. Напомним, что биекция р множества А на себя называется слабым автоморфизмом алгебры А = (А; а), если для любой сигнатурной функции / (х1, ...,хп) алгебры А функции р-1(/(р(х1),..., р(хп)) и р(1 (р-1(х\),..,р-1(хп)) являются термальными функциями алгебры
А.
Как известно [17] группа АиЬА является нормальной подгруппой группы Ш АиЬА.
С другой стороны известна
ТЕОРЕМА Зихлера [19]. Для любых группы С и ее нормальной подгруппы С1 существует универсальная алгебра А и изоморфизм р группы С на ШАиЬА такие, что р(С\) = АиЬА.
Отметим следующий открытый Вопрос 3. Для каких групп С,С1,С2,Сз таких, что С1 нормальная подгруппа группы С, С2 — нормальная подгруппа группы С1 и Сз С С2 П 2(С1), существуют универсальная алгебра А и изоморфизм р группы С на группу Ш АиЬА такие, что р(С1) = АиЬА, р(С2) = БАиЬА и р(Сз) = РБАиЬА?
Приведем ряд результатов о собственных и чисто собственных автоморфизмах классических алгебр. Очевидным образом, в силу идемпотентности сигнатурных операций, единственный чисто собственный автоморфизм решетки — тождественный. В работе [18] доказано, что решетки, у которых единица (если она есть) V — неразложима, а нуль (если он есть) Л — неразложим, не обладают нетривиальными собственными автоморфизмами.
Тем не менее, как заметил Габор Кун, решетки вида Мп(п > 3) обладают нетривиальными собственными автоморфизмами. Остается открытым
Вопрос 4. Описать собственные автоморфизмы произвольных решеток.
Без особого труда доказывается, что 1) булевы алгебры не обладают нетождественными собственными автоморфизмами, 2) все собственные автоморфизмы полей являются чисто собственными, 3) поля характеристики нуль не имеют нетривиальных чисто собственных автоморфизмов, 4) поля характеристики р имеют нетривиальные чисто собственные автоморфизмы р тогда и только тогда, когда они совершенны и при этом р(х) = хр , где к - любое натуральное число.
Напомним, что группа С называется п-абелевой, если на С истинно тождество (ху)п = хпуп. Для любого целого п отображение рп группы С в себя определим как рп (х) = хп. Тогда рп € АиЬС тогда и только тогда, когда С п-абелева группа с однозначным извлечением корня п-ой степени. В работе [16] доказано, что собственные автоморфизмы свободных групп суть их внутренние автоморфизмы. В целом же остается открытым
Вопрос 5. Описать собственные автоморфизмы произвольных групп.
Термальные и полиномиальные эндоморфизмы. Моноид всех термальных (полиномиальных) эндоморфизмов универсальной алгебры А обозначим как ТЕпйА(РЕпйЛ). Имеют место включения
ТЕпйА С РЕпйА С ЕпйА.
Для любого моноида Б через 2 (Б) обозначим центр моноида.
Для моноида Б и его подмоноида Б1 отображение п : Б1 х Б —► Б1 назовем нормальным, если для любых а € Б1,Ь,с € Б имеют место равенства
п(а, сЬ) ■ с = с ■ п(а, Ь) и п(а, е) = а,
здесь е — единица моноида Б. Подмоноид Б1 моноида Б назовем нормальным подмоноидом, если для Б1 и Б существует нормальное отображение.
Для группы С и ее нормальной подгруппы С1 отображение п(а, Ь) = ЬаЬ-1 — нормальное и других нормальных отображений для пары (С, С1) нет. Если Б моноид и Б1 — нормальный подмоноид такой, что Б1 содержится в 2(Б) с нормальным отображением п(а, Ь) = а. Пусть, к примеру, А произвольное множество и Е(А) — моноид всех отображений А в А. Пусть С (А) = {е,да|а € А}, где е — тождественное отображение А на А и да(А) = {а}. Тогда С (А) — нормальный подмоноид моноида Е(А) с нормальным отображением
п(да,к) = дк(а), п(е,к) = е
для к € Е(А).
Эндоморфизм р алгебры А сильно полиномиален, если существует полином Ь(х,Ь) алгебры А определяющий р и такой, что для любого п € Еп<!А отображение х —► Ь(х, ц(Ь)) является эндоморфизмом алгебры А. Пусть Р3ЕпйА — семейство всех сильно полиномиальных эндоморфизмов алгебры А. Р3ЕпйА — нормальный подмоноид моноида Еп<!А с нормальным отображением п(х, у) определенным следующим образом: для п € ЕпйА и Ь(х,Ь) € РЕпйА
п(Ь(х,Ь),п) = Ь(х,п(Ь)).
Любой термальный эндоморфизм тривиальным образом является сильно полиномиальным, т.е. имеет место цепочка включений
ТЕпйА С Р3ЕпйА С РЕпйА С ЕпйА
Остается открытым Вопрос 6. Найти абстрактное описание цепочек моноидов вида
ТЕпйА С Р3ЕпйА С РЕпйА С ЕпйА
для произвольных универсальных алгебр А.
Частичный ответ на него дан в работе [20].
Теорема 6. Для любых моноида Б, его нормального подмоноида Б1 и его подмоноида Б2 такого, что Б2 С 2(Б) П Б1 существуют универсальная алгебра А и изоморфизм р моноида Б на Еп<!А такие, что р р(Б{) = Р3ЕпйА = РЕпйА и р(Б2) = ТЕпйА.
Условно термальные и условно собственные преобразования алгебр. Понятие условного терма и целая иерархия близких к нему понятий: позитивно-условного, элементарно-условного, 3+ -условного термов были введены в работах автора. Более подробно о них см. работы [22], [23]. Отметим лишь, что условно термальные и позитивно-условно термальные функции на алгебре А определены на этой алгебре безкван-торными формулами, а 3+-условно термальные и элементарно-условно термальные — элементарными формулами сигнатуры алгебры А.
Для любой алгебры А = (А; а) любое отображение р множества А в А называется условно-(элементарно-условно)-термальным если существует условный (элементарно-условный) терм Ь(х) сигнатуры алгебры А такой, что для любого а € А р(а) = Ь(а). Условно чисто собственным (элементарно-условно чисто собственным будем называть любой автоморфизм алгебры А, представимый в виде произведения условно (элементарно-условно) — термальных автоморфизмов и обратных к таковым. Группу всех условно чисто собсивенных (элементарно условно чисто собственных) автоморфизмов алгебры А обозначим как
СРБАиЬА (ЕСРБАиЬА).
В работе [21] доказан следующий результат.
Теорема 7. а) Пусть A — равномерно локально конечная алгебра конечной сигнатуры (конечная алгебра произвольной сигнатуры). Тогда для любого автоморфизма р алгебры A следующие условия эквивалентны:
1) р € CPSAutA,
2) подалгебры алгебры A замкнуты относительно р и р коммутирует со всеми внутренними изоморфизмами алгебры A.
В частности, если A конечная алгебра без собственных подалгебр, то следующие условия эквивалентны:
1) р € CPSAutA,
2) р € Z(AutA).
б) Для любой конечной алгебры A и любого ее автоморфизма р следующие условия эквивалентны:
1) р € EC PS AutA,
2) подалгебры алгебры A замкнуты относительно р и р € Z(AutA).
Ряд других результатов о связи формульности подалгебр и условной термальности различных преобразований конечных и локально конечных алгебр приведены в работе [21]. В качестве примера приведем следующий:
Теорема 8. Для любой конечной алгебры A следующие условия эквивалентны:
1) AutA = EC PS AutA,
2) Sub A = ESubA и группа AutA абелева.
Список литературы
1. М. Судзуки. Строение группы и строение структуры ее подгрупп. М.: ИЛ, 1960.
2. Л.Н. Шеврин, А.Я. Овсянников. Полугруппы и их полугрупповые решетки. 4.1. Полугруппы с некоторыми типами решеток подполугрупп и решеточные характеристики классов полугрупп. Свердловск: Уральский гос. университет, 1990.
3. Б.И. Плоткин. Группы автоморфизмов алгебраических систем. М.: Наука, 1966.
4. А.Г.Пинус. Производные структуры универсальных алгебр. Новосибирск, изд-во НГТУ, 2007.
5. W.J. Blok, D. Pigozzi. On the structure of varieties with equational definable principal congruences I // Algebra univ. - v. 15, № 2, 1982, p. 195 — 227.
6. I.Grant. Automorphisms definable by formulas // Pacific J. Math. - v. 44, № 1, 1973, p. 107 — 115.
7. E. Fried, G. Gratzez, R. Quackenbuch. Uniform congruence schemes // Algebra univ. - v. 10, № 2, 1980, p. 176 — 189.
8. P. Kohler, D. Pigozzi. Varieties with equational definable principal congruences // Algebra univ. - v. 11, № 2, 1980, p. 213 — 219.
9. G. Birhoff, O. Frink. Representations of lattices by sets // Trans. Amer. Math. Soc, v. 64, 1948, p. 299 — 316.
10. G. Gratzer, E.T. Schmidt. Characterization of congruences lattices of abstract algebras // Acta Sci. Math. (Szeged), v. 24, 1963, p. 34 — 59.
11. G. Birkhoff. On groups of automorphisms // Rev. Un. Math. Argentina, v. 11, 1946, p. 155 — 157.
12. M. Armbrust, J. Schmidt. Zum Gayleyschen Darstellungs-Satz // Math. Ann., v. 154, № 2, 1964, s. 70 — 72.
13. А.Г.Пинус. О полурешетках формульных подалгебр // Алгебра и логика, т. 44, № 4, 2005, с. 474 — 482.
14. А.Г. Пинус. О поурешетках формульных подалгебр. II (в печати).
15. А.Г. Пинус. О Подполурешетках формульных и открыто формульных конгруэнций решетки всех конгруэнций универсальной алгебры // Сиб. матем. журнал, т. 47, № 4, 2006, с. 865 — 872.
16. B. Csakany. Inner automorphisms of universal algebras // Publ. Math. Debrecen, v. 12, 1965, p. 331 — 333.
17. K. Glazek. Weak automorphisms in general algebras //. Алгебра и теория моделей
3. Новосибирск: Изд-во НГТУ, 2001, p. 26 — 31.
18. А.Г. Пинус. О собственных автоморфизмах универсальных алгебр // Сиб. матем. журнал, т. 45, № 6, 2004, с. 1329 — 1337.
19. J. Sichler. Weak automorphisms of universal algebras // Algebra univ., v. 3, № 1, 1973, p. 1 — 7.
20. А.Г. Пинус. О термальных и полиномиальных эндоморфизмах (в печати).
21. А.Г. Пинус. О формульности производных объектов на универсальных алгебрах // Изв. вузов. Математика, № 3, 2006, с. 36 — 40.
22. А.Г. Пинус. Условные термы и их применение в алгебре и теории вычислений // Новосибирск, изд-во НГТУ, 2002.
23. А.Г. Пинус. Условные термы и их применение в алгебре и теории вычислений // Успехи матем. наук, т. 56, № 4, 2001, с. 35 — 72.
A. G. Pinus
About families of definable (formula) derivative objects in universal algebras.
Abstract. This paper contains the author’s results concerning formula families (in different meanings) of automorphisms, endomorphisms, congruences, subalgebras of arbitrary universal algebras.
Keywords: Automorphism, Endomorphism, congruence, subalgebra, universal algebra.
Пинус Александр Георгиевич, доктор физико-математических наук, профессор, Новосибирский государственный технический университет, 630092, г. Новосибирск, пр. К. Маркса, 20, тел.: (383) 346-11-66 (ag.pinus@gmail.com)
Pinus Alexandr, professor, Novosibirsk State Technical University, 20, K. Marks St., Novosibirsk, 630092, Phone: (383)3461166 (ag.pinus@gmail.com)
