Offenbar ist \(K:=\mathbb{Q}(\sqrt{2})=\{a+b\sqrt{2}:\; a,b \in \mathbb{Q}\}\)
der Span von \(\{1,\sqrt{2}\}\) im \(\mathbb{Q}\)-Vektorraum \(\mathbb{R}\).
Damit ist \((K,+)\) schon mal eine additive Gruppe. Distributivgesetze und
Assoziativgesetz der Multiplikation gelten ja sogar in der Obermenge \(\mathbb{R}\).
Die multiplikative Abgeschlossenheit ist rasch gezeigt. Das Einslement von \(K\)
ist die reelle 1. Das Einzige, was noch überprüft werden muss, ist die
Existenz des multiplikativ Inversen zu beliebigem \(x\in K^*\).
Mach mal Vorschläge ...