Хобби Д., Маккензи Р. — Строение конечных алгебр :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Хобби Д., Маккензи Р. — Строение конечных алгебр

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Строение конечных алгебр

Авторы: Хобби Д., Маккензи Р.

Язык:

Рубрика: Математика/Алгебра/Абстрактная алгебра/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 1993

Количество страниц: 286

Добавлена в каталог: 05.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$(\alpha,\beta)$ -предпорядок ( $(\alpha,\beta)$ -preorder)      126
( $\sigma$ -замыкание ( $\sigma$ -closure)      122
1-выступ (1-snag)      160
2-выступ (2-snag)      160
HSP-теорема (HSP-theorem)      26
L-алгебра (L-algebra)      24
L-тождество (L-equation)      25
V-терм (V-term)      26
Алгебра $(\alpha,\beta)$ -минимальная ( $(\alpha,\beta)$ -minimal algebra)      54
Алгебра (algebra)      14
Алгебра E-минимальная (E-minimal algebra)      54
Алгебра абелева (Abelian algebra)      62
Алгебра булева (Boolan algebra)      80
Алгебра индексированная (indexed algebra)      14
Алгебра индуцированная (induced algebra)      16 43
Алгебра локально конечная (locally finite algebra)      27
Алгебра локально разрешимая (locally solvable algebra)      162
Алгебра Мальцева (Mal’cev algebra)      71
Алгебра минимальная (minimal algebra)      54
Алгебра минимальная аффинного типа (типа 2) (minimal algebra of affine type)      80
Алгебра минимальная булева типа (типа 3) minimal algebra of Boolean type)      80
Алгебра минимальная полурешеточного типа (типа 5) (minimal algebra of semilattice type)      80
Алгебра минимальная решеточного типа (типа 4) (minimal algebra of lattice type)      80
Алгебра минимальная унарного типа (типа 1) (minimal algebra of unary type)      80
Алгебра неиндексированная (non-indexed algebra)      14
Алгебра нильпотентная слева (справа) (left (right) nilpotent algebra)      100
Алгебра пермутационная (permutational algebra)      50
Алгебра подпрямо неразложимая (subdirectly irreducible algebra)      23
Алгебра препримиальная (pre-primal algebra)      214
Алгебра простая (simple algebra)      23
Алгебра разрешимая (solvable algebra)      64
Алгебра ручная (tame algebra)      104
Алгебра с нормальным индексированием (algebra with normal indexing)      144
Алгебра свободная, свободно порожденная множеством X (free algebra freely generated by X)      24 26
Алгебра сильно абелева (strongly Abelian algebra)      67
Алгебра сильно разрешимая (strongly solvable algebra)      67
Алгебра типа i относительно фактора ( $\delta,\theta$ ) (algebra of type i ralative to ( $\delta,\theta$ ))      92
Алгебра упорядочиваемая (orderable algebra)      236
Алгебры однотипные (similar algebras)      16
Алгебры полиномиально эквивалентные (polynomially equivalen algebras)      19 72
Алгебры слабо изоморфные (weakly isomorphic algebras)      233
Атом (atom)      34
Блок ( $\sigma$ -блок) (block)      19
Гомоморфизм (homomorphism)      16 17
Гомоморфизм(0,1)-отделяющий (0,1-separating homomorphism)      35
Диаграмма Хассе (Hasse diagram)      20
Закон дистрибутивности (distributive law)      21
Закон модулярности (modular law)      21
Идеал (ideal)      51
Идемпотент (idempotent)      43
Изоморфизм (isomorphism)      16 17
Изоморфизм полиномиальный (polynomial isomorphism)      46
Квазигруппа (quasigroup)      71
Класс Мальцева (Mal’cev class)      184
Класс Мальцева идемпотентный (idempotent Malcev class)      184
Класс Мальцева сильный (strong Mal’cev class)      184
Класс Мальцева слабый (weak Malcev class)      184
Класс Мальцева специальный (special Malcev class)      184
Класс моделей для $\Sigma$ (class of models of $\Sigma$ )      25
Класс разрешимый (decidable class)      215
Класс эквивалентности (equivalence class)      19
Клон полиномиальный (polynomial clone)      16
Клон полиномиальных операций (clone of polynomial operation)      15
Клон термальных операций (clone of termal operation)      15
Коатом (dual atom)      34
Кольцо локальное (local ring)      237
Коммутатор (commutator)      65
Композиция операций (composition of operations)      15
Композиция отношений (relational product)      18
Конгруэнции n-перестановочные (n-permutable congruences)      194
Конгруэнции эквивалентные относительно локальной разрешимости (locally solvable equivalent congruences)      162
Конгруэнции эквивалентные относительно разрешимости (solvable equivalent congruences)      162
Конгруэнции эквивалентные относительно сильной разрешимости (strongly solvable equivalent congruences)      162
Конгруэнция (congruence)      18
Конгруэнция абелева (Abelian congruence)      64
Конгруэнция абелева над a (Abelian over a congruence)      64
Конгруэнция конечно порожденная (finitely generated ~)      22
Конгруэнция разрешимая (solvable congruence)      64
Конгруэнция разрешимая над a (solvable over a congruence)      64
Конгруэнция сильно абелева (strongly Abelian congruence)      66
Конгруэнция сильно абелева над a (strongly Abelian over a congruence)      66
Конгруэнция сильно разрешимая (strongly solvable congruence)      67
Конгруэнция сильно разрешимая над a (strongly solvable over a congruence)      67
Конгруэнция, централизующая конгруэнцию (congruence centralizing a congruence)      63
Лупа (loop)      180
Лупа с операторами (loop with operators)      180
Матричная степень (matrix power)      68
Многообразие (variety)      25
Многообразие (конгруэнц-) n-перестановочное (congruence n-permutable variety)      194
Многообразие дискриминаторное (discriminator variety)      216
Многообразие идемпотентное (idempotent variety)      184
Многообразие конгруэнц-дистрибутивное (congruence-distributive variety)      176
Многообразие конгруэнц-модулярное (congruence-modular variety)      176
Многообразие конгруэнц-перестановочное (congruence-permitable variety)      28
Многообразие конечно определенное (finitely presented variety)      183
Многообразие конечно порожденное (finitely generated variety)      7
Многообразие локально конечное (locally finite variety)      27
Многообразие наследственно неразрешимое (hereditarily undecidable variety)      16
Многообразие ограниченных дистрибутивных решеток (variety of bounded distributive lattice)      149
Многообразие ограниченных полурешеток (variety of bounded semilattice)      149
Многообразие представимое (interpretable variety)      183
Многообразие разрешимое (decidable variety)      216
Многообразие резидуально большое (residually large variety)      204
Многообразие резидуально малое (residually small variety)      204
Многообразие специальное (special variety)      184
Множества, полимиально изоморфные в алгебре (sets polinomially isomorphic in Щ algebra)      46
Множество $(\alpha,\beta)$ -минимальное ( $(\alpha,\beta)$ -minimal set)      46
Множество минимальное (minimal set)      231
Множество основное (universe)      14
Множество типов алгебры (type set оf algebra)      104
Множество типов многообразия (type set of variety)      143
Множество типов фактора (type set of quotient)      104
Множество частично упорядоченно (partially ordered set)      20
Модель (model)      24
Монолит (monolith)      23
Носитель (universe)      14
Объединение (join)      21
Операция n-местная (n-ary join)      15
Операция бинарная (binary operation)      15
Операция идемпотентная (idempoteni join)      45
Операция конечноместная (finitary join)      15
Операция мальцевская (Mal’cev join)      71

Операция объединения (join)      21
Операция основная (basic operation)      15
Операция пересечения (meet)      21
Операция полиномиальная (polynomial operation)      15
Операция проектирования (projection join)      15 43
Операция псевдомальцевская (относительно фактора $(\alpha,\beta$ )) (pst udo-Mal’cev join (with respec to $(\alpha,\beta$ )))      92
Операция псевдообъединения (относительно фактора $(\alpha,\beta$ )) (pseudo-join (with respect to $(\alpha,\beta$ )))      87
Операция псевдопересечения (относительно фактора $(\alpha,\beta$ )) (pseudo-meet join (with respect to $(\alpha,\beta$ )))      86
Операция термальная (term join)      15 25
Операция унарная (unary join)      15
Операция, зависящая от переменной (join depending on variable)      69
Отношение $\sigma$ -замкнутое ( $\sigma$ -closed relation)      122
Отношение (relation)      18
Отношение обратное (converse)      18
Отношение рефлексивное (reflexive relation)      18
Отношение симметричное (symmetric relation)      18
Отношение стабильное (admissible relation)      18
Отношение транзитивное (transitive relation)      18
Отношение эквивалентности (equivalence relation)      19
Отношения перестановочные (permuting relations)      28
Пара атомная булева (atomic Boolean pair)      216
Переменное (variable)      25
Пересечение (meet)      21
Подалгебра (subalgebra)      16 17
Подалгебра диагональная (diagonal subalgebra)      144
Подмножество замкнутое (subuniverse)      16
Подредукт (subreduct)      233
Подрешетка диагональная (diagonal sublattice)      40-41
Покрытие (cover)      20 34
Полурешетка двухэлементная (two-element semilattuce)      80
Поляра (polarity)      31
Проектирование, проекция (projection)      15 43
Произведение (meet)      21
Произведение декартово (Cartesian product)      16
Произведение подпрямое (subdirect meet)      23
Псевдодополнение (pseudocomplement)      117 119
Псевдомногообразие (pseudovariety)      153
Равенство формальное (equation)      25
Разбиение (partition)      19
Разметка типовая (type-labeling)      134
Раскраска типовая (type labeling)      134
Расширение посредством множества (extension by a set)      144
Редукт (reduct)      233
Решетка (lattice)      20
Решетка алгебраическая (algebraic)      22
Решетка двухэлементная (two-element lattice, Boolean algebra)      80
Решетка дистрибутивная (distributive lattice)      21
Решетка интервальная (interval lattice)      23 46
Решетка классов представимости (lattice of interpretability classes)      183
Решетка конгруэнции (congruence lattice)      22
Решетка конечно проективная (finitely projective lattice)      151
Решетка модулярная (modular lattice)      21
Решетка ограниченная (bounded lattice)      149
Решетка подмногообразий (lattice of subvarieties)      144
Решетка полная (complete lattice)      22
Решетка полудистрибутивная (semidistributive lattice)      119
Решетка полудистрибутивная вверх (join semidistributive lattice)      119
Решетка полудистрибутивная вниз (meet semidistributive lattice)      119
Решетка разбиений полная (full partition lattice)      22
Решетка тесная (tight lattice)      35
Решетка типов (lattice of types)      105
Решетка упорядоченно полиномиально полная (order polynomially complete lattice)      41
Решетка(0,1)-простая (0,1-simple lattice)      35
Символ операции (operation symbol)      24
След (trace)      54
Спектр многообразия свободный (free spectrum of variety)      225
Степень декартова (Cartesian power)      14-15 17
Степень конечная подпрямая (finite subdirect power)      152
Степень матричная (matrix power)      68 232
Степень прямая (direct power)      18
Сужение (restriction)      43
Сужение функций (restriction of function)      43
Сумма (join)      21
Тело (body)      55
Теорема о подпрямом представлении (subdirect representation theorem)      23
Теоремы об опускании типов (omitting types theorems)      106
Терм (L-терм) (term (L-term))      24
Тип $(\delta,\theta)$ -минимальной алгебры (type of $(\delta,\theta)$ -minimal algebra)      81 92
Тип E-минимальной алгебры (type of E-minimal algebra)      98
Тип абелев (Abelian type)      112
Тип минимальной алгебры (type of minimal algebra)      80
Тип неабелев (non-Abelian type)      112
Тип ручного фактора (type of tame quotient)      104
Тип ручной алгебры (type of tame algebra)      104
Тип следа (type of trace)      81
Тождества Мальцева (Mal’cev equations)      28
Тождество в A (identity of A)      25
Толеранция (tolerance)      18 31
Толеранция базисная (basic tolerance)      122
Толеранция связная (connected tolerance)      33
Условие Мальцева (Mal’cev condition)      184
Условие Мальцева идемпотентное (idempotent Mal’cev condition)      184
Условие Мальцева сильное (strong Mal’cev condition)      184
Условие Мальцева слабое (weak Mal’cev condition)      184
Условие Мальцева специальное (special Mal’cev condition)      184
Фактор (quotient)      46
Фактор абелев (Abelian quotient)      64
Фактор конгруэнции (конгруэнцфактор) (quotient of congruences, congruence factor)      46
Фактор простой (prime quotient)      46
Фактор разрешимый (solvable quotient)      64
Фактор ручной (tame quotient)      46
Фактор сильно абелев (strongly Abelian quotient)      66
Фактор сильно разрешимый (strongly solvable quotient)      66 67
Фактор упорядочиваемый (orderable quotient)      126
Факторалгебра (quotient algebra)      19
Факторы, проективные в один шаг (projective quotients in one step)      159
Хвост (tail)      55
Центр алгебры (center)      63
Централизация (centralization)      63
Элемент компактный (compact element)      22
Элемент нейтральный (neutral element)      84
Элемент поглощающий (absorbing element)      84
Элемент покрывающий (covering element)      20 34
Элементы несравнимые (incomparable elements)      20
Эндоморфизм верхний (join endomorphism)      31
Эндоморфизм возрастающий (increasing endomorphism)      31
Эндоморфизм нижний (meet endomorphism)      31
Эндоморфизм строго возрастающий (strictly increasing endomorphism)      31
Эндоморфизм строго убывающий (endomorphism decreasing)      31
Эндоморфизм убывающий (decreasing endomorphism)      31
Ядро (kernel)      19
Язык (language)      24

О проекте