showing that $\frac{\mathbb R}{\mathbb Q}\cong\mathbb R$, both over $\mathbb Q$ In my last question The following groups are the same., three groups were given and I wanted to verify that they are isomorphic to each other. Derek suggested some points and I got my answer about one of them completely. But one was remained. I am trying to simplify my question about it again.
There; I had to  show that $\frac{\mathbb R}{\mathbb Q}\cong\mathbb R$ since I need it. A theorem tells me that $\frac{\mathbb R}{\mathbb Q}$ is a vector space over $\mathbb Q$ because it is abelian divisible torsion-free and the same is true for $\mathbb R$. So I consider $\mathcal{B}$ be a basis for vector space $\mathbb R$ over $\mathbb Q$.
Now can I have $\mathcal{B}+\mathbb Q$ as a basis for vector space $\frac{\mathbb R}{\mathbb Q}$ over  $\mathbb Q$ and concluding that $\#\mathcal{B}=\#(\mathcal{B}+\mathbb Q) $? I wanted to  use what Derek pointed there for these two vector space again. Thanks.
 A: Let $\cal B$ be a basis of $\Bbb R$ over $\Bbb Q$ (as a vector space, that is). The cardinality of $\cal B$ is $\frak c$. Note that $\Bbb{R/Q}$ is like removing one basis element, or one copy of $\mathbb Q$.
Therefore the kernel of the quotient map $\Bbb{R\to R/Q}$ has dimension $1$, so the image has to have dimension $\mathfrak c-1=\frak c$. Therefore $\Bbb R$ and $\Bbb{R/Q}$ are isomorphic as vector spaces over $\Bbb Q$. But what are isomorphic vector spaces? To begin with, those are isomorphic groups! Which is what you want to begin with.
A: Note that $\mathbb{R}/\mathbb{Q}$ and $\mathbb{R}$ are both size continuum. 
So as vector spaces over the $\mathbb{Q}$ they must have continuum size bases. 
And if two vector spaces have bases of the same size then they are isomorphic, so we're done. 
A: Direct proof: if $\,\{r_i\}_{i\in I}\,$ is a basis for $\,\Bbb R_\Bbb Q\,$ , then $\,\{r_i+\Bbb Q\}_{i\in I}\,$ is a basis for $\,\left(\Bbb R/\Bbb Q\right)_\Bbb Q\,$ , since:
$$(1)\;\;\;\;\;\;\;\;\;\forall r\in\Bbb R\,\,\exists\,J\subset I\,\,,\,|J|<\infty\,,\,a_j\in\Bbb Q\,\,,\,\,\,s.t.\;\; r=\sum_{j\in J}a_jr_j\Longrightarrow r+\Bbb Q=\sum_{j\in J}a_j\left(r_j+\Bbb Q\right)$$
$$(2)\;\;\;\;\;\;\;\;\;\text{If}\;\;\exists\,J\subset I\,\,,\,|J|<\infty\,\,,\,s.t.\;\;\sum_{j\in J}a_j\left(r_j+\Bbb Q\right)=\overline 0=\Bbb Q\in\Bbb R/\Bbb Q\,\,,\,\text{then}$$
$$\,\,\sum_{j\in J}a_jr_j\in\Bbb Q\Longrightarrow a_j=0\,\,\forall j\in J$$
