1
$\begingroup$

This question already has an answer here:

Let $G\subset \mathbb{R}$ be the additive subgroup of $(\mathbb{R},+)$ defined by $G=\mathbb{Z}+\sqrt{2}\mathbb{Z}$. I want to prove that for every $\epsilon>0$ there exists an element $g_\epsilon\in G$ with $\epsilon>g_\epsilon>0$. Can anybody imagine a nice proof?

(I coundn't think of an appropriate tag for this question. Please feel free to add or remove one)

$\endgroup$

marked as duplicate by Jyrki Lahtonen, Namaste group-theory Jun 30 '14 at 13:26

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ for $\epsilon=\frac{1}{2}$ can you find $g_{\epsilon}$ $\endgroup$ – user87543 Jun 30 '14 at 13:05
10
$\begingroup$

Hint: $0<\sqrt 2 -1< 1$ and this group is also closed under multiplication.

$\endgroup$
1
$\begingroup$

If you know the more general result about subgroups of $(\mathbb{R},+)$ : a subgroup of $(\mathbb{R},+)$ is either dense or of the form $a\mathbb{Z}$ (see for example here). Then you see that if $\mathbb{Z}+\sqrt{2}\mathbb{Z}$ were of the form $a\mathbb{Z}$ then there will be $p,q\in \mathbb{Z}$ such that $1=aq$ and $\sqrt{2}=ap$.

Consequently, $\sqrt{2}=\frac{p}{q}$ which is absurd since $\sqrt{2}\not\in \mathbb{Q}$. So $\mathbb{Z}+\sqrt{2}\mathbb{Z}$ is dense.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.