Vryjdfkk

Der Begriff der algebraischen Struktur (oder universelle Algebra, allgemeine Algebra oder nur Algebra) ist ein Grundbegriff und zentraler Untersuchungsgegenstand des mathematischen Teilgebietes der universellen Algebra. Eine algebraische Struktur ist gewöhnlich eine Menge versehen mit Verknüpfungen auf dieser Menge. Eine Vielzahl der in der abstrakten Algebra untersuchten Strukturen wie Gruppen, Ringe oder Körper sind spezielle algebraische Strukturen.

Algebraische Strukturen können auch aus mehreren Mengen zusammen mit Verknüpfungen auf und zwischen diesen Mengen bestehen. Sie werden dann heterogene Algebren genannt, prominentestes Beispiel sind Vektorräume (mit Vektoren und Skalaren).

Verallgemeinerungen algebraischer Strukturen sind die partiellen Algebren und die relationalen Strukturen.

Definition der algebraischen Struktur |

Eine algebraische Struktur oder allgemeine Algebra ist ein geordnetes Paar

(A,(fi)i∈I),{displaystyle {bigl (}A,(f_{i})_{iin I}{bigr )},}

bestehend aus einer nichtleeren Menge A,{displaystyle A,} der Grundmenge oder Trägermenge der Algebra, und einer Familie (fi)i∈I{displaystyle (f_{i})_{iin I}} von inneren (endlichstelligen) Verknüpfungen, auch Grundoperationen oder fundamentale Operationen genannt, auf A.{displaystyle A.}

Eine innere n{displaystyle n}-stellige Verknüpfung auf A{displaystyle A} ist eine Funktion f:An→A,{displaystyle fcolon ,A^{n}to A,} die n{displaystyle n} Elemente a1,…,an{displaystyle a_{1},dotsc ,a_{n}} aus A{displaystyle A} immer auf ein (eindeutig bestimmtes) Element b{displaystyle b} aus A{displaystyle A} abbildet, b{displaystyle b} ist dann das Bild von (a1,…,an){displaystyle (a_{1},dotsc ,a_{n})} (Schreibweise: b=f(a1,…,an){displaystyle b=f(a_{1},dotsc ,a_{n})}). Eine nullstellige Verknüpfung auf A{displaystyle A} kann als ein eindeutig bestimmtes, ausgezeichnetes Element in A,{displaystyle A,} eine Konstante, interpretiert werden. Konstanten werden meist mit einem speziellen Symbol (z. B. einem Buchstaben oder einem Zahlzeichen wie e,0,1{displaystyle e,0,1}) bezeichnet. Eine innere einstellige Verknüpfung ist eine Funktion von A{displaystyle A} nach A,{displaystyle A,} die oft durch ein Symbol bezeichnet wird, das unmittelbar (d. h. ohne zusätzliche Klammern oder Trennzeichen) vor, hinter, über etc. das Element (Argument) geschrieben wird.

Beispiele: −a,a!,a¯,a−1{displaystyle -a,,a!,,{overline {a}},,a^{-1}}

Beim Bild einer zweistelligen Verknüpfung wird in der Regel das Verknüpfungssymbol zur Vereinfachung zwischen die beiden Argumente geschrieben.

Beispiele: a+b,a⋅b,f∘g{displaystyle a+b,acdot b,fcirc g} an Stelle von +(a,b),⋅(a,b),∘(f,g){displaystyle +(a,b),cdot (a,b),circ (f,g)}

Meistens hat eine Algebra nur endlich viele fundamentale Operationen f1,…,fm,{displaystyle f_{1},dotsc ,f_{m},} man schreibt dann für die Algebra einfach nur (A,f1,…,fm).{displaystyle (A,f_{1},dotsc ,f_{m}).}

Der (Ähnlichkeits-) Typ (auch Signatur) einer Algebra (A,(fi)i∈I){displaystyle {bigl (}A,(f_{i})_{iin I}{bigr )}} ordnet jedem Index i∈I{displaystyle iin I} die jeweilige Stelligkeit ni{displaystyle n_{i}} der fundamentalen Operation fi{displaystyle f_{i}} zu, d. h., er ist eine Funktion σ:I→N0,i↦σ(i):=ni{displaystyle sigma colon Ito mathbb {N} _{0},,imapsto sigma (i):=n_{i}} für fi:Ani→A.{displaystyle f_{i}colon ,A^{n_{i}}to A.} Der Typ kann ebenso als Familie geschrieben werden: σ=(ni)i∈I.{displaystyle sigma =(n_{i})_{iin I}.}^[1]

