Zum Inhalt springen

Euklidischer Ring

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 26. April 2025 um 20:04 Uhr durch 2001:9e8:b564:c700:74fd:fc87:502:b9d5 (Diskussion) (Link irreführend).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

In der Mathematik ist ein euklidischer Ring ein Ring, in dem eine verallgemeinerte Division mit Rest vorhanden ist, wie man sie von den ganzen Zahlen kennt. Dabei wird „Rest“ durch eine geeignete Bewertungsfunktion definiert.

Definitionen

Es gibt in der Literatur und in der akademischen und wissenschaftlichen Praxis eine ganze Reihe verschiedener, aber ähnlicher Definitionen eines euklidischen Ringes. Oft sind darin bereits speziellere Eigenschaften enthalten, was z. B. Erleichterungen in der Formulierung der im Weiteren aufgespannten Theorie bringen kann. All diesen Definitionsvarianten ist jedoch gemeinsam, dass in einem euklidischen Ring eine Division mit Rest und damit ein euklidischer Algorithmus zur Bestimmung des größten gemeinsamen Teilers (ggT) zweier Ringelemente möglich ist. Von dieser Eigenschaft ist der Name abgeleitet.

Variante 1

Ein Integritätsring <math>R</math> (auch als Integritätsbereich bezeichnet, also ein kommutativer, nullteilerfreier Ring mit 1) heißt euklidischer Ring, falls eine Bewertungsfunktion <math>g\colon R\setminus\{0\}\to \N_0</math> mit folgenden Eigenschaften existiert:

  • für alle <math>x,y \in R</math> mit <math> y \neq 0</math> existieren Elemente <math>q,r \in R</math> mit <math>x = qy + r</math> (Division mit Rest), wobei entweder <math>r=0</math> oder <math>g(r) < g(y)</math> ist, und
  • für <math>x,y \in R\setminus\{0\}</math> gilt stets <math>g(xy)\ge g(x)</math>.

Die Bewertungsfunktion <math>g</math> heißt dann auch euklidische Normfunktion (euklidischer Betrag) des Ringes.

Variante 2

Die obenstehende Definition ist fast äquivalent zu der folgenden, ebenfalls häufig verwendeten, in der jedoch zusätzlich eine Bewertung für die Null vorgegeben wird.

Definition:
Ein Integritätsring <math>R</math> heißt euklidischer Ring, falls eine Bewertungsfunktion <math>g\colon R\to\N_0</math> existiert mit folgenden Eigenschaften:

  • <math>g(0) = 0,</math>
  • für alle <math>x,y \in R</math> mit <math> y \neq 0</math> existieren Elemente <math>q,r \in R</math> mit <math>x = qy + r</math> (Division mit Rest), wobei <math>g(r) < g(y)</math> ist, und
  • für <math>x,y \in R\setminus\{0\}</math> gilt stets <math>g(xy)\ge g(x)</math>.

Variante 3

Eine andere Variante liefert die folgende

Definition:<ref name="Meyberg_Alg1">Kurt Meyberg: Algebra – Teil 1, Carl Hanser Verlag München, Wien.</ref>
Ein Integritätsring <math>R</math> (hier nur: ein kommutativer, nullteilerfreier Ring mit wenigstens einem von Null verschiedenen Element) heißt euklidischer Ring, falls eine Gradfunktion <math>g\colon R\setminus\{0\}\to \N_0</math> existiert mit folgenden Eigenschaften:

  • für alle <math>x,y \in R</math> mit <math> y \neq 0</math> existieren Elemente <math>q,r \in R</math> mit <math>x = qy + r</math> (Division mit Rest), wobei entweder <math>r=0</math> oder <math>g(r) < g(y)</math> ist.

