Related papers: Pythagoras number of quartic orders containing $\s…

The Pythagoras number of a sum of squares is the shortest length among its sums of squares representations. In many algebras, for example real polynomial algebras in two or more variables, there exists no upper bound on the Pythagoras…

Let $\mathcal{O}$ be a maximal order in the quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$. We prove two theorems that allow us to recover the structure of $\mathcal{O}$ from limited information. The first says that for…

We give an example of a polynomial of degree 4 in 5 variables that is the sum of squares of 8 polynomials and cannot be decomposed as the sum of 7 squares. This improves the current existing lower bound of 7 polynomials for the Pythagoras…

It is shown that the sum of class numbers of orders in totally complex quartic fields with no real quadratic subfield obeys an asymptotic law similar to the prime numbers, as the bound on the regulators tends to infinity. Here only orders…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

This paper is continuation of the paper "Primitive roots in quadratic field". We consider an analogue of Artin's primitive root conjecture for algebraic numbers which is not a unit in real quadratic fields. Given such an algebraic number,…

The P\'{o}lya group $Po(K)$ of an algebraic number field $K$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of the same norm. If $Po(K)$ is trivial, then the number field $K$…

Groups of order $4$ are isomorphic to either $\mathbb{Z}/4\mathbb{Z}$ or $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. We give certain sufficient conditions permitting to specify the structure of class groups of order $4$ in the…

Let $n\in\mathbb{N}$ and let $K$ be a field with a henselian discrete valuation of rank $n$ with hereditarily euclidean residue field. Let $F/K$ be an algebraic function field in one variable. We show that the Pythagoras number of $F$ is…

We improve a result of H. L. Montgomery and J. P. Weinberger by establishing the existence of infinitely many fundamental discriminants $d>0$ for which the class number of the real quadratic field $\mathbb{Q}(\sqrt{d})$ exeeds…

For an algebraic number field $K$ with ring of integers $\mathcal{O}_{K}$, an important subgroup of the ideal class group $Cl_{K}$ is the {\it P\'{o}lya group}, denoted by $Po(K)$, which measures the failure of the $\mathcal{O}_{K}$-module…

We give upper bounds for the level and the Pythagoras number of function fields over fraction fields of integral Henselian excellent local rings. In particular, we show that the Pythagoras number of $\mathbb{R}((x_1,\dots,x_n))$ is $\leq…

We prove that the number of quartic $S_4$--extensions of the rationals of given discriminant $d$ is $O_\eps(d^{1/2+\eps})$ for all $\eps>0$. For a prime number $p$ we derive that the dimension of the space of octahedral modular forms of…

Let $n>1$ be an odd integer. We prove that there are infinitely many imaginary quadratic fields of the form $\mathbb{Q}(\sqrt{x^2-2y^n})$ whose ideal class group has an element of order $n$. This family gives a counter example to a…

We give an infinite number of proofs of Pythagoras theorem.Some can be classified as `self-similar proofs'.

Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…

Let $h_{(m,k)}$ be the class number of $\mathbb{Q}(\sqrt{1-2m^k}).$ We prove that for any odd natural number $k,$ there exists $m_0$ such that $k \mid h_{(m,k)}$ for all odd $m > m_0.$ We also prove that for any odd $m \geq 3,$ $k \mid…

We prove that, for any $\varepsilon>0$, the number of real quadratic fields $\mathbb{Q}(\sqrt{d})$ of discriminant $d<x$ whose class number is $\ll \sqrt{d}(\log{d})^{-2}(\log\log{d})^{-1}$ is at least $x^{1/2-\varepsilon}$ for $x$ large…

In this paper, we establish two finiteness results and propose a conjecture concerning the Pythagoras number $P(A)$ of a finitely generated real algebra $A$. Let $X \hookrightarrow \mathbb{P}^n$ be an integral projective surface over…

We prove the existence of infinitely many real and imaginary fields whose 5-rank of the class group is >=3.