So wird zum Beispiel eine Gruppe meist als Struktur (G,⋅,1,−1){displaystyle (G,cdot ,1,{}^{-1})} aufgefasst, wobei G{displaystyle G} die Trägermenge ist, ⋅{displaystyle cdot } eine zweistellige Verknüpfung von G×G{displaystyle Gtimes G} nach G,1{displaystyle G,1} eine Konstante in G{displaystyle G} und ^{−1{displaystyle {}^{-1}}} eine einstellige Verknüpfung von G{displaystyle G} nach G.{displaystyle G.} Eine Gruppe ist damit eine Algebra vom Typ (2,0,1).{displaystyle (2,0,1).}

Bemerkungen |

• Manchmal erweist es sich auch als zweckmäßig, die leere Menge A=∅{displaystyle A=emptyset } als Trägermenge einer Algebra zuzulassen, etwa damit sichergestellt ist, dass die Menge aller Unteralgebren (siehe unten) einer Algebra einen algebraischen Verband bildet.


• Jede nichtleere Menge A{displaystyle A} lässt sich zu einer trivialen Algebra (A,id){displaystyle (A,operatorname {id} )} machen mit der identischen Abbildung id:A→A,a↦a.{displaystyle operatorname {id} colon Ato A,amapsto a.} Ebenso kann A{displaystyle A} als eine Algebra (A,()){displaystyle (A,())} mit einer leeren Familie ()=∅{displaystyle ()=emptyset } von Verknüpfungen aufgefasst werden.


• Man könnte sogar „unendlichstellige Algebren“ mit unendlichstelligen Verknüpfungen zulassen (z. B. σ-Algebren), dies würde jedoch dem üblichen Verständnis von „algebraisch“ widersprechen.^[2]
  


• Eine Verallgemeinerung allgemeiner (vollständiger) Algebren sind partielle Algebren, bei denen nicht nur totale Funktionen, sondern auch partielle Funktionen als Verknüpfung zugelassen sind.^[3] Z. B. sind Körper (K,+,0,−,⋅,1,−1){displaystyle (K,+,0,-,cdot ,1,{}^{-1})} streng genommen keine vollständigen Algebren, weil ^{−1{displaystyle {}^{-1}}} nur auf K∖{0}{displaystyle Ksetminus {0}} definiert ist.

Arten algebraischer Strukturen |

Die jeweiligen Verknüpfungen von Algebren des gleichen Typs besitzen oft noch gemeinsame Eigenschaften, sodass man Algebren nach ihrem Typ und nach den Eigenschaften ihrer Verknüpfungen in verschiedene Klassen einteilen kann. Die Eigenschaften der konkret gegebenen Verknüpfungen einer Algebra spezifiziert man näher durch Axiome, die in der abstrakten Algebra (Teilgebiet der Mathematik) meist in Form von Gleichungen geschrieben werden und die Art der Algebra festlegen.

Ein Beispiel ist das Assoziativgesetz für eine innere zweistellige Verknüpfung ∗{displaystyle *} auf einer Menge A:{displaystyle Acolon }

a∗(b∗c)=(a∗b)∗c{displaystyle a*(b*c)=(a*b)*c} für alle Elemente a,b,c{displaystyle a,b,c} aus A.{displaystyle A.}

Erfüllt nun die zweistellige Operation ⋆{displaystyle star } einer Algebra (S,⋆){displaystyle (S,star )} dieses Axiom (ersetze ∗{displaystyle *} durch ⋆{displaystyle star } und A{displaystyle A} durch S{displaystyle S}), dann gehört die Algebra (S,⋆){displaystyle (S,star )} zur Art der Halbgruppe bzw. sie ist eine Halbgruppe.

Unterstrukturen (Unteralgebren) |

