Subdirektes Produkt

In der universellen Algebra ergibt sich das Problem, dass nicht alle (universellen) Algebren als direktes Produkt direkt irreduzibler Algebren dargestellt werden können. Als Lösung bietet sich das sogenannte subdirekte Produkt an, eine bestimmte Art einer Unteralgebra eines direkten Produktes. Der erste Darstellungssatz von Garrett Birkhoff besagt dann, dass sich jede Algebra als subdirektes Produkt subdirekt irreduzibler Algebren schreiben lässt.