Integritätsringe und Körper

Ein Porträt von David Hilbert (1862-1943).

David Hilbert (1862-1943) war ein deutscher Mathematiker und Hochschullehrer. Hilberts programmatische Rede auf dem internationalen Mathematikerkongress in Paris im Jahre 1900, in der er eine Liste von mathematischen Problemen vorstellte, beeinflusste die mathematische Forschung des 20. Jahrhunderts nachhaltig.

Florent Schaffhauser, Algebra 1, Wintersemester 2025/26, Uni-Heidelberg (© 2025, CC BY-SA 4.0).

Invertierbare Elemente (Einheiten)

  • Sei ein (kommutativer, unitärer) Ring. Das heißt, ist eine abelsche Gruppe, ist ein Monoid, und ist links- und rechtsdistributiv über :

  • Ein Element (das heißt, ein Element in der zugrundeliegende Menge von ) heißt invertierbar, wenn es invertierbar im Monoid . Das heißt, falls

  • In diesem Fall, ist ein solches Element eindeutig und wird als bezeichnet, und wird auch eine Einheit von genannt. Wir können daher eine Gruppe konstruieren, deren Elemente sind die invertierbaren Elemente von .

Einheitsgruppe

  • Wenn ein Ring ist, heißt die Gruppe die Einheistgruppe von .

  • Zum Beispiel ist , weil wenn invertierbar ist, dann muss und gelten.

    Bemerkung. Da , ist das Nullelement genau dann invertierbar, wenn , das heißt, wenn als Teilmenge von .

  • In ist jedes von Null verschiedenes Element invertierbar, das heißt,
    Beweis. Ein Element ist der Gestalt mit und und genau dann, wenn . In diesem Fall, ist ein inverses Element für , wobei das Vorzeichen der rationale Zahl ist.

  • Wir werden später weitere Beispiele sehen, insbesondere in Polynomringen.

Nullteilern

  • Wir betrachten nur kommutativen Ringe mit Einselement.

  • In einem beliebigen solchen Ring kann es sein, dass sogar und . Zum Beispiel, wenn , gilt , mit und Oder, in , gilt und .

  • Wenn das passiert, sagt man, dass Nullteilern besitzt:

    Definition. Sei ein (kommutativer, unitärer) Ring. Ein Element wird Nullteiler gennant, wenn die folgende Bedingung gilt:

  • Zum Beispiel, sei der Ring aller Funktionen von nach , wobei die Vereingung zweier disjunkter Intervalle von ist, und sei die Funktion, sodass , wenn und , wenn Dann gilt .

Kürzbare Elemente

  • Eine mögliche Definition für ein Integritätsring ist ein Ring, der keinen nicht-trivialen Nullteiler besizt. Aber wir möchten etwas präziser sagen.

    Definition. Sei ein (kommutativer, unitärer) Ring. Ein Element heißt kürzbar, wenn die folgende Eigenschaft gilt:

  • Zum Beispiel ist jedes invertierbares Element kürzbar: Wenn und , dann ist . Daraus folgt .

  • Ein kürzbares Element ist kein Nullteiler: Wenn ein Nullteiler wäre, würde ein mit und existieren. Wenn auch kürzbar ist, würde aus der vorherigen Gleichheit folgern, dass ist. Dies widerspricht die Eigenschaft .

Übung 1

  • Zeigen Sie, dass ein Element genau dann kürzbar ist, wenn die folgende Eigenschaft gilt:

  • Zeigen Sie, dass genau dann kürzbar ist, wenn .

Entscheidbare Gleichheit

  • Wir haben die Eigenschaft bereits bewiesen. Gilt auch

  • Versuchen wir, einen Beweis zu schreiben. Nehmen wir an, dass kein Nullteiler ist und betrachten wir ein , sodass . Wenn , impliziert dies, dass ein Nullteiler ist, was der Annahme auf widerspricht. Wenn , haben wir bewiesen, dass kürzbar ist.
  • Gibt es ein Problem mit diesem Beweis? 🤨 Das hängt davon ab, wen man fragt!
  • Für die Fallunterscheidung, haben wir die Disjunktion benutzt. Wenn man den Satz vom ausgeschlossenen Dritten annimmt, dann gilt das. Diese Eigenschaft kann aber auch einfach für bestimmten Ringe erfüllt sein, zum Beispiel .
  • Wenn , sagt man, dass die Menge entscheidbare Gleichheit hat.

