Der Koprodukt in einer gegebenen algebraischen Kategorie (häufig Gruppen, unital assoziative Algebren oder andere Varietäten): das universelle Objekt erzeugt von den Faktoren unter den nur in jedem Faktor bereits vorhandenen Relationen. Für Gruppen enthält das freie Produkt G * H Kopien von G und H und legt keine Relationen zwischen ihnen außer den internen Relationen fest.

Prinzip

Die ‚am wenigsten eingeschränkte‘ Amalgamierung der gegebenen Objekte bilden, sodass Abbildungen aus den Faktoren eindeutig fortgesetzt werden: keine neuen Relationen verknüpfender Faktoren auferlegen und so die universelle Eigenschaft des Koprodukts realisieren, dass jedes Paar von Homomorphismen aus den Faktoren in ein Ziel durch das freie Produkt faktorisiert.

Demonstration

Das freie Produkt Z * Z zweier unendlicher zyklischer Gruppen ist die freie Gruppe F_2 auf zwei Erzeugern; Elemente sind reduzierte Wörter, die Potenzen der beiden Erzeuger alternieren, ohne weitere Relationen.

Fehlanwendung

Zu erwarten, Relationen eines Faktors würden automatisch mit den Relationen des anderen interagieren oder diese auflösen — zum Beispiel Kommutativität über Faktoren hinweg anzunehmen — widerspricht der universellen Eigenschaft; Relationen zu mischen ohne Amalgamation oder Quotientenbildung ist fehlanwendbar.

Konsequenz

Die Konstruktion des freien Produkts liefert ein flexibles Werkzeug, um Objekte mit vorgegebenen internen Relationen zu bauen und dabei äußerlich maximal frei zu bleiben; sie liegt zugrunde in der kombinatorischen Gruppentheorie, bei van-Kampen-Zerlegungen und universellen algebraischen Konstruktionen.

Umkehrung

Der entgegengesetzte Ansatz besteht darin, alle möglichen Querverbindungen zu erzwingen, wodurch Produkte mit maximalen Einschränkungen entstehen (z. B. direktes Produkt oder verschiedene Quotientenkonstruktionen); die Umkehr betont abhängige Wechselwirkungen statt freier Amalgamation.

Abgrenzung

Gilt als kategoriales Koprodukt in der gewählten algebraischen Varietät; Gestalt und Eigenschaften hängen von der Kategorie ab (in abelschen Kategorien unterscheidet sich das Koprodukt vom nichtabelschen freien Produkt) und es ist nicht geeignet, wenn zusätzliche Identifikationen oder Amalgamationen ohne weitere Quotienten benötigt werden.

Semantische Spannung

Spannung besteht zwischen 'freiem Produkt' und 'freiem Objekt' oder 'direktem Produkt' — das freie Produkt ist universell ohne Querverhältnisse, während direkte Produkte oder Konstruktionen in abelschen Kategorien kommutative Koordinaten oder zusätzliche universelle Zwänge einführen.

Synthese

Die Konstruktion des freien Produkts erzeugt das universelle Amalgam gegebener Objekte ohne zusätzliche Relationen zwischen den Faktoren und ist so die kanonische Weise, Erzeuger und Relationen zu kombinieren und dabei die interne Struktur jedes Faktors zu bewahren.