CC BY
7
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
Серия «Математика»
2019. Т. 28. С. 36-52
УДК 510.67:514.146
MSG 03С07, 03С60, 03G15, 51Е30
DOI https://doi.org/10.26516/1997-7670.2019.28.36
Алгебры распределений бинарных формул для теорий архимедовых тел *
Д. Ю. Емельянов
Новосибирский государственный технический университет, Новосибирск, Российская Федерация
Аннотация. Алгебры распределений бинарных изолирующих и полуизолирующих формул являются производными объектами для данной теории и отражают бинарные формульные связи между реализациями 1-типов. Эти алгебры связаны со следующими естественными классификационными вопросами: 1) по данному классу теорий определить, какие алгебры соответствуют теориям из этого класса, и классифицировать эти алгебры; 2) классифицировать теории из класса в зависимости от определяемых этими теориями алгебр изолирующих и полуизолирующих формул. При этом описание конечной алгебры бинарных изолирующих формул однозначно влечет и описание алгебры бинарных полуизолирующих формул, что позволяет отслеживать поведение всех бинарных формульных связей данной теории.
В статье описаны алгебры бинарных формул для теорий архимедовых тел. Для полученных алгебр приведены таблицы Кэли. Показано, что эти алгебры исчерпываются описанными алгебрами для усеченного куба, усеченного октаэдра, ром-боку бооктаэдр а, икосододекаэдра, усеченного тетраэдра, кубооктаэдра, плосконосого куба, плосконосого додекаэдра, усеченного кубооктаэдра, ромбоикосододекаэдра, усеченного икосаэдра, усеченного додекаэдра, ромбоусеченного икосододекаэдра.
Ключевые слова: алгебра распределений бинарных формул, архимедово тело.
Алгебры распределений бинарных изолирующих и полуизолирующих формул являются производными объектами для данной теории и отражают бинарные формульные связи между реализациями 1-типов. Эти объекты играют важную роль как при классификации данных теорий, так и при изучении общих вопросов восстановления информации по производным объектам. Наряду с развитой общей теорией алгебр би-
* Работа выполнена при частичной финансовой поддержке Российского фонда фундаментальных исследований (проект 17-01-00531-а) и Комитета науки Министерства образования и науки Республики Казахстан (грант № АР05132546).
нарных формул [12; 13; 15], получен ряд классификационных результатов по упорядоченным и счетно категоричным теориям [6; 7; 16], теориям абелевых групп [2], теориям унаров [5], полигонометрическим теориям
[8], включая теории правильных многогранников, теориям симплексов
[9] и др.
В настоящей работе продолжается изучение алгебр распределений бинарных изолирующих формул: описываются такие алгебры для теорий архимедовых тел.
1. Предварительные сведения
Пусть Т — полная теория, Л4 |= Т. Рассмотрим типы p(x),q(y) € 5(0), реализуемые в Л4, а также всевозможные (р, q)-устойчивые, или {p,q)-полуизолирующие, формулы tp(x,y) теории Т, т. е. формулы, для которых найдутся элементы а € М такие, что |= р(а) и <р(а, у) Ь q(y). Напомним [3; 4; 11; 13; 14], что если |= р(а) и |= <р(а,Ь) для (р, q)-полуизолирующей формулы tp(x,y), то говорят, что а полуизолирует Ъ. Определим для каждой такой формулы ip(x, у) двухместное отношение Rp,ip,q ^ {(а>Ь) | М |= р(а) А <р(а, Ь)}. При условии (a, b) € Rp,ip,q napa (а, Ъ) называется (p,tp,q)-дугой. Если tp(a,y) — главная формула (над а), то (р, (р, д)-дуга (а, Ъ) также называется главной.
Если tp(x,y) является (р о q)-формулой, т. е. одновременно (p,q)-и (д^-устойчивой, то множество [а, Ъ] ^ {(а, Ъ), (Ъ, а)} называется (р, if, q)-ребром [3;4; 11; 13; 14]. Если (p,<p,q)-ребро [а, Ь] состоит из главных (p,(p,q)- и (q, (р~1,р)-дуг, где <р~1(х,у) обозначает <р{у,х), то [а, Ь] называется главным (р, (р, д)-ребром.
Будем называть (р, (р, д)-дуги и (р, (р, д)-рёбра дугами и рёбрами соответственно, если из контекста ясно, о какой формуле идёт речь, или речь идёт о некоторой формуле tp(x,y). Дуги (а, Ъ), у которых пары (b, а) не являются дугами ни по каким (д,р)-формулам, будем называть необращаемыми.
Для типов p{x),q{y) € ¿>(0) обозначим через PF(p, q) множество
{<р(х, у) | tp(a, у) — главная формула,
<р(а,у) Q(v), гДе I =р(а)}.
Пусть РЕ(р, q) — множество пар (<р(х, у),ф(х, у)) формул из PF(p, q) таких, что для любой (некоторой) реализации а типа р совпадают множества решений формул tp(a,y) и ф(а,у).
Очевидно, что РЕ(р, q) является отношением эквивалентности на множестве PF(p, q). Заметим, что каждому РЕ(р, д)-классу Е соответствует либо главное ребро, либо необращаемая главная дуга, связывающая реализации типов р и q посредством любой (некоторой) формулы
из Е. Таким образом, фактор-множество РЕ(р, д)/РЕ(р, д) представляется в виде дизъюнктного объединения множеств РЕ8(р, д) и РЕМ(р, д), где РЕ8(р, д) состоит из РЕ(р, д)-классов, соответствующих главным рёбрам, а РЕМ(р, д) состоит из РЕ(р, д)-классов, соответствующих необ-ращаемым главным дугам.
Множества РЕ(р,р), РЕ(р,р), РЕЯ(р,р) и Р¥^(р,р) обозначаются соответственно через РЕ(р), РЕ(р), РЕ8(р) и РЕ]ЭД [12; 13].
Зафиксируем полную теорию Т, не имеющую конечных моделей. Пусть 17 = С/- 0 {0} 0 С/+ — некоторый алфавит мощности > |5(Т)|, состоящий из отрицательных элементов и~ € положительных элементов и+ € и+ и нуля 0. Как обычно, будем писать и < 0 для любого элемента и € II ~ и и > 0 для любого элемента и € 11+. Множество II ~ и {0} обозначается через 11-°, а 11+ и {0} — через II-0. Элементы множества и будем называть метками.
Рассмотрим инъективные меточные функции
и(р,д): РР(р,д)/РЕ(р,д) ^11,
р(х),д(у) € >5(0), при которых классам из РЕМ(р, д)/РЕ(р, д) соответствуют отрицательные элементы, а классам из РЕ8(р, д)/РЕ(р, д) — элементы неотрицательные так, что значение 0 определяется лишь для р = д и задаётся по формуле (х & у), и(р) ^ и(р,р). При этом будем считать, что ргУ(р) П = {0} для р ф д (где, как обычно, через pf обозначается область значений функции /) и ри(р,д)Г\ри(р',д') = 0, если р ф д и ('Р> ч) Ф (р'> </)• Любые меточные функции с указанными свойствами, а также семейства таких функций будем называть правильными и далее рассматривать только правильные меточные функции и их правильные семейства.
Через 0р>иА{х,у) будут обозначаться формулы из РЕ(р,д), представляющие метку и € Если тип р фиксирован и р = д, то формула вр,и,д(х,у) обозначается через ви(х,у).
Отметим, что если вр>и^(х, у) и вЧ{и>р(х, у) — формулы, свидетельствующие о том, что для реализаций а и Ь типов ряд соответственно пары (а, Ъ) и (Ь, а) являются главными дугами, то формула вр>и^(х, у) А
1,р(у, х) свидетельствует о том, что [а, Ъ] является главным ребром. При этом обратимой метке и однозначно соответствует (неотрицательная) метка V и наоборот. Метки и и V будем называть взаимно обратными и обозначать через V-1 и и-1 соответственно.
Для типов Р\, ■ ■ ■ ,Рк+\ € ¿>1(0) и множеств меток Х\,..., Хк С и обозначим через
Р(р1,Х1,р2,Х2,.. .,рк,Хк,рк+1)
множество, состоящее из всех меток и € 17, соответствующих формулам вР1>и>Рк+1(х,у), которые для реализаций а типа р\ и некоторых и\ €
Xi п ри(РЪР2),. ..,икеХк П Ри(рк,рк+1) удовлетворяют условию
(а, у) Ь (а, У),
где
Qpi,Ul,p2,U2,...,Pk,Uk,Pk+l (Ж> У) ^
i— 3^2) Жз, . . . , Xk(fipi,ui,p2 ^2) Л 0р2,К2>Рз(^'2) Л . . .
... Л dpk_líuk_lípk(xie-i, Хк) Л 6рк,ик,рк+1{%к, у))-
Тем самым, на булеане V(U) множества С/ образуется алгебра распределений бинарных изолирующих формул с fc-местными операциями
Р{Рь-,Р2, •,■■■ ,Рк, -,Рк+1),
где pi,... ,Pfc+i € S'1(0). Эта алгебра имеет естественное обеднение на любое семейство R С S'1(0).
Очевидно, что биективно заменяя множество меток, мы получаем изоморфную алгебру. В частности, имеется каноническая алгебра, у которой метки представлены элементами
\JPF(p,q)/PE(p,q).
p,q
Тем не менее, мы будем использовать абстрактное множество меток U, отражающее знаки меток и проясняющее алгебраические свойства операций на V(U).
Заметим, что если хотя бы одно из множеств X¿ не пересекается с Pv(pí,pí+1) и> в частности, если оно пусто, справедливо равенство
P(pi,Xi,p2,X2,.. ■ ,pk,Xk,pk+1) = 0.
Отметим также, что если X¿ ^ Pu(pi,pi+1) Для некоторого г, то
P(pi,Xi,p2,X2,.. ■ ,pk,Xk,pk+1) =
= P{pi,Xi П PV(P1,P2),P2,X2 П Pv(p2,p3),- ■ ■ ,Pk,Xk П Pu(pk,pk+1),Pk+1)-
На основании последнего равенства в дальнейшем при рассмотрении значений
P(pi,Xi,p2,X2,.. ■ ,pk,Xk,pk+1)
будем предполагать, что X¿ С p„(PiíPi+1), í = l,...,k.
Если каждое множество X¿ состоит лишь из одного элемента щ, то в записи
P(pi,Xi,p2,X2,.. ■ ,pk,Xk,pk+1) вместо множеств X¿ будем использовать элементы щ и писать
P{pi,ui,p2,u2, ■ ■ ■ ,pk,uk,pk+1).
По определению справедливо следующее равенство: Р(р1,Х1,р2,Х2, ■ ■ ■ ,Рк,Хк,рк+г) = = и{Р(р1,и1,р2,и2, ■ ■ -,рк,ик,рк+1) \игеХ1,...,ике хк}. Таким образом, задание множества
Р(р1,Х1,р2,Х2,.. .,рк,Хк,рк+1)
сводится к заданию множеств Р{р\,и\,р2,и2, ■ ■ ■ ,Рк,ик,Рк+г)- Отметим также, что для любого множества X С ри(РуЯ) имеет место Р{р, X, д) = X.
Заметим, что если щ = 0, то Р1 = для непустых множеств Р(р1,и1,р2,и2, ■ ■ ■ ,Рг,0,Рг+1, . . . ,рк,Пк,рк+1) и при этом выполняются следующие соотношения:
Р(р 1,0,Р1) = {0},
Р(р1,и1,р2,и2, ■ ■ ■ ,Рг,0,Рг+1,Щ+1,Рг+2, ■ ■ ■ ,Рк,ик,рк+{) =
= Р(р1,и1,р2,и2, ■ ■ .,Рг,Щ+1,Рг+2, ■ ■ ■ , Рк, ик, Рк+1) ■ Если все типы р^ совпадают с типом р, то вместо записей
Р(р1,Х1,р2,Х2,... ,рк,Хк,Рк+1)
и
Р(р1,и1,р2,и2, ■ ■ ■ ,Рк,ик,Рк+1)
будем писать Рр(Х\, Х2, • • •, Хк) и Рр(и\,и2, • • •, ик) соответственно, а также \_Х\,Х2, ..., Хк\р и [щ, и2, ■ ■ ■, ик\р. Будем также опускать индексы -р, если из контекста ясно, о каком типе р идет речь. При этом вместо формул вр>и1>р>и2>...>р>ик>р(х,у) будем писать ви1>и2>_>ик{х,у).
При наличии модели Мр группоид ^ (^(р^р)) \ {0}; Ь \1)> будучи полуассоциативной (слева) алгеброй, позволяет представить всевозможные операции термами сигнатуры [•, • В дальнейшем операцию будем также обозначать через • и использовать запись ии вместо и ■ V. При этом в случае отсутствия полуассоциативности справа будем в записи и\П2 ■ ■ ■ ик предполагать следующую расстановку скобок: (((«1 • щ) ••••)' ик)-
Поскольку по выбору метки 0 для формулы (х ~ у) справедливы равенства X • {0} = X и {0} • X = X для любого X С ргУ(р), группоид ф^р) имеет единичный элемент {0} и, при выполнении свойства полуассоциативности справа, является моноидом. В этой системе для любых множеств е Р(,Ри(р)) \ {0} справедливо соотношение
¥-г = 1){уг\у(=¥,г(=г}. (1.1)
Для семейства 1-типов К С в(Т) обозначим через /д (в модели Л4) множество
{(а,Ь) | 1р(а),1р(6) ейи а изолирует Ь}, а через Я1д (в модели Л4) множество
{(а, Ь) | 1р(а),1р(6) ейи а полуизолирует Ь}.
Очевидно, что /д С Я1д и на любом множестве реализаций типов из К отношения /д и Я1д рефлексивны. Известно, что отношение полуизолированности на множестве кортежей произвольной модели транзи-тивно и, в частности, транзитивно любое отношение 81д. Что касается отношения /д, оно может быть как транзитивным, так и нетранзитивным:
Предложение 1. [12; 13] Пусть р(х) — полный тип полной теории Т, имеющей модель Л4Р, и(р) — правильная меточная функция. Следующие условия эквивалентны:
(1) отношение 1Р (на множестве реализаций типар в любой модели Л4 |= Т) транзитивно;
(2) для любых меток и\,П2 € ри(р) множество Рр(и\,и2) конечно.
Предложение 2. [12; 13] Еслир,д ей- главные типы, то ри(Ргд) и Ри(д,р) ^
Расширяя множество меток и положительными и отрицательными метками для полуизолирующих формул, а также нейтральными метками и1 € и' (совмещающими необратимые дуги и главные ребра в множество решений полуизолирующих формул), получаем ОЗ-я-системы 63 для полуизолирующих формул, а также вьранги, булевы операции на метках этих формул, отношения доминирования меток, соответствующие отношению Ь, и РОЭТС-я-системы, включающие все указанные атрибуты [13; 15].
Предложение 3. [13; 16] Для любой теории Т, непустого семейства К С 5'1(0) изолированных типов и правильного семейства и(К) меточных функций для полуизолирующих формул РОЗТС-л-система ШТ^д) состоит из положительных меток и нуля, и каждая метка и имеет дополнение и такое, что и А и = 0 и иУ и является максимальным элементом. Если К = {р}, то моноид = порождает-
ся булевой алгеброй, для которой и У и соответствует изолирующим формулам типа р.
Следствие 1. [13; 16] Для любой ш-категоричной теории Т, непустого семейства К С 5'1(0) и правильного семейства ъ'(И) меточных функций для полуизолирующих формул РОЗТС-л-система ЯГ^д) конечна, состоит из положительных меток и нуля, и каждая метка и имеет дополнение и.
Теорема 1. [13; 16] Для любой РОЗТСп-системы ТХ, у которой каждая метка положительная или нулевая и при этом имеет дополнение, существует теория Т, непустое семейство К С 5'1(0) изолированных типов и правильное семейство и{В) меточных функций для полуизолирующих формул такие, что ЗЛ^д) = Ш.
Следствие 2. [13; 16] Для любой конечной РОЗТСп-системы ТХ, у которой любая метка положительна или нулевая и имеет дополнение, существует ш-категоричная теория Т, непустое семейство К С 5'1(0) и правильное семейство и{В) меточных функций для полуизолирующих формул такие, что Ш^щ = Ш.
Замечание 1. Отметим, что если щ,... ,ип — все метки, связывающие реализации 1-типов р и д главными дугами, то для любой метки и = V ... V щк её дополнением является метка и = V ... V щ, где {¿1,..., %к}, {.]1, ■ ■ ■ 31} — разбиение множества {1,..., п}. Поэтому в следствиях 1 и 2 о наличии дополнений можно не упоминать.
Кроме того, поскольку в любой конечной РОЯТСтг-системе все метки сводятся к меткам изолирующих формул, эта система однозначно определяется своей подалгеброй распределений изолирующих формул.
2. Алгебры распределений бинарных изолирующих формул для теорий архимедовых тел
Определение 1. [1; 10]. Архимедовы тела — выпуклые многогранники, обладающие двумя свойствами: все грани являются правильными многогранниками двух или более типов, для любой пары вершин существует симметрия многогранника, переводящая одну вершину в другую.
Количество меток для алгебр задается диаметром. Под диаметром подразумевается понятие диаметра для графа.
Определение 2. Для усеченного куба обозначим через 110 алгебру (иС^; *) с носителем IIС} = Р({0,1,2,3,4, 5,6}), задаваемую следующей таблицей:
0 1 2 3 4 5 6
0 {0} {1} {2} {3} {4} {5} {6}
1 {1} {0,1,2} {0,1,2,3} {1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
2 {2} {0,1,2,3} {1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
3 {3} {1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
4 {4} {0,1,2,3,4,5} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
5 {5} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
6 {6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6} {0,1,2,3,4,5,6}
Определение 3. Для усеченного октаэдра обозначим через НО алгебру (110; *) с носителем 110 = Р({0,1,2,3,4, 5,6}), задаваемую следующей таблицей:
0 1 2 3 4 5 6
0 {0} {1} {2} {3} {4} {5} {6}
1 {1} {0,2} {1,3} {0,2,4} {1,3,5} {0,2,4,6} {1,3,5}
2 {2} {1,3} {0,2,4} {1,3,5} {0,2,4,6} {1,3,5} {2,4,6}
3 {3} {0,2,4} {1,3,5} {0,1,2,4,5,6} {1,3,5} {2,4,6} {1,3,5}
4 {4} {1,3,5} {0,2,4,6} {1,3,5} {0,1,2,3,5,6} {1,3,5} {0,2,3,4}
5 {5} {0,2,4,6} {1,3,5} {2,4,6} {1,3,5} {0,1,2,3,4,6} {1,3,5}
6 {6} {1,3,5} {2,4,6} {1,3,5} {0,2,3,4} {1,3,5} {0,1,2,3,4,5}
Определение 4. Для ромбокубооктаэдра обозначим через ал-
гебру (ЯС^О; *) с носителем ЯС^О = Р({0,1,2,3,4, 5}), задаваемую следующей таблицей:
0 1 2 3 4 5
0 {0} {1} {2} {3} {4} {5}
1 {1} {1,2} {0,1,2,3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5}
2 {2} {0,1,2,3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
3 {3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5 {0,1,2,3,4,5} {0,1,2,3,4,5}
4 {4} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5 } {0,1,2,3,4,5}
5 {5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
6 {6} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
Определение 5. Для икосододекаэдра обозначим через ЗЭ алгебру (/£);*) с носителем Ю = Р({0,1, 2, 3, 4, 5}), задаваемую следующей таблицей:
0 1 2 3 4 5
0 {0} {1} {2} {3} {4} {5}
1 {1} {1,2} {0,2,3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5}
2 {2} {0,2,3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
3 {3} {0,1,2,3,4} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
4 {4} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
5 {5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
6 {6} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5} {0,1,2,3,4,5}
Определение 6. Для усеченного тетраэдра обозначим через ill алгебру (С/Т;*) с носителем С/Т = Р({0,1,2,3}), задаваемую следующей таблицей:
0 1 2 3
0 {0} {1} {1} {3}
1 {1} {0,1,2} {0,2,3} {1,2,3}
2 {2} {0,2,3} {1,2,3} {о, 1,2,3}
3 {3} {1,2,3} {0, 1,2,3} {0, 1,2,3}
Определение 7. Для усеченного кубооктаэдра обозначим через ПО алгебру (С^О;*) с носителем С^О = Р({0,1,2,3}), задаваемую следующей таблицей:
0 1 2 3
0 {0} {1} {1} {3}
1 {1} {0,1,2} {0, 1,2,3} {0, 1,2,3}
2 {2} {0, 1,2,3} {0, 1,2,3} {0, 1,2,3}
3 {3} {0, 1,2,3} {0, 1,2,3} {0, 1,2,3}
Определение 8. Для плосконосого куба обозначим через ф0 алгебру (РС^;*) с носителем = Р({0,1,2,3,4}), задаваемую следующей таблицей:
0 1 2 3 4
0 {0} {1} {1} {3} {4}
1 {1} {1,2} {0, 1,2,3} {0,1,2,3,4} {0, 1,2,3,4}
2 {2} {0, 1,2,3} {0, 1,2,3,4} {0,1,2,3,4} {0, 1,2,3,4}
3 {3} {0, 1,2,3,4} {0, 1,2,3,4} {0,1,2,3,4} {0, 1,2,3,4}
4 {3} {0, 1,2,3,4} {0, 1,2,3,4} {0,1,2,3,4} {0, 1,2,3,4}
Определение 9. Для плосконосого додекаэдра обозначим через фЭ алгебру с носителем РБ = ^({0,1, 2, 3, 4, 5, 6, 7}), задаваемую
следующей таблицей:
0 1 2 3 4 5 6 7
0 {0} {1} {2} {3} {4} {5} {6} {П
1 {1} {0,1,2} {0,1,2,3} {0,1,2, {0,1,2, {0,1,2,3, {0,1,2,3, {0,1,2,3,
3,4} 3,4,5} 4,5,6} 4,5,6,7} 4,5,6,7}
2 {2} {0,1,2,3} {0,1,2, {0,1,2, {0,1,2,3 {0,1,2,3 {0,1,2,3, {0,1,2,3,
3,4} 3,4,5} 4,5,6} 4,5,6,7} 4,5,6,7} 4,5,6,7}
3 {3} {0,1,2, {0,1,2, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3,
3,4} 3,4,5} 4,5,6} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7}
4 {4} {0,1,2, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3,
3,4,5} 4,5,6} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7}
5 {5} {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3,
4,5,6} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7 }
6 {6} {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3,
4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7}
7 {П {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3, {0,1,2,3,
4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7} 4,5,6,7}
Определение 10. Для усеченного кубооктаэдра обозначим через НПО алгебру (С/фО; *) с носителем и ¿¿О = 7>({0,1,2,3,4, 5,6, 7,8}),
задаваемую следующей таблицей:
0 1 2 3 4 5 6 7 8
0 {0} {1} {2} {3} {4} {5} {6} {7} {8}
1 {1} {0,2} {1,2,3} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4 {1,3,5,
6} 7} 6,8} 7}
2 {2} {1,2,3} {0,2,4} {1,3,5} {0,2,4, {1,3,5, {0,2,4 {1,3,5, {0,2,4,
6} 7} 6,8} 7} 6,8}
3 {3} {0,2,4} {1,3,5} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6 7} 6,8} 7} 6,8} 7}
4 {4} {1,3,5} {0,2,4, {1,3,5, {0,2,4 {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6} 7} 6,8} 7} 6,8} 7} 6,8}
5 {5} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6} 7} 6,8} 7} 6,8} 7} 6,8} 7}
6 {6} {1,3,5, {0,2,4 {1,3,5, {0,2,4 {1,3,5, {0,2,4, {1,3,5, {0,2,4,
П 6,8} 7} 6,8} 7} 6,8} 7} 6,8}
7 (П {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8} 7} 6,8} 7} 6,8} 7} 6,8} 7}
8 {8} {1,3,5, {0,2,4 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7} 6,8} 7} 6,8} 7} 6,8} 7} 6,8}
Определение 11. Для ромбоикосододекаэдра обозначим через !Ю® алгебру (RID;*) с носителем RID = Р({0,1, 2, 3, 4, 5, 6, 7, 8}), задаваемую следующей таблицей:
0 1 2 3 4 5 6 7 8
0 {0} {1} {2} {3} {4} {5} {6} {7} {8}
1 {1} {1,2} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3} 3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8}
2 {2} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3} 3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8}
3 {3} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
4 {4} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
5 {5} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
6 {6} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
7 {7} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
8 {8} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
Определение 12. Для усеченного икосаэдра обозначим через Ш алгебру (111; *) с носителем III = ({0,1,2,3,4, 5,6, 7, 8}), задаваемую следующей таблицей:
0 1 2 3 4 5 6 7 8
0 {0} {1} {2} {3} {4} {5} {6} {П {8}
1 {1} {0,2} {1,2,3} {1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8}
2 {2} {1,2,3} {1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8}
3 {3} {1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4} 3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
4 {4} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5} 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
5 {5} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6} 6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
6 {6} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
7 т {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
8 {8} {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2, {0,1,2,
3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5, 3,4,5,
6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8} 6,7,8}
Определение 13. Для усеченного додекаэдра обозначим через 1Ш алгебру (17 И-,*) с носителем IIБ = Р({0,1,2,3,4, 5,6, 7,8,9,10}), задаваемую следующей таблицей:
0 1 2 3 4 5
0 {0} {1} {2} {3} {4} {5}
1 {1} {0,1} {0,1,2,3} {1,2,3,4} {0,1,2,3,4,5} {1,2,3,4,5,6}
2 {2} {0,1,2,3} {1,2,3,4} {0,1,2,3,4,5} {1,2,3,4,5,6} {0,1,2,3,4,5,6,7}
3 {3} {1,2,3,4} {0,1,2,3,4,5} {1,2,3,4,5,6} {0,1,2,3,4,5,6,7} {1,2,3,4,5,6,7,8}
4 {4} {0,1,2,3,4,5} {1,2,3,4,5,6} {0,1,2, {1,2,3,4, {0,1,2,3,
3,4,5,6,7} 5,6,7,8} 4,5,6,7,8,9}
5 {5} {1,2,3,4, {0,1,2,3, {1,2,3, {0,1,2,3, {1,2,3,4,
5,6} 4,5,6,7} 4,5,6,7,8} 4,5,6,7,8,9} 5,6,7,8,9,10}
6 {6} {0,1,2,3, {1,2,3,4, {0,1,2,3,4,5, {1,2,3,5,6,7, {0,1,2,3,4,5,
4,5,6,7} 5,6,7,8} 6,7,8,9}, 7,8,9,10}, 6,7,8,9,10}
0 1 2 3 4 5
7 {7} {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8} 4,5,6,7, 5,6,7,8, 4,5,6,7, 5,6,7,8,
9,10} 8,9} 8,9,10} 9,10}
8 {8} {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3,
4,5,6,7, 5,6,7,8, 4,5,6,7, 5,6,7,8, 4,5,6,7,
8,9} 9,10} 8,9,10} 9,10} 8,9,10}
9 {9} {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8, 4,5,6,7, 5,6,7,8, 4,5,6,7, 5,6,7,8,
9,10} 8,9,10} 9,10} 8,9,10} 9,10}
10 {10} {0,1,2,3, {1,2,3,4, {0,1,2, {1,2,3,4, {0,1,2,3,
4,5,6,7, 5,6,7,8, 3,4,5, 5,6,7,8, 4,5,6,7,
8,9,10} 9,10} 6,7,8,9,10} 9,10} 8,9,10}
6 7 8 9 10
0 {6} {7} {8} {9} {10}
1 {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3,
4,5,6,7} 5,6,7,8} 4,5,6,7,8,9} 5,6,7,8,9,10} 4,5,6,7,8,9,10}
2 {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8} 4,5,6,7,8,9} 5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10}
3 {0,1,2,3,4,5, {1,2,3,4,5, {0,1,2,3,4,5, {1,2,3,4,5, {0,1,2,3,4,5,
6,7,8,9} 5,6,7,8,9,10} 5,6,7,8,9,10} 5,6,7,8,9,10} 5,6,7,8,9,10}
4 {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10}
5 {0,1,2,3,4,5, {1,2,3,4,5, {0,1,2,3,4,5, {1,2,3,4,5, {0,1,2,3,4,5,
6,7,8,9,10 6,7,8,9,10} 6,7,8,9,10} 6,7,8,9,10} 6,7,8,9,10}
6 {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
4,5,6,9,10 4,5,6,7,8,9,10} 5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10}
7 {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3,
4,5,6,7, 5,6,7,8, 4,5,6,7, 5,6,7,8, 4,5,6,7,
8,9,10} 9,10} 8,9,10} 9,10} 8,9,10}
8 {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10}
9 {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3,
4,5,6,7, 5,6,7,8, 4,5,6,7, 5,6,7,8, 4,5,6,7,
8,9,10} 9,10} 8,9,10} 9,10} 8,9,10}
10 {1,2,3,4, {0,1,2,3, {1,2,3,4, {0,1,2,3, {1,2,3,4,
5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10} 4,5,6,7,8,9,10} 5,6,7,8,9,10}
Определение 14. Для ромбоусеченного икосододекаэдра обозначим через ЭТДО® алгебру (ШЮ; *) с носителем Шт = Р({0,1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14}), задаваемую следующей таблицей:
0 1 2 3 4 5 6 7
0 {0} {1} {2} {3} {4} {5} {6} {7}
1 {1} {0,2} {1,3} {0,2,4} {1,3,5} {0,2,4,6} {1,3,5,7} {0,2,4,6,8}
2 {2} {1,3} {0,2,4} {1,3,5} {0,2,4,6} {1,3,5,7} {0,2,4,6,8} {1,3,5,7,9}
3 {3} {0,2,4} {1,3,5} {0,2,4,} {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6} 7} 6,8} 7,9} 6,8,10}
0 1 2 3 4 5 6 7
4 {4} {1,3,5} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6} 7} 6,8} 7,9} 6,8,10} 7,9,11}
5 {5} {0,2,4,6} {1,3,5,7} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6,8} 7,9} 6,8,10} 7,9,11} 6,8,10, 12}
6 {6} {1,3,5,7} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8} 7,9} 6,8,10} 7,9,11} 6,8,10, 12} 7,9,11, 13}
7 (П {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6,8} 7,9} 6,8,10} 7,9,11} 6,8,10, 12} 7,9,11, 13} 6,8,10, 12,14}
8 {8} {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
7,9} 6,8,10} 7,9,11} 6,8,10, 12} 7,9,11, 13} 6,8,10, 12,14} 7,9,11, 13}
9 {9} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6,8,10} 7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
12} 13} 12,14} 13} 12,14}
10 {10} {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12} 13} 12,14} 13} 12,14} 13}
11 {Н} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
12} 13} 12,14} 13} 12,14} 13} 12,14}
12 {12} {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
13} 12,14} 13} 12,14} 13} 12,14} 13}
13 {13} {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
12,14} 13} 12,14} 13} 12,14} 13} 12,14}
14 {14} {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
13} 12,14} 13} 12,14} 13} 12,14} 13}
7 8 9 10 11 12 13 14
0 {7} {8} {9} {10} {Н} {12} {13} {14}
1 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8} 7,9} 6,8,10} 7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12} 13} 12,14} 13}
2 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9} 6,8,10} 7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
12} 13} 12,14} 13} 12,14}
3 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10} 7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12} 13} 12,14} 13} 12,14} 13}
4 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11} 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
12} 13} 12,14} 13} 12,14} 13} 12,14}
7 8 9 10 11 12 13 14
5 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12} 13} 12,14} 13} 12,14} 13} 12,14} 13}
6 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
13} 12,14} 13} 12,14} 13} 12,14} 13} 12,14}
7 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12,14} 13} 12,14} 13} 12,14} 13} 12,14} 13}
8 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
13} 12,14} 13} 12,14} 13} 12,14} 13} 12,14}
7,9 } 6,8,10} 7,9,11} 6,8,10, 7,9,11, 6,8,10,
9 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12,14} 13} 12,14} 13} 12,14} 13} 12,14} 13}
10 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
13} 12,14} 13} 12,14} 13} 12,14} 13} 12,14}
11 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12,14} 13} 12,14} 13} 12,14} 13} 12,14} 13}
12 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
13} 12,14} 13} 12,14} 13} 12,14} 13} 12,14}
13 {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5,
6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11,
12,14} 13} 12,14} 13} 12,14} 13} 12,14} 13}
14 {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4, {1,3,5, {0,2,4,
7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10, 7,9,11, 6,8,10,
13} 12,14} 13} 12,14} 13} 12,14} 13} 12,14}
На основании полученного описания таблиц Кэли для алгебр бинарных изолирующих формул теорий архимедовых тел справедлива следующая теорема.
Теорема 2. Если Т — теория архимедовых тел, © — алгебра бинарных изолирующих формул теории Т, то алгебра © задается ровно одной из следующих алгебр: алгеброй 110, алгеброй 110, алгеброй £К00, алгеброй 31, алгеброй ИТ, алгеброй 00, алгеброй ф0, алгеброй фЗЗ, алгеброй И£Ю, алгеброй , алгеброй ИЗ, алгеброй ПЭ, алгеброй ШЗЪ.
В силу предложений 1-3 полученная теорема 2 представляет описание алгебр бинарных полуизолирующих формул теорий архимедовых тел.
Д. Ю. ЕМЕЛЬЯНОВ 3. Заключение
В работе получены таблицы Кэли для тринадцати архимедовых тел: усеченного куба, усеченного октаэдра, ромбокубооктаэдра, икосододе-каэдра, усеченного тетраэдра, кубооктаэдра, плосконосого куба, плосконосого додекаэдра, усеченного кубооктаэдра, ромбоикосододекаэдра, усеченного икосаэдра, усеченного додекаэдра, ромбоусеченного икосо-додекаэдра. На основании этих таблиц сформулирована теорема, описывающая все алгебры распределений бинарных формул для теорий архимедовых тел. Показано, что они полностью задаются указанными алгебрами.
Список литературы
1. Ashkinuze V. G. On the number of semi-regular polyhedra // Matem. prosv. 1957. Vol. 1. P. 107-118.
2. On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered expansions / K. A. Baikalova, D. Yu. Emelyanov, B. Sh. Kulpeshov, E. A. Palyutin, S. V. Sudoplatov // Russian Math. 2018. N 4. P. 1-13. https://doi.org/10.3103/sl066369xl8040011
3. Baizhanov B. S. Orthogonality of one types in weakly o-minimal theories // Algebra and Model Theory 2. Collection of papers / eds.: A. G. Pinus, K. N. Ponomaryov. Novosibirsk : NSTU Publisher, 1999. P. 5-28.
4. Baizhanov B. S., Sudoplatov S. V., Verbovskiy V. V. Conditions for non-symmetric relations of semi-isolation // Siberian Electronic Mathematical Reports. 2012. Vol. 9. P. 161-184.
5. Emel'yanov D. Yu. On algebras of distributions of binary formulas for theories of unars // The Bulletin of Irkutsk State University. Series Mathematics. 2016. Vol. 17. P. 23-36. (in Russian)
6. Emel'yanov D. Yu., Kulpeshov B. Sh., Sudoplatov S. V. Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures // Algebra and Logic. 2017. Vol. 56, N 1. P. 13-36. https://doi.org/10.17377/alglog.2017.56.102
7. Emel'yanov D. Yu., Kulpeshov B. Sh., Sudoplatov S. V. Algebras of distributions of binary isolating formulas for quite o-minimal theories // Algebra and Logic. 2018. Vol. 57, no 6. P. 429-444. https://doi.org/10.33048/alglog.2018.57.603
8. Emel'yanov D. Yu., Sudoplatov S. V. On deterministic and absorbing algebras of binary formulas of polygonometrical theories// The Bulletin of Irkutsk State University. Series Mathematics. 2017. Vol. 20. P. 32-44. (in Russian) https://doi.org/10.26516/1997-7670.2017.20.32
9. Emel'yanov D. Yu. Algebras of binary isolating formulas for simplex theories // Algebra and Model Theory 11. Collection of papers, Novosibirsk : NSTU Publ., 2017. P. 66-74.
10. Gurin A. M. To history of studying of convex polyhedra with regular faces // Siberian Electronic Mathematical Reports. 2010. Vol. 7. P. A.5-A.23.
11. Pillay A. Countable models of stable theories. // Proc. Amer. Math. Soc. 1983. Vol. 89, N 4. P. 666-672.
12. Shulepov I. V., Sudoplatov S. V. Algebras of distributions for isolating formulas of a complete theory // Siberian Electronic Mathematical Reports. 2014. Vol. 11. R 380-407.
13. Sudoplatov S. V. Classification of countable models of complete theories. Part 1. Novosibirsk : NSTU Publ., 2018. 376 p.
14. Sudoplatov S. V. Hypergraphs of prime models and distributions of countable models of small theories // J. Math. Sciences. 2010. Vol. 169, N 5. P. 680-695. https://doi.org/10.1007/sl0958-010-0069-9
15. Sudoplatov S. V. Algebras of distributions for semi-isolating formulas of a complete theory // Siberian Electronic Mathematical Reports. 2014. Vol. 11. P. 408-433.
16. Sudoplatov S. V. Algebras of distributions for binary semi-isolating formulas for families of isolated types and for countably categorical theories // International Mathematical Forum. 2014. Vol. 9, N 21. P. 1029-1033.
Дмитрий Юрьевич Емельянов, аспирант, Новосибирский государственный технический университет, Российская Федерация, 630073, г. Новосибирск, проспект К. Маркса, 20, тел.: (383) 3461166. (e-mail: [email protected])
Поступила в редакцию 25.04-19
Algebras of Distributions of Binary Formulas for Theories of Archimedean Solids
D. Yu. Emel'yanov
Novosibirsk State Technical University, Novosibirsk, Russian Federation
Abstract. Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types. These algebras are associated with the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to the theories from this class and classify these algebras; 2) to classify theories from a given class depending on the algebras defined by these theories of isolating and semi-isolating formulas. Here the description of a finite algebra of binary isolating formulas unambiguously entails a description of the algebra of binary semi-isolating formulas, which makes it possible to track the behavior of all binary formula relations of a given theory.
In the article we describe algebras of binary formulas for the theories of Archimedean solids. For the obtained algebras, Cayley tables are given. It is shown that these algebras are exhausted by described algebras for a truncated cube, truncated octahedron, rhombocuboctahedron, icosododecahedron, truncated tetrahedron, cubooctahedron, flat-nosed cube, flat-nosed dodecahedron, truncated cubooctahedron, rhomboicosododecahe-dron, truncated icosahedron, truncated dodecahedron, rhombo-truncated icosododecahedron.
Keywords: algebra of distributions of binary formulas, Archimedean solid.
References
1. Ashkinuze V.G. On the number of semi-regular polyhedra. Matem. prosv., 1957, vol. 1, pp. 107-118.
2. Baikalova K.A., Emelyanov D.Yu., Kulpeshov B.Sh., Palyutin E.A., Sudopla-tov S.V. On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered expansions. Russian Math., 2018, no. 4, pp. 1-13. https://doi.org/10.3103/sl066369xl8040011
3. Baizhanov B.S. Orthogonality of one types in weakly o-minimal theories. Algebra and Model Theory 2, Collection of papers, Pinus A.G., Ponomaryov K.N. (eds.). Novosibirsk, NSTU Publisher, 1999, pp. 5-28.
4. Baizhanov B.S., Sudoplatov S.V., Verbovskiy V.V. Conditions for non-symmetric relations of semi-isolation. Siberian Electronic Mathematical Reports, 2012, vol. 9, pp. 161-184.
5. Emel'yanov D.Yu. On algebras of distributions of binary formulas for theories of unars. The Bulletin of Irkutsk State University. Series Ma,them,a,tics, 2016, vol. 17, pp. 23-36. (in Russian)
6. Emel'yanov D.Yu., Kulpeshov B.Sh., Sudoplatov S.V. Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures. Algebra, and, Logic, 2017, vol. 56, no. 1, pp. 13-36. https://doi.org/10.17377/alglog.2017.56.102
7. Emel'yanov D.Yu., Kulpeshov B.Sh., Sudoplatov S.V. Algebras of distributions of binary isolating formulas for quite o-minimal theories. Algebra, and, Logic, 2018, vol. 57, no. 6, pp. 429-444. https://doi.org/10.33048/alglog.2018.57.603
8. Emel'yanov D.Yu., Sudoplatov S.V. On deterministic and absorbing algebras of binary formulas of polygonometrical theories. The Bulletin of Irkutsk State University. Series "Mathematics", 2017, vol. 20, pp. 32-44. (in Russian) https://doi.org/10.26516/1997-7670.2017.20.32
9. Emel'yanov D.Yu. Algebras of binary isolating formulas for simplex theories. Algebra and, Model Theory 11. Collection of papers, Novosibirsk, NSTU Publisher, 2017, pp. 66-74.
10. Gurin A.M. To history of studying of convex polyhedra with regular faces. Siberian Electronic Mathematical Reports, 2010, vol. 7, pp. A.5-A.23.
11. Pillay A. Countable models of stable theories. Proc. Amer. Math. Soc., 1983, vol. 89, no. 4, pp. 666-672.
12. Shulepov I.V., Sudoplatov S.V. Algebras of distributions for isolating formulas of a complete theory. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 380-407.
13. Sudoplatov S.V. Classification of countable models of complete theories. Part 1. Novosibirsk, NSTU Publisher, 2018, 376 p.
14. Sudoplatov S.V. Hypergraphs of prime models and distributions of countable models of small theories. J. Math. Sciences, 2010, vol. 169, no. 5, pp. 680-695. https://doi.org/10.1007/sl0958-010-0069-9
15. Sudoplatov S.V. Algebras of distributions for semi-isolating formulas of a complete theory. Siberian Electronic Mathematical Reports, 2014, vol. 11, pp. 408-433.
16. Sudoplatov S.V. Algebras of distributions for binary semi-isolating formulas for families of isolated types and for countably categorical theories. International Mathematical Forum, 2014, vol. 9, no. 21, pp. 1029-1033.
Dmitry Emel'yanov, Postgraduate, Novosibirsk State Technical University, 20, K. Marx Ave., 630073, Novosibirsk, Russian Federation, tel.: (383)3461166 (e-mail: [email protected])
Received 25.04.19
