Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Коммутативная алгебра ассоциативная алгебра, имеет коммутативное умножение, или, что то же, ассоциативная алгебра, также коммутативное кольцо .

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

Многие авторы рассматривают более общую концепцию ассоциативной алгебры над коммутативным кольцом R вместо поля: R -алгебра - это R -модуль с ассоциативной R -билинейной бинарной операцией, который также содержит мультипликативное тождество. Например, если S - любое кольцо с центром C , то S - ассоциативная C -алгебра.

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

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

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

Эквивалентно, ассоциативная алгебра представляет собой кольцо вместе с кольцевым гомоморфизмом из R в центр части А . Если f - такой гомоморфизм, скалярное умножение будет (здесь умножение - это кольцевое умножение); если скалярное умножение задано, гомоморфизм колец задается формулой (см. также § Из гомоморфизмов колец ниже).

Каждое кольцо является ассоциативной -алгеброй, где обозначает кольцо целых чисел .

Коммутативная алгебра ассоциативная алгебра, также коммутативное кольцо .

Как моноидный объект в категории модулей [ править ]

Определение эквивалентно тому, что унитарная ассоциативная R - алгебра является Моноид объекта в R -Mod ( моноидальные категории из R -модулей). По определению кольцо - это моноидный объект в категории абелевых групп ; Таким образом, понятие ассоциативной алгебры получается заменой категории абелевых групп категорией модулей .

Продвигая эту идею дальше, некоторые авторы представили «обобщенное кольцо» как моноидный объект в некоторой другой категории, которая ведет себя как категория модулей. Действительно, это переосмысление позволяет избежать явной ссылки на элементы алгебры А . Например, ассоциативность можно выразить следующим образом. По универсальному свойству тензорного произведения модулей умножение ( R -билинейное отображение) соответствует единственному R -линейному отображению

.

Тогда ассоциативность относится к идентичности:

Из гомоморфизмов колец [ править ]

Ассоциативная алгебра представляет собой гомоморфизм колец , образ которого лежит в центре . Действительно, начиная с кольцом A и кольцевой гомоморфизм , образ которого лежит в центре из А , мы можем сделать в R - алгебру, определив

для всех гR и хA . Если A - R -алгебра, взяв x = 1, та же формула, в свою очередь, определяет гомоморфизм колец , образ которого лежит в центре.

Если кольцо коммутативно, то оно равно своему центру, так что коммутативная R -алгебра может быть определена просто как коммутативное кольцо A вместе с коммутативным гомоморфизмом колец .

Появившийся выше кольцевой гомоморфизм η часто называют структурным отображением . В коммутативном случае можно рассматривать категорию, объектами которой являются гомоморфизмы колец RA ; т. е. коммутативные R -алгебры и морфизмами которых являются гомоморфизмы колец AA ' , находящиеся под R ; т. е. RAA ' есть RA ' (т. е. косная категория категории коммутативных колец относительно R. ) Простой спектрфунктор Spec затем определяет антиэквивалентность этой категории к категории аффинных схем над Spec R .

Как ослабить предположение о коммутативности - это предмет некоммутативной алгебраической геометрии и, в последнее время, производной алгебраической геометрии . См. Также: кольцо универсальных матриц .

Гомоморфизмы алгебры [ править ]

Гомоморфизм между двумя R -алгебрами представляет собой R -линейный гомоморфизм колец . Явно является гомоморфизмом ассоциативной алгебры, если

Класс всех R -алгебр вместе с гомоморфизмами алгебр между ними образуют категорию , иногда обозначаемую R -Alg .

Подкатегорию коммутативных R -алгебрах можно охарактеризовать как coslice категория R / CRING , где CRING является категория коммутативных колец .

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

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

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

  • Любое кольцо A можно рассматривать как Z -алгебру. Уникальный кольцевой гомоморфизм от Z до А определяется тем фактом , что он должен послать 1 к идентичности в A . Следовательно, кольца и Z -алгебры являются эквивалентными понятиями, так же как эквивалентны абелевы группы и Z- модули.
  • Точно так же любое кольцо характеристики n является ( Z / n Z ) -алгеброй.
  • Дан R - модуля М , с кольцом эндоморфизмов из М , обозначается конец Р ( М ) представляет собой R - алгебра, определяя ( г · φ) ( х ) = г · φ ( х ).
  • Любое кольцо матриц с коэффициентами в коммутативном кольце R образует R -алгебру относительно сложения и умножения матриц. Это совпадает с предыдущим примером, когда M конечно порожденный свободный R -модуль.
    • В частности, квадратные п матрицы с размерностью п матрицы с элементами из поля К образуют ассоциативную алгебру над K .
  • В комплексных числах образуют 2-мерную коммутативную алгебру над вещественными числами .
  • В кватернионах образуют 4-ассоциативную алгебру над полем действительных чисел (но не алгебра над комплексными числами, так как комплексные числа не в центре кватернионов).
  • Эти многочлены с действительными коэффициентами образуют коммутативную алгебру над полем действительных чисел.
  • Каждое кольцо многочленов R [ x 1 , ..., x n ] является коммутативной R -алгеброй. Фактически это свободная коммутативная R -алгебра на множестве { x 1 , ..., x n }.
  • Свободный R - алгебра на множество Е есть алгебра «полиномы» с коэффициентами в R и некоммутирующем переменными , взятых из множества Е .
  • Тензор алгебра из R - модуля естественно ассоциативная R - алгебра. То же верно и для частных, таких как внешняя и симметрическая алгебры . Категорически говоря, функтор , отображающий R -модуль в его тензорную алгебру, сопряжен слева с функтором, который отправляет R -алгебру в его базовый R -модуль (забывая о мультипликативной структуре).
  • Следующее кольцо используется в теории λ-колец . Дано коммутативное кольцо A , пусть множество формальных степенных рядов с постоянным членом 1. Это абелева группа с групповой операцией умножения степенных рядов. Тогда это будет кольцо с умножением, обозначенным , таким, которое определяется этим условием и аксиомами кольца. Аддитивная идентичность равна 1, а мультипликативная идентичность . Тогда имеет каноническую структуру a -алгебры, задаваемую гомоморфизмом колец
С другой стороны, если A - λ-кольцо, то существует гомоморфизм колец
дающий структуру A -алгебры.

Теория представлений [ править ]

  • Универсальная обертывающая алгебра алгебры Ли является ассоциативной алгеброй , которая может быть использована для изучения данной алгебры Ли.
  • Если G - группа, а R - коммутативное кольцо, множество всех функций от G до R с конечным носителем образуют R -алгебру со сверткой как умножением. Это называется групповая алгебра из G . Конструкция является отправной точкой для приложения к изучению (дискретных) групп.
  • Если G является алгебраической группой (например, полупрост комплексной группы Ли ), то координатное кольцом из G является алгебра Хопфа соответствующей G . Многие структуры G перевести те A .
  • Колчан алгебра (или алгебра пути) ориентированный граф является свободной ассоциативной алгеброй над полем , создаваемыми путями в графе.

Анализ [ править ]

  • При любом банахово пространство X , то непрерывные линейные операторы  : ХХ образуют ассоциативную алгебру (используя состав операторов как умножение); это банахова алгебра .
  • Для любого топологического пространства X непрерывные действительные или комплексные функции на X образуют вещественную или комплексную ассоциативную алгебру; здесь функции складываются и умножаются точечно.
  • Множество семимартингалов, определенных на фильтрованном вероятностном пространстве (Ω,  F , ( F t ) t  ≥ 0 , P), образует кольцо при стохастическом интегрировании .
  • Алгебра Вейля
  • Адзумая алгебра

Геометрия и комбинаторика [ править ]

  • В алгебры Клиффорда , которые могут быть использованы в геометрии и физике .
  • Алгебры инцидентности из локально конечных частично упорядоченных множеств ассоциативные алгебры , рассматриваемые в комбинаторике .

Конструкции [ править ]

Подалгебры
Подалгебра из R - алгебра А является подмножеством А , который является как Подкольцом и подмодуль из A . То есть, он должен быть замкнут относительно того, кольца умножения, скалярного умножения, и оно должно содержать единичный элемент A .
Фактор-алгебры
Пусть A - R -алгебра. Любой теоретико-кольцевой идеал I в A автоматически является R -модулем, поскольку r  ·  x = ( r 1 A ) x . Это придает факторкольцу A  /  I структуру R -модуля и, фактически, R -алгебру. Отсюда следует, что любой кольцевой гомоморфный образ A также является R -алгеброй.
Прямые продукты
Прямое произведение семейства R -алгебр является теоретико-кольцевым прямым произведением. Это становится R -алгеброй с очевидным скалярным умножением.
Бесплатные товары
Можно образовать свободное произведение из R -алгебр аналогичны свободное произведение групп. Свободный продукт - это копроизведение в категории R -алгебр.
Тензорные продукты
Тензорное произведение двух R -алгебр также естественным образом является R -алгеброй. Смотрите тензорное произведение алгебр для более подробной информации. Учитывая коммутативное кольцо R и любое кольцо А тензорное произведение R  ⊗ Z  можно дать структуру R - алгебры, определяя г  · ( ы  ⊗  ) = ( RS  ⊗  а ). Функтор , который посылает A к R  ⊗ Z A является левым сопряженным к функтору , который посылает R -алгебра к ее нижележащему кольцу (забыв о структуре модуля) См. Также: Смена колец .

Отделимая алгебра [ править ]

Пусть алгебра над коммутативным кольцом R . Тогда алгебра A является правым [1] модулем над действием . Тогда по определению A называется сепарабельным, если отображение умножения расщепляется как -линейное отображение, [2] где - -модуль by . Эквивалентно, [3] сепарабелен, если он является проективным модулем над ; таким образом, -проективная размерность А , которую иногда называют биразмерности из A , измеряет провал разделимости.

Конечномерная алгебра [ править ]

Пусть A - конечномерная алгебра над полем k . Тогда A - артиново кольцо .

Коммутативный падеж [ править ]

Поскольку A артиново, если оно коммутативно, то оно является конечным произведением артиновых локальных колец, поля вычетов которых являются алгебрами над базовым полем k . Теперь редуцированное артиново локальное кольцо является полем, и поэтому следующие утверждения эквивалентны [4]

  1. отделимо.
  2. сводится, где - некоторое алгебраическое замыкание k .
  3. для некоторых n .
  4. - количество гомоморфизмов -алгебр .

Некоммутативный падеж [ править ]

Поскольку простое артиново кольцо является (полным) матричным кольцом над телом, если A - простая алгебра, то A - (полная) матричная алгебра над алгеброй с делением D над k ; то есть . В более общем смысле, если A - полупростая алгебра, то это конечное произведение матричных алгебр (над различными k -алгебрами с делением ), факт, известный как теорема Артина – Веддерберна .

Тот факт, что A артиново, упрощает понятие радикала Джекобсона; для артинового кольца радикал Джекобсона кольца A является пересечением всех (двусторонних) максимальных идеалов (в отличие от него, вообще говоря, радикал Джекобсона - это пересечение всех левых максимальных идеалов или пересечение всех правых максимальных идеалов).

В Веддерберна основной теореме гласит: [5] для конечномерной алгебры А с нильпотентным идеалом я , если проективная размерность как модуль не более одного, то естественной сюръекцией расколы; т. е. содержит такую ​​подалгебру , которая является изоморфизмом. Принимая I за радикал Джекобсона, теорема, в частности, утверждает, что радикал Джекобсона дополняется полупростой алгеброй. Теорема является аналогом теоремы Леви для алгебр Ли .

Решетки и приказы [ править ]

Пусть R - нётерова область целостности с полем дробей K (например, они могут быть ). Решетки L в конечномерном К -векторному пространству V является конечно порожденным Р подмодуль V , который охватывает V ; другими словами, .

Пусть - конечномерная K -алгебра. Порядок в представляет собой R -подалгебра , что является решеткой. В общем, порядков намного меньше, чем решеток; например, является решеткой в ​​порядке, но не в порядке (поскольку это не алгебра). [6]

Порядок максимален есть порядок , что является максимальным среди всех заказов.

Понятия, связанные с данным [ править ]

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

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

Существует также абстрактное понятие F -коалгебры , где F - функтор . Это отдаленно связано с обсуждавшимся выше понятием коалгебры.

Представления [ править ]