Ist A{displaystyle A} die Grundmenge einer algebraischen Struktur, so kann man mit Hilfe der Verknüpfungen von A{displaystyle A} auf einer Teilmenge B⊆A{displaystyle Bsubseteq A} von A eine neue algebraische Struktur des gleichen Typs definieren, falls die Menge B{displaystyle B} so gewählt ist, dass die Verknüpfungen der ursprünglichen Struktur nicht aus der Menge B{displaystyle B} herausführen. Das bedeutet, wenn man die Verknüpfungen der ursprünglichen algebraischen Struktur auf die Elemente von B{displaystyle B} anwendet, dürfen keine Elemente entstehen, die nicht in B{displaystyle B} sind – insbesondere müssen die Konstanten bereits in B{displaystyle B} enthalten sein. In der konkreten Anwendung sind z. B. Untergruppen die Unterstrukturen einer Gruppe. Je nachdem, wie man die Gleichungen zur Definition der algebraischen Struktur gewählt hat, können die Unterstrukturen aber ganz verschieden aussehen. So lassen sich z. B. Gruppen so definieren, dass die Unterstrukturen Normalteiler sind.

Homomorphismen |

Strukturtreue Abbildungen, sogenannte Homomorphismen, zwischen je zwei algebraischen Strukturen A{displaystyle A} und B{displaystyle B} von derselben Art (sie haben also Verknüpfungen von jeweils gleichen Stelligkeiten und gleichen gegebenen spezifischen Eigenschaften) sind mit den Verknüpfungen der beiden algebraischen Strukturen verträglich. Jede algebraische Struktur hat deshalb ihren eigenen Homomorphismus-Begriff und definiert daher eine Kategorie.

Einander entsprechende Verknüpfungen in A{displaystyle A} und B{displaystyle B} werden meist mit dem gleichen Symbol bezeichnet. So wird etwa in jeder betrachteten Gruppe die Gruppenoperation einheitlich z. B. ⋅{displaystyle cdot } geschrieben. Müssen im Einzelfall die beiden Verknüpfungen auseinandergehalten werden, werden in der Regel die Symbole ihrer Grundmengen oder ähnliches als Indizes beigefügt, also z. B. ⋅A{displaystyle cdot _{A}} und ⋅B{displaystyle cdot _{B}}. Ein Homomorphismus φ:A→B{displaystyle varphi colon Ato B} ist eine Funktion, die für jede Verknüpfung f{displaystyle f} (mit der Stelligkeit n{displaystyle n}) die folgende Bedingung erfüllt:

φ(fA(x1,…,xn))=fB(φ(x1),…,φ(xn)){displaystyle varphi (f_{A}(x_{1},dotsc ,x_{n}))=f_{B}(varphi (x_{1}),dotsc ,varphi (x_{n}))}

Die besonderen Schreibweisen der null-, ein- und zweistelligen Verknüpfungen werden berücksichtigt:

• Sind kA,kB{displaystyle k_{A},k_{B}} jeweils die Konstanten nullstelliger Verknüpfungen, dann ist φ(kA)=kB.{displaystyle varphi (k_{A})=k_{B}.}
  


• Ist −{displaystyle -} jeweils eine einstellige Verknüpfung, dann ist φ(−(x))=−(φ(x)).{displaystyle varphi (-(x))=-(varphi (x)).} Eine einstellige Verknüpfung kann auch als Exponent, Index usw. geschrieben werden, so ergibt sich z. B. mit x−1:=−1(x){displaystyle x^{-1}:={}^{-1}(x),!} und mit φ(x)−1:=−1(φ(x)){displaystyle varphi (x)^{-1}:={}^{-1}(varphi (x)),!} dann φ(x−1)=φ(x)−1.{displaystyle varphi (x^{-1})=varphi (x)^{-1}.}
  


• Für zweistellige Verknüpfungen +{displaystyle +} ist φ(x1+x2)=φ(x1)+φ(x2).{displaystyle varphi (x_{1}+x_{2})=varphi (x_{1})+varphi (x_{2}).}
  

Ein surjektiver Homomorphismus wird Epimorphismus genannt, ein injektiver Monomorphismus. Ein Homomorphismus von A{displaystyle A} in sich (also falls B=A{displaystyle B=A} gilt) heißt Endomorphismus. Ein bijektiver Homomorphismus, dessen Umkehrfunktion ebenfalls ein Homomorphismus ist, heißt Isomorphismus. Ist der Isomorphismus gleichzeitig auch Endomorphismus, so heißt er Automorphismus.

Siehe auch: Homomorphiesatz.

Kongruenzrelationen |

