关于分次本质右理想

设 Ｒ是 Ｇ－分次,本文讨论了环 Ｒ的相关环 Ｒ,Ｒ＃ Ｇ^*, Ｒｅ, Ｑ（Ｒ）, Ｒ^G, Ｒ*Ｇ及 Ｒ的正规化扩张Ｓ的非奇异性,右一致性,右基座之间的关系．当Ｒ_Ｒ是ＹＪ－内射模时,证明了Ｊ（Ｒ）＝Ｚ（Ｒ）。     

Valuation and Pseudovaluation Subrings of an Integral Domain

Let R, S be two rings. We say that R is a valuation subring of S (R is a VD in S, for short) if R is a proper subring of S and whenever x ∈ S, we have x ∈ R or x ^?1 ∈ R. We denote by Nu(R) the set of all nonunit elements of a ring R. We say that R is a pseudovaluation subring of S (R is a PV in S, for short) if R is a proper subring of S and x ^?1 a ∈ R, for each x ∈ S?R, a ∈ Nu(R). This article deals with the study of valuation subrings and pseudovaluation subrings of a ring; interactions between the two notions are also given. Let R be a PV in S; the Krull dimension of the polynomial ring on n indetrminates over R is also computed.     

Left APP differential polynomial rings

A ring R is called a left APP-ring if for each element a∈R, the left annihilator l_R(Ra) is right s-unital as an ideal of R or equivalently R∕l_R(Ra) is flat as a left R-module. In this paper, we show that for a ring R and derivation δ of R, R is left APP if and only if R is δ-weakly rigid and the differential polynomial ring R[x;δ] is left APP. As a consequence, we see that if R is a left APP-ring, then the n^th Weyl algebra over R is left APP. Also we define δ-left APP (resp. p.q.-Baer) rings and we show that R is left APP (resp. p.q.-Baer) if and only if for each derivation δ of R, R is δ-weakly rigid and δ-left APP (resp. p.q.-Baer). Finally we prove that R[x;δ] is left APP (resp. p.q.-Baer) if and only if R is δ-left APP (resp. p.q.-Baer).     

The permutation projective dimension of the quaternionic group

Abstract

Let R be a commutative Noetherian local Gorenstein ring with residue field k. We show that G(k), the Gorenstein injective envelope of k, is an artinian R-module, and we compute G(k) in the case where R = k[[S]] is a semigroup ring and S is symmetric. We also show that a certain subring of the endomorphism ring of G(k) is a complete local (but possibly non-commutative) ring.     

Subrings which are closed with respect to taking the inverse

Let S be a subring of the ring R. We investigate the question of whether S∩U(R)=U(S) holds for the units. In many situations our answer is positive. There is a special emphasis on the case when R is a full matrix ring and S is a structural subring of R defined by a reflexive and transitive relation.     

When is a 2 × 2 Matrix Ring Over a Commutative Local Ring Quasipolar?

A ring R is quasipolar if for any a ∈ R, there exists p ² = p ∈ R such that p ∈ comm²(a), p + a ∈ U(R) and ap ∈ R ^qnil . In this article, we determine when a 2 × 2 matrix over a commutative local ring is quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be quasipolar. Consequently, we obtain several equivalent conditions for the 2 × 2 matrix ring over a commutative local ring to be quasipolar. Furthermore, it is shown that the 2 × 2 matrix ring over the ring of p-adic integers is quasipolar.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

Jordan τ-derivations of Prime Rings

Let R be a prime ring which is not commutative, with maximal symmetric ring of quotients Q _ms (R), and let τ be an anti-automorphism of R. An additive map δ: R → Q _ms (R) is called a Jordan τ-derivation if δ(x ²) = δ(x)x ^τ + xδ(x) for all x ∈ R. A Jordan τ-derivation of R is called X-inner if it is of the form x → ax ^τ ? xa for x ∈ R, where a ∈ Q _ms (R). It is proved that any Jordan τ-derivation of R is X-inner if either R is not a GPI-ring or R is a PI-ring except when charR = 2 and dim  _C RC = 4, where C is the extended centroid of R.     

A Class of Quasipolar Rings

