Related papers: The Chevalley-Bass Theorem

In 1859, Riemann had announced the following conjecture : the nontrivial roots (zeros) $s=\alpha+i\beta$ of the zeta function, defined by: $$\zeta(s) =\displaystyle \sum_{n=1}^{+\infty}\frac{1}{n^s},\,\mbox{for}\quad \Re(s)>1$$ have real…

Let $F_0=\mathbf Q(\sqrt{-d})$ be an imaginary quadratic field with $3\nmid d$ and let $K_0=\mathbf Q(\sqrt{3d})$. Let $\varepsilon_0$ be the fundamental unit of $K_0$ and let $\lambda$ be the Iwasawa $\lambda$-invariant for the cyclotomic…

Based on the Goldbach conjecture and arithmetic fundamental theorem, the Goldbach conjecture was extended to more general situations, i.e., any positive integer can be written as summation of some specific prime numbers, which depends on…

Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear…

Let $x\ge 2$. The $\psi$-form of the prime number theorem is $\psi(x) =\sum\sb{n \le x}\Lambda(n) =x +O\bigl(x\sp{1-H(x)} \log\sp{2} x\big)$, where $H(x)$ is a certain function of $x$ with $0< H(x) \le \tfrac{1}{2}$. Tur\'an proved in 1950…

The coefficients $A_n(\alpha,\beta,\omega)$ in the Maclaurin expansion $(1+\omega z)^{\alpha}(1-z)^{-\beta}= \sum_{n=0}^{\infty} A_n(\alpha,\beta,\omega)z^n$ are studied, where $\omega,z \in \mathbb{C}$ with $|z| < |\omega|=1$, and…

The Euclidean quantum field theory for the fields $\phi_{\Delta x}(x)$, which depend on both the position $x$ and the resolution $\Delta x$, constructed in SIGMA 2 (2006), 046, hep-th/0604170, on the base of the continuous wavelet…

It is well known that the distribution of the prime numbers plays a central role in number theory. It has been known, since Riemann's memoir in 1860, that the distribution of prime numbers can be described by the zero-free region of the…

We give a new proof of the classical result due to Rodney Y. Sharp and Peter Vamos on the dimension of tensor product of a finite number of field extensions of a given field.

Inspired by the work of Z. Lu and G. Tian [8], A. Loi, F. Salis and F. Zuddas address in [5] the problem of studying those K\"ahler manifolds satisfying the $\Delta$-property, i.e. such that on a neighborhood of each of its points the…

In 1951, Linnik proved the existence of a constant $K$ such that every sufficiently large even number is the sum of two primes and at most $K$ powers of 2. Since then, this style of approximation has been considered for problems similar to…

We extend in several directions invariant theory results of Chevalley, Shephard and Todd, Mitchell and Springer. Their results compare the group algebra for a finite reflection group with its coinvariant algebra, and compare a group…

We discuss the use of negative bases in automatic sequences. Recently the theorem-prover Walnut has been extended to allow the use of base (-k) to express variables, thus permitting quantification over Z instead of N. This enables us to…

In this paper, we study linear forms \[\lambda = \beta_1\mathrm{e}^{\alpha_1}+\cdots+\beta_m\mathrm{e}^{\alpha_m},\] where $\alpha_i$ and $\beta_i$ are algebraic numbers. An explicit lower bound for the absolute value of $\lambda$ is…

Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the…

Let $K/\mathbb{Q}$ be an algebraic extension of fields, and let $\alpha \not= 0$ be contained in an algebraic closure of $K$. If $\alpha$ can be approximated by roots of numbers in $K^{\times}$ with respect to the Weil height, we prove that…

Let $G$ be a finite group acting linearly on the vector space $V$ over a field of arbitrary characteristic. The action is called coregular if the invariant ring is generated by algebraically independent homogeneous invariants and the direct…

We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…

We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the…

Because of its relation to the distribution of prime numbers, the Riemann zeta function {\zeta} (s) is one of the most important functions in mathematics. The zeta function is defined by the following formula for any complex number s with…