Universelle Algebra

Fundamentaler Grundbegriff der universellen Algebra ist der der algebraischen Struktur. Eine algebraische Struktur ist eine Menge ${\displaystyle A}$, genannt Trägermenge, versehen mit einer Familie von Verknüpfungen ${\displaystyle f_{i}\colon A^{n_{i}}\to A}$ möglicherweise verschiedener Stelligkeiten ${\displaystyle n_{i}}$, wobei ${\displaystyle n_{i}}$ jeweils eine beliebige natürliche Zahl ist. Konstanten können dabei formal durch 0-stellige Verknüpfungen dargestellt werden. Eine Gruppe etwa ist eine algebraische Struktur mit einer zweistelligen Verknüpfung, der jeweiligen Gruppenmultiplikation. Ein Ring dagegen besitzt zwei zweistellige Verknüpfungen, die jeweilige Addition und die jeweilige Multiplikation.

Bei der Definition einer Gruppe oder eines Ringes und vieler weiterer Strukturen wird zusätzlich gefordert, dass die Verknüpfungen bestimmte Eigenschaften erfüllen, wie zum Beispiel das Assoziativgesetz. Ein natürlicher Untersuchungsgegenstand sind daher Klassen von algebraischen Strukturen, die bestimmte Eigenschaften erfüllen, die durch logische Formeln gegeben sind. In vielen Fällen kommt man dabei mit der einfachen Gleichungslogik aus. In dieser lassen sich – unter Hinzunahme von ein- bzw. nullstelligen Verknüpfungen für die Inversenbildung und das neutrale Element – etwa die Gruppenaxiome formulieren. Diese Logik hat etwa die angenehme Eigenschaft, dass jede Substruktur einer algebraischen Struktur, d. h. eine Teilmenge, soweit darauf die Verknüpfungen immer noch wohldefiniert sind, dieselben gleichungslogischen Formeln erfüllt. Jene Klassen bilden einen Spezialfall der in der klassischen Modelltheorie untersuchten elementaren Klassen von Strukturen, die durch Formeln der Prädikatenlogik erster Stufe axiomatisiert sind.

Ein Homomorphismus zwischen zwei algebraischen Strukturen ${\displaystyle A}$ und ${\displaystyle B}$ mit Verknüpfungen ${\displaystyle f_{i}}$ bzw. ${\displaystyle g_{i}}$ mit jeweils gleicher Stelligkeit ${\displaystyle n_{i}}$ ist eine Abbildung ${\displaystyle p\colon A\to B}$ mit der Eigenschaft, dass für jedes ${\displaystyle i}$ und für alle ${\displaystyle a_{1},\ldots ,a_{n_{i}}}$ die Gleichung

${\displaystyle p(f_{i}(a_{1},\ldots ,a_{n_{i}}))=g_{i}(p(a_{1}),\ldots ,p(a_{n_{i}}))}$

gilt. Jeder bijektive Homomorphismus auf einer algebraischen Struktur ist ein Isomorphismus. Mit den Homomorphismen als Morphismen bilden die algebraischen Strukturen eine Kategorie, so dass sich die üblichen allgemeinen kategorientheoretischen Begriffe anwenden lassen.

Neben einfachen algebraischen Strukturen werden auch verschiedenartige Verallgemeinerungen betrachtet, auf die sich mitunter bestimmte Sätze übertragen lassen, etwa:

• Partielle algebraische Strukturen, die Verknüpfungen müssen nicht für alle Kombinationen von Parametern definiert sein.
• Heterogene Algebren und partielle heterogene Algebren, statt einer Trägermenge gibt es mehrere Trägermengen, auf denen Verknüpfungen definiert sind.
• Relationale Strukturen, statt Funktionen werden beliebige Relationen zugelassen, solche sind typischer Untersuchungsgegenstand der Modelltheorie.
• Infinitäre Strukturen, die Verknüpfungen können unendliche Stelligkeit haben.
• Topologische algebraische Strukturen, die Strukturen werden zusätzlich mit einer topologischen Struktur versehen, bezüglich der die Operationen stetig sind.

Der britische Mathematiker Alfred North Whitehead veröffentlichte 1898 seine Treatise on Universal Algebra. In diesem Werk sprach er auf allgemeine Weise von Verknüpfungen (operations) und Gleichungen, unter universeller Algebra, unter Universal Algebra verstand er jedoch nur das Studium von Strukturen mit zwei inneren Verknüpfungen (das heißt zwei Magmastrukturen, Addition und Multiplikation genannt), mit verschiedenen möglichen zusätzlichen Eigenschaften, und evtl. einer Art verallgemeinerten Graduierung.[2] Allgemeine Ergebnisse der universellen Algebra erzielte er dagegen nicht.[3] Solche lieferte erstmals 1935 Garrett Birkhoff.[4][3] Anatoli Iwanowitsch Malzew wandte ab 1941 erstmals die frühen modelltheoretischen Ergebnisse, die er in allgemeine, moderne Form gebracht hatte,[5] auf die universelle Algebra an.[6]

• Garrett Birkhoff: Lattice Theory. 3. Auflage. American Mathematical Society, Providence, Rhode Island 1979.
• Stanley Burris, H. P. Sankappanavar: A Course in Universal Algebra. Hrsg.: Natural Sciences and Engineering Research Council Canada (= Graduate texts in mathematics. Nr. 78). Ottawa, Ontario, Canada 2000 (math.uwaterloo.ca [PDF; 15,5 MB]).
• George Grätzer: Universal Algebra. Van Nostrand, Princeton (NJ) 1968, ISBN 978-0-387-77486-2, doi:10.1007/978-0-387-77487-9.
• Thomas Ihringer: Allgemeine Algebra. Mit einem Anhang über Universelle Coalgebra von H. P. Gumm (= Berliner Studienreihe zur Mathematik. Band 10). Heldermann, Lemgo 2003, ISBN 3-88538-110-9.
• Anatolij Ivanovič Mal’cev: The Metamathematics of Algebraic Systems. Collected Papers: 1936–1967 (= Studies in logic and the foundations of mathematics. Band 66). North-Holland, Amsterdam 1971 (aus dem Russischen übersetzt von Benjamin Franklin Wells).
• Heinrich Werner: Einführung in die allgemeine Algebra (= BI-Hochschultaschenbücher. Band 120). Bibliographisches Institut, Mannheim u. a. 1978, ISBN 3-411-00120-8.

• Lev Anatolevich Skornyakov: Universal algebra. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
• Alex Sakharov, Matt Insall: Universal Algebra. In: MathWorld (englisch).
• universal algebra, Eintrag im nLab. (englisch)

1. Heinrich Werner: Rezension des Buches Equational logic von Walter Taylor. In: The Journal of Symbolic Logic. Band 47, Nr. 2, 1982, S. 450, doi:10.2307/2273161, JSTOR:2273161.
2. Alfred North Whitehead: A Treatise on Universal Algebra. with Applications. Cambridge University Press, Cambridge 1898 (projecteuclid.org).
3. George Grätzer: Universal Algebra. S. vii.
4. Lev Aleksandrovich Skornyakov: Universal algebra.
5. Die allgemeine, überabzählbare Signaturen erlaubenden Varianten des Satzes von Löwenheim-Skolem, des Kompaktheitssatzes und des Vollständigkeitssatzes gehen auf ihn zurück, siehe Juliette Kennedy: Kurt Gödel. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy..
6. George Grätzer: Universal Algebra. S. viii.