Assoziierte Elemente

Die assoziierten Elemente eines Rings sind ein Begriff aus der Teilbarkeitslehre in der Mathematik. Zwei Elemente und heißen assoziiert, wenn sie wechselseitig teilbar sind, wenn also „ teilt “ und „ teilt “ gleichzeitig erfüllt sind.

Definition

Kommutative Ringe

Zwei Elemente eines Integritätsringes (nullteilerfreier kommutativer Ring mit 1) heißen zueinander assoziiert, falls eine Einheit mit existiert.[1] Dies ist genau dann erfüllt, wenn sich und gegenseitig teilen, das heißt und erfüllt sind. Man schreibt auch , oder .

Nicht-kommutative Ringe

Zwei Elemente eines nicht-kommutativen Rings mit 1 heißen zueinander rechts assoziiert, falls eine Rechtseinheit mit existiert. Dann ist sowohl rechtes Vielfaches von , das heißt linker Teiler von , als auch rechtes Vielfaches von .

Entsprechend definiert man links assoziiert mit einer Linkseinheit und linken Vielfachen. Sind zwei Elemente sowohl links wie rechts assoziiert, gelten sie als zweiseitig assoziiert.

Darüber hinaus lassen sich zwei Elemente als erweitert assoziiert definieren, wenn es 2 Einheiten mit gibt. Dann stehen zwar nicht notwendigerweise in einer Teilbarkeitsbeziehung, es folgt jedoch aus zweiseitig assoziiert sowohl links assoziiert wie rechts assoziiert und sowohl aus links assoziiert wie aus rechts assoziiert noch erweitert assoziiert.

Bemerkung:

Im nicht-kommutativen Fall m​uss man b​ei der Teiler- u​nd Vielfachen-Eigenschaft d​ie Seitigkeit (linke, rechte) benennen, w​as das einfache Teilbarkeitssymbol (dessen symmetrische Gestalt s​chon einer Spiegelung m​it inverser Bedeutung i​m Wege steht) d​es kommutativen Falls n​icht ausdrücken kann.

Eigenschaften

Assoziiertheit ist eine Äquivalenzrelation (auch die drei Formen einschließlich der erweiterten im nicht-kommutativen Fall). Sie ist mit der Teilerrelation (im nicht-kommutativen Fall in der richtig gewählten Seitigkeit) verträglich, das heißt für seitig assoziierte Elemente sind die Teiler bzw. Vielfachen von genau die Teiler bzw. Vielfachen von .

In e​inem Integritätsring s​ind zwei Elemente g​enau dann assoziiert, w​enn sie dasselbe Hauptideal erzeugen.

Beispiele

  • Im Ring der ganzen Zahlen sind genau dann assoziiert, wenn gilt. Dies liegt daran, dass in die Zahlen und die einzigen Einheiten sind.
  • In einem Körper sind alle von verschiedenen Elemente zueinander assoziiert.
  • Im Polynomring über einem Körper sind zwei Elemente und genau dann assoziiert, wenn ein existiert mit .
  • In einem faktoriellen Ring besitzt außer dem Nullelement jede Nichteinheit eine Zerlegung in irreduzible Elemente, die bis auf Reihenfolge und Assoziiertheit eindeutig ist.
  • Im nicht-kommutativen Ring der Hurwitzquaternionen ist die Gruppe der 24 Einheiten nicht kommutativ. Außer den Hurwitzquaternionen mit Norm und den rein reellen, die nur zweiseitig Assoziierte haben, haben die übrigen auch einseitig (sowohl rechts und nicht links wie auch links und nicht rechts) Assoziierte, und ein von ihnen erzeugtes Rechts- bzw. Linksideal ist nicht zweiseitig.

Einzelnachweise

  1. Günter Scheja, Uwe Storch: Lehrbuch der Algebra. Unter Einschluss der linearen Algebra: Lehrbuch der Algebra, Teil 2. Teubner Verlag, 1988, ISBN 3-519-02212-5, S. 132 (eingeschränkte Vorschau in der Google-Buchsuche).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.