a) Du musst nur die Vektorraumaxiome prüfen, also etwa
(ℚ[√2] , + ) ist eine kommutative Gruppe, also
1. Abgeschlossenheit. 2 Elemente aus (ℚ[√2] , + ) sehen allgemein
so aus a+b√2 und c+d√2´.
Ihre Summe ist (a+c) + (b+d)√2 also wieder aus ℚ[√2]
assoziativ: Da das alles reelle Zahlen sind gilt Assoziativität von +
neutrales El ist 0 = 0+0√2 also in ℚ[√2]
das inverse zu a+b√2 ist -a+(-b)√2 und da mit a,b auch -a und -b aus ℚ
sind, ist das auch erfüllt.
etc.