Алгебраические системы - Мальцев А.И.
Скачать (прямая ссылка):
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Обеднение алгебраической системы 171
— — — конечное 171 Образ элемента 20, 32
Область определенности частичного мультиотображения 33
— ¦— частичной операции 43 Объединение возрастающей после-
е довательности систем 59
— множеств 11
Объекты, неразличимые на языке S 235
— Е-эквивалентные 235 Одноименные операции 47
— предикаты 47 Операция бинарная 13
— главная 46
— основная 46
— полярная, или опорная 383
— унарная 13
— частичная 43, 143
— — п-арная 43
— п-арная 43 Ординал 38 Отношение 17, 42
— бинарное 17
— дифункциональное 34
— обратное 17
— стабильное на алгебраической системе 61
— — относительно операции 61
— эквивалентности 23
— п.-арное 17, 42
Отношения бинарные перестановочные 19 Отображение 20
— взаимно однозначное 21 —¦ изоморфное 37
— каноническое 24, 35
— частичное 33 Отрицание отношения 17
Пара показателей циклической полугруппы 93 Переменное предикатное 141
— предметное 141
— свободное 146
— связанное 146
— функциональное 141 Пересечение множеств 11
— подсистем 54 Подалгебра 53 Подгруппа 97
— инвариантная 100
— конечного индекса 101 Подгруппоид 89 Подквазигруппа 95
Подкласс универсально аксиоматизируемый 174 Подкольцо 106 Подлупа 97 Подмножество 10 —, замкнутое в системе 53 —, — относительно операции 22 Подмодель 53
— локальная 171
— элементарная 237 Подполе 110
Подполе простое 111 Подполугруппа 90 Подпроизведение декартова произведения 81
— — — дополнительное 81 Подразложение 333 Подсистема 10, 53
— главная 55
—, порожденная множеством 55
— примитивная 261
— примитивно элементарная 261
— элементарная 238 Подслово 139
— начальное 140 Подсовокупность 10 Подтело 108
Показатели циклической полугруппы 93 Поле 110
— алгебраически замкнутое 114
— алгебраических чисел 116 Полная система гомоморфизмов 73
— — конгруенций 78 Полнота в сигнатуре ?2 249 Полугруппа 90
— многообразий 383
— моногенная 92
— отображений 23
— подмножеств 91
— симметрическая 90 —- с сокращением 275
— циклическая 92 Полурешетка 129
— верхняя 129
— нижняя 129 Полюс 383 Поляра 383 Порядковый тип 37
Порядок алгебраической системы 46
— двойственный 30
— линейный 31
— частичный 30
— элемента группы 103 Последовательность допустимая 226
— — стандартная 226
— разбивающая 226 Предикат второго порядка 156
— главный или основной 46
— мультипликативно устойчивый 184
— первого порядка 156
— позитивно формульный 181
— условно фильтрующийся 202
— фильтрующийся 202 ¦— хорновский 184
— п-арный 44 Префикс 164 Проектирование 73
— на подпроизведение 81 Проекция алгебраической системы
171
'Произведение групп прямое 206
— декартово 16, 42, 70, 72
— — собственное 82
— дополнительное 81
— классов 382
— над амальгамированной подсистемой 324392 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Произведение отношений 18
— регулярное 227
— — полное 227
— редуцированное 198, 199
— свободное 306
— — в классе 306
— смешанно свободное 332
— фильтрованное 198, 199
— S-свободное 306, 324 Прообраз элемента 20
—• — полный 20 Прямой спектр 59 Псевдоэквивалентность 29
Равенство множеств 9
— типов 46
— частичных функций 43 Разбиение 23
Разложимость системы в декартово
произведение 77 Разностное сложение множеств 15 Разность множеств 11 . Ранг аксиоматический 343
— базисный многообразия 344
— — системы 335, 345
— тождества или квазитождества 343
Расслоение 23 Расширение поля 110
— — алгебраическое 113
— — алгебраически замкнутое 114 —¦ — конечное 113
— — путем присоединения 110
— — чисто трансцендентное 117
— системы элементарное 239 Редукция алгебраической системы
171
Результат подстановки слова в слово 140 Реплика 290 Ретракт 325 Решетка 129
— абстрактная 130
— Буля 135
— дистрибутивная 133
— модулярная 133
— полная 132
— — абстрактная 132
— с дополнениями 134
Свойство абстрактное 51
— второй ступени 156 Секвенция 83 Семейство 10 Сигнатура класса 154
— системы 144 Символы логические 140 Система 46
— гомоморфизмов квазиполная 75
— первичная 257
— реляционная 47
— смешанно неразложимая 339
— утверждений категоричная 248
— — полная 248 Следствие 249
— формальное 10 Слово 138
— пустое 139
Совокупность значений частичного мультиотображения 33
— локальная 56
— локально конечная 360
— минимальная порождающая 317
— независимая 313
— — относительно класса 313
— определяющая 269, 276
— равномерно локально конечная 360
— совместная 163
— формул выполнимая 207
— — категоричная 251
— — — в мощности 253
— — — — сигнатуре ?2 251
— — квазиэквационально полная (Q-полная) 372
— — модельно полная 256
— — полная 249
— — слабо полная 256
— — эквационально полная (I-полная) 372
— Г-полная 249
— ГЯі-полная в мощности 253 Соотношение тождественное 268 Сравнимые элементы 30 Степень декартова 42