Die Natürlichen Zahlen

Unter den natürlichen Zahlen wird hier die Menge $N$₀ = {0, 1, 2, ...} verstanden, die mit ihrer natürlichen Anordnung versehen sein soll.

Halbgruppen natürlicher Zahlen

Auf dieser Menge $N$₀ ist als eine innere Verknüpfung die gewöhnliche Addition + definiert. Sie ist bekanntlich assoziativ und kommutativ und die Zahl 0 ist neutrales Element dieser Verknüpfung. Es handelt sich also bei $(N$₀,+) um ein kommutatives Monoid.

Andererseits ist auf $N$₀ auch die gewöhnliche Multiplikation * als innere Verknüpfung definiert, die ebenfalls assoziativ und kommutativ ist und für die die Zahl 1 neutrales Element ist. Also ist auch $(N$₀,*) ein kommutatives Monoid.

Man kann aber auf $N$₀ auch die durch $a*b=min(a,b)$ für alle a und b aus $N$₀ definierte Verknüpfung * betrachten. Sie ist nicht nur assoziativ und kommutativ, sondern auch idempotent, besitzt aber kein neutrales Element. Es handelt sich also bei $(N$₀,min) um eine (kommutative und idempotente) Halbgruppe, die kein Monoid ist.

Ändert man die Verknüpfung aus dem vorigen Beispiel zu $a*b=max(a,b)$, so erhält man ein kommutatives und idempotentes Monoid $(N$₀,max), denn die Zahl 0 ist nun neutrales Element.

Halbringe natürlicher Zahlen

Da für die gewöhnliche Addition + und Multiplikation * natürlicher Zahlen die beiden Distributivgesetze gelten, handelt es sich bei $(N$₀,+,*) um einen kommutativen Halbring mit absorbierendem Nullelement 0 und Einselement 1.

Man prüft durch einfache Fallunterscheidungen leicht nach, daß für alle $a,\; b,\; c$ aus $N$₀ die Gleichungen

sowie

gelten. Daher sind auch $(N$₀,max,*), (N₀,max,+), (N₀,min,*) und $(N$₀,min,+) Halbringe.

Da es sich bei min und max um die beiden Verbandsoperationen in der linear geordneten Menge $N$₀ = {0 < 1 < 2 < ...} handelt, bilden sowohl $(N$₀, min, max) als auch $(N$₀, max, min) einen distributiven Verband, also ebenfalls je einen Halbring.

Die multiplikativen und additiven Eigenschaften dieser Halbringe bzw. die Existenz neutraler Elemente ergeben sich aus den Bemerkungen über die entsprechenden Halbgruppen weiter oben.

Ein echtes Gruppoid natürlicher Zahlen