Sei \(a\in K\) mit \(a^2=2\cdot 1_K\).
Angenommen es gäbe einen Ringhomom. \(\Phi:K\rightarrow\mathbb{Q}\).
Dann wäre
\(\Phi(a)^2=\Phi(a^2)=\Phi(1_K+1_K)=\Phi(1_K)+\Phi(1_K)=1+1=2\),
d.h. \(X^2-2\) hätte eine rationale Nullstelle ( nämlich \(\Phi(a)\) ),
was bekanntlich nicht der Fall ist.