Русская Википедия:Симметрическая алгебра

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

В математике, симметрической алгеброй <math>S(V)</math> (также обозначается <math>\mathrm{Sym}(V)</math>) векторного пространства <math>V</math> над полем <math>K</math> называется свободная коммутативная ассоциативная алгебра с единицей, содержащая <math>V</math>.

Иначе говоря, симметрическую алгебру можно определить как факторалгебру тензорной алгебры по двустороннему идеалу, порождённому элементами вида <math>v\otimes w - w\otimes v</math>. Она удовлетворяет следующему универсальному свойству: для любого линейного отображения <math>f</math> из <math>V</math> в коммутативную алгебру <math>A</math> существует единственный гомоморфизм алгебр <math>g: S(V) \to A</math> такой, что <math>f = g \circ i</math>, где <math>i: V \to S(V)</math> — вложение.

Симметрическая алгебра имеет градуированную структуру:

<math>S(V)=\bigoplus_{n=0}^\infty S^n(V),</math>

где <math>S^n(V)</math> — векторное подпространство, порождённое произведением <math>n</math> векторов из <math>V</math>.

См. также

Ссылки

Шаблон:Algebra-stub