Related papers: Euclidean algorithm in Galois Quartic Fields

We prove that there are $\gg\frac{X^{\frac{1}{3}}}{(\log X)^2}$ imaginary quadratic fields $k$ with discriminant $|d_k|\leq X$ and an ideal class group of $5$-rank at least $2$. This improves a result of Byeon, who proved the lower bound…

Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.

In this paper we propose a heuristic technique for distributing points on the surface of a unit n-dimensional Euclidean sphere, generated as the orbit of a finite cyclic subgroup of orthogonal matrices, the so called cyclic group codes.…

A class number formula is proved for extended ring class fields $L_{\mathcal{O},9}$ over imaginary quadratic fields $K_d = \mathbb{Q}(\sqrt{-d})$, in which the prime $p = 3$ splits, by determining the fields generated by the periodic points…

We obtain criteria for the class number of certain Richaud-Degert type real quadratic fields to be 3. We also treat a couple of families of real quadratic fields of Richaud-Degert type that were not considered earlier, and obtain similar…

Using the Galois theory over function field, and the holomorphy of algebroids defined via irreducible polynomial at singular points, we prove the injectivity of any kellerian mapping. The famous Jacobian conjecture is true.

We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally…

We produce an explicit family of totally real cyclic quartic polynomials that are monogenic in many cases and, if the $abc$ conjecture holds, generate distinct monogenic quartic fields infinitely often. Additional families (also…

Let $k\geq 3$ and $n\geq 3$ be odd integers, and let $m\geq 0$ be any integer. For a prime number $\ell$, we prove that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{\ell^{2m}-2k^n})$ is either divisible by $n$ or by a…

For any odd prime $p,$ we construct an infinite family of pairs of imaginary quadratic fields $\mathbb{Q}(\sqrt{d}),\mathbb{Q}(\sqrt{d+1})$ whose class numbers are both divisible by $p.$ One of our theorems settles Iizuka's conjecture for…

We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version…

We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…

We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…

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…

In this paper we extend methods of Rubin to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field k and prime numbers p which divide the number of roots of unity in k.

In this paper we prove that there are exactly eight function fields, up to isomorphism, over finite fields with class number one.

We prove that certain acyclic cluster algebras over the complex numbers are the coordinate rings of holomorphic symplectic manifolds. We also show that the corresponding quantum cluster algebras have no non-trivial prime ideals. This allows…

We study the bit complexity of two methods, related to the Euclidean algorithm, for computing cubic and quartic analogs of the Jacobi symbol. The main bottleneck in such procedures is computation of a quotient for long division. We give…

We present the first example of an interacting Carroll supersymmetric field theory with both temporal and spatial derivatives, belonging to the Galileon class, where the non-linear field equation remains second-order in derivative. To…

We prove a non-minimal modularity lifting theorem for ordinary Galois representations over imaginary quadratic fields, conditional on a local-global compatibility conjecture for ordinary torsion classes.