Related papers: Rationality problem for norm one tori in small dim…
Strict-Tolerant Logic (ST) underpins naive theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) without jettisoning any classically valid laws. The classical…
We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of…
Let $G$ be a finite group and $k$ be a field. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field $k(G)=k(x_g:g\in…
We define an extension of parity from the integers to the rational numbers. Three parity classes are found -- even, odd and `none'. Using the 2-adic valuation, we partition the rationals into subgroups with a rich algebraic structure. The…
We propose an approach for showing rationality of an algebraic variety $X$. We try to cover $X$ by rational curves of certain type and count how many curves pass through a generic point. If the answer is $1$, then we can sometimes reduce…
It is shown that the first $n$ prime numbers $p_1,...,p_n$ determine the next one by the recursion equation $$ p_{n+1} =\lim\limits_{s\to +\infty} [\prod\limits^n_{k=1} (1-\frac{1}{p^s_k}) \sum\limits^\infty_{j=1} \frac{1}{j^s} -1]^{-1/s}.…
We generalize a Theorem of Ricci and count Gaussian primes $\mathfrak{p}$ with short interval restrictions on both the norm and the argument of $\mathfrak{p}$.
Let G be the product of an abelian variety and a torus defined over a number field K. Let R_1,..., R_n be points in G(K). Let l be a rational prime and let a_1,..., a_n be non-negative integers. Consider the set of primes p of K satisfying…
Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…
Let $\alpha \in (0,1)_{\mathbb{R}}$ be irrational and $G_n = G_{n,1/n^\alpha}$ be the random graph with edge probability $1/n^\alpha$; we know that it satisfies the 0-1 law for first order logic. We deal with the failure of the 0-1 law for…
In a 2011 paper published in the journal "Asian Journal of Algebra"(see reference[1]), the authors consider, among other equations,the diophantine equations 2xy=n(x+y) and 3xy=n(x+y). For the first equation, with n being an odd positive…
Let $k$ be a field and $T$ be an algebraic $k$-torus. In 1969, over a global field $k$, Voskresenskii proved that there exists an exact sequence $0\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 0$ where $A(T)$ is the kernel of…
We prove that if $\rho\neq1/2$ is a rational number between zero and one, then there is no integer $n>1$ such that $$ n\tan(\pi\rho)=\tan(n\pi\rho). $$ This has interpretations both in the theory of bicycle curves and that of mathematical…
We discuss some examples that illustrate the countability of the positive rational numbers and related sets. Techniques include radix representations, Godel numbering, the fundamental theorem of arithmetic, continued fractions, Egyptian…
We describe a primality test for number $M=(2p)^{2^n}+1$ with odd prime $p$ and positive integer $n$. And we also give the special primality criteria for all odd primes $p$ not exceeding 19. All these primality tests run in polynomial time…
We establish the existence of an irreducible representation of $A_n$ whose dimension does not occur as the dimension of an irreducible representation of $S_n$, and vice versa. This proves a conjecture by Tong-Viet. The main ingredient in…
We consider the problem of finding integer triangles with $R/r$ a positive rational, where $R$ and $r$ are the radii of the circumcircle and an excircle, respectively. We show that for general triangles $R/r>1/4$ applies. The equation…
We give a simple criterion on the set of probability tangent measures $\mathrm{Tan}(\mu,x)$ of a positive Radon measure $\mu$, which yields lower bounds on the Hausdorff dimension of $\mu$. As an application, we give an elementary and…
It is a classical result (apparently due to Tate) that all elliptic curves with a torsion point of order n ($4 \leq n \leq 10$, or n = 12) lie in a one-parameter family. However, this fact does not appear to have been used ever for…
Let p be an odd prime, let S be a finite set of primes q congruent to 1 mod p but not mod p^2 and let G_S be the Galois group of the maximal p-extension of Q un-ramified outside of S. If r is a continuous homomorphism of G_S into GL_2(Z_p)…