0

Let $K$ be a number field. Then is it true that $1+u$ is a non-unit for every $u\in\mathcal{O}_K^*$? I believe this is true. I have worked out a few examples and in each one of them this holds. But I cannot find a general proof anywhere. Any help is appreciated.

  • Your title says "ring" but your question says "field". – Q the Platypus Jul 05 '23 at 03:32
  • K is a field and $\mathcal{O}_K$ is its ring of integers, where $1+u$ lies. –  Jul 05 '23 at 03:33
  • Also do you mean a finite field. Because the integers don't form a field. – Q the Platypus Jul 05 '23 at 03:34
  • 2
    Of course not. A number field is never finite. I think you are misunderstanding the question. –  Jul 05 '23 at 03:35
  • @QthePlatypus https://en.wikipedia.org/wiki/Ring_of_integers – CyclotomicField Jul 05 '23 at 03:36
  • 3
    Hint for a counterexample: consider roots of unity. – Greg Martin Jul 05 '23 at 03:37
  • @GregMartin Yes, you are right. In $\mathbb{Q}(\zeta_3)$ this is not true. Is there a characterization of such typical ring of integers? This holds for all $K$'s such that $\mathbb{O}_K^*={\pm 1}$ and also when $K=\mathbb{Q}(i)$. –  Jul 05 '23 at 03:39
  • 1
    Generalizing the example with third/sixth roots of unity a little bit: Whenever $u$ satisfies an equation of the form $1+u=\pm u^n$ it follows that $u$ is a unit of the ring of integers of some field. And obviously so is $1+u$. Further generalizations can be cooked up. – Jyrki Lahtonen Jul 05 '23 at 04:02
  • The other extreme - the sum of two units is always a unit (or 0) - is discussed here and here. – Bill Dubuque Jul 06 '23 at 11:31

0 Answers0