Auf algebraischen Strukturen lassen sich spezielle Typen von Äquivalenzrelationen finden, die mit den Verknüpfungen einer algebraischen Struktur verträglich sind. Diese werden dann Kongruenzrelationen genannt. Mit Hilfe von Kongruenzrelationen lassen sich Faktoralgebren bilden, d. h., es wird aus der ursprünglichen algebraischen Struktur eine Struktur gleichen Typs erzeugt, deren Elemente allerdings dann die Äquivalenzklassen bezüglich der Kongruenzrelation sind. Die Verknüpfungen sind aufgrund der speziellen Eigenschaften der Kongruenzrelation wohldefiniert. In vielen konkreten Anwendungen entsprechen die Äquivalenzklassen den Neben- bzw. Kongruenzklassen bestimmter Unterstrukturen z. B. Normalteilern bei Gruppen oder Idealen bei Ringen usw.

Produkte |

Bildet man das mengentheoretische direkte Produkt der Grundmengen mehrerer allgemeiner Algebren des gleichen Typs, so kann man wiederum eine neue Algebra gleichen Typs auf dieser Produktmenge erhalten, indem man die neuen Verknüpfungen dieser Algebra komponentenweise durch die Verknüpfungen der ursprünglichen Algebren definiert. Diese kann allerdings andere Eigenschaften haben, als die ursprüngliche Algebra; z. B. muss das Produkt von Körpern nicht mehr ein Körper sein.

Für eine Verallgemeinerung des direkten Produktes von Algebren siehe: Subdirektes Produkt. Dort wird auch der Darstellungssatz von Birkhoff vorgestellt, nach dem jede Algebra subdirektes Produkt subdirekt irreduzibler Algebren ist.

„Zoo“ der algebraischen Strukturen |

Beispiel: Gruppen |

Als Beispiel für die Definition einer algebraischen Struktur betrachten wir eine Gruppe. Üblicherweise ist eine Gruppe definiert als ein Paar (G,∗),{displaystyle (G,*),} bestehend aus einer Menge G{displaystyle G} und einer zweistelligen Verknüpfung ∗,{displaystyle *,} sodass für alle x,y,z{displaystyle x,y,z} in G{displaystyle G} die folgenden drei Axiome erfüllt sind:

• 
  x∗(y∗z)=(x∗y)∗z{displaystyle x*(y*z)=(x*y)*z} (Assoziativität).


• Es gibt ein e{displaystyle e} in G{displaystyle G}, sodass e∗x=x=x∗e{displaystyle e*x=x=x*e} (neutrales Element).


• Zu jedem x{displaystyle x} gibt es ein i{displaystyle i} in G{displaystyle G}, sodass x∗i=e=i∗x{displaystyle x*i=e=i*x} (inverses Element).

Manchmal findet man noch die Forderung der „Abgeschlossenheit“, dass x∗y{displaystyle x*y} wieder in G{displaystyle G} liegen soll, aber aus der Sicht eines Algebraikers beinhaltet der Begriff der „zweistelligen Verknüpfung“ diese Eigenschaft bereits.

Diese Definition hat aber die Eigenschaft, dass die Axiome nicht allein durch Gleichungen ausgedrückt werden, sondern auch den Existenzquantor „es gibt … sodass“ enthalten; in der allgemeinen Algebra versucht man deshalb solche Axiome zu vermeiden (Quantorenelimination). Die Vereinfachung der Axiome auf eine reine Gleichungsform ist hier nicht schwierig: Wir fügen eine nullstellige Verknüpfung e{displaystyle e} und eine einstellige Verknüpfung ^{−1{displaystyle {}^{-1}}} hinzu und definieren eine Gruppe als ein Quadrupel (G,∗,e,−1){displaystyle (G,*,e,^{-1})} mit einer Menge G,{displaystyle G,} einer zweistelligen Verknüpfung ∗,{displaystyle *,} einer Konstanten e{displaystyle e} und einer einstelligen Verknüpfung ^{−1{displaystyle {}^{-1}}}, die den folgenden Axiomen genügen:

• x∗(y∗z)=(x∗y)∗z{displaystyle x*(y*z)=(x*y)*z}


• e∗x=x=x∗e{displaystyle e*x=x=x*e}


• x∗x−1=e=x−1∗x{displaystyle x*x^{-1}=e=x^{-1}*x}

Es ist nun wichtig zu prüfen, ob damit tatsächlich die Definition einer Gruppe erreicht wurde. Es könnte ja sein, dass dadurch noch nicht alle Eigenschaften einer Gruppe gegeben sind oder gar zu viele. Tatsächlich stimmen die beiden Definitionen einer Gruppe überein.

Beispiele von algebraischen Strukturen |

In der folgenden Liste werden alle (zweistelligen) Verknüpfungen, neutrale Elemente (= nullstellige Verknüpfungen), Inversenabbildungen (= einstellige Verknüpfungen) und Operatorbereiche angegeben.

Im normalen Gebrauch gibt man dagegen für algebraische Strukturen nur die mehrstelligen Verknüpfungen und die Operatorbereiche an (manchmal noch die neutralen Elemente), für alle anderen gibt es meist Standardnotationen.

Eine nicht vollständige Liste verschiedener algebraischer Strukturen:

• Gruppoid oder Magma, auch Binar oder Operativ (O,∗){displaystyle (O,*)}: eine nichtleere Menge O{displaystyle O} mit einer zweistelligen Verknüpfung ∗{displaystyle *}.


• 
  Halbgruppe (S,∗){displaystyle (S,*)}: ein assoziatives Gruppoid.


• 
  Monoid (M,∗,1){displaystyle (M,*,1)}: eine Halbgruppe mit einem neutralen Element 1.


• 
  Gruppe (G,∗,1,−1){displaystyle (G,*,1,^{-1})}: ein Monoid mit einem inversen Element a−1{displaystyle a^{-1}} zu jedem Element a{displaystyle a} – oder äquivalent dazu: eine assoziative Quasigruppe oder eine assoziative Loop.


• 
  Abelsche Gruppe (G,+,0,−){displaystyle (G,+,0,-)}: eine kommutative Gruppe. Abelsche Gruppen werden bevorzugt additiv geschrieben. Das neutrale Element einer abelschen Gruppe wird mit 0 und das „Inverse“ eines Elements a{displaystyle a} als das Negative −a{displaystyle -a} bezeichnet.


• 
  Verband (V,∪,∩){displaystyle (V,cup ,cap )}: eine Menge V{displaystyle V} mit zwei Verknüpfungen ∪{displaystyle cup } (z. B. Vereinigung) und ∩{displaystyle cap } (z. B. Durchschnitt), sodass (V,∪){displaystyle (V,cup )} und (V,∩){displaystyle (V,cap )} kommutative Halbgruppen sind und die Absorptionsgesetze erfüllt werden. (V,∪){displaystyle (V,cup )} und (V,∩){displaystyle (V,cap )} sind dann Halbverbände.


• 
  Halbring (H,+,⋅){displaystyle (H,+,cdot )}: eine Menge H{displaystyle H} mit zwei Verknüpfungen +{displaystyle +} (Addition) und ⋅{displaystyle cdot } (Multiplikation), mit denen (H,+){displaystyle (H,+)} und (H,⋅){displaystyle (H,cdot )} Halbgruppen sind und die Distributivgesetze erfüllt werden. Oft soll (H,+){displaystyle (H,+)} aber auch noch kommutativ sein und/oder ein neutrales Element 0, das Nullelement des Halbringes, besitzen: Die Definitionen sind hier nicht einheitlich!


• Dioid (D,+,0,⋅,1){displaystyle (D,+,0,cdot ,1)}: ein Halbring (D,+,⋅){displaystyle (D,+,cdot )} mit einem absorbierenden Nullelement 0, sodass (D,+){displaystyle (D,+)} ein Halbverband ist und (D,⋅,1){displaystyle (D,cdot ,1)}, ebenso wie (D,+,0){displaystyle (D,+,0)}, ein Monoid.


• Boolescher Verband oder Boolesche Algebra (B,∪,0,∩,1,c){displaystyle (B,cup ,0,cap ,1,^{c})}: ein Dioid, der ein Verband (B,∪,∩){displaystyle (B,cup ,cap )} ist mit einem Komplement ac{displaystyle a^{c}} zu jedem Element a{displaystyle a}. Äquivalent dazu: ein Boolescher Ring (siehe unten).


• 
  Relationsalgebra (L,∪,0,∩,1,c,∘,I,⌣){displaystyle (L,cup ,0,cap ,1,^{c},circ ,mathrm {I} ,{}^{smile })}
  


• 
  Ring (R,+,0,−,⋅){displaystyle (R,+,0,-,cdot )}: ein Halbring, sodass (R,+,0,−){displaystyle (R,+,0,-)} eine abelsche Gruppe ist.


