Вы находитесь на странице: 1из 359

П.

Кон
УНИВЕРСАЛЬНАЯ АЛГЕБРА
ИЗДАТЕЛЬСТВО «МИР» Москва 1968
Книга известного английского математика профессора Лондонского
университета П. Кона — первая в мировой литературе монография, специально
посвященная теории универсальных алгебр. Это новое направление общей
алгебры развивается сейчас очень бурно и оказывает существенное влияние на
другие ее разделы.
Блестяще написанная книга, несомненно, заинтересует не только всех
алгебраистов, но и представителей других областей математики. Она будет
полезна преподавателям, аспирантам и студентам университетов и педвузов.
ОГЛАВЛЕНИЕ
Предисловие редактора перевода 5
Предисловие 9
Замечания 12
Глава I. МНОЖЕСТВА И ОТОБРАЖЕНИЯ 13
1. Аксиомы теории множеств 13
2, Соответствия 22
3. Отображения и фактормножества 24
4. Упорядоченные множества 31
5. Кардинальные и порядковые числа 41
6. Категории и функторы 49
Глава II. АЛГЕБРЫ 55
1. Системы замыканий 55
2. Ω-алгебры 61
3. Теоремы об изоморфизмах 71
4. Структуры 77
5. Структура подалгебр 93
6. Структура конгруэнции 101
7. Локальные и резидуальные свойства 113
8. Структура категорий Ω -алгебр 119
Глава III. СВОБОДНЫЕ АЛГЕБРЫ 123
1. Универсальные функторы 123
2. Алгебры Ω -слов 131
3. Клоны операций 141
4. Представления категорий Ω -алгебр 148
5. Свободные алгебры в категориях Ω -алгебр 152
6. Свободные и прямые объединения Ω -алгебр 157
7. Производные операторы 160
8. Представления Ω -алгебр 165
9. Проблема тождества 169
Глава IV. МНОГООБРАЗИЯ 176
1. Определение и основные свойства 176
2. Свободные группы и свободные кольца 180
3. Порождение многообразий 184
4. Представления в многообразиях алгебр 195
Глава V. СТРУКТУРЫ С ОТНОШЕНИЯМИ И МОДЕЛИ 204
1. Структуры с отношениями над областью предикатов 204
2. Булевы алгебры 207
3. Производные предикаты 215
4. Замкнутые классы предложений и аксиоматизируемые классы моделей 221
5. Ультрапроизведения и теорема компактности 226
6. Пространство моделей 230
Глава VI. АКСИОМАТИЗИРУЕМЫЕ КЛАССЫ МОДЕЛЕЙ 237
1. Ограничения и расширения . 237
2. Локальная определимость классов 239
3. Элементарные расширения 245
4. P-замкнутые классы и квазимногообразия 250
5. Классы, замкнутые относительно гомоморфных образов 253
6. Характеризация аксиоматизируемых классов моделей 255
Глава VII. ПРИЛОЖЕНИЯ 264
1. Натуральные числа 264
2. Абстрактные отношения зависимости 269
3. Проблема деления для полугрупп и колец 280
4. Проблема деления для группоидов 297
5. Линейные алгебры 301
6. Лиевы алгебры 308
7. Йордановы алгебры 316
Библиография 329
Указатель обозначений 339
Предметный указатель 341
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Абелева группа 66 Аксиоматический ранг 188
Абстрактная категория 119 Аксиомы Пеано 264
Абстрактное отношение зависимости Активная часть 284
269 Алгебра 55
— свойство 116 — антикоммутативная 305
Абстрактный клон 147 — булева 208
Автоморфизм 63 — вполне сжимаемая 146
Аксиома 221 — группоида 183
— базисная 237 — идемпотентная 304
— бесконечности 18 — индуктивная 265
— выбора 33 — йорданова 317
— основания 20 — коммутативная 306
Аксиоматизируемый класс — лиева 308
моделей221 — Линденбаума 224
— тип 225 — линейная 67
— относительно свободная 191 Биективное отображение 25
— полиадическая 224 Биекция 23
— полугрупповая 183 Биркгофа— Витта теорема 308
— n-примальная 195 Биркгофа теорема 115
— K-проективная 156 Бииентрализатор 144
— простая 75 Булеан 16
— Fn-простая 193 Булева алгебра 208
— сжимаемая 146 Булево кольцо 209
— K-свободная 158 — пространство 231
— с конечным числом образующих Валентность 133
94 Взаимно однозначное отображение
— Ω-слов 131, 132 2К
соответствие 23
— Ω -строк 131
Витта формула 315
— универсальная 152
Вложение 25, 63, 206
— цилиндрическая 225
Внутреннее прямое произведение 70
Алгебра частичная 68
Возрастающий одночлен 184
— числовая 265
Вота критерий 249
— элементарная 193
Вполне дистрибутивная булева
Алгебраическая система замыканий
алгебра 210
53
— инвариантная конгруэнция 177
Алгебраически замкнутое
— неупорядоченное множество 31
расширение 275
— приводимый модуль 148
Алгебраический оператор замыкания
— регулярное пространство 152
59
— сжимаемая алгебра 146
Алгебраическое замыкание алгебры
— упорядоченное множество 33
278
Выполнение тождества, отношения
— отношение зависимости 271
176, 205
— расширение 275
Высказывание 14
Алфавит 132
— коллективизируемое 15
Антиизоморфизм категорий 52
Галуа соответствие 58
Антикоммутативная алгебра 305
Гёделя теорема о полноте 222
Антисимметричное соответствие 22
Главный ряд 108
Арность 62, 204
— фильтр 214
Атом 92, 211
Гомоморфизм 63, 205
Атомная формула 216
— клонов 141
База фильтра 213
Гомоморфное отображение 63
Базис 270
Гомоморфный образ 63
Базисная аксиома 237
Граф 38, 139
Базисное произведение 309
— ориентированный 38
Базисный ранг 188
— связный 38
Безу кольцо 93
Группа 65
Бесконечноместная операция 26
— абелева 66
Бесконечный класс 19
— без кручения 117
— делимая 194 — модулярности 80
— дробей 281 — поглощения 78
— с мультиоператорами 66 эластичности 307
— операторами 66 Замкнутое подмножество 270
— симметрическая 69 Замкнутость относительно
Группоид 64 отображений 26
Двойственная категория 52 — подалгебр 120
Двойственность 79 — прямых произведений 120
Дедекиндова структура 79 — факторалгебр 120
Дедекиндово сечение 61 Замыкание 57
Декартова степень 18 — алгебраическое 278
Декартово произведение 16, 21 — универсальное 220
Де Моргана тождества 210 Значение функции 16
Диагональ 22 Идеал 72, 212
Диагональный процесс Кантора 37 Идемпотент 112
Диаграмма модели 240 Идемпотентная алгебра 304
Дизъюнкция 216 Изоморфизм алгебр 63
Дистрибутивная структура 81 — категорий 51
Длина строки 133 — рядов 107
— структуры 85 — структур 35
— элемента 85, 136, 302 — Ω-структур 206
Дополнение 16, 80 — цепей 84
Допустимый морфизм 124 Импликация 216
Дуальный идеал 212 Инвариантный ряд 108
Единица 65 Индекс 16
Единичный оператор 141 Индуктивная алгебра 265
Естественная эквивалентность — система 59
функторов 53 Индуктивный класс 239
Естественное отображение 27 Индукция 264
— представление 148 — нётерова 33
— преобразование функтора 53 — трансфинитная 33
Естественный гомоморфизм 72 Интервал 79
Жордана — Гельдера теорема 85, 108 Инъективная алгебра 278
Зависимое подмножество 269 — оболочка 279
Зависимость стандартная 272 Инъективное отображение 25
Задание алгебры 166 Инъективный функтор 151
— конечное 168 Инъекция 25
Закон 176 Исключительная йорданова алгебра
— альтернативности 303, 307 317
— антикоммутативности 305 Истинность 205
— ассоциативности 78, 307 Источник 24
— дистрибутивности 66, 81 Йорданово представление 318
— идемпотентности 303 — тождество 317
— коммутативности 78, 303 Йорданов элемент 324
Канонический морфизм 128 Безу 93
Кантора диагональный процесс 37 Коммутативная алгебра 306
Кардинальное число 41 — диаграмма 24
Категоричная теория 249 Компактное замыкание Стоуна—
Категория 50 Чеха 152
— абстрактная 119 Композиционный ряд 108
— двойственная 52 Композиция 141
— двойственная себе 54 — морфизмов 50
— локальная 121 Конечное задание алгебры 168
— наследственная 120 Конечноместная операция 26
— полученная ограничением области Конечный класс 19
операторов 163 — характер 61
— регулярная 119 Конгруэнтность формул 224
— резидуальная 121 Конгруэнция 71
Квазигруппа 66, 297 — вполне инвариантная 177
Квазнмногообразие 252 — неразложимая в пересечение 115'
Квантор общности 217 — нетривиальная 73
— существования 217 — разделяющая 73
Кейслера теорема 258 — собственная 73
Класс 13, 27 — совершенная 113
— аксиоматизируемый 221 Контравариантный функтор 52
— бесконечный 19 Конфигурация Паппа 70
— конечный 19 Конъюнктивная нормальная форма
— локально определимый 238 210
— моделей 238 Конъюнкция 216
— ограниченный 239 Координата 16
— открытых предложений 244 Коуниверсальный функтор 127
— относительно аксиоматизируемый Критерий Бота 249
233 Крулля— Шмидта теорема 86, 88,
— полный 15 111
— пустой 15 Куроша— Оре теорема 91
— сублокально определимый 238 Лёвенгейма— Сколема теорема 248
— типовой 230 Левый отрезок 35
— универсальный 15, 243 Лексикографическое произведение
— хорновский 252 49
— эквационально полный 192 Лемма о замещении 273
Класс элементарный 221, 233 — Цассенхауза 106
Клон 141 — Цорна 32
— абстрактный 147 Лиева алгебра 308
— действия Ω 142 Линденбаума алгебра 224
Ковариантный функтор 52 Линеаризация 316
Коллективизируемое высказывание Линейная алгебра 67
15 Линейно упорядоченное множество
Кольцо 66 23, 31
Логика высказываний 209 — обратный 53
Локальная категория 121 — регулярный слева 203
— система подалгебр 1L5 — справа 203
Локальное свойство 116 — тождественный 50
Локально определимый класс 238 Мощность 41
Лупа 66 Мультиоператор 66
Максимальный идеал 212 Наибольший элемент 32
— элемент 32 Наименьший элемент 32
Мальцева условия 286, 287 Направленная категория 276
Мёбиуса функция 315 — полугруппа 288
Минимальное многообразие 192 — система 129
Минимальный фильтр Фреше 213 Направленное множество 32
— элемент 32 Наследственное свойство 117
Многообразие 123, 177 Наследственность 120, 238
Множество 13, 67 Натуральное число 19, 67
— вполне неупорядоченное 31 Невозрастающая последовательность
— упорядоченное 33 138
— замкнутое 57 Недостижимый элемент 100
— линейно упорядоченное 23, 31 Независимое подмножество 86, 269
— направленное 32 Нейтральный элемент 64
— ограниченное сверху 32 Непересекающаяся сумма 128
— определяющих соотношений 165 Неподвижный элемент 324
— плотно упорядоченное 49 Непрерывная сверху структура 100
— счетное 44 Неприводимый элемент 90
— универсальное 18 Непротиворечивое множество
— упорядоченное 23 формул 229
— частично вполне упорядоченное Неразличимые Ω-структуры 224
137 Неразложимая в пересечение
— — упорядоченное 23 конгруэнция 115
Модель 221, 236 Неразложимый элемент 88
— стандартная 223 Несжимаемое расширение 275
Модельно-замкнутое множество Несократимая формула 250
формул 221 Несократимое прямое произведение
Модуль 66, 307 118
— вполне приводимый 148 — разложение 90
— унитарный 67 Нестандартная модель натуральных
Модулярная структура 79 чисел 267
Модулярный интервал 79 Нётерова индукция 33
Мономорфизм 54, 63 Нетривиальная конгруэнция 73
Монотонный гомоморфизм 35 — подкатегория 119
— изоморфизм 35 Нетривиальное многообразие 186
Морфизм 50 Нить 129
— допустимый 124 Нормализаторное условие 245
— обратимый 53 Нормальная форма 210
Нормальное распределение скобок Операция 69
286 — n-арная 26
Нормальный ряд 107 — конечноместная 26
Носитель 62, 125 Определяющее соотношение 165
Ω-структуры 205 Ориентированный граф 38
Нулевая алгебра 304 Оре область 293
Нулевой морфизм 51 Открытая формула 217
— объект 50 Относительно аксиоматизируемый
Нульарная операция 26 класс 233
Область значений 16 — свободная алгебра 191
— операторов 62 Отношение 23
— определения 16 — зависимости 269
— Оре 293 Отображение 24
— предикатов 204 Отождествление 27
Обобщенная гипотеза континуума Отрезок 34
256 Отрицание 216
Обобщенный принцип индукции 33 Отрицательная составляющая 250
Оболочка 269 Отрицательное предложение 254
Образ 25 Пара 15
Обратимая трансляция 113 Пассивная часть 284
Обратное соответствие 22 Пеано аксиомы 264
Обратный морфизм 53 Пересечение 15
— переход 174 Переход к полным прообразам 27
— предел 129 Перспективность интервалов 84
Обращающий оператор 324 Плотное действие Ω 144
Общее представление 318 Плотно упорядоченное множество 49
Объединение 15, 94 Подалгебра 62, 94
— прямое 86, 128 — Фраттини 99
— свободное 128 Подкатегория 52
Объект 50 — полная 52
Ограничение модели 237 Подкласс 16
— области операторов 161 Подклон 141
— операции 26 Подмножество 16
— отображения 26 Подобъект 54
Ограниченный класс 239 Подпрямо неразложимая алгебра 115
Одиночка 15 Подпрямо разложимая алгебра 114
Одночлен 181 Подпрямое произведение 114
Оператор 62 Подстановка 25
— единичный 141 Подструктура 34
— замыкания 56 — Ω-структуры 205
— обращающий 324 Подчиненность категорий 125
— постоянный 62 Покрытие 38
— проектирования 79 Поле 68, 234
— производный 160 — множеств 208
Полиадическая алгебра 224 — — естественное 148
Полная булева алгебра 210 — — резидуальное 149
— диаграмма модели 240 Предупорядоченность 23
— подкатегория 52 — по делимости 138, 140
— структура 34 Пренебрегающий функтор 125
— Ω-структура 205 Пренексное предложение 220
— теория 229 Приведенное произведение 227
Полное разложение 88 Приведенный элемент 174
— действие Ω 144 Примальность 195
Полнота Ω-структуры 205 Примитивный класс 177
Полный класс 15 Принцип двойственности 79
— прообраз 27 — индукции 264
Положительная составляющая 250 — обобщенный 33
— формула 216 — локализации 240
Положительное предложение 254 — трансфинитной индукции 33
— число 19 Проблема тождества 170
Полугруппа 64 Проективная алгебра 156
Полугрупповая алгебра 183 — плоскость 68
Полуспециальное представление 319 Проективный интервал 83
Порождающая алгебра 188 Проекция 25, 106
Порождающее множество 94, 270 Произведение базисное 309
Порядковое число 41 — декартово 16, 21
Порядковый тип 41 — кардинальных чисел 45
Постоянный оператор 62 — лексикографическое 49
Потенциально обратимое — морфизмов 50
подмножество 282 — подпрямое 114
Правильное слово 309 — приведенное 227
Правый отрезок 35 — прямое 63
Предельное порядковое число 49 — — внутреннее 70
Предикат 204 — — несократимое 118
Предложение 218 — свободное 157
— в пренексной нормальной форме — — с объединенной подгруппой
220 203
Представление алгебры йорданово — соответствий 22
318 — тривиальное 227
— — общее 318 Производная трансляция 161
— — полуспециальное 319 Производный оператор 160
— — регулярное 318 — предикат 207
— — специальное 317 Простая алгебра 75
— — — унитальное 323 Простой идеал 85
— — универсальное 320 — интервал 85
— — унитальное 232 Пространство моделей 225
— категорий 124, 148 Противоположная
предупорядоченность 23
Прямая степень 63 — произведение 157, 203
Прямое объединение 86, 128 Свойство абстрактное 116
— произведение 63 — замещения 92, 270
Прямой переход 174 — конечных пересечений 213
— предел 128, . — локальное 116
Пустой класс 15 — наследственное 117
Равномощные множества 23 — резидуальное 116'
Разбиение 27 — стойкое 243
Разделяющая конгруэнция 73 — универсальное 123
Разделяющее семейство конгруэнции Связанное переменное 217
114 Связанные элементы в структуре 80
Ранг многообразия аксиоматический Связная компонента графа 38
188 Семейство 16
— базисный 188 Сжатие 171
— свободной алгебры 155 — расширения 275
Расширение 68 Сжимаемая алгебра 158
Расширение алгебраически Сжимаемое расширение 275
замкнутое 275 Симметрическая группа 69
— алгебраическое 275 Симметричное соответствие 22
— несжимаемое 275 Система замыканий 55
— отображения 26 — — алгебраическая 59
— расщепляемое нулевое 307, 322 — — топологическая 56
— сжимаемое 275 — конечного характера 61
— структуры Ω-алгебры 99 — направленная 129
— Ω-структуры 237 — подмножеств 55
— элементарное 245 — — индуктивная 59
Расщепляемое нулевое расширение Система характера n 61
307, 322 Слово 308
Регулярная категория 119 Собственная конгруэнция 73
Регулярное представление 318 — подалгебра 63, 96
— действие полугруппы 292 Собственный идеал 212
Регулярный морфизм 203 — подкласс 16
Резидуальная категория 121 Совершенная конгруэнция 113
Резидуальное представление 149 Согласованность отображения 63
— свойство 116 Сократимая формула 250
Рекурсивно разрешимая проблема Соответствие 22
тождества 170 — Галуа 58
Рефлексивное соответствие 22 Специализация 101
Ряд главный 108 Специальная йорданова алгебра 317
— инвариантный 108 — лиевая алгебра 308
— композиционный 108 Специальное представление
— нормальный 107 йордановой алгебры 317
Свободное объединение 128 — унитальное представление 323
— переменное 216 Сравнимые элементы 31
Срезанное отображение 26 — Куроша— Оре 91
Стабилизатор 69 — Лёвенгейма— Сколема 248
Стандартная зависимость 272 — о замещении 110
— модель 223 — — разложении отображений 27
Стандартный алфавит 177 — — факторах 29, 75
Степень декартова 18 — об изоморфизме 74, 75
— прямая 63 — — ультрапроизведениях 227
— элемента группоида 302 — — уплотнениях 84, 107,
Стойкое свойство 243 — плотности Шевалле— Джекобсонэ
Стоуна— Чеха компактное 147
замыкание 152 — Тице 168
Строго минимальный элемент 137 — Шрейера 107
Строка 131 — Шредера— Бернштейна 37
Структура 33, 67, 77 Теория 221
— дедекиндова 79 — категоричная 249
— дистрибутивная 8! Типовой класс 230
— модулярная 79 Тице теорема 168
— непрерывная сверху 100 Тождества де Моргана 210
— полная 34 Тождественное отображение 25
— с дополнениями 92, 207 Тождественный морфизм 50
— с отношениями (Ω-структура) 204 Тождество 176
— Ω-алгебры 62 — йорданово 317
Структурный гомоморфизм 35 — Якоби 307, 308
— изоморфизм 35 Топологическая система 56
Сублокально определимый класс 238 Топологическое пространство 69
Сумма кардинальных чисел 45 Топология произведения 144
— непересекающаяся 128 Точка 292
— упорядоченная 49 Точная верхняя грань 32
Счетное множество 44 — нижняя грань 32
Сюръективное отображение 25 Траектория элемента 77
Сюръекция 25 Транзитивное отношение
Тавтология 219 зависимости 270
Тарского цилиндрическая алгебра — соответствие 23
225 Трансверсал 74
Тело дробей 292 Трансляция 101, 161
Теорема 221 — обратимая 113
— Биркгофа— Витта 308 — производная 161
Теорема Биркгофа о представлении — элементарная 101
115 Тривиальная алгебра 64
— Гёделя о полноте 222 — подкатегория 119
— Жордана— Гёльдера 85, 108 — Ω-структура 205
— Кейслера 258 Тривиальное произведение 227
— компактности 229 Тривиальный фактор 107
— Крулля— Шмидта 86, 88, 111 Ультрапроизведение 227
Ультрастепень 227 — атомная 216
Ультрафильтр 212 — Витта 315
Универсальная алгебра 152 — несократимая 250
— ассоциативная оболочка 308 — открытая 217
Универсальная группа полугруппы — положительная 216
281 — хорновская 252
— линейная оболочка 305 Фраттини подалгебра 99
— K-алгебра 152 Фреше фильтр 213
Универсальное замыкание 220 Функтор 52
— множество 18 — инъективный 151
— предложение 220 — ковариантный 52
— представление 320 — контравариантный 52
— свойство 123 — коуниверсальный 127
Универсальный класс 15, 243 — пренебрегающий 125
— морфизм 123 — универсальный 127
— объект 123 Функция 16
— функтор 126 — Мёбиуса 315
Унитальное представление 323 Характеристическая функция 27
Унитарный модуль 67 Хорновская формула 252
Уплотнение ряда 107 Хорновский класс 252
— цепи 84 Хорновское предложение 252
Упорядоченная группа 118, 234 Цассенхауза лемма 106
— пара 15 Цель 24
— полугруппа 112 Центр группы 111
— сумма 49 — клона 143
Упорядоченное множество 23, 31, 67, — кольца 70
234 Централизатор 93, 143
Упорядоченность 23 Центральный изоморфизм 112
— линейная 23, 31 Цепь 32, 84
— частичная 23 Цилиндрическая алгебра Тарского
Условие единственности 233 225
— минимальности 33 Цорна лемма 32
— определенности 233 Частично вполне упорядоченное
Условия Мальцева 286, 287 множество 137
Фактор 72 — упорядоченное множество 23
Факторалгебра 72 Числовая алгебра 265
Фактормножество 27 Числовое подмножество 19
Факторобъект 54 Число кардинальное 41
Факторструктура Ω-структуры 206 — натуральное 19, 67
Фильтр 212 — порядковое 41
— главный 214 — предельное 49
Фреше 213 Шрейера теорема 107
— минимальный 213 Шредера— Бернштейна теорема 37
Формула 216 Эквационально определимый класс
177 — строго минимальный 137
Эквивалентность 27, 53, 216 Эквазигруппа 179
— особая 70 Элупа 179
Эквивалентные объекты 53 Эндоморфизм 63
— тождества 177 Эпиморфизм 63
Экзистенциональное предложение Ядро отображения 28
220 Якоба тождество 307, 308
Элементарная алгебра 193 K-алгебра 119
— трансляция 101 Ω-алгебра 62
Элементарное отображение 245 Ω-алгебра частичная 68
— предложение 2]8 р-грутта 117
— расширение 245 A-замкнутость 120
Элементарно эквивалентные α-категоричная теория 249
структуры 224 NA-кольцо 301
Элементарный класс 221, 233 C-множество 57
Элемент максимальный 32 R-модуль 66
— минимальный 32 n-примальная алгебра 195
— наибольший 32 Fn-простая алгебра 193
— наименьший 32
K -свободная алгебра 152
Элемент недостижимый 64
— нейтральный 64 Λ-система 127
— неподвижный 324 Ω -слово 132
— неприводимый 90 Ω -строка 131
— неразложимый 88 NA-тело 301
— приведенный 174