Related papers: The Eudoxus Reals
In this paper, we provide several new characterizations of the maximal right ring of quotients of a ring by using the relatively dense property. As a ring is embedded in its maximal right ring of quotients, we show that the endomorphism…
We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…
In the model of synthetic differential geometry consisting of sheaves (with respect to open covers) over the opposite category of the category of closed finitely generated C-infinity rings, any morphism from S, the zeroes of the "amazing…
We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more…
The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring…
In this paper, we extend the investigation of four-dimensional partially alternative algebras $\mathcal A$ initiated in \cite{HNT}. The partial alternativity condition, a natural generalization of the alternativity axiom, broadens the class…
The Riordan group is the semi-direct product of a multiplicative group of invertible series and a group, under substitution, of non units. The Riordan near algebra, as introduced in this paper, is the Cartesian product of the algebra of…
We attach a ring of sequences to each number from a certain class of extremal real numbers, and we study the properties of this ring both from an analytic point of view by exhibiting elements with specific behaviors, and also from an…
Let $G$ be a finite group, $A$ a finite abelian group. Each homomorphism $\phi:G\to A\wr S_n$ induces a homomorphism $\bar{\phi}:G\to A$ in a natural way. We show that as $\phi$ is chosen randomly, then the distribution of $\bar{\phi}$ is…
Let (X,d) be a metric space and (\Omega, d) a compact subspace of X which supports a non-atomic finite measure m. We consider `natural' classes of badly approximable subsets of \Omega. Loosely speaking, these consist of points in \Omega…
We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that…
We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects…
The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the…
A left and right noetherian semiperfect ring R is known to be indecomposable if and only if its factor by the second power of Jacobson radical is. This characterisation is used to study simple R-modules in terms of their Ext groups. It is…
In this article we demonstrate a way to extend the AbC (approximation by conjugation) method invented by Anosov and Katok from the smooth category to the category of real-analytic diffeomorphisms on the torus. We present a general framework…
The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the…
Virtual racks and virtual quandles are nonassociative algebraic structures based on the Reidemeister moves of virtual knots. In this note, we enumerate virtual dihedral quandles and several families of virtual permutation racks and virtual…
In [15], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field No of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be…
It is proved that if A_p is a countable elementary abelian p-group, then: (i) The ring End(A_p) does not admit a nondiscrete locally compact ring topology. (ii) Under (CH) the simple ring End(A_p)/I, where I is the ideal of End(A_p)…
On a (pseudo-)Riemannian manifold (M,g), some fields of endomorphisms i.e. sections of End(TM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A…