Verknüpfungstafel

Verknüpfungstafel

Eine Verknüpfungstafel ist eine Tabelle, mit der in der Mathematik und insbesondere der Algebra zweistellige Verknüpfungen dargestellt werden. Zum Beispiel zeigt die folgende Verknüpfungstafel die Multiplikation auf der Menge { − 1,1}:

× 1 −1
1 1 −1
−1 −1 1

Verknüpfungstafeln treten zum Beispiel in der Aussagenlogik in Form von Wahrheitstafeln auf. In der Gruppentheorie können sie verwendet werden, um (kleine) Gruppen aufzuschreiben oder zu konstruieren.

Inhaltsverzeichnis

Tafeln zweistelliger Verknüpfungen

Die Darstellung als Verknüpfungstafel eignet sich für jede beliebige Verknüpfung \circ \colon A \times B \to C. Eine solche Verknüpfung ordnet jedem Paar von Elementen a \in A und b \in B ein Element c = a \circ b in der Menge C zu. Diese Zuordnung kann in einer Tabelle folgendermaßen dargestellt werden:

\circ \dots b \dots
\vdots
a c
\vdots

In der Eingangsspalte steht das erste Argument a \in A, in der Kopfzeile das zweite Argument b \in B, im Schnittpunkt von a-Zeile und b-Spalte findet sich das Ergebnis c = a \circ b der Verknüpfung.

Um die Tabelle vollständig aufschreiben zu können, setzt man zudem voraus, dass die Mengen A und B endlich sind, und für praktische Zwecke auch noch hinreichend klein.

Häufig werden Verknüpfungstafeln für interne Verknüpfungen verwendet (also im Fall A = B = C) und hier insbesondere für Gruppen.

Beispiele

Beispiele aus der Logik

Wahrheitstafeln dienen in der Aussagenlogik dazu, das Ergebnis der logischen Verknüpfungen (Junktoren) zu beschreiben bzw. zu definieren. Drei typische Beispiele sind

  • der Konjunktor \wedge (logisches "und"),
  • der Disjunktor \vee (logisches "oder"),
  • die Implikation \Rightarrow (logisches "wenn... dann...").

Die folgenden Tabellen zeigen die Verknüpfungstafeln dieser Junktoren:

\wedge wahr falsch
wahr wahr falsch
falsch falsch falsch
\vee wahr falsch
wahr wahr wahr
falsch wahr falsch
\Rightarrow wahr falsch
wahr wahr falsch
falsch wahr wahr

Die ersten beiden Tabellen sind unmittelbar einleuchtend. Die dritte hingegen ist weniger intuitiv: Sie drückt die Tatsache aus, dass man durch korrektes Schließen aus wahren Voraussetzungen nur wahre Folgerungen gewinnen kann (erste Zeile), dass man aus falschen Voraussetzungen aber sowohl falsche als auch wahre Folgerungen ziehen kann (zweite Zeile). Dieses Beispiel zeigt, dass auch die logischen Verknüpfungen einer klärenden Definition bedürfen, und die Wahrheitstafeln sind hierzu eine geeignete Schreibweise.

Beispiele aus der Algebra

Auf der Menge A = {0,1,2,3,4} betrachten wir zwei Verknüpfungen, die Addition a + b \,\bmod{5} und die Multiplikation a \cdot b \,\bmod{5}. Diese entsprechen den folgenden beiden Verknüpfungstafeln:

+ 0 1 2 3 4
0 0 1 2 3 4
1 1 2 3 4 0
2 2 3 4 0 1
3 3 4 0 1 2
4 4 0 1 2 3
\cdot 0 1 2 3 4
0 0 0 0 0 0
1 0 1 2 3 4
2 0 2 4 1 3
3 0 3 1 4 2
4 0 4 3 2 1

Manche Eigenschaften einer internen zweistelligen Verknüpfung \circ \colon A \times A \to A lassen sich leicht aus der Verknüpfungstafel ablesen:

Kommutativität
Die Verknüpfung \circ ist genau dann kommutativ, erfüllt also a \circ b = b \circ a für alle a,b \in A, wenn die Verknüpfungstafel symmetrisch bezüglich der Hauptdiagonale ist. Dies ist in beiden obigen Beispielen der Fall.
Neutrales Element
Ein Element e \in A ist genau dann linksneutral, erfüllt also e \circ a = a für alle a \in A, wenn die e-Zeile eine Kopie der Kopfzeile ist. Gleiches gilt für ein rechtsneutrales Element e und die e-Spalte. Im obigen Beispiel (A, + ) ist 0 ein beidseitig neutrales Element. Im Beispiel (A,\cdot) ist 1 ein beidseitig neutrales Element.
Inverse Elemente
Wir nehmen nach dem vorherigen Beispiel an, dass e ein beidseitig neutrales Element für die Verknüpfung \circ ist. Zu einem gegebenen Element a ist b genau dann rechtsinvers, wenn a \circ b = e gilt. Die Existenz eines solchen Rechtsinversen ersieht man daran, dass in der a-Zeile das Element e auftaucht. Gleiches gilt für ein Linksinverses und die a-Spalte. Im obigen Beispiel (A, + ) ist etwa 3 beidseitig invers zu 2. Im Beispiel (A,\cdot) hat 0 kein Inverses, jedes andere Element besitzt genau ein Inverses.
Assoziativität
Die Verknüpfung \circ ist assoziativ, wenn a \circ (b \circ c) = (a \circ b) \circ c für alle a,b,c \in A gilt. Ob eine Verknüpfung diese Eigenschaft hat, springt beim Anblick ihrer Tafel nicht ins Auge und lässt sich nur durch mühsames Ausprobieren überprüfen.
Quasigruppen und lateinische Quadrate
Eine Quasigruppe ist eine nichtleere Menge Q mit einer Verknüpfung \circ \colon Q \times Q \to Q, sodass für alle a und b in Q die Gleichungen a \circ x = b und y \circ a = b jeweils genau eine Lösung in Q haben. Dies äußert sich in der Verknüpfungstafel dadurch, dass jede Zeile eine Permutation der Kopfzeile ist und jede Spalte eine Permutation der Eingangsspalte. Eine solche Tabelle nennt man auch lateinisches Quadrat.

