Related papers: On biquadratic fields: when 5 squares are not enou…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

Let p be an odd prime. Let F_p^* be the no-null part of the finite field of p elements. Let K=\Q(zeta) be a p-cyclotomic field and O_K be its ring of integers. Let pi be the prime ideal of K lying over p. Let sigma : zeta --> zeta^v be the…

Computing well-rounded twists of ideals in number fields has been done when the field degree is $2$. In this paper, we develop a new algorithm to detect whether a basis of an ideal $\mathfrak{I}$ in a cyclic cubic field $F$ yields a…

Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…

In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog…

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 and let A be its ring of integers. Let G be a connected, noncommutative, absolutely almost simple algebraic K-group. If the K-rank of G equals 2, then G(A[t]) is not finitely presented.

Let K be a number field. We prove that its ray class group modulo p 2 (resp. 8) if p > 2 (resp. p = 2) characterizes its p-rationality. Then we give two short, very fast PARI Programs (\S \S 3.1, 3.2) testing if K (defined by an irreducible…

Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex…

Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if for every tame G-Galois extension L/K has a normal integral basis, i.e., the ring of integers O_L is free as an O_K[G]-module. Let C_p denote…

Let p denote an odd prime. For all p-admissible conductors c over a quadratic number field \(K=\mathbb{Q}(\sqrt{d})\), p-ring spaces \(V_p(c)\) modulo c are introduced by defining a morphism \(\psi:\,f\mapsto V_p(f)\) from the divisor…

Consider an algebraic number field, $K$, and its ring of integers, $\mathcal{O}_K$. There exists a smallest $B_K>1$ such that for any $x>1$ we can find a prime ideal, $\mathfrak{p}$, in $\mathcal{O}_K$ with norm $N(\mathfrak{p})$ in the…

We consider the problem of determining whether a given prime p is a congruent number. We present an easily computed criterion that allows us to conclude that certain primes for which congruency was previously undecided, are in fact not…

This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if a given non-degenerate quadratic form over a fixed number…

Let $K$ be a totally real field. By the asymptotic Fermat's Last Theorem over $K$ we mean the statement that there is a constant $B_K$ such that for prime exponents $p>B_K$ the only solutions to the Fermat equation $a^p + b^p + c^p = 0$…

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

In 2016, Jang and Kim stated a conjecture about the norms of indecomposable integers in real quadratic number fields $\mathbb{Q} \left( \sqrt{D} \right)$ where $D>1$ is a squarefree integer. Their conjecture was later disproved by Kala for…

We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…

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

Let k be a quadratic field. We give an explicit formula for the Dirichlet series enumerating cubic fields whose quadratic resolvent field is isomorphic to k. Our work is a sequel to previous work of Cohen and Morra, where such formulas are…