اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدA negative result on algebraic specifications of the meadow of rational numbers
328
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
$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$.
قيم البحث
اقرأ أيضاً
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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
