Freies Produkt

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.