7, 13 independent units in the local field $\mathbb{Q}_3$

44 Views Asked by At

Why do $7, 13$ generate a rank $2$ subgroup of the group of units of $\mathbb{Q}_3$? I.e. if $7^a= 13^b$ in the local field $\mathbb{Q}_3$ and $a, b$ are integers, then $(a, b)=(0,0)$. (This claim is made on p.75 of Washington’s Introduction to Cyclotomic Fields)

2

There are 2 best solutions below

0
On BEST ANSWER

If $7^a=13^b$ in $\mathbb{Q}_3$, then $7^{-a}=13^{-b}$ so we may assume $a$ nonnegative. If $b>0$ then $7^a=13^b$ in $\mathbb{Z}$, which is impossible; if $b<0$ then $7^a 13^{-b}=1$, again in $\mathbb{Z}$, which is again impossible. Thus $b=0$, and therefore $a=0$.

0
On

Alternatively, since the claim is true in $\Bbb Q$, and since $\Bbb Q^\times \to\Bbb Q^\times_p$ is an injection, it’s true in $\Bbb Q_p$ as well.