Definition
Sein eine Menge mit zwei assoziativen Verknüpfungen und auf . Dann heißt Ring, falls:
-
eine abelsche Gruppe ist
-
und für , die Distributivgesetze gelten.
-
Ein Ring heißt kommutativ, falls eine kommutative Verknüpfung ist.
-
Gilt , so heißt der Ring nullteilerfrei.
-
Gibt es ein neutrales Element bezüglich (oft wir dieses gennant), so heißt Ring mit Eins.
Einheitsgruppe
Definition
Ist ein Ring mit Eins. Ein Element heißt Einheit, wenn es ein gibt, so dass gilt: .
Link to originalEinheiten sind also die multiplikativ invertierbaren Elemente von .
Wir bezeichnen die Menge der Einheiten von mit .