Für weitere Beispiele von Verknüpfungstafeln siehe: Kleinsche Vierergruppe, Quaternionengruppe, Sedenion, S3 (Gruppe), A4 (Gruppe).

Geschichte

Verknüpfungstafeln wurden in der Gruppentheorie zuerst von Arthur Cayley verwendet. In einer Arbeit von 1854 nennt er sie schlicht Tafeln (engl. tables) und benutzt sie zur Erläuterung von Gruppen. Ihm zu Ehren werden Verknüpfungstafeln in der Gruppentheorie auch Cayley-Tafeln genannt. Zur Konstruktion von Gruppen sind Verknüpfungstafeln jedoch nur für sehr kleine Gruppen geeignet, da das systematische Ausprobieren bei größerer Elementezahl hoffnungslos ineffizient ist. Diese Herangehensweise wurde daher in der Gruppentheorie durch leistungsfähigere Konstruktionen ergänzt und schließlich ersetzt, und spielt für die Theorie heute keine Rolle mehr. Die Verknüpfungstafel einer Gruppe führt jedoch unmittelbar zum Satz von Cayley und damit zu einem natürlichen Ausgangspunkt der Darstellungstheorie von Gruppen.

  • Arthur Cayley: "On the theory of groups, as depending on the symbolic equation θ n = 1", Philosophical Magazine, Vol. 7, pp. 40–47. Online verfügbar bei GoogleBooks als Teil seiner Gesammelten Werke.
  • Arthur Cayley: "On the Theory of Groups", American Journal of Mathematics, Vol. 11, No. 2 (Jan 1889), pp. 139–157. Online verfügbar bei JSTOR.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Spezielle lineare Gruppe — Verknüpfungstafel von SL(2,3) Lineare Gruppen dienen in der Mathematik der Beschreibung kontinuierlicher Symmetrien. Die spezielle lineare Gruppe vom Grad n über einem Körper (oder allgemeiner einem kommutativ …   Deutsch Wikipedia

  • Gruppentafel — Eine Verknüpfungstafel ist in der Gruppentheorie eine Tabelle, die alle Verknüpfungen aller Elemente einer Gruppe oder Halbgruppe zeigt. In der Eingangsspalte steht das erste Argument, in der Eingangszeile das zweite Argument der Verknüpfung. Im… …   Deutsch Wikipedia

  • Verknüpfungstabelle — Eine Verknüpfungstafel ist in der Gruppentheorie eine Tabelle, die alle Verknüpfungen aller Elemente einer Gruppe oder Halbgruppe zeigt. In der Eingangsspalte steht das erste Argument, in der Eingangszeile das zweite Argument der Verknüpfung. Im… …   Deutsch Wikipedia

  • Präsentation einer Gruppe — In der Mathematik ist die Präsentation einer Gruppe gegeben durch eine Liste von Elementen, die die Gruppe erzeugen, und eine Liste von Relationen, die zwischen diesen Erzeugern bestehen. Zum Beispiel wird die zyklische Gruppe der Ordnung n… …   Deutsch Wikipedia

  • S3 (Gruppe) — S3 bezeichnet im mathematischen Teilgebiet der Gruppentheorie eine bestimmte symmetrische Gruppe mit 6 Elementen. Alternative Bezeichnungen sind , Sym3 oder D3 (Diedergruppe). Geometrisch entsteht die S3 als Gruppe der Kongruenzabbildungen des… …   Deutsch Wikipedia

  • Kleinsche Vierergruppe — In der Algebra ist die Kleinsche Vierergruppe die kleinste nicht zyklische Gruppe. Sie ist benannt nach Felix Klein (der sie in seinen „Vorlesungen über das Ikosaeder“ 1884 Vierergruppe nannte) und wird oft mit dem Buchstaben V bezeichnet.… …   Deutsch Wikipedia

  • Abelsche Gruppe — Eine abelsche Gruppe (nach dem norwegischen Mathematiker Niels Henrik Abel) ist in der Gruppentheorie eine Gruppe , für die das Kommutativgesetz  für alle   gilt. Ist eine Gruppe abelsch, dann schreibt man ihre Verknüpfung meist additiv …   Deutsch Wikipedia

  • Philo von Megara — Philon von Megara (latinisiert Philo, 4./3. Jahrhundert v. Chr.) war ein Dialektiker der megarischen Schule, vermutlich ein Schüler von Diodoros Kronos. Von Philon sind nur spärliche Zeugnisse erhalten, darunter aber ein bemerkenswerter Text, der …   Deutsch Wikipedia

  • Philon von Megara — (latinisiert Philo, 4./3. Jahrhundert v. Chr.) war ein Dialektiker der megarischen Schule, vermutlich ein Schüler von Diodoros Kronos. Von Philon sind nur spärliche Zeugnisse erhalten, darunter aber ein bemerkenswerter Text, der ihm die älteste… …   Deutsch Wikipedia

  • Quaternionengruppe — In der Gruppentheorie ist die Quaternionengruppe eine nicht abelsche Gruppe der Ordnung 8. Sie wird häufig mit dem Symbol Q8 bezeichnet. Ihren Namen erhält sie daher, dass sie aus den acht Elementen im Schiefkörper der Hamiltonschen Quaternionen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”