Tensorprodukt

Das Tensorprodukt zweier Moduln ist der universelle Empfänger bilinearer Abbildungen, der bilineare Konstruktionen in lineare umwandelt und einen Skalarenwechsel zwischen Ringen ermöglicht.

Definition

Das Tensorprodukt zweier Moduln über einem kommutativen Ring ist ein Modul zusammen mit einer bilinearen Abbildung in diesen, die universell ist: Jede bilineare Abbildung aus dem Modulpaar faktorisiert eindeutig durch sie als lineare Abbildung.

Scope

Dieses Thema behandelt die Konstruktion und die universelle Eigenschaft des Tensorprodukts von Moduln, sein Verhalten bei Erzeugern und Relationen, Basiswechsel und Skalarenerweiterung, das Tensorprodukt von Vektorräumen und von Algebren sowie die Rechtsexaktheit des Tensorfunktors.

Core questions

• Wie können bilineare Abbildungen in lineare Abbildungen umgewandelt werden?
• Welche universelle Eigenschaft definiert das Tensorprodukt?
• Wie implementiert das Tensorprodukt einen Skalarenwechsel zwischen Ringen?
• Wie interagiert das Tensorprodukt mit direkten Summen und exakten Sequenzen?

Key theories

Universelle Eigenschaft des Tensorprodukts

Das Tensorprodukt ist der eindeutige Modul, durch den jede bilineare Abbildung aus einem Modulpaar als lineare Abbildung faktorisiert, was es bis auf Isomorphie charakterisiert und alle seine Eigenschaften bestimmt.

Skalarenerweiterung

Das Tensorieren eines Moduls mit einem größeren Ring entlang eines Ringhomomorphismus erweitert seine Skalare und verwandelt einen Modul über einem Ring in einen Modul über einem anderen, den grundlegenden Mechanismus des Basiswechsels in Algebra und Geometrie.

Rechtsexaktheit des Tensorfunktors

Das Tensorieren erhält Kokernel und Surjektionen, aber im Allgemeinen keine Injektionen, daher ist es rechtsexakt; das Versagen der Linksexaktheit wird durch die abgeleiteten Funktoren Tor gemessen, was die homologische Algebra begründet.

Clinical relevance

Tensorprodukte sind allgegenwärtig: Sie konstruieren die multilineare Algebra sowie die äußeren und symmetrischen Algebren, modellieren zusammengesetzte Quantensysteme als Tensorprodukte von Zustandsräumen, implementieren den Basiswechsel in der algebraischen Geometrie und liegen den Tensoren der Differentialgeometrie und des maschinellen Lernens zugrunde.

History

Tensoren entstanden in den Arbeiten von Ricci und Levi-Civita zur Differentialgeometrie und in Grassmanns äußerer Algebra, während das modultheoretische Tensorprodukt und seine universelle Eigenschaft Mitte des 20. Jahrhunderts mit der Entwicklung der homologischen Algebra abstrahiert wurden und durch die Arbeiten von Cartan, Eilenberg und Mac Lane zu einem Standardwerkzeug wurden.

Key figures

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

Seminal works

• dummit2004
• atiyah1969
• lang2002

Frequently asked questions

Welches Problem löst das Tensorprodukt?

Es stellt einen einzigen Modul bereit, durch den alle bilinearen Abbildungen linear faktorisieren, sodass bilineare Fragen zu linearen werden. Diese universelle Eigenschaft, nicht eine explizite Formel, macht die Konstruktion nützlich und gutartig.

Warum ist das Tensorprodukt nur rechtsexakt?

Das Tensorieren erhält Surjektionen und Kokernel, kann aber die Injektivität zerstören, da Relationen zwischen Elementen kollabieren können. Das genaue Versagen wird durch die Tor-Funktoren erfasst, weshalb Tensorprodukte zusammen mit der homologischen Algebra untersucht werden.