Remove ads

Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны. Понятие алгебры над кольцом является обобщением понятия алгебры над полем, аналогично тому как понятие модуля обобщает понятие векторного пространства.

Remove ads

Определения

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

Согласно определению, для всех и справедливы соотношения:

  1. , где  — единица кольца

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

Для , коммутатор определён равенством . -алгебра называется коммутативной, если .

Для ассоциатор определён равенством . -алгебра называется ассоциативной, если .

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

Иногда алгебра определяется и над некоммутативными кольцами, в этом случае вместо условия требуют более слабое: .

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

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

Remove ads

Свободная алгебра

Если алгебра над коммутативным кольцом является свободным модулем, то она называется свободной алгеброй и имеет базис над кольцом . Если алгебра имеет конечный базис, то алгебра называется конечномерной.

Если является полем, то, по определению, -алгебра является векторным пространством над , а значит, имеет базис.

Базис конечномерной алгебры обычно обозначают . Если алгебра имеет единицу , то обычно единицу включают в состав базиса и полагают . Если алгебра имеет конечный базис, то произведение в алгебре легко восстановить на основании таблиц умножения:

.

А именно, если , , то произведение можно представить в виде:

.

Величины называются структурными константами алгебры .

Если алгебра коммутативна, то:

.

Если алгебра ассоциативна, то:

.
Remove ads

Свойства

Из алгебры многочленов (от достаточно большого числа переменных) над полем в качестве гомоморфного образа можно получить любую ассоциативно-коммутативную алгебру над .

Отображение алгебры

Возможно рассматривать алгебру над коммутативным кольцом как модуль над коммутативным кольцом . Отображение алгебры над коммутативным кольцом в алгебру над кольцом называется линейным, если:

,
.

для любых , , . Множество линейных отображений алгебры в алгебру обозначается символом .

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

.

Множество гомоморфизмов алгебры в алгебру обозначается символом .

Очевидно, что .

Remove ads

Примеры

Общие:

Алгебры над полем вещественных чисел:

Литература

  • Скорняков Л. А., Шестаков И. П. . Глава III. Кольца и модули // Общая алгебра / Под общ. ред. Л. А. Скорнякова. М.: Наука, 1990. — Т. 1. — С. 291—572. — 592 с. — (Справочная математическая библиотека). 30 000 экз. ISBN 5-02-014426-6.

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Remove ads