Variante 3 wirkt nur vermeintlich schwächer. Tatsächlich gilt: Existiert auf einem Integritätsring (mit 1) eine der drei oben genannten Bewertungsfunktionen, so gibt es auch Bewertungsfunktionen, die den anderen beiden Definitionen entsprechen.<ref name="Sam71">Pierre Samuel: About Euclidean rings. In: Journal of Algebra. Band 19, Nr. 2, Oktober 1971, ISSN 0021-8693, S. 282–301, doi:10.1016/0021-8693(71)90110-4.</ref> Daraus folgt, dass die drei Definitionen von euklidischer Ring äquivalent sind, obwohl die Definition von Bewertungsfunktion abweichen.

Eine weitere äquivalente, aber seltener verwendete Variante, in der die Bewertungsfunktion reellwertig ist:

Variante 4

Definition:<ref>Bernhard Hornfeck: Algebra. 3. Auflage, De Gruyter 1976. ISBN 3-11-006784-6, S. 142</ref>
Ein Integritätsring <math>R</math> heißt euklidischer Ring, falls eine Wertefunktion (bzw. Bewertungsfunktion) <math>g\colon R\setminus\{0\}\to \R</math> existiert mit folgenden Eigenschaften:

  • für alle <math>x,y \in R</math> mit <math> y \neq 0</math> existieren Elemente <math>q,r \in R</math> mit <math>x = qy + r</math> (Division mit Rest), wobei entweder <math>r=0</math> oder <math>g(r) < g(y)</math> ist, und
  • zu gegebenem <math>s \in \R</math> gibt es höchstens endlich viele reelle Zahlen <math>w_i</math> aus dem Wertebereich <math>W\stackrel{\mathrm{def}}=\{ g(a) \mid a \in R\setminus\{0\} \}</math> von <math>g</math>, die kleiner sind als <math>s</math>. Formaler: <math>\exists n \in \N</math>: <math>\operatorname{card}\{w_i \in W \mid w_i < s\}=n</math>.

Eigenschaften

  • Für Bewertungsfunktionen der Varianten 1 und 2 gilt: Assoziierte Elemente werden identisch bewertet, insbesondere sind die Einheiten die (vom Nullelement abgesehen) minimal bewerteten Elemente des Rings.
  • Es lässt sich zeigen, dass jeder euklidische Ring eine minimale Bewertungsfunktion besitzt; diese ist von der obigen Variante 2. Es existiert sogar ein Algorithmus zu ihrer iterativen Bestimmung. Das Finden einer geschlossenen Form für diese minimale Bewertungsfunktion ist jedoch im Allgemeinen sehr aufwendig.
  • Jeder euklidische Ring ist ein Hauptidealbereich, denn wenn <math>a</math> ein minimal bewertetes Element eines Ideals <math>I</math> ist, so ist <math>I=(a)</math>, also ein Hauptideal. Insbesondere ist jeder euklidische Ring faktoriell.

Beispiele für euklidische und nichteuklidische Ringe

Verallgemeinerung auf Ringe mit Nullteilern

Die Definitionen lassen sich auf Ringe übertragen, die nicht nullteilerfrei sind.<ref name="Sam71" /> Die obigen Aussagen über die verschiedenen Varianten von Definitionen bleiben bestehen, wobei ggf. die Ungleichung <math>g(xy)\ge g(x)</math> für <math>xy \neq 0</math> zu fordern ist. Solche Ringe haben wie im nullteilerfreien Fall die Eigenschaft, dass jedes Ideal ein Hauptideal ist. Sie sind also ein Hauptidealring im erweiterten Sinne („principal ideal ring“ oder PIR), aber eben kein Hauptidealbereich („principal ideal domain“ oder PID).

Verallgemeinerung auf nicht-kommutative Ringe

Die Definitionen lassen sich sogar auf nicht-kommutative Ringe verallgemeinern, man spricht dann von links- bzw. rechtseuklidisch. Die Hurwitzquaternionen sind ein Beispiel für einen nicht-kommutativen Ring, der mit seiner Norm als euklidischer Norm sowohl links- als auch rechtseuklidisch ist.

Literatur

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Euklidischer_Ring&oldid=58096“