Related papers: Why all rings should have a 1
We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that…
Let $R$ be a unital ring with involution.In this paper, several new necessary and sufficient conditions for the existence of the Moore-Penrose inverse of an element in a ring $R$ are given.In addition, the formulae of the Moore-Penrose…
Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi…
We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…
In 2011, Khurana, Lam and Wang define the following property. (*)A commutative unital ring A satisfies the property ''power stable range one'' if for all a, b $\in$ A with aA + bA = A there are an integer N = N (a, b) $\ge$ 1 and $\lambda$…
In this paper, we introduced the concept of a $p$-ideal for a given ring. We provide necessary and sufficient condition for $\dfrac{R[x]}{(f(x))}$ to be a $p$-ring, where $R$ is a finite $p$-ring. It is also shown that the amalgamation of…
A ring element $\,a\in R\,$ is said to be of {\it right stable range one\/} if, for any $\,t\in R$, $\,aR+tR=R\,$ implies that $\,a+t\,b\,$ is a unit in $\,R\,$ for some $\,b\in R$. Similarly, $\,a\in R\,$ is said to be of {\it left stable…
A ring $R$ is periodic provided that for any $a\ in R$ there exist distinct elements $m,n \in {\Bbb N}$ such that $a^m=a^n$. We shall prove that periodicity is inherited by a type of generalized matrix rings.We define strongly periodic…
We give a brief survey of primitivity in ring theory and in particular look at characterizations of primitive ideals in the prime spectrum for various classes of rings.
In this note we give a simple proof of the fact that local rings of dimension one have the strong uniform Artin-Rees property. Moreover, we give two examples of rings of dimension two where the property fails.
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…
We describe all possible ways how a ring can be expressed as the union of three of its proper subrings. This is an analogue for rings of a 1926 theorem of Scorza about groups. We then determine the minimal number of proper subrings of the…
A map $f\colon R\to S$ between (associative, unital, but not necessarily commutative) rings is a\emph{brachymorphism} if $f(1+x)=1+f(x)$ and $f(xy)=f(x)f(y)$ whenever $x,y\in R$. We tackle the problem whether every brachymorphism is…
In this paper, we introduce a strong property $(A)$ and we study the transfer of property $(A)$ and strong property $(A)$ in trivial ring extensions and amalgamated duplication of a ring along an ideal. We also exhibit a class of rings…
In this paper, we address the additivity of $n$-multiplicative isomorphisms and $n$-multiplicative derivations on Gamma rings. We proved that, if $\M$ is a $\Gamma$-ring satisfying the some conditions, then any $n$-multiplicative…
A ring $R$ is said to be centrally essential if for every its non-zero element $a$, there exist non-zero central elements $x$ and $y$ with $ax = y$. A ring $R$ is said to be completely centrally essential if all its factor rings are…
The main result of this paper is to show that all binomial identities are orderable. This is a natural statement in the combinatorial theory of finite sets, which can also be applied in distributed computing to derive new strong bounds on…
In the present paper, as a generalization of the classical periodic rings, we explore those rings whose elements are additively generated by two (or more) periodic elements by calling them additively periodic. We prove that, in some major…
We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their…
We propose the notion of partial resolution of a ring, which is by definition the endomorphism ring of a certain generator of the given ring. We prove that the singularity category of the partial resolution is a quotient of the singularity…