Here’s my problem:
Prove that a field R of characteristic $0$ is a vector space over $\mathbb{Q}$.
I am unsure how to proceed here, as checking the vector space axioms seems wrong.
Here are my thoughts:
Since $\operatorname{char}(R) =0$, $\mathbb{Z}$ is isomorphic to some subdomain of $R$. Now $\mathbb{Z}$ is itself not a field but has field of fractions $\mathbb{Q}$...
Can anyone help me out here?
Edit:
Based on the comments I received:
$\mathbb{Z}$ is isomorphic to some subdomain of $R$. Extend this to a field of fractions inside $R$. This extension will be isomorphic to $\mathbb{Q}$ as this is the field of fractions of $\mathbb{Z}$. Then verifying the vector space axioms (is this necessary or is there shortcut?) gives the desired result.
Is this correct?