相关论文: Characterizing integers among rational numbers wit…

This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…

In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive…

In this paper, we establish the explicit lower bound estimates for the rank of universal quadratic forms in some certain families of real cubic fields under the condition of density one. The more general results that represent all multiples…

We give an overview of universal quadratic forms and lattices, focusing on the recent developments over the rings of integers in totally real number fields. In particular, we discuss indecomposable algebraic integers as one of the main…

We show that the field of rational numbers is not definable by a universal formula in Zilber's pseudo-exponential field.

We consider the question of certifying that a polynomial in ${\mathbb Z}[x]$ or ${\mathbb Q}[x]$ is irreducible. Knowing that a polynomial is irreducible lets us recognise that a quotient ring is actually a field extension (equiv.~that a…

First we prove some elementary but useful identities in the group ring of Q/Z. Our identities have potential applications to several unsolved problems which involve sums of Farey fractions. In this paper we use these identities, together…

Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al.…

A classical theorem in number theory due to Euler states that a positive integer $z$ can be written as the sum of two squares if and only if all prime factors $q$ of $z$, with $q\equiv 3 \pmod{4}$, have even exponent in the prime…

We give a rational form of a generic two-dimensional "quad" map, containing the so-called $Q_4$ case, but whose coefficients are free. Its integrability is proved using the calculation of algebraic entropy.

In this paper, we compute the number of distinct centralizers of some classes of finite rings. We then characterize all finite rings with $n$ distinct centralizers for any positive integer $n \leq 5$. Further we give some connections…

In many simple integral domains, such as $\mathbb{Z}$ or $\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact…

Using an extension of the abundancy index to imaginary quadratic rings with unique factorization, we define what we call $n$-powerfully perfect numbers in these rings. This definition serves to extend the concept of perfect numbers that…

Let $\mathbb{F}_q$ denote the finite field of odd characteristic $p$ with $q$ elements ($q=p^{n},n\in \mathbb{N} $) and $\mathbb{F}_q^*$ represent the nonzero elements of $\mathbb{F}_{q}$. In this paper, by using the Smith normal form we…

In this paper we give an algorithm for enumerating all primitive (positive) definite maximal Z-valued quadratic forms Q in n >= 3 variables with bounded class number h(Q) <= B. We do this by analyzing the exact mass formula [GHY], and…

For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.

We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula…

We prove several rigidity results on multiplier spectrum and length spectrum. For example, we show that for every non-exceptional rational map $f:\mathbb{P}^1(\mathbb{C})\to\mathbb{P}^1(\mathbb{C})$ of degree $d\geq2$, the…

Bhargava parametrized quintic rings over $\mathbb{Z}$ by quadruples of $5\times 5$ alternating matrices. We extend the construction to work similarly over any Dedekind domain $R$. No assumptions are needed on the characteristic of $R$. The…