Related papers: On rational functional identities involving invers…

This is part of an ongoing project to find a general algebraic framework for semiring theory. The structure theory of semirings is quite challenging, largely because of the lack of negation, and such basic properties such as unique…

Let $R$ be a ring with identity and $J(R)$ be its Jacobson radical. Assume that $a\in R$ is $(b,c)$-invertible and $j_a,j_b,j_c\in J(R)$. This paper provides necessary and sufficient conditions for $a+j_a$ to be $(b+j_b,c+j_c)$-invertible.…

Let M be a module over a commutative ring R. In this paper, we continue our study of annihilating-submodule graph AG(M) which was introduced in (The Zariski topology-graph of modules over commutative rings, Comm. Algebra., 42 (2014),…

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

Let $R$ be a commutative ring with ${\Bbb{A}}(R)$ its set of ideals with nonzero annihilator. In this paper and its sequel, we introduce and investigate the {\it annihilating-ideal graph} of $R$, denoted by ${\Bbb{AG}}(R)$. It is the…

Let $R$ be a ring with involution containing a nontrivial symmetric idempotent element $e$. Let $\delta: R\rightarrow R$ be a mapping such that $\delta(ab)=\delta(b)a^{\ast}+b^{\ast}\delta(a)$ for all $a,b\in R$, we call $\delta$ a…

Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K…

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

In this paper, a theory of realization and minimal factorization of rational matrix-valued functions which are $J$-unitary on the imaginary line or on the unit circle is extended to the setting of non-commutative rational formal power…

We show that a ring $R$ is regular if $Tor_{i}^{R}(R^{+},k) = 0$ for some $i\geq 1$ assuming further that $R$ is a $\mathbb{N}$-graded ring of dimension $2$ finitely generated over an equi-characteristic zero field $k$. This answers a…

In previous papers, the author showed that in many cases of interest there exists an isomorphism between certain path algebras related to the structure of the subregular J-rings of Coxeter systems and matrix rings over a free product of…

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…

In this paper we show that every object in the dg category of relative singularities Sing$(B,\underline{f})$ associated to a pair $(B,\underline{f})$, where $B$ is a ring and $\underline{f}\in B^n$, is equivalent to a retract of a…

Let $\mathcal{R}$ be a $2$-torsion free commutative ring with unity, $X$ a locally finite pre-ordered set and $I(X,\mathcal{R})$ the incidence algebra of $X$ over $\mathcal{R}$. If $X$ consists of a finite number of connected components, in…

We study the ring of rational functions admitting a continuous extension to the real affine space. We establish several properties of this ring. In particular, we prove a strong Nullstelensatz. We study the scheme theoretic properties and…

We provide a complete classification of matrix semirings $\mathbf{M}_n(S)$ over two-element additively idempotent semirings $S$ with respect to the finite basis property.Our main theorem shows that for every integer $n \geq 2$,the semiring…