An element a of a ring R is called J-quasipolar if there exists p ² = p ∈ R satisfying p ∈ comm²(a) and a + p ∈ J(R); R is called J-quasipolar in case each of its elements is J-quasipolar. The class of this sort of rings lies properly between the class of uniquely clean rings and the class of quasipolar rings. In particular, every J-quasipolar element in a ring is quasipolar. It is shown, in this paper, that a ring R is J-quasipolar iff R/J(R) is boolean and R is quasipolar. For a local ring R, we prove that every n × n upper triangular matrix ring over R is J-quasipolar iff R is uniquely bleached and R/J(R) ? ?₂. Moreover, it is proved that any matrix ring of size greater than 1 is never J-quasipolar. Consequently, we determine when a 2 × 2 matrix over a commutative local ring is J-quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be J-quasipolar.     

Symplectic algebras and poisson algebras

Abstract

A ring R is called left P-injective if for every a ∈ R, aR = r(l(a)) where l( ? ) and r( ? ) denote left and right annihilators respectively. The ring R is called left GP-injective if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). As a response to an open question on GP -injective rings, an example of a left GP-injective ring which is not left P-injective is given. It is also proved here that a ring R is left FP -injective if and only if every matrix ring 𝕄 _n (R) is left GP-injective.     

On Rings Whose Elements are the Sum of a Unit and a Root of a Fixed Polynomial

A ring R with identity is called “clean” if for every element a ? R there exist an idempotent e and a unit u in R such that a = e + u. Let C(R) denote the center of a ring R and g(x) be a polynomial in the polynomial ring C(R)[x]. An element r ? R is called “g(x)-clean” if r = s + u where g(s) = 0 and u is a unit of R and R is g(x)-clean if every element is g(x)-clean. Clean rings are g(x)-clean where g(x) ? (x ? a)(x ? b)C(R)[x] with a, b ? C(R) and b ? a ? U(R); equivalent conditions for (x² ? 2x)-clean rings are obtained; and some properties of g(x)-clean rings are given.     

A Note on Lie Automorphisms,Subrings, and Lie Ideals of Prime Rings

ABSTRACT

Let R be a prime ring of characteristic not 2 or 3 and L a noncentral Lie ideal of R. Suppose that σ is a Lie automorphism on L such that σ² ? 1 is noncentral on L, where 1 is the identity map, then the subring of R generated by the set {[x ^σ, x] | x ∈ L} contains a nonzero ideal of R.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

Presimplifiable and Cyclic Group Rings

Let R be any commutative ring with identity, and let C be a (finite or infinite) cyclic group. We show that the group ring R(C) is presimplifiable if and only if its augmentation ideal I(C) is presimplifiable. We conjecture that the group rings R(C _n ) are presimplifiable if and only if n = p ^m , p ∈ J(R), p is prime, and R is presimplifiable. We show the necessity of n = p ^m , and we prove the sufficiency when n = 2, 3, 4. These results were made possible by a new formula derived herein for the circulant determinantal coefficients.     

Gaussian Polynomials and Content Ideal in Pullbacks

This article deals mainly with rings (with zerodivisors) in which regular Gaussian polynomials have locally principal contents. Precisely, we show that if (T,M) is a local ring which is not a field, D is a subring of T/M such that qf(D) = T/M, h: T → T/M is the canonical surjection and R = h ^?1(D), then if T satisfies the property “every regular Gaussian polynomial has locally principal content,” then also R verifies the same property. We also show that if D is a Prüfer domain and T satisfies the property “every Gaussian polynomial has locally principal content”, then R satisfies the same property. The article includes a brief discussion of the scopes and limits of our result.     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

Universal Lying-Over Rings

A (commutative unital) ring R is said to satisfy universal lying-over (ULO) if each injective ring homomorphism R → T satisfies the lying-over property. If R satisfies ULO, then R = tq(R), the total quotient ring of R. If a reduced ring satisfies ULO, it also satisfies Property A. If a ring R = tq(R) satisfies Property A and each nonminimal prime ideal of R is an intersection of maximal ideals, R satisfies ULO. If 0 ≤ n ≤ ∞, there exists a reduced (resp., nonreduced) n-dimensional ring satisfying ULO. The A + B construction is used to show that if 2 ≤ n < ∞, there exists an n-dimensional reduced ring R such that R = tq(R), R satisfies Property A, but R does not satisfy ULO.     

Symmetric Elements Under Oriented Involutions in Group Rings

Let RG denote the group ring of a group G over a commutative ring with unity R. Given a homomorphism σ:G → {± 1} and an involution ? of the group G, an oriented invoultion ^σ? of RG is defined in a natural way. We characterize when the set of symmetric elements under this involution is a subring. This gives a unified setting for earlier work of several authors.