Eine Menge
mit zwei Verknüpfungen
heißt Halbring (Ring ohne Eins), wenn
gelten. Ein Halbring heißt Ring (Ring mit Eins), wenn
In jedem Halbring gilt:
.
Sei
ein Halbring. Ein Element
heißt Nullteiler , falls
.
Ein kommutativer Ring ohne Nullteiler heißt
Integritätsbereich .
Es gilt:
Die Elemente von
heißen Einheiten ,
ist die Einheitengruppe. Ein Ring R ist ein Schiefkörper , wenn
. Ein kommutativer Schiefkörper
ist ein Körper .
Jeder endliche Schiefkörper ist ein Körper
Sei
ein (Halb-)Ring.
Sei
ein Ring. Das Einheitsideal
ist das einzige
Ideal mit
. Ist
ein Schiefkörper, so sind das
Nullideal 0={0} und das Einheitsideal die einzigen Ideale.
Sei
ein Ring,
Ideale. Dann ergeben die
folgenden Operationen wieder ein Ideal:
Sei
ein kommutativer Ring und
. Dann
heißt
das von
erzeugte Ideal . Ein Ideal
heißt
Hauptideal , wenn
. Wenn
ein
Integritätsbereich und jedes
ein Hauptideal ist, heißt
Hauptidealring .
ist ein Hauptidealring.
Sei
ein Halbring. Eine Äquivalenzrelation
auf R
heißt Kongruenzrelation , wenn
Sei
eine Kongruenzrelation auf dem (Halb-)Ring
.
Dann ist die Menge der Äquivalenzklassen
wieder ein
(Halb-)Ring, der Faktor(halb-)Ring .
Sei
eine Kongruenzrelation auf dem Halbring R. Dann
ist
ein Ideal in
und es gilt:
. Sei umgekehrt
ein Ideal.
Dann definiert
eine
Kongruenzrelation auf R.
Sei
ein kommutativer Ring. Ein Ideal
heißt
maximal , wenn
. Bei einem
Primideal
folgt aus
daß entweder
oder
.
Für
gilt:
Primideal
mit
Primzahl
maximales Ideal
Sei
ein kommutativer Ring.
Sei
ein kommutativer Ring mit den einzigen Idealen
.
Dann ist
ein Körper.