TL;DR: In this paper, it was shown that if a ring R has no nonzero nilpotent elements, satisfies a polynomial identity and has a Baer ring as center, then R must be a P.P.-ring.
Abstract: Baer rings are rings in which the left (right) annihilator of each subset is generated by an idempotent [6]. Closely related to Baer rings are left P.P.-rings; these are rings in which each principal left ideal is projective, or equivalently, rings in which the left annihilator of each element is generated by an idempotent. Both Baer and P.P.-rings have been extensively studied (e.g. [2], [1], [3], [7]) and it is known that both of these properties are not stable relative to the formation of polynomial rings [5]. However we will show that if a ring R has no nonzero nilpotent elements then R[X] is a Baer or P.P.-ring if and only if R is a Baer or P.P.-ring. This generalizes a result of S. Jondrup [5] who proved stability for commutative P.P.-rings via localizations – a technique which is, of course, not available to us. We also consider the converse to the well-known result that the center of a Baer ring is a Baer ring [6] and show that if R has no nonzero nilpotent elements, satisfies a polynomial identity and has a Baer ring as center, then R must be a Baer ring. We include examples to illustrate that all the hypotheses are needed.
TL;DR: In this paper, the authors investigate the class of piecewise prime, PWP, rings which properly includes all piecewise domains (hence all right hereditary rings which are semiprimary or right Noetherian), and determine a large class of ring extensions which have a generalized triangular matrix representation for which the diagonal rings are prime.
TL;DR: A negative answer to the question of whether a monoid algebra over a field F is atomic provided that both M and R are atomic dates back to the 1980s and was shown in this paper.
TL;DR: In this paper, the authors introduced M-Armendariz rings, which are generalizations of Armendariz ring, and investigated their properties for a monoid M and showed that every reduced ring is M-armendariz for any unique product monoid, where N is a unique monoid.
Abstract: For a monoid M, we introduce M-Armendariz rings, which are generalizations of Armendariz rings; and we investigate their properties. Every reduced ring is M-Armendariz for any unique product monoid M. We show that if R is a reduced and M-Armendariz ring, then R is M × N-Armendariz, where N is a unique product monoid. It is also shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-Armendariz. Moreover, we study the relationship between the Baerness and the PP-property of a ring R and those of the monoid ring R[M] in case R is M-Armendariz.
TL;DR: In this article, a general construction of a fractional skew monoid ring is given, extending the usual constructions of skew group rings and of skew semigroup rings, with the property that, for each component of a subsemigroup of a group, the left and right invertible elements of the components contain a left and a right inverted element, respectively.
Abstract: Given an action of a monoid $T$ on a ring $A$ by ring endomorphisms, and an Ore subset $S$ of $T$, a general construction of a fractional skew monoid ring $S^{\rm op} * A * T$ is given, extending the usual constructions of skew group rings and of skew semigroup rings. In case $S$ is a subsemigroup of a group $G$ such that $G=S^{-1}S$, we obtain a $G$-graded ring $S^{\rm op} * A * S$ with the property that, for each $s\in S$, the $s$-component contains a left invertible element and the $s^{-1}$-component contains a right invertible element. In the most basic case, where $G$ is the additive group of integers and $S=T$ is the submonoid of nonnegative integers, the construction is fully determined by a single ring endomorphism $\alpha$ of $A$. If $\alpha $ is an isomorphism onto a proper corner $pAp$, we obtain an analogue of the usual skew Laurent polynomial ring, denoted by $A[t_+,t_-;\alpha]$. Examples of this construction are given, and it is proven that several classes of known algebras, including the Leavitt algebras of type $(1,n)$, can be presented in the form $A[t_+,t_-;\alpha]$. Finally, mild and reasonably natural conditions are obtained under which $S^{\rm op} * A * S$ is a purely infinite simple ring.