Alternativität

In der abstrakten Algebra, einem Teilgebiet der Mathematik, ist Alternativität[1] eine Abschwächung des Assoziativgesetzes.

DefinitionBearbeiten

Eine algebraische Struktur   mit einer zweistelligen Verknüpfung   heißt alternativ, wenn die beiden unten stehenden Aussagen für alle   gelten:

  • Linksalternativität:
 
  • Rechtsalternativität:
 

BedeutungBearbeiten

Ist eine Verknüpfung assoziativ, gilt per Definition

 

für alle  . Das hat zur Folge, dass Klammern in der Notation überflüssig werden, das Ergebnis hängt schließlich nicht von der Reihenfolge der Ausführungen der Verknüpfungen ab. Häufig spart man sich daher die Klammern. Gilt das Assoziativgesetz nicht, können Klammern nicht unbegründet entfernt werden. Gilt jedoch die Alternativität, kann man die Klammern zumindest dann weglassen, wenn   oder wenn  . Insbesondere lassen sich gleiche Faktoren zu Potenzen zusammenfassen. Das heißt, dass es möglich ist, Produkte der Art   zu   zusammenzufassen.

Jede assoziative Verknüpfung ist alternativ.

BeispieleBearbeiten

  • Für einen Alternativkörper, einen verallgemeinerten Körper wird von der Multiplikation an Stelle des Assoziativgesetzes nur die Alternativität gefordert. Im Gegensatz zu einem Körper muss die Multiplikation auch nicht kommutativ sein.
  • Die reellen Oktonionen bilden einen solchen Alternativkörper. Ihre Multiplikation ist alternativ, aber weder assoziativ noch kommutativ.

LiteraturBearbeiten

  • Günther Eisenreich: Lexikon der Algebra. Akademie-Verlag, Berlin 1989, ISBN 3-05-500231-8.
  • E. N. Kuz'min I.P. and Shestakov: Algebra VI. Combinatorial and Asymptotic Methods of Algebra: Nonassociative Structures. Hrsg.: A. I. Kostrikin and I. R. Shafarevich. Springer, 1995.
  • Ruth Moufang: Zur Struktur von Alternativkörpern. In: Mathematische Annalen. Volume 110, Number 1, 1935, S. 416–430.
  • Max August Zorn: Theorie der alternativen Ringe. In: Abh. Math. Sem. Volume 8, Number 1. Hamburg 1930, S. 123–147, doi:10.1007/BF02940993.

WeblinksBearbeiten

EinzelnachweiseBearbeiten

  1. Eisenreich (1989)