Related papers: Sums of two units in number fields

Let R be the ring of S-integers of an algebraic function field (in one variable) over a perfect field, where S is finite and not empty. It is shown that for every positive integer N there exist elements of R that can not be written as a sum…

How many natural numbers below $X$ can be written as a sum of $k$ units of the ring of integers of a given number field? We give the asymptotics as $X$ gets large for quadratic number fields. This solves a problem of Jarden and Narkiewicz…

For any given positive integer $m$ we construct certain totally positive algebraic integers $\alpha$ of a real bi-quadratic field $K$ and obtain some necessary conditions for which $m\alpha$ can not be represented as sum of integral…

Let $K$ be a number field. In the terminology of Nagell a unit $\varepsilon$ of $K$ is called {\it exceptional} if $1-\varepsilon$ is also a unit. The existence of such a unit is equivalent to the fact that the unit equation…

Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b.

Let $K$ be a number field of degree $n$ over ${\mathbb Q}$. Then the 4-rank of the strict class group of $K$ is at least ${\text{rank}_2 \, } ({ E_{K}^{+} } / E_K^2) - \lfloor n /2 \rfloor$ where $E_K$ and ${ E_{K}^{+} }$ denote the units…

In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…

Let $\ell \ne 3$ be a prime. We show that there are only finitely many cyclic number fields $F$ of degree $\ell$ for which the unit equation $$\lambda + \mu = 1, \qquad \lambda,~\mu \in \mathcal{O}_F^\times$$ has solutions. Our result is…

We consider the problem of characterizing all number fields $K$ such that all algebraic integers $\alpha\in K$ can be written as the sum of distinct units of $K$. We extend a method due to Thuswaldner and Ziegler that previously did not…

Let $(\alpha,\mathcal{N}_{\alpha})$ and $(\beta,\mathcal{N}_{\beta})$ be two canonical number systems for an imaginary quadratic number field $K$ such that $\alpha$ and $\beta$ are multiplicatively independent. We provide an effective lower…

A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary…

Let $K$ be a number field with ring of integers $\mathcal O_{K}$. We prove that if $3$ does not divide $ [K:\mathbb Q]$ and $3$ splits completely in $K$, then the unit equation has no solutions in $K$. In other words, there are no $x, y \in…

We connect the existence of a ternary classical universal quadratic form over a totally real number field $K$ with the property that all totally positive multiples of 2 are sums of squares (if $K$ does not contain $\sqrt 2$ or contains a…

Let $K=\mathbb Q(\sqrt D)$ be a real quadratic field. We consider the additive semigroup $\mathcal O_K^+(+)$ of totally positive integers in $K$ and determine its generators (indecomposable integers) and relations; they can be nicely…

This paper introduces an archimedean, locally Cantor multi-field $\mathcal{O}_{\theta}$ which gives an analog of the $p$-adic number field at a place at infinity of a real quadratic extension $K$ of $\mathbb{Q}$. This analog is defined…

We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all…

Let ${\mathbb K}={\mathbb Q}(\sqrt{m})$ be a real quadratic number field, where $m>1$ is a squarefree integer. Suppose that $0 < \theta< \pi $ has rational cosine, say $\cos (\theta)=s/r$ with $0< |s|<r$ and $\gcd(r,s)=1$. A positive…

Let $K$ be a number field, $k\geq 2$ an integer, $(K^*)^k$ the $k$-fold direct product of $K^*$ with coordinatewise multiplication, and $\Gamma$ a finitely generated subgroup of rank $r$ of $(K^*)^k$. Further, let $H(\alpha )$ denote the…

Let K be an algebraic number field and O_K be its ring of integers. Let S_K be the set of elements in O_K which are sums of squares in O_K and s(O_K) the minimal number of squares necessary to represent -1in O_K. Let g( S_K ) be the…

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given…