Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hensel's lemma implies that $\sqrt{2}\in\mathbb{Q_7}$. Find a continued fraction expression for $\sqrt{2}$ in $\mathbb{Q_7}$

share|cite|improve this question
It's not clear to me how one defines a continued fraction in the 7-adics. – Gerry Myerson Nov 18 '12 at 5:47

There's a bit of a problem with defining continued fractions in the $p$-adics. The idea for finding continued fractions in $\Bbb Z$ is that we subtract an integer $m$ from $\sqrt{n}$ such that $\left|\sqrt{n} - m\right| < 1$. We can find such an $m$ because $\Bbb R$ has a generalized version of the division algorithm: for any $r\in\Bbb R$, we can find $k\in\Bbb Z$ such that $r = k + s$, where $\left|s\right| < 1$. This means that we can write $$ \sqrt{n} = m + (\sqrt{n} - m) = m + \frac{1}{1/(\sqrt{n} - m)}, $$ and since $\left|\frac{1}{\sqrt{n}-m}\right| > 1$, we can repeat the process with this number, and so on, until we have written $$ \sqrt{n} = m_1 + \cfrac{1}{m_2 + \cfrac{1}{m_3 + \dots}}, $$ where each $m_i\in\Bbb Z$. However, in $\Bbb Q_p$ there is no such division algorithm because of the ultrametric property: the norm $\left|\,\cdot\,\right|_p$ in $\Bbb Q_p$ satisfies the property that $\left|a - b\right|_p\leq\max\{\left|a\right|_p,\left|b\right|_p\}$, with equality if $\left|a\right|_p\neq\left|b\right|_p$. If $\sigma\in\Bbb Z_p$, then $\left|\sqrt{\sigma}\right|_p\leq 1$, as $\sqrt{\sigma}$ is a $p$-adic algebraic integer. Then we may find an integer $\rho$ such that $\left|\sqrt{\sigma} - \rho\right|_p < 1$, but there's a problem: if we write $\sqrt{\sigma} = \rho + \frac{1}{1/(\sqrt{\sigma} - \rho)}$, we have $\left|\frac{1}{\sqrt{\sigma} - \rho}\right|_p > 1$. As any element of $\Bbb Z_p$ has norm less than or equal to $1$, the ultrametric property of $\left|\,\cdot\,\right|_p$ tells us that we can never find an $p$-adic integer to subtract from $\frac{1}{\sqrt{\sigma} - \rho}$ that will give the difference norm less than $1$. So we cannot write $$ \sqrt{2} = a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \dots}} $$ with $a_i\in\Bbb Z_7$, as we can in $\Bbb R$. If you wished, you could remedy this by taking your $a_i\in\Bbb Q_7$, but since $\sqrt{2}\in\Bbb Q_7$ already, this is silly.

share|cite|improve this answer
You are thinking of "continued fraction expression" as "the unique standard-form continued fraction representation that results from performing the division algorithm." However this is too restrictive of an interpretation. A continued fraction expression simply needs a sequence of values for which the sequence of partial convergents converges in the ambient topology. And as it just so happens, every $p$-adic number (in $\Bbb Q_p$) can be represented as a (simple) continued fraction. For a fun time, google "p-adic continued fraction." (E.g. There is a notion of $p$-adic "fractional part"!) – anon Nov 1 '13 at 21:10
Nevermind $-$ you are indeed working with the right idea regarding $p$-adic continued fraction. The problem probably wants the values to be in $\Bbb Z_{(p)}$ (it seems this is where treatments generally take them). (IIRC this user talked with me in chat about sets of problems online in a number theory course, of which this was one.) – anon Nov 1 '13 at 21:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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