Ich habe bei der zweiten Aufgabe Probleme:
a)h ist ein Ordnungshomomorphismus, weil
x | y => h(x) <= h(y)
Wenn x teiler von y ist, dann ist x <= y für alle n außer 0. Wenn x | y teilt und y 0 ist, dann ist jedoch h(0) =∞.
b)Wie habe ich v und ^ zu verstehen? v bezüglich der Teilbarkeitsrelation ist das kgV und ^ der ggt? Und beim zweiten Verband ist v <= und ^ > ?