Also sozusagen ist ein kommutativer Ring wie oben auf dem Blatt stheht einfach dass noch kommutativität in * erfüllt ist.
Das stimmt jedenfalls.
Und für einen euklidischen Ring brauchst du noch eine Bewertungsfunktion.
Nur "Ring" hast du z.B. bei den ganzen Zahlen oder bei einem Polynomring wie
ℤ[x] oder ℝ[x] .
Im Gegensatz zu einem Körper gibt es da nicht immer Inverse bzgl. der Multiplikation.
Etwa in ℤ gibt es kein a mit 2*a = 1.