Алгебра над полем

(Перенаправлено из изоморфизма алгебры )

В математике алгебра над полем (часто называемая просто алгеброй ) — это векторное пространство, снабженное билинейным произведением . Таким образом, алгебра - это алгебраическая структура, состоящая из множества вместе с операциями умножения, сложения и скалярного умножения на элементы поля и удовлетворяющая аксиомам, подразумеваемым «векторным пространством» и «билинейностью». [1]

Операция умножения в алгебре может быть или не быть ассоциативной , что приводит к понятиям ассоциативных и неассоциативных алгебр . Учитывая целое число n , кольцо действительных матриц , квадратных матриц порядка n является примером ассоциативной алгебры над полем действительных чисел при сложении и умножении поскольку умножение матриц ассоциативно. Трехмерное евклидово пространство с умножением, заданным векторным произведением, является примером неассоциативной алгебры над полем действительных чисел, поскольку векторное произведение неассоциативно и вместо этого удовлетворяет тождеству Якоби .

Алгебра называется унитарной или унитарной, если она имеет единицу относительно умножения. Кольцо действительных квадратных матриц порядка n образует алгебру с единицей, поскольку единичная матрица порядка n является единичным элементом относительно умножения матриц. Это пример ассоциативной алгебры с единицей, (единичного) кольца , которое также является векторным пространством.

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

Замена поля скаляров коммутативным кольцом приводит к более общему понятию алгебры над кольцом . Алгебры не следует путать с векторными пространствами, имеющими билинейную форму , такими как пространства внутреннего произведения , поскольку для такого пространства результат произведения находится не в пространстве, а в поле коэффициентов.

и мотивация Определение

Мотивирующие примеры [ править ]

Алгебра векторное пространство билинейный оператор ассоциативность коммутативность
комплексные числа произведение комплексных чисел
Да Да
векторное произведение 3D-векторов перекрестное произведение
Нет Нет ( антикоммутативный )
кватернионы Продукт Гамильтона
Да Нет
полиномы полиномиальное умножение Да Да
квадратные матрицы умножение матрицы Да Нет

Определение [ править ]

Пусть K поле , и пусть A векторное пространство над K, оснащенное дополнительной бинарной операцией от A × A до A , обозначенной здесь · (то есть, если x и y — любые два элемента A , то x · y — элемент A который называется произведением x , и y ). Тогда A является алгеброй над K, выполняются следующие тождества если для всех элементов x , y , z в A и всех элементов (часто называемых скалярами ) a и b в K :

  • Правая дистрибутивность : ( x + y ) · z = x · z + y · z
  • Левая дистрибутивность: z · ( x + y ) = z · x + z · y
  • Совместимость со скалярами: ( ax ) · ( by ) = ( ab ) ( x · y ) .

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

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

Основные понятия [ править ]

гомоморфизмы Алгебрические

Учитывая K -алгебры A и B , гомоморфизм - алгебр K или K - гомоморфизм алгебры — это K - линейное отображение f : A B такое, что f ( xy ) = f ( x ) f ( y ) для всех x , y в А. ​Пространство всех гомоморфизмов K -алгебр между A и B часто записывается как

Изоморфизм K -алгебры биективный — это гомоморфизм K -алгебры.

и Подалгебры идеалы

Подалгебра линейное алгебры над полем K — это подпространство , обладающее тем свойством, что произведение любых двух ее элементов снова находится в этом подпространстве. Другими словами, подалгебра алгебры — это непустое подмножество элементов, замкнутое относительно сложения, умножения и скалярного умножения. Используя символы, мы говорим, что подмножество L A K -алгебры является подалгеброй, если для любых , y в L и c в K мы имеем, что x · y , x + y и cx все находятся в L. x

В приведенном выше примере комплексных чисел, рассматриваемых как двумерная алгебра над действительными числами, одномерная действительная линия является подалгеброй.

Левый идеал -алгебры K — это линейное подпространство, обладающее тем свойством, что любой элемент подпространства, умноженный слева на любой элемент алгебры, дает элемент подпространства. Символами мы говорим, что подмножество L K - алгебры A является левым идеалом, если для каждых x и y в L , z в A и c в K мы имеем следующие три утверждения.

  1. x + y находится в L ( L замкнут при сложении),
  2. cx находится в L ( L замкнут относительно скалярного умножения),
  3. z · x находится в L ( L замкнута относительно умножения слева на произвольные элементы).