Представление алгебры А является алгебра гомоморфизма ρ  : → End ( V ) от А до эндоморфизмов алгебры некоторых векторного пространства (или модуль) V . Свойство ρ быть гомоморфизмом алгебр означает, что ρ сохраняет мультипликативную операцию (то есть ρ ( xy ) =  ρ ( x ) ρ ( y ) для всех x и y в A ), и что ρ отправляет единицу Aединице End ( V ) (т. е. тождественному эндоморфизму V ).

Если A и B - две алгебры, а ρ  : A → End ( V ) и τ  : B → End ( W ) - два представления, то существует (каноническое) представление A B → End ( V W ) тензорного произведения алгебра Б на векторном пространстве V W . Однако естественного способа определения тензорного произведения не существует. двух представлений единой ассоциативной алгебры таким образом, чтобы результат оставался представлением той же самой алгебры (а не ее тензорного произведения с самим собой), без каких-либо дополнительных условий. Здесь под тензорным произведением представлений подразумевается обычный смысл: результатом должно быть линейное представление той же алгебры на векторном пространстве произведения. Введение такой дополнительной структуры обычно приводит к идее алгебры Хопфа или алгебры Ли , как показано ниже.

Мотивация для алгебры Хопфа [ править ]

Рассмотрим, например, два представления и . Можно попытаться сформировать тензорное представление произведения в соответствии с тем, как оно действует в векторном пространстве произведения, так что

Однако такая карта не будет линейной, поскольку

для KK . Можно спасти эту попытку и восстановить линейность, наложив дополнительную структуру, определив гомоморфизм алгебр Δ: AAA и определив представление тензорного произведения как

Такой гомоморфизм ∆ называется коумножением, если он удовлетворяет некоторым аксиомам. Полученная структура называется биалгеброй . Чтобы соответствовать определениям ассоциативной алгебры, коалгебра должна быть коассоциативной, и, если алгебра унитальна, то коалгебра также должна быть ко-унитальной. Алгебра Хопфа является биалгеброй с дополнительной частью структуры (так называемый антиподом), что позволяет не только определить тензорное произведение двух представлений, но и модуль Hom двух представлений (опять же , аналогично тому , как это делается в теории представлений групп).

Мотивация для алгебры Ли [ править ]

Можно попробовать поумнее определить тензорное произведение. Рассмотрим, например,

так что действие в пространстве тензорного произведения задается формулой

.

Это отображение явно линейно по x , поэтому оно не имеет проблемы с предыдущим определением. Однако при этом не удается сохранить умножение:

.

Но, в общем, это не равно

.

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

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

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

Одним из примеров неунитарной ассоциативной алгебры является множество всех функций f : RR , предел которых при x, близком к бесконечности, равен нулю.

Другой пример - векторное пространство непрерывных периодических функций вместе с произведением свертки .

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

  • Абстрактная алгебра
  • Алгебраическая структура
  • Алгебра над полем
  • Пучок алгебр , своего рода алгебра над окольцованным пространством

Заметки [ править ]

  1. ^ От редакции: оказывается,это полное кольцо матриц в интересных случаях, и более условно позволить матрицам действовать справа.
  2. ^ Кон 2003 , § 4.7.
  3. ^ Чтобы увидеть эквивалентность, обратите внимание, что секцияможет использоваться для построения секции сюръекции.
  4. Waterhouse 1979 , § 6.2.
  5. ^ Кон 2003 , теорема 4.7.5.
  6. ^ Артин 1999 , гл. IV, § 1.

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

  • Артин, Майкл (1999). «Некоммутативные кольца» (PDF) .
  • Бурбаки, Н. (1989). Алгебра я . Springer. ISBN 3-540-64243-9.
  • Кон, PM (2003). Дальнейшая алгебра и приложения (2-е изд.). Springer. ISBN 1852336676. Zbl  1006.00001 .
  • Натан Джейкобсон, Структура колец
  • Джеймс Бирни Шоу (1907) Краткий обзор линейной ассоциативной алгебры , ссылка на исторические математические монографии Корнельского университета .
  • Росс-стрит (1998) Квантовые группы: ввод в современную алгебру , обзор безиндексной нотации.
  • Уотерхаус, Уильям (1979), Введение в схемы аффинных групп , Тексты для выпускников по математике, 66 , Берлин, Нью-Йорк: Springer-Verlag , DOI : 10.1007 / 978-1-4612-6217-6 , ISBN 978-0-387-90421-4, Руководство по ремонту  0547117