Тензорное произведение

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

Definition

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

Scope

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

Core questions

• Как билинейные отображения можно превратить в линейные?
• Какое универсальное свойство определяет тензорное произведение?
• Как тензорное произведение реализует изменение скаляров между кольцами?
• Как тензорное произведение взаимодействует с прямыми суммами и точными последовательностями?

Key theories

Универсальное свойство тензорного произведения

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

Расширение скаляров

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

Правая точность тензорного функтора

Тензорное умножение сохраняет коядра и сюръекции, но не всегда инъекции, поэтому оно является правоточным; нарушение левой точности измеряется производными функторами Tor, что является основой гомологической алгебры.

Clinical relevance

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

History

Тензоры возникли в работах Риччи и Леви-Чивиты по дифференциальной геометрии и во внешней алгебре Грассмана, в то время как теоретико-модульное тензорное произведение и его универсальное свойство были абстрагированы в середине XX века по мере развития гомологической алгебры, став стандартным инструментом благодаря работам Картана, Эйленберга и Маклейна.

Key figures

• Hermann Grassmann
• Élie Cartan
• Emmy Noether
• Saunders Mac Lane

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Какую проблему решает тензорное произведение?

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

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

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