• Das Konzept der Kleene-Algebra ist eine Verallgemeinerung der regulären Ausdrücken entsprechenden Operationen auf regulären Sprachen, Vereinigung, Konkatenation und Kleene-Stern.

Versehen mit weiterer Struktur, Internalisierung |

Algebraische Strukturen können mit Zusatzstrukturen ausgestattet werden, z. B. mit einer Topologie. Eine topologische Gruppe ist ein topologischer Raum mit einer Gruppenstruktur, sodass die Operationen Multiplikation und Inversenbildung stetig sind. Eine topologische Gruppe hat sowohl eine topologische, als auch eine algebraische Struktur. Andere häufige Beispiele sind topologische Vektorräume und Lie-Gruppen. Abstrakt gesprochen sind die Verknüpfungen in solchen Strukturen nun Morphismen in einer bestimmten Kategorie, etwa der der topologischen Räume im Fall topologischer Gruppen. Man spricht von einer Internalisierung in diese Kategorie. Im Spezialfall gewöhnlicher algebraischer Strukturen sind die Verknüpfungen Morphismen in der Kategorie der Mengen, also Funktionen.^[4]

Partielle Algebren |

Ersetzt man in der obigen Definition den Begriff Verknüpfungen durch partielle Verknüpfungen, dann spricht man von einer partiellen Algebra. Die Verknüpfungen müssen hier nicht für alle Kombinationen von Parametern (n{displaystyle n}-Tupel-Kombinationen) definiert sein.

Literatur |

• 
  Garrett Birkhoff: Lattice Theory. 3. Auflage. AMS, Providence RI 1973, ISBN 0-8218-1025-1. 
  


• Stanley Burris, H. P. Sankappanavar: A Course in Universal Algebra. (uwaterloo.ca [PDF; 4,4 MB]). 
  


• P. M. Cohn: Universal Algebra. Harper & Row, New York 1965. 
  


• H. Ehrig, B. Mahr, F. Cornelius, M. Grosse-Rhode, P. Zeitz: Mathematisch-strukturelle Grundlagen der Informatik. Springer, Berlin u. a. 2001, ISBN 3-540-41923-3. 
  


• Roger Godement: Algebra. Hermann, Paris 1968. 
  


• G. Grätzer: Universal Algebra. Van Nostrant, Princeton NJ u. a. 1968. 
  


• Pierre Antoine Grillet: Abstract Algebra. 2. Auflage. Springer, New York 2007, ISBN 978-0-387-71567-4. 
  


• 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. 
  


• N. Jacobson: Basic Algebra. Vol. I/II. W. H. Freeman, San Francisco 1980, ISBN 0-7167-1480-9 (auch ISBN 0-7167-1933-9). 
  


• K. Meyberg: Algebra. Teil 1/2, 1975/76. Hanser, München, ISBN 3-446-11965-5 (auch ISBN 3-446-12172-2). 
  


• 
  B. L. van der Waerden: Algebra I/II. 9./6. Auflage. Springer, Berlin / Heidelberg / New York 1993, ISBN 3-642-85528-8 (auch ISBN 3-540-56801-8). 
  


• Heinrich Werner: Einführung in die allgemeine Algebra. Bibliographisches Institut, Mannheim 1978, ISBN 3-411-00120-8. 
  


• Jorge Martinez: Ordered Algebraic Structures. Springer, 2002, ISBN 1-4020-0752-3. 
  

Weblinks |

• Video: Algebraische Strukturen: Vorüberlegungen. Pädagogische Hochschule Heidelberg (PHHD) 2012, zur Verfügung gestellt von der Technischen Informationsbibliothek (TIB), doi:10.5446/19804.

Einzelnachweise |

1. 
   ↑ Man kann die Indexmenge I{displaystyle I} verstehen als ein Alphabet von Bezeichnern der Funktionen. Als Signatur wird dann gelegentlich das Paar (I,σ){displaystyle (I,sigma )} bezeichnet.
   


2. 
   ↑ G. Birkhoff: Lattice Theory.
   


3. 
   ↑ G. Grätzer: Universal Algebra.
   


4. 
   ↑ Matt Noonan: The Bianchi Identity in Path Space. 15. Januar 2007, S. 6, abgerufen am 11. August 2013 (PDF; 161 kB).