Übung 2

  • Sei ein (kommutativer, unitärer) Ring.

  • Zeigen Sie, dass die Gleichheit von genau dann entscheidbar ist, wenn die folgende Eigenschaft gilt:

    Bemerkung Die Gleichheit folgender Ringen ist entscheidbar: , . Die Gleichheit folgender Ringen ist nicht entscheidbar: , .

Zusammenfassung zu kürzbaren Elementen und Nullteilern

  • Sei ein (kommutativer, unitärer) Ring und sei .
  • Das kürzbar ist, bedeutet, dass .
  • Das ein Nullteiler ist, bedeutet, dass .
  • Das kein Nullteiler ist, bedeutet, dass . Dies impliziert, dass . Die umgekehrte Folgerung gilt im Allgemeinen nicht, aber gilt wenn endlich ist oder man den Satz vom ausgeschlossenen Dritten annimmt.
  • Gilt die Eigenschaft kürzbar ist kein Nullteiler. Das heißt:

  • Wenn die Gleichheit von entscheidbar ist, gilt die umgekehrte Folgerung:

Integritätsringe

  • Nun können wir Integritätsringe definieren.

    Definition. Ein Integritätsring ist ein (kommutativer, unitärer) Ring , für den die von Null verschiedene Elemente sind genau die kürzbare Elemente:

  • Wir werden sehen, dass Ringe wie zum Beispiel , und Integritätsringe sind.

  • Insbesondere besitzt ein Integritätsringe kein nicht-triviales Nullteiler. Das heißt:

  • In einem Integritätsring, gilt auch , weil, per Definition von , , und per Definition eines Integritätrings impliziert dies, dass ist.

Praktische Charakterisierung eines Integritätsrings

  • Die vorherige Bemerkungen bestehen eine Charakterisierung von Integritätstingen.

    Satz. Sei ein (kommutativer, unitärer) Ring. Dann ist genau dann ein Integritätsring, wenn die folgende Eigenschaften gelten:

    1. .
    2. .

    Beweis. Wir haben die Implikation „“ bereits bewiesen. Für die umgekehrte Folgerung
    “ müssen wir beweisen, dass die obige Bedingungen (i) und (ii) Folgendes implizieren:

    Ist aber „“ eine einfache Umschreibung von (ii). Sehen Sie es? Dann für „“ nehmen wir sodass . Wenn ist, dann gilt, für , , somit . Das heißt, , was der Annahme (i) widerspricht.

Übung 3

  • Denken Sie daran, dass per Definition bedeutet, wobei eine Absudität ist. Insbesondere, wenn gilt, dann können wir ableiten. Und aus folgt alles (ex falso quod libet).
  • In der Praxis, um eine Eigenschaft zu beweisen, reicht es für bestimmte zu beweisen. Das ist nicht das Gleiche wie zu beweisen. Im Allgemeinen impliziert dies nicht , es sei denn, es ist von anderer Stelle bekannt, dass entscheidbar ist (das heißt, das gilt).
  • Um dies zu üben, beweisen Sie Folgendes: in einem beliebigen Ring gilt die Eigenschaft

    Hinweis. Erinnern wir uns zunächst daran, dass es zum Beweis eine Konjunktion genügt, die Aussagen und separat zu beweisen.

Eine Eigenschaft von Integritätsringen

  • Das folgende Ergebnis ist in der Praxis sehr nützlich.

    Satz. Sei ein Integritätsring. Dann gilt:

  • Wir haben schon bewiesen, dass in einem Integritätsring ist.

  • Seien , mit und . Nehmen wir an, dass ist. Da ist und ein Integritätsring ist, muss gelten, was die Annahme widerpricht. Daher haben wir bewiesen, dass ist.

  • Bemerkung. Wir haben gezeigt, dass die obige Bedingung eine notwendige Bedingung ist, um ein kommutativer unitärer ein Integritätsring zu zein. Am nächsten werden wir eine hinreichende Bedingung dafür geben.

Eine hinreichende Bedingung, um ein Integritätsring zu sein

Die folgende Eigenschaft impliziert, dass ein Integritätsring ist.

Satz. Sei ein (kommutativer, unitärer) Ring, sodass die folgende Eigenschaft gilt.

Dann ist ein Integritätsring.

Beweis. Wir haben schon bewiesen, dass in einem Integritätsring ist. Nach der praktischen Charakterisierung eines Integritätsring, die wir bereits bewiesen haben, verbleibt Folgendes zu beweisen:

