(V,⊕) muss eine kommutative Gruppe, prüfe einfach nach:
abgeschlossen 2x3y ⊕ 2a3b = 2x3y*2a3b = 2x+a3y+b
Passt also .
Entsprechend führst du auch Assoziativität und Kommutativität
auf die in (Q,+) zurück.
neutrales Element ist 2030 und das Inverse von 2x3y ist 2-x3-y .
Bei der S-Multiplikation ist es wohl (λ, v) → vλ, Dann klappen auch die
anderen Axiome.