Das kartesische Produkt einer Familie algebraischer Strukturen (Moduln, Gruppen, Ringe) mit komponentenweisen Operationen, bestehend aus allen Tupeln ohne Endlichkeitsbedingung; es ist das kategoriale Produkt.

Prinzip

Charakterisiert durch die universelle Eigenschaft des Produkts: Abbildungen in das Produkt entsprechen Familien von Abbildungen in die Faktoren, mit kanonischen Projektionen vom Produkt auf jede Komponente.

Demonstration

Das direkte Produkt zweier abelscher Gruppen A und B ist A×B mit der Addition (a1,b1)+(a2,b2)=(a1+a2,b1+b2); ein Homomorphismus X→A×B entspricht einem Paar Homomorphismen X→A und X→B durch Vorvertauschung mit den Projektionen.

Fehlanwendung

Das direkte Produkt wie die direkte Summe behandeln bei unendlichen Familien oder Eigenschaften wie endliche Unterstützung annehmen; Dualraum-Berechnungen und topologische Komplettierungen unterscheiden sich deutlich zwischen Produkt und Summe.

Konsequenz

Ermöglicht gleichzeitige Betrachtung vieler Faktoren, bildet Limiten in algebraischen Kategorien und liefert Produkte von Moduln oder Gruppen, die Projektionen bewahren und viele strukturelle Eigenschaften komponentenweise erhalten.

Umkehrung

Wechselt man zur direkten Summe, so wird die Endlichkeitsbedingung erzwungen und man erhält ein Koprodukt statt eines Produkts; die Abbildungseigenschaften ändern sich von Projektionen zu Inklusionen und beeinflussen die Dualität.

Abgrenzung

Gilt in den üblichen algebraischen Kategorien; bei zusätzlicher Struktur (Topologie, Graduierung) kann das algebraische Produkt Komplettierungen erfordern oder Kontinuitäts- bzw. Graduierungsanforderungen nicht abbilden.

Semantische Spannung

Wird oft mit der externen direkten Summe bei endlichen Familien und mit tensoralen Konstruktionen verwechselt; das Produkt enthält alle Tupel, während verwandte Konstruktionen Endlichkeits- oder Quotientenbedingungen auferlegen.

Synthese

Das direkte Produkt ist die uneingeschränkte kartesische Vereinigung algebraischer Faktoren mit komponentenweisen Operationen, repräsentiert das kategoriale Produkt und steht im Gegensatz zur endlich unterstützten Summe.