WikiDer > Центральная простая алгебра

В теория колец и смежные области математика а центральная простая алгебра (CSA) через поле K является конечномерным ассоциативный K-алгебра А, который просто, и для которого центр точно K. В качестве примера отметим, что любая простая алгебра является центральной простой алгеброй над своим центром.

Например, сложные числа C формируют CSA над собой, но не над действительные числа р (центр C все из C, не просто р). В кватернионы ЧАС сформировать 4-мерную CSA над р, и фактически представляют собой единственный нетривиальный элемент Группа Брауэра реалов (см. ниже).

Для двух центральных простых алгебр А ~ M(п,S) и B ~ M(м,Т) над тем же полем F, А и B называются аналогичный (или же Эквивалент Брауэра) если их делительные кольца S и Т изоморфны. Набор всех классы эквивалентности центральных простых алгебр над заданным полем F, при этом отношении эквивалентности, может быть снабжен групповая операция предоставленный тензорное произведение алгебр. Полученная группа называется Группа Брауэра Br (F) поля F.^[1] Это всегда торсионная группа.^[2]

Характеристики

• Согласно Теорема Артина – Веддерберна конечномерная простая алгебра А изоморфна матричной алгебре M(п,S) для некоторых делительное кольцо S. Следовательно, в каждом классе эквивалентности Брауэра есть единственная алгебра с делением.^[3]
• Каждые автоморфизм центральной простой алгебры является внутренний автоморфизм (следует из Теорема Сколема – Нётер).
• В измерение центральной простой алгебры как векторного пространства над ее центром всегда является квадратом: степень квадратный корень из этого измерения.^[4] В Индекс Шура центральной простой алгебры - это степень эквивалентной алгебры с делением:^[5] это зависит только от Класс Брауэра алгебры.^[6]
• В период или показатель степени центральной простой алгебры - это порядок ее класса Брауэра как элемента группы Брауэра. Это делитель индекса,^[7] и два числа состоят из одних и тех же простых множителей.^[8][9][10]
• Если S это простой подалгебра центральной простой алгебры А затем тусклый_F S разделяет тусклый_F А.
• Каждая 4-мерная центральная простая алгебра над полем F изоморфен кватернионная алгебра; на самом деле это либо два на два матричная алгебра, или алгебра с делением.
• Если D центральная алгебра с делением над K для которого индекс имеет простую факторизацию

${ displaystyle mathrm {ind} (D) = prod _ {i = 1} ^ {r} p_ {i} ^ {m_ {i}} }$

тогда D имеет разложение тензорного произведения

${ Displaystyle D = bigotimes _ {я = 1} ^ {r} D_ {я} }$

где каждый компонент D_я центральная алгебра с делением индекса ${ displaystyle p_ {i} ^ {m_ {i}}}$, а компоненты определены однозначно с точностью до изоморфизма.^[11]

Поле разделения

Мы называем поле E а поле расщепления за А над K если А⊗E изоморфна кольцу матриц над E. Каждая конечномерная CSA имеет поле расщепления: действительно, в случае, когда А является алгеброй с делением, то максимальное подполе из А является полем расщепления. Вообще по теоремам Wedderburn и Кете существует поле расщепления, которое отделяемое расширение из K степени, равной индексу А, и это поле расщепления изоморфно подполю поля А.^[12][13] Например, поле C разбивает кватернионную алгебру ЧАС над р с

${ displaystyle t + x mathbf {i} + y mathbf {j} + z mathbf {k} leftrightarrow left ({ begin {array} {* {20} c} t + xi & y + zi -y + zi & t-xi end {array}} right).}$

Мы можем использовать существование поля расщепления для определения пониженная норма и уменьшенный след для CSA А.^[14] карта А к кольцу матриц над полем разбиения и определим приведенную норму и след как составные части этой карты с определителем и следом соответственно. Например, в алгебре кватернионов ЧАС, приведенное выше разделение показывает, что элемент т + Икс я + у j + z k снизил норму т² + Икс² + у² + z² и сокращенный след 2т.

Приведенная норма является мультипликативной, а приведенный след - аддитивным. Элемент а из А обратима тогда и только тогда, когда его приведенная норма не равна нулю: следовательно, CSA является алгеброй с делением тогда и только тогда, когда приведенная норма отлична от нуля на ненулевых элементах.^[15]

Обобщение

CSA над полем K являются некоммутативным аналогом поля расширения над K - в обоих случаях они не имеют нетривиальных двусторонних идеалов и имеют выделенное поле в своем центре, хотя CSA может быть некоммутативным и не обязательно иметь обратные (не обязательно быть алгебра с делением). Это особенно интересно в некоммутативная теория чисел как обобщение числовые поля (расширения рациональных чисел Q); видеть некоммутативное числовое поле.

Смотрите также

• Адзумая алгебра, обобщение CSA, в котором базовое поле заменяется коммутативным локальным кольцом
• Сорт Севери – Брауэра
• Теорема Познера

Рекомендации

• Кон, П. (2003). Дальнейшая алгебра и приложения (2-е изд.). Springer. ISBN 1852336676. Zbl 1006.00001.
• Джейкобсон, Натан (1996). Конечномерные алгебры с делением над полями. Берлин: Springer-Verlag. ISBN 3-540-57029-2. Zbl 0874.16002.
• Лам, Цит-Юэн (2005). Введение в квадратичные формы над полями. Аспирантура по математике. 67. Американское математическое общество. ISBN 0-8218-1095-2. Г-Н 2104929. Zbl 1068.11023.
• Лоренц, Фалько (2008). Алгебра. Том II: Поля со структурой, алгебры и сложные темы. Springer. ISBN 978-0-387-72487-4. Zbl 1130.12001.

дальнейшее чтение

• Альберт, А.А. (1939). Структура алгебр. Публикации коллоквиума. 24 (7-е исправленное переиздание). Американское математическое общество. ISBN 0-8218-1024-3. Zbl 0023.19901.
• Жиль, Филипп; Самуэли, Тамаш (2006). Центральные простые алгебры и когомологии Галуа. Кембриджские исследования в области высшей математики. 101. Кембридж: Издательство Кембриджского университета. ISBN 0-521-86103-9. Zbl 1137.12001.