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:
.
.
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.
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:
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:
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:
( Grad streng kleiner als hat), wenn .
( Grad größer oder gleich zu hat), wenn .
( 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:
.
(und manchmal gilt die umgekherte Folgerung, zum Beispiel wenn endlich ist).
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:
.
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, .
Satz. Sei ein (kommutativer, unitärer) Ring. Dann ist genau dann ein Körper, wenn die folgende Eigenschaften gelten:
.
.
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:
.
.
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:
Der Ring ist ein Körper.
Der Ring ist ein Integritätsring.
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
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:
(das heißt, ).
.
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.
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:
.
.
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:
.
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: