텐서곱

두 모듈의 텐서곱은 쌍선형 사상의 보편적인 수용자로서, 쌍선형 구성을 선형 구성으로 변환하고 환(ring) 사이의 스칼라 변경을 가능하게 합니다.

Definition

가환환(commutative ring) 위의 두 모듈의 텐서곱은 보편적인 쌍선형 사상을 포함하는 모듈입니다. 즉, 두 모듈 쌍에서 나오는 모든 쌍선형 사상은 이 모듈을 통해 선형 사상으로 유일하게 분해됩니다.

Scope

이 주제는 모듈의 텐서곱의 구성과 보편적 성질, 생성원과 관계에 대한 텐서곱의 거동, 기저 변경 및 스칼라 확장, 벡터 공간 및 대수(algebra)의 텐서곱, 그리고 텐서 함자(functor)의 우측 완전성(right-exactness)을 다룹니다.

Core questions

• 쌍선형 사상을 선형 사상으로 어떻게 변환할 수 있습니까?
• 텐서곱을 정의하는 보편적 성질은 무엇입니까?
• 텐서곱은 환 사이의 스칼라 변경을 어떻게 구현합니까?
• 텐서곱은 직합(direct sum) 및 완전열(exact sequence)과 어떻게 상호작용합니까?

Key theories

텐서곱의 보편적 성질

텐서곱은 한 쌍의 모듈에서 나오는 모든 쌍선형 사상이 선형 사상으로 분해되는 유일한 모듈이며, 이는 동형(isomorphism)까지의 특성을 부여하고 모든 성질을 지배합니다.

스칼라 확장

환 준동형(ring homomorphism)을 따라 모듈을 더 큰 환과 텐서하는 것은 스칼라를 확장하여 한 환 위의 모듈을 다른 환 위의 모듈로 변환하며, 이는 대수학 및 기하학에서 기저 변경의 기본 메커니즘입니다.

텐서 함자의 우측 완전성

텐서링은 여핵(cokernel)과 전사(surjection)를 보존하지만 일반적으로 단사(injection)는 보존하지 않으므로 우측 완전합니다. 좌측 완전성(left-exactness)의 실패는 유도 함자(derived functor) Tor에 의해 측정되며, 이는 호몰로지 대수의 기초를 이룹니다.

Clinical relevance

텐서곱은 어디에나 존재합니다. 다중선형 대수(multilinear algebra)와 외대수(exterior algebra) 및 대칭 대수(symmetric algebra)를 구성하고, 양자 시스템을 상태 공간의 텐서곱으로 모델링하며, 대수 기하학에서 기저 변경을 구현하고, 미분 기하학 및 기계 학습의 텐서의 기초를 이룹니다.

History

텐서는 리치(Ricci)와 레비-치비타(Levi-Civita)의 미분 기하학 연구와 그라스만(Grassmann)의 외대수에서 발생했으며, 모듈 이론적 텐서곱과 그 보편적 성질은 20세기 중반 호몰로지 대수(homological algebra)가 발전하면서 추상화되었고, 카르탕(Cartan), 아일렌베르크(Eilenberg), 맥 레인(Mac Lane)의 작업을 통해 표준 도구가 되었습니다.

Key figures

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

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

텐서곱은 어떤 문제를 해결합니까?

텐서곱은 모든 쌍선형 사상이 선형적으로 분해되는 단일 모듈을 제공하여, 쌍선형 문제를 선형 문제로 바꿉니다. 명시적인 공식이 아닌 이 보편적 성질이 이 구성을 유용하고 잘 작동하게 만듭니다.

텐서곱이 우측 완전하기만 한 이유는 무엇입니까?

텐서링은 전사와 여핵을 보존하지만, 원소들 사이의 관계가 붕괴될 수 있기 때문에 단사성을 파괴할 수 있습니다. 정확한 실패는 Tor 함자에 의해 포착되며, 이것이 텐서곱이 호몰로지 대수와 함께 연구되는 이유입니다.