Если бы (3) было заменено на x · z в L , то это определило бы правый идеал . Двусторонний идеал — это подмножество, которое является одновременно левым и правым идеалом. Сам по себе термин «идеал» обычно понимается как обозначающий двусторонний идеал. Конечно, когда алгебра коммутативна, все эти понятия идеала эквивалентны. Условия (1) и (2) вместе эквивалентны тому, что L является линейным подпространством A . Из условия (3) следует, что всякий левый или правый идеал является подалгеброй.

Это определение отличается от определения идеала кольца тем, что здесь требуется условие (2). Конечно, если алгебра унитальна, то из условия (3) следует условие (2).

Расширение скаляров [ править ]

Если у нас есть расширение поля F / K , то есть большее поле F , содержащее K , то существует естественный способ построить алгебру над F из любой алгебры K. над Это та же конструкция, которую используют для создания векторного пространства в большем поле, а именно тензорное произведение . Итак, если A — алгебра над K , то является алгеброй над F .

Виды алгебр и примеры [ править ]

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

Юнитальная алгебра [ править ]

Алгебра является унитарной или унитарной, если она имеет единицу или единичный элемент I с Ix = x = xI для всех x в алгебре.

Нулевая алгебра [ править ]

Алгебра называется нулевой алгеброй , если uv = 0 для всех u , v в алгебре, [2] не путать с алгеброй с одним элементом. Он по своей сути неединичен (за исключением случая только одного элемента), ассоциативен и коммутативен.

Можно определить нулевую алгебру с единицей, взяв прямую сумму модулей поля (или, в более общем смысле, кольца) K и K -векторного пространства (или модуля) V и определив произведение каждой пары элементов V как ноль. То есть, если λ , µ K и u , v V , то ( λ + u ) ( µ + v ) = λµ + ( λv + µu ) . Если e 1 , ... ed d является базисом V , алгебра нулей с единицей является фактором кольца полиномов K [ E 1 , ..., по идеалу En ] , порожденному E i E j для каждого пара ( я , j ) .

Примером алгебры с единицей нуля является алгебра двойственных чисел -алгебра с единицей нуля, , R построенная из одномерного вещественного векторного пространства.

Эти алгебры нулей с единицей могут быть более полезны, поскольку они позволяют перевести любое общее свойство алгебр в свойства векторных пространств или модулей . Например, теория базисов Грёбнера была введена Бруно Бухбергером для идеалов в кольце полиномов R = K [ x 1 , ..., x n ] над полем. Построение нулевой алгебры с единицей над свободным R -модулем позволяет расширить эту теорию как базисную теорию Грёбнера для подмодулей свободного модуля. Это расширение позволяет для вычисления базиса Грёбнера подмодуля использовать без каких-либо модификаций любой алгоритм и любое программное обеспечение для вычисления базиса Грёбнера идеалов.

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

Примеры ассоциативных алгебр включают

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

Неассоциативная алгебра [3] (или дистрибутивной алгеброй ) над полем K — это K -векторное пространство A, снабженное K - билинейным отображением. . Использование здесь слова «неассоциативный» означает, что ассоциативность не предполагается, но это не означает, что она запрещена, то есть означает «не обязательно ассоциативный».

Примеры, подробно описанные в основной статье, включают:

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

Определение ассоциативной K -алгебры с единицей также часто дается альтернативным способом. В этом случае алгебра над полем K представляет собой кольцо A вместе с кольцевым гомоморфизмом

где Z ( A ) центр A. — Поскольку η — кольцевой гомоморфизм, то либо A нулевое кольцо либо η инъективно , . Это определение эквивалентно приведенному выше со скалярным умножением

данный

Учитывая две такие ассоциативные унитальные K -алгебры A и B , гомоморфизм K -алгебры с единицей f : A B является кольцевым гомоморфизмом, который коммутирует со скалярным умножением, определенным η , который можно записать как

для всех и . Другими словами, следующая диаграмма коммутирует:

Коэффициенты структуры

Для алгебр над полем билинейное умножение от A × A до A полностью определяется умножением базисных элементов A .И наоборот, как только базис для A выбран, произведения базисных элементов можно задать произвольно, а затем единственным образом расширить до билинейного оператора на A , т. е. так, чтобы полученное умножение удовлетворяло законам алгебры.

Таким образом, учитывая поле K , любую конечномерную алгебру можно определить с точностью до изоморфизма , указав ее размерность (скажем, n ) и указав n 3 структурные коэффициенты c i , j , k , которые являются скалярами .Эти структурные коэффициенты определяют умножение в A по следующему правилу:

где e 1 ,..., en образуют базис A .

