imported>Orthographus: \colon

2020-06-02T13:24:03Z

\colon

Neue Seite

Die (Links- bzw. Rechts-)'''Ore-Bedingungen''' sind in der [[Ringtheorie]], einem Teilgebiet der [[Algebra]], ein Kriterium, welches es erlaubt, die Bildung von [[Quotientenkörper]]n oder allgemeiner [[Lokalisierung (Algebra)|Lokalisierungen]] auch auf den Fall zu verallgemeinern, in dem der zugrundeliegende Ring nicht kommutativ ist. Sie sind benannt nach ihrem Entdecker [[Øystein Ore]]. Ringe, die sie erfüllen, werden (Links- bzw. Rechts-)'''Ore-Ringe''' genannt.

== Motivation ==
In der [[kommutative Algebra|kommutativen Algebra]] ist die Lokalisierung von Ringen ein nützliches Hilfsmittel. Diese besteht grob gesagt darin, dass Elemente einer Teilmenge <math>S</math> des Rings [[Ringtheorie#Invertierbarkeit,_Einheit|invertierbar]] gemacht oder „als Nenner zugelassen“ werden. Damit dies sinnvoll definiert werden kann, ist dort nur nötig, dass die Menge <math>S</math> multiplikativ ist und die 1 enthält (üblicherweise wird zudem noch <math>0 \notin S</math> gefordert).

Sobald man versucht, dieses Vorgehen auf nicht-kommutative Ringe zu verallgemeinern, stößt man auf mehrere Probleme. Zwar kann man abstrakt stets einen Ring bilden, in dem die Elemente von <math>S</math> invertierbar werden und der einer geeigneten [[universelle Eigenschaft|universellen Eigenschaft]] analog zu derjenigen im kommutativen Fall genügt, aber dieser hat im Allgemeinen schlechte Eigenschaften und ist nicht leicht konkret anzugeben. Selbst für [[nullteiler]]freie Ringe treten Schwierigkeiten auf. Zum Beispiel ist gezeigt worden, dass es nullteilerfreie Ringe gibt, die sich in keinen [[Schiefkörper]] einbetten lassen.<ref>Lam, S. 292, Theorem 9.11. (Das Beispiel stammt von [[Anatoli Iwanowitsch Malzew|A. I. Malzew]] aus dem Jahr 1937.)</ref> Insbesondere kann es nicht in voller Allgemeinheit eine Art „Quotientenschiefkörper“ analog zum Quotientenkörper für [[Integritätsbereich]]e geben.

Der norwegische Mathematiker Øystein Ore gab 1931 in einem Artikel<ref>[[Øystein Ore]]: ''Linear equations in non-commutative fields.'' In: ''Annals of Mathematics.'' 32, 1931, {{ISSN|0003-486X}}, S. 463–477.</ref> ein Kriterium an, das die Bildung gewisser Ringe von Quotienten erlaubt. Ores Überlegungen wurden später von Keizo Asano<ref>Keizo Asano: ''Über die Quotientenbildung von Schiefringen.'' In: ''Journal of the Mathematical Society of Japan.'' Vol. 1, No. 2, 1949, {{ISSN|0025-5645}}, S. 73–78, {{DOI|10.2969/jmsj/00120073}}.</ref> und anderen verallgemeinert.

== Spezialfall: Nullteilerfreie Ringe ==
Sei <math>R</math> ein Ring (mit 1) ohne Nullteiler. <math>R</math> erfüllt die ''Rechts-Ore-Bedingung'', wenn für alle <math>a,b\in R-\lbrace 0\rbrace</math> gilt:

<math> aR \cap bR \neq \lbrace 0\rbrace </math>.

Das heißt, <math>a</math> und <math>b</math> haben noch weitere gemeinsame Vielfache „von rechts“ außer der 0. Man nennt <math>R</math> dann auch einen ''Rechts-Ore-Ring''.

Analog wird die ''Links-Ore-Bedingung'' durch
<math> Ra \cap Rb \neq \lbrace 0\rbrace </math> für alle <math>a, b \in R-\lbrace 0\rbrace</math>
definiert.

=== Bildung von „Quotientenschiefkörpern“ ===
Erfüllt <math>R</math> die Rechts-Ore-Bedingung, so kann man ähnlich wie bei der Bildung des [[Quotientenkörper]]s einen Quotientenschiefkörper bilden. Die Elemente werden wieder als Brüche geschrieben, etwa als

<math> a/s </math> mit <math> a \in R, s \in R-\lbrace 0\rbrace</math>.

Dabei werden zwei „Brüche“ <math>a/s</math> und <math>a'/s'</math> identifiziert, wenn es weitere Elemente <math>b, b'</math> gibt, so dass <math>sb = s'b' \in S</math> und <math>ab = a'b'</math> gilt. (Formal wird damit eine [[Äquivalenzrelation]] auf der Menge <math> R \times (R - \lbrace0\rbrace)</math> definiert, und <math>a/s</math> bezeichnet die Äquivalenzklasse von <math>(a, s)</math>.)

Für diese „Brüche“ werden nun die Addition und die Multiplikation nach bestimmten Formeln definiert, die ein wenig komplizierter sind als die üblichen Regeln beim Bruchrechnen. Für die Definitionen (ebenso wie dafür, dass obige Identifikation tatsächlich eine Äquivalenzrelation war) muss jeweils die Rechts-Ore-Bedingung ausgenutzt werden.

Die so definierte Addition und Multiplikation machen die Menge jener „Brüche“ tatsächlich zu einem Schiefkörper <math>Q^{r}(R)</math>, und die Abbildung <math>a \mapsto a/1</math> definiert eine Einbettung von <math>R</math> nach <math>Q^{r}(R)</math>.

Zusätzlich gilt folgende universelle Eigenschaft: Ist
<math>\alpha\colon R \rightarrow R'</math>
ein Ringhomomorphismus derart, dass <math>\alpha(a)</math> für alle <math>a \neq 0</math> eine [[Einheit (Mathematik)|Einheit]] in <math>R'</math> ist, so setzt sich <math>\alpha</math> eindeutig zu einem Ringhomomorphismus
<math>\hat{\alpha}\colon Q^{r}(R) \rightarrow R'</math>
fort.

Analog lässt sich alles „von links“ definieren. Es ist zu beachten, dass ein Ring die Links-Ore-Bedingung erfüllen kann, ohne ein Rechts-Ore-Ring zu sein, und umgekehrt (siehe Beispiele). Ist ein Ring jedoch sowohl ein Links- als auch ein Rechts-Ore-Ring (man sagt dann einfach „Ore-Ring“), so sind die zugehörigen Links- bzw. Rechts-Quotientenschiefkörper isomorph.

=== Eigenschaften und Beispiele ===
*Jeder (links-/rechts-)[[Noetherscher Ring|noethersche]] nullteilerfreie Ring erfüllt die (Links-/Rechts-)Ore-Bedingung.
*Ein nullteilerfreier Ring ist genau dann ein (Links-/Rechts-)Ore-Ring, wenn er als (Links-/Rechts-)Modul über sich selbst uniform ist, d. h. jeweils zwei nicht-triviale Untermoduln haben nichttrivialen Schnitt.
*Der Ring der ganzzahligen [[Quaternion]]en ist ein Ore-Ring und hat als Quotientenschiefkörper den der rationalen Quaternionen.
* Sei <math>k = \mathbb{F}_{p}(t)</math> und <math>\sigma\colon k \rightarrow k</math> der [[Frobeniushomomorphismus]] (d. h. <math>\sigma(a) = a^{p}</math>). Dann ist der Ring der [[Schiefpolynom]]e <math> R=k[x; \sigma, 0] </math> ein nullteilerfreier Links-Ore-Ring, aber kein Rechts-Ore-Ring.

== Ore-Ringe ==
Sei nun <math>R</math> ein beliebiger nicht-kommutativer Ring. Es können Links- oder Rechtsnullteiler auftreten, und diese können zunächst einmal nicht vernünftiger Weise als Nenner zugelassen werden. Als Nenner bietet sich stattdessen die Menge <math>S</math> aller ''regulären Elemente'' (d. h. solche, die weder Links- noch Rechtsnullteiler sind) an. Diese ist multiplikativ, enthält die 1, aber nicht die 0. Im obigen Spezialfall war <math>S = R-\lbrace 0 \rbrace</math>.

<math>R</math> erfüllt die '''Rechts-Ore-Bedingung''', wenn für alle <math>s \in S, a \in R</math> Elemente <math>t \in S, r \in R</math> existieren, so dass

<math>at = sr</math>

oder äquivalent:

<math> aS \cap sR \neq \emptyset </math>.

(Man kann leicht zeigen, dass dies im obigen Spezialfall äquivalent zur dort gegebenen Bedingung ist.)

Ein Ring, der die Rechts-Ore-Bedingung erfüllt, heißt '''Rechts-Ore-Ring'''. Durch Umdrehen aller Produkte erhält man die analogen Definitionen für die '''Links-Ore-Bedingung''' und '''Links-Ore-Ringe'''.

=== Ring von (Rechts-)Quotienten ===
Wir möchten nun einen Ring von Rechts-Quotienten <math>RS^{-1}</math> sowie einen injektiven Ringhomomorphismus <math>\phi\colon R \rightarrow RS^{-1}</math> konstruieren, der folgende Bedingungen erfüllen soll:
* Für alle <math> s \in S</math> ist <math>\phi(s) </math> eine Einheit.
* Jedes Element von <math>RS^{-1}</math> lässt sich als <math>\phi(a)\phi(s)^{-1}</math> mit geeigneten <math> a \in R, s \in S</math> schreiben.

Wiederum sind analoge Definitionen „von links“ möglich, man schreibt dann <math>S^{-1}R</math>.

Der '''Satz von Ore''' gibt ein exaktes Kriterium dafür an, wann es einen solchen Ring von Quotienten gibt:

:<math>R</math> besitzt genau dann eine Einbettung in einen Ring von Rechts-Quotienten <math>\phi\colon R \rightarrow RS^{-1}</math>, wenn <math>R</math> ein Rechts-Ore-Ring ist.

<math>RS^{-1}</math> heißt hier auch der „klassische Ring von Rechtsquotienten“ und wird mit <math>Q_{cl}^{r} (R)</math> bezeichnet. (Analog alles „von links“ mit der Bezeichnung <math>Q_{cl}^{l} (R)</math>.)

Falls <math>R</math> sowohl ein Links- als auch ein Rechts-Ore-Ring ist, so sind die zugehörigen klassischen Ringe von Links- bzw. Rechtsquotienten [[Isomorphismus|isomorph]]: <math>Q_{cl}^{l} (R) \cong Q_{cl}^{r} (R)</math>.

=== Eigenschaften und Beispiele ===
*Jeder kommutative Ring ist ein Ore-Ring. (Alle Links-/Rechts-Eigenschaften fallen zusammen, und die gewöhnliche Lokalisierung ist der Ring von Quotienten.)
* Sei <math>k</math> ein Körper, <math>k[x]</math> der [[Polynomring]] in der Variablen <math>x</math> und <math>k(x)</math> der Ring der [[rationale Funktion|rationalen Funktionen]] über <math>k</math> in <math>x</math>. Dann ist der Ring
<math>R = \begin{pmatrix} k & k[x] \\ 0 & k[x] \end{pmatrix} </math>
zwar ein Rechts-Ore-Ring mit klassischem Ring von Rechtsquotienten
<math>R = \begin{pmatrix} k & k(x) \\ 0 & k(x) \end{pmatrix} </math>,
aber R ist ''kein'' Links-Ore-Ring. Zum Beispiel ist
<math>S \cdot \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \cap R \cdot \begin{pmatrix} 1 & 0 \\ 0 & x \end{pmatrix} = \emptyset </math>,
d. h. die Links-Ore-Bedingung ist verletzt.

== Weitere Verallgemeinerung ==
Die obige Definition eines Ringes von (Rechts-)Quotienten <math>RS^{-1}</math> lässt sich leicht modifiziert auch auf allgemeinere <math>S</math> übertragen (im Gegensatz zum „klassischen“ <math> S =</math> reguläre Elemente von <math>R</math>). Im Allgemeinen können wir dann aber nicht mehr verlangen, dass <math>\phi</math> injektiv ist. Ein vernünftiger Ersatz dafür ist die zusätzliche Bedingung:
* [[Kern (Algebra)|ker]] <math>\phi = \lbrace a \in R: as = 0 \; \mbox{ für geeignetes} \; s \in S \rbrace</math>.

Es stellt sich heraus, dass ein solcher Ring von (Rechts-)Quotienten bezüglich <math>S</math> genau dann gebildet werden kann, wenn <math>S</math> folgende Eigenschaften erfüllt:

* Für alle <math>s \in S, a \in R</math> existieren Elemente <math>t \in S, r \in R</math>, so dass <math>at = sr</math>. (Dies ist nur die Verallgemeinerung der Rechts-Ore-Bedingung für die Menge <math>S</math>.)
*Sei <math>a \in R</math>. Existiert ein <math>s \in S</math> mit <math>sa = 0</math>, so auch ein <math>s' \in S</math> mit <math>as' = 0</math>. (Diese Bedingung war zuvor leer, da <math>S</math> nur aus regulären Elementen bestand.)

== Quellen ==
<references />

== Literatur ==
* [[Tsit Yuen Lam|T. Y. Lam]]: ''Lectures on Modules and Rings.'' Springer-Verlag, Berlin u. a. 1999, ISBN 0-387-98428-3 (''Graduate Texts in Mathematics'' 189).

[[Kategorie:Ringtheorie]]

Ore-Bedingung - Versionsgeschichte

imported>Orthographus: \colon