Producto Tensorial
El producto tensorial de dos módulos es el receptor universal de mapas bilineales, que convierte construcciones bilineales en lineales y permite el cambio de escalares entre anillos.
Definition
El producto tensorial de dos módulos sobre un anillo conmutativo es un módulo junto con un mapa bilineal hacia él que es universal: cada mapa bilineal de un par de módulos se factoriza de forma única a través de él como un mapa lineal.
Scope
Este tema abarca la construcción y la propiedad universal del producto tensorial de módulos, su comportamiento en generadores y relaciones, el cambio de base y la extensión de escalares, el producto tensorial de espacios vectoriales y de álgebras, y la exactitud por la derecha del funtor tensorial.
Core questions
- ¿Cómo se pueden transformar los mapas bilineales en mapas lineales?
- ¿Qué propiedad universal define el producto tensorial?
- ¿Cómo implementa el producto tensorial el cambio de escalares entre anillos?
- ¿Cómo interactúa el producto tensorial con las sumas directas y las secuencias exactas?
Key theories
- Propiedad universal del producto tensorial
- El producto tensorial es el módulo único a través del cual cada mapa bilineal de un par de módulos se factoriza como un mapa lineal, lo que lo caracteriza hasta el isomorfismo y rige todas sus propiedades.
- Extensión de escalares
- Tensar un módulo con un anillo más grande a lo largo de un homomorfismo de anillos extiende sus escalares, convirtiendo un módulo sobre un anillo en un módulo sobre otro, el mecanismo básico del cambio de base en álgebra y geometría.
- Exactitud por la derecha del funtor tensorial
- Tensar preserva los conúcleos y las sobreyecciones, pero no en general las inyecciones, por lo que es exacto por la derecha; la falla de la exactitud por la izquierda se mide por los funtores derivados Tor, fundando el álgebra homológica.
Clinical relevance
Los productos tensoriales son omnipresentes: construyen el álgebra multilineal y las álgebras exterior y simétrica, modelan sistemas cuánticos compuestos como productos tensoriales de espacios de estados, implementan el cambio de base en geometría algebraica y subyacen a los tensores de la geometría diferencial y el aprendizaje automático.
History
Los tensores surgieron en el trabajo de Ricci y Levi-Civita sobre geometría diferencial y en el álgebra exterior de Grassmann, mientras que el producto tensorial teórico de módulos y su propiedad universal fueron abstraídos a mediados del siglo XX a medida que se desarrollaba el álgebra homológica, convirtiéndose en una herramienta estándar a través del trabajo de Cartan, Eilenberg y Mac Lane.
Key figures
- Hermann Grassmann
- Élie Cartan
- Emmy Noether
- Saunders Mac Lane
Related topics
Seminal works
- dummit2004
- atiyah1969
- lang2002
Frequently asked questions
- ¿Qué problema resuelve el producto tensorial?
- Proporciona un único módulo a través del cual todos los mapas bilineales se factorizan linealmente, de modo que las preguntas bilineales se convierten en lineales. Esta propiedad universal, y no una fórmula explícita, es lo que hace que la construcción sea útil y se comporte bien.
- ¿Por qué el producto tensorial es solo exacto por la derecha?
- Tensar preserva las sobreyecciones y los conúcleos, pero puede destruir la inyectividad, porque las relaciones entre los elementos pueden colapsar. La falla precisa es capturada por los funtores Tor, razón por la cual los productos tensoriales se estudian junto con el álgebra homológica.