Бесплатная алгебра
Алгебраическая структура → Теория колец Теория колец |
---|
В математике , особенно в области абстрактной алгебры , известной как теория колец , свободная алгебра является некоммутативным аналогом кольца полиномов, поскольку ее элементы могут быть описаны как «многочлены» с некоммутирующими переменными. Аналогично кольцо многочленов можно рассматривать как свободную коммутативную алгебру .
Определение [ править ]
Для R коммутативного кольца свободная ( ассоциативная , с единицей ) алгебра на n неопределенных { X1 , ..., Xn } — это свободный R -модуль с базой, состоящей из всех слов алфавита { X1 , ... ., X n } (включая пустое слово, являющееся единицей свободной алгебры). Этот R -модуль становится R -алгеброй , определяя умножение следующим образом: произведение двух базисных элементов представляет собой объединение соответствующих слов:
и произведение двух произвольных элементов R -модуля, таким образом, определяется однозначно (поскольку умножение в R -алгебре должно быть R -билинейным). Эту R -алгебру обозначают R ⟨ X 1 ,..., X n ⟩. Эту конструкцию легко обобщить на произвольное множество X неопределенных величин.
Короче говоря, для произвольного набора свободная ( ассоциативная , унитарная ) R - алгебра на X есть
с R -билинейным умножением, которое представляет собой конкатенацию слов, где X * обозначает свободный моноид на X (т.е. слова на буквах X i ), обозначает внешнюю прямую сумму , а Rw обозначает свободный R -модуль на 1 элементе, слово w .
Например, в R ⟨ X 1 , X 2 , X 3 , X 4 ⟩ для скаляров α, β, γ, δ ∈ R конкретным примером произведения двух элементов является
.
Кольцо некоммутативного многочлена можно отождествить с кольцом моноида над R свободного моноида всех конечных слов из X i .
Контраст с полиномами [ править ]
Поскольку слова в алфавите { X 1 , ..., X n } образуют базис R ⟨ X 1 ,..., X n ⟩, то ясно, что любой элемент R ⟨ X 1 , ..., X n ⟩ можно однозначно записать в виде:
где являются элементами R , и все эти элементы, кроме конечного числа, равны нулю. Это объясняет, почему элементы R ⟨ X 1 ,..., X n ⟩ часто обозначаются как «некоммутативные многочлены» от «переменных» (или «неопределенных») X 1 ,..., X n ; элементы называются «коэффициентами» этих многочленов, а R -алгебра R ⟨ X 1 ,..., X n ⟩ называется «некоммутативной полиномиальной алгеброй над R от n неопределенных». Обратите внимание, что в отличие от реального кольца полиномов , переменные не коммутируют . Например, X 1 X 2 не равно X 2 X 1 .
В более общем смысле, можно построить свободную алгебру R ⟨ E ⟩ на любом E генераторов множестве . Поскольку кольца можно рассматривать как Z -алгебры, свободное кольцо на E можно определить как свободную алгебру Z ⟨ E ⟩.
Над полем свободная алгебра на n неопределенных может быть построена как тензорная алгебра на n -мерном векторном пространстве . Для более общего кольца коэффициентов та же конструкция работает, если мы возьмем свободный модуль от n образующих .
Конструкция свободной алгебры на E является функториальной по своей природе и удовлетворяет подходящему универсальному свойству . Функтор свободной алгебры слева сопряжен с функтором забывчивости из категории R -алгебр в категорию множеств .
Свободные алгебры над телами — это свободные идеальные кольца .
См. также [ править ]
- Кофри Коалгебра
- Тензорная алгебра
- Бесплатный объект
- Некоммутативное кольцо
- Рациональная серия
- Термин алгебра
Ссылки [ править ]
- Берстель, Жан; Ройтенауэр, Кристоф (2011). Некоммутативные рациональные ряды с приложениями . Энциклопедия математики и ее приложений. Том. 137. Кембридж: Издательство Кембриджского университета . ISBN 978-0-521-19022-0 . Збл 1250.68007 .
- Л. А. Бокуть (2001) [1994], «Свободная ассоциативная алгебра» , Энциклопедия математики , EMS Press