Is it possible, that $p^t$ (with a prime number $p \in \mathbb N$ and $t \in \mathbb N$) is a unit in an algebraic number field $K$ (e.g. a unit in the ring of integers $\mathcal O_K$) ? And if not, why it is not possible?
Thanks in advance,
David
Is it possible, that $p^t$ (with a prime number $p \in \mathbb N$ and $t \in \mathbb N$) is a unit in an algebraic number field $K$ (e.g. a unit in the ring of integers $\mathcal O_K$) ? And if not, why it is not possible?
Thanks in advance,
David
If $k \in \mathbb Z$ is a unit in a number ring $\mathcal{O}_K$, then there is $\alpha \in \mathcal{O}_K$ such that $k \alpha=1$. But this implies that $\alpha = 1/k \in \mathbb Q$. Then, $\alpha \in \mathbb Q \cap \mathcal{O}_K = \mathbb Z$ (because $\mathbb Z$ is integrally closed) and $k$ is a unit in $\mathbb Z$.
This can't happen, and that statement can be proven in a much more general setting. If $A \subset B$ are commutative rings, with $B$ integral over $A$, and $f$ is a non-unit of $A$, then $f$ is a non-unit of $B$.
Proof: Let $(f)$ be the ideal of $A$ generated by $f$. Since $f$ is not a unit, $(f)$ is not $A$, so there is a prime ideal $\mathfrak{p}$ with $(f) \subseteq \mathfrak{p}$. (I may have just used the axiom of choice.) By the going up theorem there is a prime ideal $\mathfrak{q}$ of $B$ with $\mathfrak{q} \cap A = \mathfrak{p}$.
Since $B \cap A = A$, we know that $\mathfrak{q} \neq B$. And since $f \in \mathfrak{p}$, we know that $f \in \mathfrak{q}$. So $f$ is not a unit of $B$.