Characterization of Some Ring Properties in Incidence Algebras

Let R be a ring with identity and I(X, R) be the incidence algebra of a locally finite partially ordered set X over R. In this article, we investigate the necessary and sufficient conditions for the incidence ring to be Ikeda-Nakayama, nil injective, NI, reduced, nonsingular and Kasch ring.     

Gaussian Property of the Rings R(X) and R〈X〉

The content of a polynomial f over a commutative ring R is the ideal c(f) of R generated by the coefficients of f. A commutative ring R is said to be Gaussian if c(fg) = c(f)c(g) for every polynomials f and g in R[X]. A number of authors have formulated necessary and sufficient conditions for R(X) (respectively, R?X?) to be semihereditary, have weak global dimension at most one, be arithmetical, or be Prüfer. An open question raised by Glaz is to formulate necessary and sufficient conditions that R(X) (respectively, R?X?) have the Gaussian property. We give a necessary and sufficient condition for the rings R(X) and R?X? in terms of the ring R in case the square of the nilradical of R is zero.     

On Gorenstein Projective Dimensions of Unbounded Complexes

Let R → S be a ring homomorphism and X be a complex of R-modules. Then the complex of S-modules S?_R~L X in the derived category D(S) is constructed in the natural way. This paper is devoted to dealing with the relationships of the Gorenstein projective dimension of an R-complex X(possibly unbounded) with those of the S-complex S?_R~L X.It is shown that if R is a Noetherian ring of finite Krull dimension and φ : R → S is a faithfully flat ring homomorphism, then for any homologically degree-wise finite complex X, there is an equality Gpd_RX = GpdS(S?_R~L X). Similar result is obtained for Ding projective dimension of the S-complex S?_R~L X.     

On Commuting Graphs of Finite Matrix Rings

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R and two distinct vertices are joint by an edge whenever they commute. It is conjectured that if R is a ring with identity such that Γ(R) ≈ Γ(M _n (F)), for a finite field F and n ≥ 2, then R ≈ M _n (F). Here we prove this conjecture when n = 2.     

ACCP Rises to the Polynomial Ring if the Ring has Only Finitely Many Associated Primes

Abstract

We show for a commutative ring R with unity: If R satisfies the ascending chain condition on principal ideals (accp) and has only finitely many associated primes, then for any set of indeterminates X the polynomial ring R[X] also satisfies accp. Further we show that accp rises to the power series ring R[[X]] if R satisfies accp and the ascending chain condition on annihilators.     

On the integral dependence of power series rings

We prove the following results: (1) Let R ? S be two commutative rings. Suppose that dim R = 0.If f(X) ∈ S[[X]]is integral over R[[X]], then every coefficient of f(X) is integral over R. (2) Let dim R ≥ 1. There exists a ring S containing R and a power series f(X) ∈ S[[X]]such that f(X) is integral over R[[X]], but not all coefficients of f(X) are integral over R. (3) Let k ? R. Suppose that R is algebraic over the field k. Then R[[X]] is integral over k[[X]] if and only if the nilradical of R is nilpotent and the separable degree and the inseparable exponent of R _red over k are finite.     

The Structure of Finite Local Principal Ideal Rings

A ring R is called a principal ideal ring (PIR), if each ideal of R is a principal ideal. A local ring (R, 𝔪) is an artinian PIR if and only if its maximal ideal 𝔪 is principal and has finite nilpotency index. In this article, we determine the structure of a finite local PIR.     

Krull Dimension in Power Series Ring Over an Almost Pseudo-Valuation Domain

Let R be an integral domain. We say that R is a star-domain if R has at least a height one prime ideal and if for each height one prime ideal P of R, R satisfies the acc on P-principal ideals (i.e., ideals of the form aP, a ∈ R). We prove that if R is an APVD with nonzero finite Krull dimension, then the power series ring R[[X]] has finite Krull dimension if and only if R is a residually star-domain (i.e., for each nonmaximal prime ideal P of R, R/P is a star-domain) if and only if R[[X]] is catenarian.     

Sufficient conditions for the projective freeness of Banach algebras

Let R be a unital semi-simple commutative complex Banach algebra, and let M(R) denote its maximal ideal space, equipped with the Gelfand topology. Sufficient topological conditions are given on M(R) for R to be a projective free ring, that is, a ring in which every finitely generated projective R-module is free. Several examples are included, notably the Hardy algebra H^∞(X) of bounded holomorphic functions on a Riemann surface of finite type, and also some algebras of stable transfer functions arising in control theory.     

Strongly Clean Property and Stable Range One of Some Rings

Let R be an associative ring with identity. An element a ∈ R is called clean if a = e + u with e an idempotent and u a unit of R, and a is called strongly clean if, in addition, eu = ue. A ring R is clean if every element of R is clean, and R is strongly clean if every element of R is strongly clean. When is a matrix ring over a strongly clean ring strongly clean? Does a strongly clean ring have stable range one? For these open questions, we prove that 𝕄 _n (C(X)) is strongly π-regular (hence, strongly clean) where C(X) is the ring of all real valued continuous functions on X with X a P-space; C(X) is clean iff it has stable range one; and a unital C*-algebra in which every unit element is self-adjoint is clean iff it has stable range one. The criteria for the ring of complex valued continuous functions C(X,?) to be strongly clean is given.     

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.     

When R(X) and R⟨X⟩ are Clean: A Constructive Treatment

For R a commutative ring, we give constructive proofs that R(X) is clean exactly when R is clean, and that R ? X ? is clean exactly when R is zero dimensional. We also give a constructive proof of the known result that R(X) = R ? X ? exactly when R is zero dimensional. By a constructive proof we mean one that is carried out within the context of intuitionistic logic. In practice, this means that the arguments are arithmetic rather than ideal theoretic.     

A Note on rings of finite rank

The rank rk(R) of a ring R is the supremum of minimal cardinalities of generating sets of I as I ranges over ideals of R. Matsuda and Matson showed that every n∈?⁺ (the positive integers) occurs as the rank of some ring R. Motivated by the result of Cohen and Gilmer that a ring of finite rank has Krull dimension 0 or 1, we give four different constructions of rings of rank n (for all n∈?⁺). Two constructions use one-dimensional domains. Our third construction uses Artinian rings (dimension zero), and our last construction uses polynomial rings over local Artinian rings (dimension one, irreducible, not a domain).     

Polynomials Contained in a Finite Number of Maximal Ideals

Abstract

Let R[X] be a polynomial ring in one variable over a commutative ring R. If (R,?) is a local ring then any Weierstrass polynomial in R[X] is contained only in the maximal ideal (?,X) of R[X]. We generalise this property of Weierstrass polynomials and investigate properties of polynomials contained in a finite number of maximal ideals in R[X].     

Pullbacks of Arithmetical Rings

We give necessary and sufficient conditions that the pullback of a conductor square be a chain ring (i.e., a ring whose ideals are totally ordered by inclusion). We also give necessary and sufficient conditions that the pullback of a conductor square be an arithmetical ring (i.e., a ring which is locally a chain ring at every maximal ideal). For any integral domain D with field of fractions K, we characterize all Prüfer domains R between D[X] and K[X] such that the conductor C of K[X] into R is nonzero. As an application, we show that for n ≥ 2, such a ring R has the n-generator property (every finitely generated ideal can be generated by n elements) if and only if R/C has the same property.     

Homomorphic images of subdirectly irreducible rings

We prove that every ring is a proper homomorphic image of some subdirectly irreducible ring. We also show that a finite ring R does not need to be isomorphic to the factor of a subdirectly irreducible ring by its monolith as well as R does not need to be a homomorphic image of a finite subdirectly irreducible ring. We provide an analogous characterization also for varieties of rings with unity, for the quasiregular rings, for the rings with involution and for their subvarieties of commutative rings.     

Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

Strong Cleanness of Matrix Rings Over Commutative Rings

Let R be a commutative local ring. It is proved that R is Henselian if and only if each R-algebra which is a direct limit of module finite R-algebras is strongly clean. So, the matrix ring 𝕄 _n (R) is strongly clean for each integer n > 0 if R is Henselian and we show that the converse holds if either the residue class field of R is algebraically closed or R is an integrally closed domain or R is a valuation ring. It is also shown that each R-algebra which is locally a direct limit of module-finite algebras, is strongly clean if R is a π-regular commutative ring.     

Characterizations of schunck classes of finite groups

We prove a number of results concerning Armendariz rings and Gaussian rings. Recall that a (commutative) ring R is (Gaussian) Armendariz if for two polynomials f,g∈R[X] (the ideal of R generated by the coefficients of f g is the product of the ideals generated by the coefficients of f and g) fg = 0 implies a _i b _j=0 for each coefficient a _i of f and b _j of g. A number of examples of Armendariz rings are given. We show that R Armendariz implies that R[X] is Armendariz and that for R von Neumann regularR is Armendariz if and only if R is reduced. We show that R is Gaussian if and only if each homomorphic image of R is Armendariz. Characterizations of when R[X] and R[X] are Gaussian are given.     

On the Finiteness of Noetherian Rings with Finitely Many Regular Elements

Let R be a left Noetherian ring and ZD(R) be the set of all zero-divisors of R. In this paper, it is shown that if R \ ZD(R) is finite, then R is finite.