- Eine Verknüpfung
auf einer Menge
ist eine
Abbildung
-
- Die Menge
-
mit
und
,
mit der komponentenweisen Addition und der durch
-

definierten Multiplikation nennt man Körper der komplexen Zahlen.
- Ein Untergruppe
ist ein Normalteiler, wenn
-

für alle
ist.
- Ein
Ideal
in einem
kommutativen Ring
heißt Radikal, wenn folgendes gilt: Falls
ist für ein
, so ist bereits
.
- Zu einem
Integritätsbereich
ist der Quotientenkörper
als die Menge der formalen Brüche
-

mit natürlichen Identifizierungen und Operationen definiert.
- Unter einem Vektorraum
über
versteht man eine Menge
mit einem ausgezeichneten Element
und mit zwei Abbildungen
-
und
-
derart, dass die folgenden Axiome erfüllt sind
(dabei seien
und
beliebig):
,
,
,
- Zu jedem
gibt es ein
mit
,
,
,
,
.