Однако обратите внимание, что несколько разных наборов структурных коэффициентов могут привести к изоморфным алгебрам.

В математической физике коэффициенты структуры обычно записываются с верхними и нижними индексами, чтобы различать их трансформационные свойства при преобразованиях координат. В частности, нижние индексы являются ковариантными индексами и преобразуются посредством откатов , тогда как верхние индексы являются контравариантными и преобразуются при проталкивании вперед . Таким образом, структурные коэффициенты часто обозначаются c i , j к , а их определяющее правило записывается с использованием обозначений Эйнштейна как

е я е j знак равно c я , j к е к .

Если вы примените это к векторам, записанным в индексной нотации , то это станет

( ху ) к знак равно с я , j к х я и дж .

Если K — только коммутативное кольцо, а не поле, то тот же процесс работает, если свободный модуль над K. A Если это не так, то умножение по-прежнему полностью определяется его действием на наборе, охватывающем A ; однако в этом случае структурные константы не могут быть заданы произвольно, и знание только структурных констант не определяет алгебру с точностью до изоморфизма.

маломерных ассоциативных алгебр с единицей над комплексными Классификация числами

Двумерные, трехмерные и четырехмерные ассоциативные алгебры с единицей над полем комплексных чисел были полностью классифицированы с точностью до изоморфизма Эдуардом Стью . [4]

Существуют две такие двумерные алгебры. Каждая алгебра состоит из линейных комбинаций (с комплексными коэффициентами) двух базисных элементов: 1 (единичного элемента) и a . Согласно определению элемента идентичности,

Осталось уточнить

для первой алгебры,
для второй алгебры.

Существует пять таких трехмерных алгебр. Каждая алгебра состоит из линейных комбинаций трех базисных элементов: 1 (единичный элемент), a и b . Принимая во внимание определение элемента идентичности, достаточно указать

для первой алгебры,
для второй алгебры,
для третьей алгебры,
для четвертой алгебры,
по пятой алгебре.

Четвертая из этих алгебр некоммутативна, а остальные коммутативны.

Обобщение: алгебра над кольцом [ править ]

В некоторых областях математики, таких как коммутативная алгебра , принято рассматривать более общую концепцию алгебры над кольцом , где коммутативное кольцо R поле K. заменяет Единственная часть определения, которая меняется, заключается в том, что A считается R -модулем (вместо K -векторного пространства).

Ассоциативные алгебры над кольцами [ править ]

Кольцо A всегда является ассоциативной алгеброй над своим центром и над целыми числами . Классическим примером алгебры над своим центром является алгебра расщепленных бикватернионов , которая изоморфна , прямое произведение двух алгебр кватернионов . Центр этого кольца находится , и, следовательно, он имеет структуру алгебры над своим центром, который не является полем. Обратите внимание, что алгебра расщепленных бикватернионов также естественно является 8-мерной алгеброй. -алгебра.

В коммутативной алгебре, если A коммутативное кольцо , то любой гомоморфизм колец с единицей определяет структуру R -модуля на A , и это то, что известно как структура R -алгебры. [5] Таким образом, кольцо имеет естественный -модульная структура, поскольку можно взять единственный гомоморфизм . [6] С другой стороны, не всем кольцам можно придать структуру алгебры над полем (например, целыми числами). См. Поле с одним элементом для описания попытки придать каждому кольцу структуру, которая ведет себя как алгебра над полем.

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

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

  1. ^ См. также Хазевинкель, Губарени и Кириченко 2004 , с. 3 Предложение 1.1.1
  2. ^ Пролла, Жоао Б. (2011) [1977]. «Лемма 4.10» . Приближение векторных функций . Эльзевир. п. 65. ИСБН  978-0-08-087136-3 .
  3. ^ Шафер, Ричард Д. (1996). Введение в неассоциативные алгебры . ISBN  0-486-68813-5 .
  4. ^ Этюд, Э. (1890), «О системах комплексных чисел и их приложениях в теории групп преобразований», Monthly Books for Mathematics , 1 (1): 283–354, doi : 10.1007/BF01692479 , S2CID   121426669
  5. ^ Мацумура, Х. (1989). Коммутативная теория колец . Кембриджские исследования по высшей математике. Том. 8. Перевод Рида М. (2-е изд.). Издательство Кембриджского университета. ISBN  978-0-521-36764-6 .
  6. ^ Кунц, Эрнст (1985). Введение в коммутативную алгебру и алгебраическую геометрию . Биркгаузер. ISBN  0-8176-3065-1 .

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