Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA negative result on algebraic specifications of the meadow of rational numbers
374
0
0.0
(
0
)
Added by
Inge Bethke
Publication date
2015
fields
Informatics Engineering
and research's language is
English
Ask ChatGPT about the research
No Arabic abstract
$mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ cdots +1+x^2)cdot (1+ cdots +1 +x^2)^{-1}=1$.
rate research
Read More
Let $b ge 2$ and $ell ge 1$ be integers. We establish that there is an absolute real number $K$ such that all the partial quotients of the rational number $$ prod_{h = 0}^ell , (1 - b^{-2^h}), $$ of denominator $b^{2^{ell+1} - 1}$, do not exceed $exp(K (log b)^2 sqrt{ell} 2^{ell/2})$.
The set HLie(n) of the n-dimensional Hom-Lie algebras over an algebraically closed field of characteristic zero is provided with a structure of algebraic subvariety of the affine plane of dimension n^2(n-1)/2}. For n=3, these two sets coincide, for n=4 it is an hypersurface in K^{24}. For n>4, we describe the scheme of polynomial equations which define HLie(n). We determine also what are the classes of Hom-Lie algebras which are P-algebras where P is a binary quadratic operads.
Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuels Conjecture, and an adapted form of existential closure. Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the algebraic numbers that still have similarities with complex exponentiation. The main difficulties are related to the arithmetic of algebraic numbers, and they can be overcome with known results about specialisations of multiplicatively independent functions on algebraic varieties.
We show how singularities shape the evolution of rational discrete dynamical systems. The stabilisation of the form of the iterates suggests a description providing among other things generalised Hirota form, exact evaluation of the algebraic entropy as well as remarkable polynomial factorisation properties. We illustrate the phenomenon explicitly with examples covering a wide range of models.
We study the ring of algebraic functions on the space of persistence barcodes, with applications to pattern recognition.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
