Научная литература
booksshare.net -> Добавить материал -> Математика -> Мальцев А.И. -> "Алгебраические системы" -> 132

Алгебраические системы - Мальцев А.И.

Мальцев А.И. Алгебраические системы — Наука, 1970. — 392 c.
Скачать (прямая ссылка): algebraicheskiesistemi1970.djvu
Предыдущая << 1 .. 126 127 128 129 130 131 < 132 > 133 >> Следующая


ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Обеднение алгебраической системы 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

— над амальгамированной подсистемой 324 392 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ



Произведение отношений 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
Предыдущая << 1 .. 126 127 128 129 130 131 < 132 > 133 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed