Неассоциативная алгебра

алгебра Неассоциативная ^[1](или дистрибутивная алгебра ) — алгебра над полем , в которой операция двоичного умножения не считается ассоциативной . То есть алгебраическая структура A является неассоциативной алгеброй над полем K, если она является векторным пространством над K и оснащена K - билинейной двоичной операцией умножения A × A → A , которая может быть или не быть ассоциативной. Примеры включают алгебры Ли , йордановые алгебры , октонионы и трехмерное евклидово пространство, оснащенное операцией векторного произведения . Поскольку не предполагается, что умножение ассоциативно, для указания порядка умножения необходимо использовать круглые скобки. Например, выражения ( ab )( cd ), ( a ( bc )) d и a ( b ( cd )) могут давать разные ответы.

Хотя использование термина «неассоциативность» означает, что ассоциативность не предполагается, это не означает, что ассоциативность запрещена. Другими словами, «неассоциативный» означает «не обязательно ассоциативный», точно так же, как «некоммутативный» означает «не обязательно коммутативный» для некоммутативных колец .

Алгебра является унитарной или унитарной , если она имеет единичный элемент e с ex = x = xe для всех x в алгебре. Например, октонионы унитальны, а алгебры Ли — никогда.

Структуру неассоциативной алгебры A связав ее с другими ассоциативными алгебрами, которые являются подалгебрами полной алгебры K - эндоморфизмов A можно изучить , как K -векторного пространства. Двумя такими являются алгебра вывода и (ассоциативная) обертывающая алгебра , причем последняя в некотором смысле является «наименьшей ассоциативной алгеброй, содержащей A ».

В более общем смысле некоторые авторы рассматривают концепцию неассоциативной алгебры над коммутативным кольцом R : R -модуль , оснащенный R -билинейной операцией двоичного умножения. ^[2] Если структура подчиняется всем аксиомам кольца, кроме ассоциативности (например, любая R -алгебра), то она, естественно, является $\mathbb {Z}$ -алгебра, поэтому некоторые авторы относят к неассоциативным $\mathbb {Z}$ -алгебры как неассоциативные кольца .

удовлетворяющие тождествам , Алгебры

Кольцеобразные структуры с двумя бинарными операциями и отсутствием других ограничений представляют собой широкий класс, слишком общий для изучения. По этой причине самые известные виды неассоциативных алгебр удовлетворяют тождествам или свойствам, которые несколько упрощают умножение. К ним относятся следующие.

Обычные свойства [ править ]

Пусть $x$ , $y$ и $z$ произвольные элементы алгебры $A$ над полем $K.$ обозначают Пусть степени положительного (ненулевого) целого числа рекурсивно определяются как $x 1 ≝ x$ и либо $x п +1 ≝ х н Икс$ ^[3] (правые степени) или $x п +1 ≝ хх н$ ^[4]^[5] (левые полномочия) в зависимости от авторов.

Униталь : существует элемент $e$ такой, что $ex = x = xe$ ; в этом случае мы можем определить $x 0 ≝ и$ .
Ассоциативный : $(xy) z знак равно x (yz)$ .
Коммутативный : $xy = yx$ .
Антикоммутативный : ^[6] $ху = - ух$ .
Личность Якоби : ^[6]^[7] $(xy) z + (yz) x + (zx) y = 0$ или $x (yz) + y (zx) + z (xy) = 0$ в зависимости от авторов.
Личность Джордана : ^[8]^[9] $(Икс 2 у) х = х 2 (yx)$ или $(xy) x 2 = х (ух 2)$ в зависимости от авторов.
Альтернатива : ^[10]^[11]^[12] $(xx) y = x (xy)$ (левый вариант) и $(yx) x = y (xx)$ (правый вариант).
Гибкий : ^[13]^[14] $(ху) Икс знак равно Икс (yx)$ .
n- я степень ассоциативна с n ≥ 2 : x ^{приблизительно}Икс ^к = х ^н для всех целых k так, что 0 < k < n .
- Ассоциатив третьей степени: $x 2 х = хх 2$ .
- Ассоциатив четвертой степени: $x 3 х = х 2 Икс 2 = хх 3$ (сравните с коммутативом четвертой степени ниже).
Силовая ассоциативность : ^[4]^[5]^[15]^[16]^[3] подалгебра, порожденная любым элементом, ассоциативна, т. е. $n$ ассоциативна в степени для всех $n \geq 2$ .
n- я степень коммутативна с n ≥ 2 : x ^{приблизительно}Икс ^к = х ^кИкс ^{приблизительно} для всех целых k так, что 0 < k < n .
- Коммутатив в третьей степени: $x 2 х = хх 2$ .
- Коммутатив четвертой степени: $x 3 х = хх 3$ (сравните с ассоциативом четвертой степени выше).
Степенная коммутативность: подалгебра, порожденная любым элементом, коммутативна, т. е. $n$ коммутативна -й степени для всех $n \geq 2$ .
Нильпотент индекса $n \geq 2$ : произведение любых $n$ элементов в любой ассоциации обращается в нуль, но не для некоторых $n -1$ элементов: $x 1 x 2 \dots x n = 0$ , и существуют $n -1$ элементов так, что $y 1 y 2 \dots y n -1 \neq 0$ для конкретной ассоциации.
Ноль индекса $n \geq 2$ : степенная ассоциативность и $x н = 0$ и существует элемент $y$ такой, что $y п -1 \neq 0$ .

Отношения между свойствами [ править ]

Для $К$ любой характеристики :

Ассоциативность подразумевает альтернативность .
Любые два из трех свойств левая альтернатива , правая альтернатива и гибкий подразумевают третье.
- Таким образом, альтернатива подразумевает гибкость .
Альтернатива подразумевает идентичность Джордана . ^[17]^[а]
Коммутативный подразумевает гибкий .
Антикоммутативный подразумевает гибкий .
Альтернатива подразумевает власть ассоциативную . ^[а]
Гибкость подразумевает ассоциатив третьей степени .
Ассоциатив второй степени и коммутатив второй степени всегда верны.
Ассоциатив третьей степени и коммутатив третьей степени эквивалентны.
$n-й$ Ассоциатив степени подразумевает $n-й$ коммутатив степени .
Ноль индекса 2 означает антикоммутативность .
Ноль индекса 2 подразумевает тождество Жордана .
Из нильпотента индекса 3 следует тождество Якоби .
Нильпотентность индекса $n$ подразумевает ноль индекса $N$ при $2 \leq N \leq n$ .
Единица и ноль индекса $n$ несовместимы.

Если $K \neq GF(2)$ или $dim(A) \leq 3$ :

Джорданская идентичность и коммутативность вместе подразумевают ассоциативную степень . ^[18]^[19]^[20]^{[ нужна цитата ]}

Если $char(K) \neq 2$ :

Правильная альтернатива предполагает силовую ассоциативность . ^[21]^[22]^[23]^[24]
- Точно так же левая альтернатива подразумевает ассоциативную власть .
Unital и Идентичность Jordan вместе подразумевают гибкость . ^[25]
Джорданская идентичность и гибкость вместе подразумевают ассоциативную власть . ^[26]
Коммутативность и антикоммутативность вместе подразумевают нильпотентность индекса 2 .
Антикоммутативность подразумевает ноль индекса 2 .
Унитальное и антикоммутативное несовместимы.

Если $char(K) \neq 3$ :

Юнитал и идентичность Якоби несовместимы.

Если $char(K) \notin {2,3,5$ }:

Коммутативный и $х 4 = х 2 Икс 2$ (одна из двух идентичностей, определяющих ассоциативную степень четвертой степени ) вместе подразумевают ассоциативную степень . ^[27]

Если $char(K) = 0$ :

Ассоциатив третьей степени и $x 4 = х 2 Икс 2$ (одна из двух идентичностей, определяющих ассоциативную степень четвертой степени ) вместе подразумевают ассоциативную степень . ^[28]

Если $char(K) = 2$ :

Коммутативный и антикоммутативный эквивалентны.

Ассоциатор [ править ]

Ассоциатором . на A является K - полилинейное отображение $[\cdot ,\cdot ,\cdot ]:A\times A\times A\to A$ данный

[Икс, y, z] знак равно (ху) z - Икс (yz)

.

Он измеряет степень неассоциативности $A$ , и может использоваться для удобного выражения некоторых возможных тождеств, которым удовлетворяет A .

Пусть $x$ , $y$ и $z$ обозначают произвольные элементы алгебры.

Ассоциативный: $[x, y, z] знак равно 0$ .
Альтернатива: [ x , x , y ] = 0 (левый вариант) и [ y , x , x ] = 0 (правый вариант).
- Это означает, что перестановка любых двух членов меняет знак: $[x, y, z] = -[x, z, y] = -[z, y, x] = -[y, x, z]$ ; обратное справедливо только в том случае, если $char(K) \neq 2$ .
Гибкий: [ x , y , x ] = 0 .
- Это означает, что перестановка экстремальных членов меняет знак: $[x, y, z] = -[z, y, x]$ ; обратное справедливо только в том случае, если $char(K) \neq 2$ .
Джорданская личность: ^[29] $[Икс 2, y, x] = 0$ или $[x, y, x 2] = 0$ в зависимости от авторов.
Ассоциатив третьей степени: $[x, x, x] = 0$ .

Ядро : — это совокупность элементов, которые связаны со всеми остальными ^[30] то есть $n$ в A такое, что

[п, А, А] знак равно [А, п, А] знак равно [А, А, п] знак равно {0}

.

Ядро является ассоциативным подкольцом A .

Центр [ править ]

Центр то есть A A — это набор элементов, которые коммутируют и связываются со всем в , пересечение

C(A)=\{n\in A\ |\ nr=rn\,\forall r\in A\,\}

с ядром. Оказывается, для элементов из С(А) достаточно, чтобы два множества $([n,A,A],[A,n,A],[A,A,n])$ являются $\{0\}$ чтобы третий также был нулевым множеством.

Примеры [ править ]

Евклидово пространство R ³с умножением, заданным векторным произведением, является примером антикоммутативной, а не ассоциативной алгебры. Перекрестное произведение также удовлетворяет тождеству Якоби.
Алгебры Ли — это алгебры, удовлетворяющие антикоммутативности и тождеству Якоби.
Алгебры векторных полей на дифференцируемом многообразии (если K есть R или комплексные числа C ) или алгебраическом многообразии (для общего K );
Йордановы алгебры — это алгебры, удовлетворяющие коммутативному закону и жордановому тождеству. ^[9]
Любая ассоциативная алгебра порождает алгебру Ли, используя коммутатор в качестве скобки Ли. Фактически каждая алгебра Ли может быть построена таким образом или является подалгеброй построенной таким образом алгебры Ли.
Каждая ассоциативная алгебра над полем характеристики , отличной от 2, порождает йорданову алгебру путем определения нового умножения x*y = ( xy + yx )/2. В отличие от случая алгебры Ли, не всякую йорданову алгебру можно построить таким образом. Те, которые могут, называются особенными .
Альтернативные алгебры — это алгебры, обладающие свойством альтернативности. Наиболее важными примерами альтернативных алгебр являются октонионы (алгебра над действительными числами) и обобщения октонионов над другими полями. Все ассоциативные алгебры альтернативны. С точностью до изоморфизма, единственной конечномерной вещественной альтернативой, алгебры с делением (см. ниже) представляют собой вещественные числа, комплексы, кватернионы и октонионы.
Степенно-ассоциативные алгебры — это алгебры, удовлетворяющие степенно-ассоциативному тождеству. Примеры включают все ассоциативные алгебры, все альтернативные алгебры, йордановые алгебры над полем, отличным от GF(2) (см. предыдущий раздел), и седенионы .
Гиперболическая алгебра кватернионов над R , которая была экспериментальной алгеброй до принятия пространства Минковского для специальной теории относительности .

Еще классы алгебр:

Градуированные алгебры . К ним относятся большинство алгебр, представляющих интерес для полилинейной алгебры , таких как тензорная алгебра , симметричная алгебра и внешняя алгебра над заданным векторным пространством . Градуированные алгебры можно обобщить до фильтрованных алгебр .
Алгебры с делением , в которых существуют мультипликативные обратные. Классифицированы конечномерные альтернативные алгебры с делением над полем действительных чисел. Это действительные числа (размерность 1), комплексные числа (размерность 2), кватернионы (размерность 4) и октонионы (размерность 8). Кватернионы и октонионы не коммутативны. Из этих алгебр все ассоциативны, за исключением октонионов.
Квадратичные алгебры , которые требуют, чтобы xx = re + sx для некоторых элементов r и s в основном поле, а e - единица алгебры. Примеры включают все конечномерные альтернативные алгебры и алгебру вещественных матриц 2х2. С точностью до изоморфизма единственными альтернативными квадратичными вещественными алгебрами без делителей нуля являются вещественные числа, комплексы, кватернионы и октонионы.
Алгебры Кэли –Диксона (где K — R ), которые начинаются с:
- C (коммутативная и ассоциативная алгебра);
- кватернионы H ( ассоциативная алгебра);
- октонионы ( альтернативная алгебра );
- седенионы и бесконечная последовательность алгебр Кэли-Диксона ( степенно-ассоциативные алгебры ).
Все гиперкомплексные алгебры являются конечномерными R- алгебрами с единицей, поэтому они включают алгебры Кэли-Диксона и многие другие.
рассматриваются Алгебры Пуассона при геометрическом квантовании . Они выполняют два умножения, разными способами превращая их в коммутативные алгебры и алгебры Ли.
Генетические алгебры — это неассоциативные алгебры, используемые в математической генетике.
Тройные системы

Свойства [ править ]

Есть несколько свойств, которые могут быть знакомы из теории колец или ассоциативных алгебр, но которые не всегда верны для неассоциативных алгебр. В отличие от ассоциативного случая, элементы с (двусторонним) мультипликативным обратным также могут быть делителем нуля . Например, все ненулевые элементы седенионов имеют двустороннюю инверсию, но некоторые из них также являются делителями нуля.

Свободная неассоциативная алгебра [ править ]

Свободная неассоциативная алгебра на множестве X над полем K определяется как алгебра с базисом, состоящим из всех неассоциативных мономов, конечных формальных произведений элементов X , сохраняющих круглые скобки. Произведение мономов u , v равно ( u )( v ). Алгебра унитальна, если пустое произведение считать мономом. ^[31]

Курош доказал , что каждая подалгебра свободной неассоциативной алгебры свободна. ^[32]

Ассоциированные алгебры

Алгебра A над полем K является, в частности, - векторным пространством, поэтому можно рассмотреть ассоциативную алгебру End _K ( A ) эндоморфизма K -линейного векторного пространства A. K Мы можем сопоставить структуре алгебры на A две подалгебры End _K ( A ), алгебру дифференцирования и (ассоциативную) обертывающую алгебру .

Алгебра вывода [ править ]

Вывод D на A — это отображение со свойством

D(x\cdot y)=D(x)\cdot y+x\cdot D(y)\ .

Дифференцирования на A образуют подпространство Der _K ( A ) в End _K ( A ). Коммутатор A двух дифференцирований снова является дифференцированием, так что скобка Ли дает Der _K ( алгебры ) структуру Ли . ^[33]

Обертывающая алгебра [ править ]

прикреплены линейные отображения L и R К каждому элементу a алгебры A : ^[34]

L(a):x\mapsto ax;\ \ R(a):x\mapsto xa\ .

Ассоциативная обертывающая алгебра или алгебра умножения A — это ассоциативная алгебра , порожденная левым и правым линейными отображениями. ^[29]^[35]Центроид является A ) централизатором обертывающей алгебры в алгебре эндоморфизмов End _K ( A . Алгебра является центральной , если ее центроид состоит из K -скалярных кратных единицы. ^[16]

Некоторые из возможных тождеств, которым удовлетворяют неассоциативные алгебры, можно удобно выразить через линейные отображения: ^[36]

Коммутативный: каждый L ( a ) равен соответствующему R ( a );
Ассоциативность: любой L коммутирует с любым R ;
Гибкость: каждый L ( a ) коммутирует с соответствующим R ( a );
Джордан: каждый L ( a ) коммутирует с R ( a ²);
Альтернатива: каждый L ( a ) ² = L ( а ²) и аналогично справа.

Квадратичное представление Q определяется формулой ^[37]

Q(a):x\mapsto 2a\cdot (a\cdot x)-(a\cdot a)\cdot x\

,

или эквивалентно,

Q(a)=2L^{2}(a)-L(a^{2})\ .

В статье об универсальных обертывающих алгебрах описаны канонические конструкции обертывающих алгебр, а также теоремы типа PBW для них. Для алгебр Ли такие обертывающие алгебры обладают универсальным свойством, которое, вообще говоря, не имеет места для неассоциативных алгебр. Самым известным примером является, пожалуй, алгебра Альберта , исключительная йордановая алгебра , которая не обертывается канонической конструкцией обертывающей алгебры для йордановых алгебр.

См. также [ править ]

Список алгебр
Коммутативные неассоциативные магмы , порождающие неассоциативные алгебры

Цитаты [ править ]

^ Шафер 1995 , Глава 1.
^ Шафер 1995 , с. 1.
^ Перейти обратно: ^а ^б Альберт 1948а , с. 553.
^ Перейти обратно: ^а ^б Шафер 1995 , с. 30.
^ Перейти обратно: ^а ^б Шафер 1995 , с. 128.
^ Перейти обратно: ^а ^б Шафер 1995 , с. 3.
^ Окубо 2005 , стр. 12.
^ Шафер 1995 , с. 91.
^ Перейти обратно: ^а ^б Окубо 2005 , стр. 13.
^ Шафер 1995 , с. 5.
^ Окубо 2005 , стр. 18.
^ МакКриммон 2004 , с. 153.
^ Шафер 1995 , с. 28.
^ Окубо 2005 , стр. 16.
^ Окубо 2005 , стр. 17.
^ Перейти обратно: ^а ^б Кнус и др. 1998 , с. 451.
^ Розенфельд 1997 , с. 91.
^ Джейкобсон 1968 , с. 36.
^ Шафер 1995 , с. 92.
^ Кокорис 1955 , с. 710.
^ Альберт 1948b , с. 319.
^ Майкл 1976 , с. 179.
^ Zhevlakov et al. 1982 , p. 343.
^ Шафер 1995 , с. 148.
^ Bremner, Murakami & Shestakov 2013 , p. 18.
^ Bremner, Murakami & Shestakov 2013 , pp. 18–19, fact 6.
^ Альберт 1948a , с. 554, лемма 4.
^ Альберт 1948a , с. 554, лемма 3.
^ Перейти обратно: ^а ^б Шафер 1995 , с. 14.
^ МакКриммон 2004 , с. 56.
^ Роуэн 2008 , с. 321.
^ Курош 1947 , стр. 237–262.
^ Шафер 1995 , с. 4.
^ Окубо 2005 , стр. 24.
^ Альберт 2003 , с. 113.
^ МакКриммон 2004 , с. 57.
^ Кехер 1999 , с. 57.

Примечания [ править ]

^ Перейти обратно: ^а ^б Это следует из теоремы Артина .

Ссылки [ править ]

Альберт, А. Адриан (2003) [1939]. Структура алгебр . Коллоквиум Американского математического общества. Том. 24 (Исправленная перепечатка исправленного издания 1961 года). Нью-Йорк: Американское математическое общество . ISBN 0-8218-1024-3 . Збл 0023.19901 .
Альберт, А. Адриан (1948a). «Степенно-ассоциативные кольца» . Труды Американского математического общества . 64 : 552–593. дои : 10.2307/1990399 . ISSN 0002-9947 . JSTOR 1990399 . МР 0027750 . Збл 0033.15402 .
Альберт, А. Адриан (1948b). «О правоальтернативных алгебрах». Анналы математики . 50 : 318–328. дои : 10.2307/1969457 . JSTOR 1969457 .
Бремнер, Мюррей; Мураками, Люсия; Шестаков, Иван (2013) [2006]. «Глава 86: Неассоциативные алгебры» (PDF) . В Хогбене, Лесли (ред.). Справочник по линейной алгебре (2-е изд.). ЦРК Пресс . ISBN 978-1-498-78560-0 .
Херштейн, И.Н. , изд. (2011) [1965]. Некоторые аспекты теории колец: лекции, прочитанные в летней школе Centro Internazionale Matematico Estivo (CIME), проходившей в Варенне (Комо), Италия, 23-31 августа 1965 г. Летние школы CIME. Том. 37 (переиздание). Спрингер-Верлаг . ISBN 3-6421-1036-3 .
Джейкобсон, Натан (1968). Строение и представления йордановых алгебр . Публикации коллоквиума Американского математического общества, Vol. XXXIX. Провиденс, Род-Айленд: Американское математическое общество . ISBN 978-0-821-84640-7 . МР 0251099 .
Кнус, Макс-Альберт; Меркурьев, Александр ; Рост, Маркус ; Тиньоль, Жан-Пьер (1998). Книга инволюций . Публикации коллоквиума. Том. 44. С предисловием Дж. Титса. Провиденс, Род-Айленд: Американское математическое общество . ISBN 0-8218-0904-0 . Збл 0955.16001 .
Кехер, Макс (1999). Криг, Алоис; Уолчер, Себастьян (ред.). Миннесотские заметки о йордановых алгебрах и их приложениях Конспект лекций по математике. Том. 1710. Берлин: Springer-Verlag . ISBN 3-540-66360-6 . Збл 1072.17513 .
Кокорис, Луи А. (1955). «Степенно-ассоциативные кольца характеристики два» . Труды Американского математического общества . 6 (5). Американское математическое общество : 705–710. дои : 10.2307/2032920 .
Курош, А.Г. (1947). «Неассоциативные алгебры и свободные произведения алгебр». Мат. Сборник . 20 (62). МР 0020986 . Збл 0041.16803 .
МакКриммон, Кевин (2004). Немного о йордановых алгебрах . Университеттекст. Берлин, Нью-Йорк: Springer-Verlag . дои : 10.1007/b97489 . ISBN 978-0-387-95447-9 . МР 2014924 . Збл 1044.17001 . Ошибка .
Михеев, И.М. (1976). «Правая нильпотентность в правых альтернативных кольцах». Сибирский математический журнал . 17 (1): 178–180. дои : 10.1007/BF00969304 .
Окубо, Сусуму (2005) [1995]. Введение в октонион и другие неассоциативные алгебры в физике . Серия лекций Мемориала Монтролла по математической физике. Том. 2. Издательство Кембриджского университета . дои : 10.1017/CBO9780511524479 . ISBN 0-521-01792-0 . Артикул 0841.17001 .
Розенфельд, Борис (1997). Геометрия групп Ли . Математика и ее приложения. Том. 393. Дордрехт: Kluwer Academic Publishers. ISBN 0-7923-4390-5 . Збл 0867.53002 .
Роуэн, Луи Галле (2008). Высшая алгебра: некоммутативный взгляд . Аспирантура по математике. Американское математическое общество . ISBN 0-8218-8408-5 .
Шафер, Ричард Д. (1995) [1966]. Введение в неассоциативные алгебры . Дувр. ISBN 0-486-68813-5 . Збл 0145.25601 .
Жевлаков Константин А.; Слинько Аркадий М.; Шестаков Иван П.; Ширшов, Анатолий Иванович (1982) [1978]. Кольца, которые почти ассоциативны . Перевод Смита, Гарри Ф. ISBN 0-12-779850-1 .

[FOOTNOTESchafer1995Chapter_1-1] Шафер 1995 , Глава 1.

[FOOTNOTESchafer19951-2] Шафер 1995 , с. 1.

[FOOTNOTEAlbert1948a553-3] Перейти обратно: ^а ^б Альберт 1948а , с. 553.

[FOOTNOTESchafer199530-4] Перейти обратно: ^а ^б Шафер 1995 , с. 30.

[FOOTNOTESchafer1995128-5] Перейти обратно: ^а ^б Шафер 1995 , с. 128.

[FOOTNOTESchafer19953-6] Перейти обратно: ^а ^б Шафер 1995 , с. 3.

[FOOTNOTEOkubo200512-7] Окубо 2005 , стр. 12.

[FOOTNOTESchafer199591-8] Шафер 1995 , с. 91.

[FOOTNOTEOkubo200513-9] Перейти обратно: ^а ^б Окубо 2005 , стр. 13.

[FOOTNOTESchafer19955-10] Шафер 1995 , с. 5.

[FOOTNOTEOkubo200518-11] Окубо 2005 , стр. 18.

[FOOTNOTEMcCrimmon2004153-12] МакКриммон 2004 , с. 153.

[FOOTNOTESchafer199528-13] Шафер 1995 , с. 28.

[FOOTNOTEOkubo200516-14] Окубо 2005 , стр. 16.

[FOOTNOTEOkubo200517-15] Окубо 2005 , стр. 17.

[FOOTNOTEKnusMerkurjevRostTignol1998451-16] Перейти обратно: ^а ^б Кнус и др. 1998 , с. 451.

[FOOTNOTERosenfeld199791-17] Розенфельд 1997 , с. 91.

[FOOTNOTEJacobson196836-19] Джейкобсон 1968 , с. 36.

[FOOTNOTESchafer199592-20] Шафер 1995 , с. 92.

[FOOTNOTEKokoris1955710-21] Кокорис 1955 , с. 710.

[FOOTNOTEAlbert1948b319-22] Альберт 1948b , с. 319.

[FOOTNOTEMikheev1976179-23] Майкл 1976 , с. 179.

[FOOTNOTEZhevlakovSlin'koShestakovShirshov1982343-24] Zhevlakov et al. 1982 , p. 343.

[FOOTNOTESchafer1995148-25] Шафер 1995 , с. 148.

[FOOTNOTEBremnerMurakamiShestakov201318-26] Bremner, Murakami & Shestakov 2013 , p. 18.

[FOOTNOTEBremnerMurakamiShestakov201318–19fact_6-27] Bremner, Murakami & Shestakov 2013 , pp. 18–19, fact 6.

[FOOTNOTEAlbert1948a554lemma_4-28] Альберт 1948a , с. 554, лемма 4.

[FOOTNOTEAlbert1948a554lemma_3-29] Альберт 1948a , с. 554, лемма 3.

[FOOTNOTESchafer199514-30] Перейти обратно: ^а ^б Шафер 1995 , с. 14.

[FOOTNOTEMcCrimmon200456-31] МакКриммон 2004 , с. 56.

[FOOTNOTERowen2008321-32] Роуэн 2008 , с. 321.

[FOOTNOTEKurosh1947237–262-33] Курош 1947 , стр. 237–262.

[FOOTNOTESchafer19954-34] Шафер 1995 , с. 4.

[FOOTNOTEOkubo200524-35] Окубо 2005 , стр. 24.

[FOOTNOTEAlbert2003113-36] Альберт 2003 , с. 113.

[FOOTNOTEMcCrimmon200457-37] МакКриммон 2004 , с. 57.

[FOOTNOTEKoecher199957-38] Кехер 1999 , с. 57.

[Artin-18] Перейти обратно: ^а ^б Это следует из теоремы Артина .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[а]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]