Алгебраические системы - Мальцев А.И.
Скачать (прямая ссылка):
— кватернионов 124
— Кэли 126
— линейная 122
— — конечная 123
— отношений 20
— подмножеств 225
— її-достижимая 298
— ^-разложимая 298 Алгебраическая константа 335
— независимость над полем 116
— система 46
— — абсолютно декартово неразложимая 82
— __ — свободная 321
— — декартово неразложимая 82
— — единичная 82, 270
— — конечная 47
— — конечного типа 47
— — конечно определенная 283
— —• — представимая 283
— — локально вложимая 209
— — первичная 257
— —, свободная в классе 316
— —, — — себе 316
— —, — относительно класса 315
— — смешанно неразложимая 335
— — тривиальная 317
— — частичная 48 Алгебраические системы неразличимые 235
— — элементарно эквивалентные 235
— — Г-неотличимые 236
— — !"-эквивалентные 237 Алфавит 138
Арность переменного 141 Ассоциатор 109
База расширения 113
Базис, свободный в классе 315
— системы 283
Верхняя граница 31, 129
— грань 129
— центральная цепь 105 Вложение каноническое 238
— элементарное 238
Вложимость изоморфная 90
— локальная 173
— совместная 305
Вхождение слова в слово второе 139
— — — — первое 139 Выполнимость 249
Гомоморфизм 49
— канонический 300
— композиционный 300, 324
— сильный 62 График'45 Группа 97
— абелева 103
— автоморфизмов 102
— — внутренних 102
— аддитивная кольца 106
— коммутативная 103
— локально разрешимая 105
— метабелева 105
— нильпЪтентная 105
— обратимых элементов 102
— отображений 23
— полная 206
— разрешимая 105
— симметрическая 102
— типа р°° 103 Группоид 89
— аддитивный 89
— ассоциативный 90
— квазимногообразий 382
— коммутативный 90 —• многообразий 383
— мультипликативный 89
Деление левое 95
— правое 95
Делитель нуля левый 108 ¦— — правый 108 Диаграмма 172, 251
— атомарная 301 Дизъюнкция отношений 17 Длина слова 138 Дополнение множества 12
Единица группоида 89
— — двусторонняя 89
— — левая 89
— — правая 89
— решетки 131
Замкнутость локальная 173 Замыкание аксиоматическое 102, 357предметный указатель
389
Замыкание квазипримитивное 273, 357
— примитивное 357
— репличное 294, 357
— эквивалентное 27 Значение неопределенное 43
— предикатного переменного 148 —— символа 202
— терма 142
— формулы 148
— функции 22
Идеал 107
— максимальный 112 Изокласс 51 Изоморфизм 37, 49 Индекс подгруппы 101
— эквивалентности 80 Истина 44 Кардинал 36 Категорийные понятия 75 Квазигруппа 95
— примитивная 95
— тотально симметрическая 96 Квазимногообразие 269
— достижимое 298 .
—- конечно определимое 269
— минимальное 372
— неточное 348
Квазиранг аксиоматический 347
— базисный 348 Квазитождество 189, 268 Кватернион 124
— сопряженный 124
Класс абсолютно наследственный 175
— абстрактный 207
— аксиоматизируемый 162, 206
— достижимый 298
— конечно аксиоматизируемый 206
— локально замкнутый 173
— наследственный 175, 210
— поляризованный 383
— порождающий для многообразия 357
— реплично полный 293
— смежный 23, 33, 100
— ультразамкнутый 207
— универсально аксиоматизируемый 210
— формул 236
— ^-достижимый 298
— Г-приводимый 264 Кольцо 106
— альтернативное 109
— антикоммутативное 109
— ассоциативное 108
— без делителей нуля 108
— Буля T16, 110
— коммутативное 109
— Ли 109 .
— с делением 108 , Коммутант 104
Коммутатор 104
Композиция инъективная 305, 325
— свободная 299
— систем с амальгамированиями подсистем 323
Композиция слов 139 Конгруенция 62
— вербальная 297, 371
— единичная или универсальная 64
— квазивербальная 297, 371
— нулевая 64
— ядерная 64 Конъюнкция отношений 17
Лемма Цорна 31 Ложь 44 Лупа 97
— примитивная 97 Метасимвол 139
Метод трансфинитной индукции 32 Многообразие 269
— атомарное 372
— единичное 270
— конечно определимое 269
— локально конечное 360
— минимальное 372
— —¦ ассоциативных колец 381
— — групп 381
— — полугрупп 381
— — решеток 381
— — Кт.ті-алгебр 382
— нулевое 270
— поляризованное 383
— тривиальное 270 Множество 9
— вполне упорядоченное 31
— линейно упорядоченное 31, 254
— — — неограниченное 42
— — — плотное 42
— основное алгебраической системы 46
— порождающее 55
— пустое 10
— решеточно упорядоченное 129
— счетное 36
— частично упорядоченное 31 Множитель свободный 300 Модель 47, 249
— первичная 257
—, представляющая алгебраическую систему 48 Моноид 92 Мощность 35
— алгебраической системы 46
— континуума 36 Мультиотобрашение однозначное 33
— —, определенное на А 33
— — точное 33
— частичное 33
Надмножество (надсистема) 10 Независимая система конгруенций 79
— совокупность элементов 313 Нижняя граница 129
— грань 129
— центральная цепь 105 Норма кватерниона 124
— числа Кэли 127 Нормальный делитель 100 Носитель алгебраической системы 46 Нуль группоида 89
— решетки 131390