Sein mit und . Aus der Annahme auf und die Bedingung folgt dann . Falls , dann, da auch gilt, erreichen wir einen Widerspruch. Falls , gilt 🙃.

Integrität in Ringen mit entscheidbarer Gleichheit

  • Für Ringen mit entscheidbarer Gleichheit können wir die Eigenchaft, ein Integritätsring zu sein, wie folgt charakterisieren.

    Satz. Sei ein (kommutativer, unitärer) Ring mit entscheibarer Gleichheit. Dann sind die folgende Eigenschaften äquivalent:

    1. ist ein Integritätsring.
  • Wir haben und ](#eine-hinreichende-bedingung-um-ein-integritätsring-zu-sein) bereits bewiesen. Dies setzt nicht voraus, dass die Gleichheit in entscheidbar ist. Es reicht dann zu beweisen, dass, wenn die Gleichheit in entscheidbar ist, die Eigenschaft gilt.

Integrität in Ringen mit entscheidbarer Gleichheit (Beweis)

  • Um den Beweis des vorherigen Satz zu beenden, reicht es zu zeigen, dass

  • Nehmen wir an, dass gilt. Seien dann . Wir möchten zeigen, dass

  • Beachten Sie, dass die Kontraposition der obigen Implikation die folgende ist:

  • Das heißt , was erfüllt ist.
  • ⚠️ Wo habe ich Sie betrogen?

Bemerkungen zum vorherigen Beweis

  • Es ist für beliebigen Aussagen und korrekt zu sagen, dass . Wenn und entscheibar sind, gilt die umgekehrte Folgerung (Übung).

  • Es ist für beliebigen Aussagen und korrekt zu sagen, dass . Wenn und entscheibar sind, gilt die umgekehrte Folgerung (Übung).

  • Wenn und entscheibar sind, dann ist auch entscheidbar:

    • Falls gilt, dann gilt auch .
    • Falls nicht gilt und gilt, dann gilt auch .
    • Falls nicht gilt und nicht gilt, dann gilt ⚠️ (Übung).
  • Im vorheringen Beweis, alle Aussagen waren Gleichheiten in , somit per Annahme entscheidbar.

Beweise ohne so viel Logik

  • Wenn das zu viel Logik ist, können wir auch direkte Beweisen schreiben. Zeigen wir zum Beispiel, dass, wenn die Gleichheit von entscheidbar ist, dann gilt im vorherigen Satz. Das heißt:

  • Nach der praktischen Charakterisierung von Integritätsringen, die wir gegeben haben, reicht es zu beweisen, unter der obigen Annahme, dass

  • Seien , mit und . Wir möchten zeigen, dass . Da erfüllt ist, können wir die folgende zwei Fälle betrachten:

    • Falls , dann gilt .
    • Falls , dann muss , was widerspricht.

Übung 4

  • Zeigen Sie die Folgerung im vorherigen Satz. Das heißt, nehmen Sie an, dass die Gleichheit von entscheidbar ist, und zeigen Sie die Folgerung:

    Hinweis. Nehmen Sie an, dass , und benutzen Sie die Eigenschaft

  • Um das Konzept von entscheibarer Aussagen weiter zu üben, zeigen Sie, dass, wenn eine entscheidbare Aussage ist, dann gilt .
    Hinweis. Per Definition, bedeutet die Bedingung, dass entscheidbar ist, dass gilt.

Integritätsbereichen

  • Ein Integritätsbereich ist ein Integritätsring , der außerdem ein Bereich ist. Das heißt, ein Integritätsring , der kein nicht-triviales idempotentes Element besitzt.
  • Zum Beispiel, ist ein Ring , für den die folgende Eigenschaft gilt, ein Integritätsbereich:

    Beweis. Wir wissen bereits, dass ein solcher Ring ein Integritätsring ist. Wir wollen nun zeigen, dass kein nicht-triviales idempotentes Element besitzt. Sei mit . Dann ist . Per Annahme auf impliziert dies, dass .
  • ⚠️ Ein Bereich ist nicht unbedingt ein Integritätsbereich. Zum Beispiel ist der Bereich kein Integritätsring.
  • Wenn die Gleichheit von entscheidbar ist, z. B. wenn man die ausgeschlossene Dritte annimmt, dann ist genau dann ein Integritätsbereich, wenn ein Integritätsring ist.

Mehr zu Polynomringen

  • Sei ein Ring und sei der (kommutative, unitäre) Polynomring in der Unbestimmte mit Koeffizienten in .
  • Per Definition wird ein Polynom in durch eine Folge von Elementen von bestimmt, bei denen fast alle (also alle bis auf endlich viele) Folgenglieder gleich sind. Das heißt:

  • Auch per Definition ist das Polynom, dessen Koeffizienten alle null sind.
  • Die Abildung ist ein Homomorphismus unitärer Ringe, die injektiv ist. Dieser kanonische Homomorphismus erlaubt es, den Ring mit einem (unitären) Unterring von identifizieren. Ein Polynom mit heißt konstantes Polynom.

Grad eines Polynoms

Definition. Sei und sei . Dann sagt man, dass:

  1. ( Grad streng kleiner als hat), wenn .
  2. ( Grad größer oder gleich zu hat), wenn .
  3. ( Grad hat), wenn .

⚠️ Das ist nicht genau das Gleiche, wie eine Funktion zu definieren. Was wäre ? Selbst wenn , wie berechnet man den Grad von für beliebige

Leitkoeffizient eines Polynoms

  • Per Definition des Grads gelten die folgende Eigenschaften:

    1. .
    2. (und manchmal gilt die umgekherte Folgerung, zum Beispiel wenn endlich ist).
    3. konstant .
  • Wenn , wird der Leitkoeffizient von genannt. Um den Grad zu charakterisieren (somit den Leitkoeffizienten zu bestimmen), können wir den folgenden Satz anwenden.

    Satz. Sei ein Polynom mit Koeffizienten in . Dann, für alles , ist .

Beweis für die Tatsache, dass der Leitkoeffizient nicht Null ist

  • Sei in . Im vorherigen Satz, folgt der Beweis für „“ direkt aus der Definition der Bedingung . So auch der Beweis für . Es reicht daher zu beweisen, dass .

  • Nehmen wir an, dass , für geeignete . Dann gilt . Insbesondere gibt es ein mit . Aber für natürliche Zahlen und gilt . Dann können wir mit einer Fallunterscheidung fortfahren:

    • Falls , dann ist .
    • Falls , benützen wir die Tatsache, die wir bereits bewiesen haben, dass , um den Widerspruch zu erreichen.

Polynome mit Koeffizienten in einem Ring mit enscheidbarer Gleichheit

  • Wenn ein Ring ist, dann gilt, für alles in , dass

    Dies folgt aus der Definition eines Polynoms () und der Definition der Bedingung .

  • Wenn die Gleichheit von entscheidbar ist, dann ist auch die Aussage , durch Induktion auf , entscheidbar. Dies zeigt, dass entweder oder gilt. Da ist insbesondere die Aussage entscheidbar. Wir haben bewiesen:

    Satz. Hat der Ring eine entscheidbare Gleichheit, dann ist auch die induzierte Gleichheit des Polynomsrings entscheidbar.

Grad eines Polynoms mit Koeffizienten in einem Ring mit enscheidbarer Gleichheit

  • Wenn ein Ring mit entscheidbarer Gleichheit ist, dann gelten die folgende Eigenschaften:

    1. .
  • Für alle , gilt die Folgerung (Übung). Daher können wir auch, wenn die Gleichheit von entscheidbar ist, den Grad eines Polynoms durch eine Gradfunktion einführen, die wie folgt definiert wird:

Integrität für Polynomringe

  • Der wichtige Satz, den wir nun beweisen möchten, ist der folgende.

    Satz. Sei ein Integritätsring mit entscheidbarer Gleichheit. Dann ist der Polynomring ein Integritätsring mit entscheidbarer Gleichheit.

  • Da wir schon wissen, dass in diesem Fall die Gleichheit von entscheidbar ist, reicht es zu beweisen, dass

  • Die erste Eigenschaft, nämlich , folgt aus , die gilt, weil ein Integritätsring ist. Für die zweite Eigenschaft reicht es das folgende Lemma zu beweisen.

    Lemma. Sei ein Integritätsring. Dann gilt, für alle und alle , .

Beweis des Lemmas

  • Schreiben wir und .

  • Da ist, ist der Leitkoeffizient von . Das heißt, ist und gilt .

  • In ähnlicher Weise, ist und gilt .

  • Schreiben wir nun . Per definition des Produkts zweier Polynomen, ist .

    • Wenn , gilt . Daher muss gelten.
    • In ähnlicher Weise, muss sein. Da ein Integritätsring ist, und und nicht Null sind, gilt .
  • Aus zweier obigen Bedingungen folgt, dass ist.

Bemerkungen zur Integrität für Polynomringe

  • Das vorherige Lemma genügt, um zu beweisen, dass ein Integritätsring ist, weil, wenn die Gleichheit von entscheidbar ist, jedes von Null verschiedenes Polynom einen Grad haben muss. Das heißt, .
  • Nach der Charakterisierung von der Integrität in Ringen mit entscheidbarer Gleichheit, gilt, wenn ein Integritätsring mit entscheidbarer Gleichheit ist, die folgende Eigenschaft:

    Insbesondere, wenn ein Integritätsring mit entscheidbarer Gleichheit ist, ist ein Bereich.
  • Beachten Sie, dass die Eigenschaft für jeden Integritätsring gilt (ohne die Annahme, dass die Gleichheit von entscheidbar ist).

Körper

  • Nun geben wir die Definition eines Körpers.

    Definition. Ein Körper ist ein (kommutativer, unitärer) Ring , für den die von Null verschiedene Elemente sind genau die invertierbare Elemente:

    Ein Unterkörper von ist ein (unitärer) Unterring , der ein Körper ist.

  • Erinnern Sie sich, dass wenn invertierbar ist, das inverse Element eindeutig ist und als bezeichnet wird.

Praktische Charakterisierung eines Körpers

  • Wie für Integritätsringen, haben wir die folgende praktische Charakterisierung eines Körpers.

    Satz. Sei ein (kommutativer, unitärer) Ring. Dann ist genau dann ein Körper, wenn die folgende Eigenschaften gelten:

    1. .
    2. .
  • Den Beweis laß ich als Übung 🙃 .

  • Insbesondere ist jeder Körper ein Integritätsring: die Eigenschaft erfüllt ist und jedes von Null verschiedenes Element ist invertierbar, somit auch kürzbar.

Übung 5

  • Sei ein Ring. Nehmen Sie an, dass die folgende Eigenschaften erfüllt:

    1. .
    2. .

    Zeigen Sie, dass ein Körper ist.

  • Nehmen Sie jetzt an, dass die Gleichheit von entscheidbar ist. Zeigen Sie, dass ist genau dann ein Körper, wenn die obige Eigenschaften erfüllt sind.

Beispiele für Körper

  • Nach was wir auf der Einheitsgruppe eines Rings bewiesen haben, ist der Ring ein Körper und ist der Ring kein Körper: Jedes von Null verschiedenes Element in ist invertierbar aber in ist und nicht invertierbar.

  • Im folgenden Satz geben wir Beispiele für endliche Körper an. Wir haben solchen Körper im Beweis des ersten Satz von Sylow benutzt.

    Satz. Sei . Dann sind die folgende Eigenschaften paarweise äquivalent:

    1. Der Ring ist ein Körper.
    2. Der Ring ist ein Integritätsring.
    3. ist eine Primzahl.

    Wir werden den Beweis in zwei Schritten erbringen.

Übung 6

  • Sei ein Körper.
  • Zeigen Sie, dass wenn ein Ideal von ist, gilt .
  • Zeigen Sie auch die umgekehrte Folgerung: wenn jedes von verschiedene Ideal von der gesamte ist, dann ist ein Körper.
  • Zeigen Sie, dass jeder von Null verschiedene Ringhomomorphismus , wobei ein Körper ist, injektiv ist.

Endliche Integritätsringe

  • Zunächst beweisen wir, dass genau dann ein Körper ist, wenn es ein Integritätsring ist. Das heißt, wir beweisen zunächst vom vorherigen Satz.

  • Da ein Körper unbedingt ein Integritätsring ist, gilt die Folgerung „“ und reicht es die Folgerung „“ zu beweisen. Dies folgt aus dem nächten Satz.

    Satz. Sei ein endlicher Integritätsring. Dann ist ein Körper.

    Beweis. Da in einem Integritätsring gilt, reicht es zu beweisen, dass jedes invertierbar ist. Schreiben wir . Sei die Abbildung, die das Element nach abbildet. Wenn ist, dann, da ist und ein Integritätsring ist, muss sein. Das heißt, ist injektiv. Da endlich ist, muss auch surjektiv sein. Insbesondere existiert ein sodass .

    Bem. Da distributiv über ist, ist ein Gruppenendomorphismus .

Primzahlen im Ring der ganzen Zahlen

  • Es verbleibt im vorherigen Satz zu beweisen. Das heißt, wir möchten beweisen, dass für jedes , der Ring genau dann ein Integritätsring ist, wenn eine Primzahl ist.
  • “ Zunächst nehmen wir and, dass eine Primzahl ist. Insbesondere ist . Daher gilt in . Jetzt werden wir zeigen, dass, wenn in gilt, dann gilt in diesem Ring.
  • Per Definition ist die Bedingung äquivalent zu . Dies bedeutet, dass in gilt. Da eine Primzahl ist, muss ein Teiler von oder ein Teiler von sein. Das heißt, .
  • ⚠️ Ist es klar, dass eine Primzahl die folgende Eigenschaft erfüllt?

    Wenn nicht, können Sie es beweisen?

Ende des Beweises

  • “ In änhlicher Weise, haben wir, dass wenn ein Integritätsring ist, die natürliche Zahl die folgende Eigenschaft erfüllen muss:

  • Dies impliziert, dass diese eine Primzahl ist. Aber es ist vielleicht nicht unmittelbar, das zu ableiten, weil die übliche Definition eine Primzahl die folgende ist:

    Beweis. Wenn gilt, existiert ein mit . Insbesondere gilt . Per Annahme auf , muss oder gelten.

    • Falls gilt, dann haben wir in , somit .
    • Falls gilt, dann existiert ein mit wir . Dies impliziert, dass in ist, somit .

Invertierbare Elemente in Polynomringe, die Integritätsringe sind

Satz. Sei ein Integritätsring mit entscheibarer Gleichheit und sei . Dann ist genau dann invertierbar in , wenn konstant und invertierbar in ist. Das heißt, wenn ein existiert, sodass und invertierbar in ist.

Beweis.“ Wenn mit , dann ist das konstante Polynom ein inverse Element für in .
“ Nehmen wir nun an, dass invertierbar ist. Dann existiert ein , sodass . Insbesondere sind und gilt , mit in . Da , muss gelten. Somit . Inbesondere sind und konstante Polynome. Das heißt, existieren und in , mit und . Dann gilt . Das heißt, .

Polynomringe sind keine Körper

  • Sei ein Integritätsring mit entscheibarer Gleichheit.

  • Die Eigenschaft, die wir im vorherigen Satz bewiesen haben, kann wie folgt geschrieben werden: für einen Integritätsring mit entscheidbarer Gleichheit, gilt

  • Zum Beispiel, und .

  • Insbesondere, ist das Element von nie invertierbar. Da ist, bedeutet dies, dass der Integritätsring kein Körper ist.

Übung 7

  • Sei ein Körper und sei ein (unitärer) Unterring.
  • Zeigen Sie, dass ein Integritätsring ist.
  • Zeigen Sie, dass die Teilmenge

    ein Körper ist, der der kleinste Unterkörper von ist, der enthält.

Quotientenkörper

  • Die vorherige Übung zeigt, dass ein Unterring eines Körpers ein Integritätsring ist. Die folgende Konstruktion besteht eine Umkehrung: ein Integritätsring ist, bis auf Isomorphie, ein Unterring eines Körpers.
  • Gegeben ein Integritätsring , betrachten wir die Menge

    und die Relation

  • Diese Relation ist eine Äquivalenzrelation. Reflexivität und Symmetrie sind klar, und die Transitivität folgt aus der Tatsache, dass ein Integritätsring ist:
    Wenn und , dann gilt , somit .
  • Die Quotientmenge heißt der Quotientskörper des Integritätsring .

Ringstruktur des Quotientenkörpers

  • Die Quotientmenge wird als bezeichnet.

  • Die Äquivalenzklass des Elements wird als bezeichnet.

  • Dann setzen wir

    Satz. Diese Verknüpfungen sind wohldefiniert und statten mit einer (kommutativen, unitären) Ringstruktur aus, für die und definiert werden.

    Beweis. Übung! 😅

Der Quotientenkörper ist ein Körper

  • Per Definition, ist genau dann wenn .
  • Insbesondere, da , ist auch .
  • Außerdem, wenn , dann ist und gilt . Das heißt, ist in diesem Fall invertierbar.
  • Wir werden später konkretten Beispiele sehen. Ein abstraktes Beispiel ist, gegeben einen Körper , der sogennante rationale Funktionenkörper mit Unbestimmnte :

Die universelle Eigenschaft des Quotientenkörpers

Die universelle Eigenschaft des Quotientenkörpers

  • Der Quotientenkörper eines Integritätsrings ist im obigen Sinne der kleinste Körper, der R enthält.
  • Den Beweis laß ich derzeit als Übung: Es geht um zeigen, dass wohldefiniert und ein Ringhomomorphismus ist.

Primideale

  • Sei ein (kommutativer, unitärer) Ring.

    Definition. Ein Ideal von heißt ein Primideal, wenn der Ring ein Integritätsring ist.

  • Nach der Charakterisierung eines Integritäsrings, ist ein Ideal von genau dann ein Primideal, wenn die folgende Eigenschaften erfüllt sind:

    1. (das heißt, ).
    2. .

Weitere Charakterisierung von Primidealen

  • Wenn das Prädikat außerdem entscheidbar ist (das heißt, wenn gilt), dann ist ein Integritätsring mit entscheidbarer Gleichheit.

  • In diesem Fall ist die obige Bedingung (ii) äquivalent zu der Eigenschaft:

    Der Beweis ist zum Beweis der Charakterisierung der Integrität in Ringen mit entscheidbarer Gleichheit ähnlich.

  • Beachten Sie, dass ein Hauptideal genau dann ein entscheidbares Prädikat induziert, wenn gilt (Übung). Wenn diese Eigenschaft für alles gilt, sagt man, dass die Teilbarkeitsrelation von entscheidbar ist.

  • Wenn man den SAD annimmt, dann sind alle Prädikaten und alle Relationen entscheidbar.

Maximale Ideale

  • Sei ein (kommutativer, unitärer) Ring.

    Definition. Ein Ideal von heißt ein maximales Ideal, wenn der Ring ein Körper ist. Daher ist ein maximales Ideal insbesondere ein Primideal.

  • Nach der Charakterisierung eines Körpers, ist ein Ideal von genau dann ein Primideal, wenn die folgende Eigenschaften erfüllt sind:

    1. .
    2. .
  • Die Bedingung (ii) bedeutet genau Folgendes: Wenn nicht zu gehört, dann ist invertierbar in (sagt man auch invertierbar modulo ).

Übung 8

  • Sei ein (kommutativer, unitärer) Ring und sei ein Ideal.

  • Zeigen Sie, dass genau dann ein maximales Ideal von ist, wenn die folgende Eigenschaften gelten:

    1. .
    2. Für alles Ideal von , gilt .

    Hinweis. Um die Folgerung „“ zu beweisen, erinnern Sie sich daran, dass Folgendes bedeutet, , und betrachten Sie das Ideal . Um die Folgerung „“ zu beweisen, nehmen Sie und betrachten Sie wieder das Ideal .

Eine Bemerkung zu maximaler Idealen

  • Wenn das Prädikat außerdem entscheidbar ist, dann ist ein Körper mit entscheidbarer Gleichheit.

  • In diesem Fall ist jedes maximale Ideal ein maximales Element unter den echten Idealen von , wobei ein Ideal von echt heißt, wenn die Bedingung , oder in äquivalenter Weise , erfüllt ist.

    Beweis. Nehmen wir an, dass ein Ideal von ist, das die Bedingung

    erfüllt. Da gilt, reicht es zu zeigen, um zu beweisen, dass ist. Sei dann . Wir möchten zeigen, dass . Da entscheidbar ist, können wir durch Fallunterscheidung argumentieren.

Ende des Beweises und eine weitere Bemerkung

  • Gilt .

    • Falls ist, dann gilt .
    • Falls ist, betrachten wir das Ideal . Da ist, gilt . Da ein maximales ideal ist, muss dann, nach der Übung 8, gelten. Das heißt, es gilt . Aus folgt dann , was die Annahme widerspricht. Aus einer Anwendung von ex falso folgt auch .
  • Dies beendent den Beweis.

    Bemerkung. Falls das Prädikat für alles Ideal von entscheidbar ist, gilt auch die umgekehrte Folgerung:

Übung 9

  • Sei ein Ring, in dem, für alles Ideal , das Prädikat entscheidbar ist (wir werden Beispiele für solche Ringe sehen, nämlich Euklidische Ringe).
  • Zeigen Sie, dass genau dann ein maximales Ideal von ist, wenn die folgende Eigenschaft gilt: