On the Multiplicative Monoid of n×n Matrices Over Artinian Chain Rings

Let R be an Artinian chain ring with a principal maximal ideal. We investigate properties of matrices over R and give matrix representations of R-submodules of R ⁿ first, then consider Green's relations, Green's relation equivalent classes, Schützenberger groups of 𝒟-classes, principal factors, and group ?-classes of the multiplicative monoid M _n (R) of n × n matrices over R. Furthermore, we show that M _n (R) is an eventually regular semigroup and derive basic numerical information of M _n (R) when R is finite.     

F q [M 2], F q [GL 2], and F q [SL 2] as Quantized Hyperalgebras

A ring R is called right Johns if R is right noetherian and every right ideal of R is a right annihilator. R is called strongly right Johns if the matrix ring M _n (R) is right Johns for each integer n ≥ 1. The Faith–Menal conjecture is an open conjecture on QF rings. It says that every strongly right Johns ring is QF. It is proved that the conjecture is true if every closed left ideal of the ring R is finitely generated. This result improves the known result that the conjecture is true if R is a left CS ring.     

A Note on the Associated Primes of Local Cohomology Modules

In this note we give a simple proof of the following result: Let R be a commutative Noetherian ring,  an ideal of R and M a finite R-module, if H_ ⁱ (M) has finite support for all i < n, then Ass(H_ ⁿ (M)) is finite.     

Annihilators of power values of derivations in prime rings

In this paper we prove some results concerning annihilators of power values of derivations in prime rings. The following main theorem establishes a unified version of several earlier results in the literature:Let R be a prime ring with center Z and with extended centroid C,Q, its two-sided Martindale quotient ring, ρ a nonzero right ideal of R and D a nonzero derivation of R.Suppose that aD([x,y])ⁿ ∈ Z (D([x,y])ⁿa ∈ Z) for all x,y∈ρ where a∈Rand n is a fixed positive integer. If [ρ,ρ]ρ ≠ 0 and dim _C RC >4, then either aD(ρ) = 0 (a = 0 resp.) or D= ad(p) for some p∈ Qsuch that pρ = 0.     

On Artinian generalized local cohomology modules

Let R be a commutative Noetherian ring with non-zero identity and a be a maximal ideal of R. An R-module M is called minimax if there is a finitely generated submodule N of M such that M/N is Artinian. Over a Gorenstein local ring R of finite Krull dimension, we proved that the Socle of H _a ⁿ (R) is a minimax R-module for each n ≥ 0.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

On small matrix subalgebras with a trivial centralizer

Given an integer n?≥?3, we investigate the minimal dimension of a subalgebra of M _n (𝕂) with a trivial centralizer. It is shown that this dimension is 5 when n is even and 4 when it is odd. In the latter case, we also determine all 4-dimensional subalgebras with a trivial centralizer.     

Minimal Overrings of an Integrally Closed Domain

Abstract

The main purpose of this paper is to characterize minimal overrings of an integrally closed domain R. We show that there exists a strong relationship between minimal overrings and the notion of ideal transforms. In particular, we prove that if T(M) = S(M) for each maximal ideal M, then there is a bijective correspondence between the set of invertible maximal ideals of R and the set of minimal overrings of R. This study enables us to produce several interesting applications concerning semi-local, Dedekind, Prüferian and Krull domains. Moreover, we investigate the spectrum of a minimal overring in comparison with the spectrum of R, and we determine whether the polynomial ring R[X ₁, X ₂,…, X _n ] has a minimal overring.     

Zero-Divisor Graphs of Matrices Over Commutative Rings

We investigate the properties of (directed) zero-divisor graphs of matrix rings. Then we use these results to discuss the relation between the diameter of the zero-divisor graph of a commutative ring R and that of the matrix ring M _n (R).     

Square-zero derivations of matrix algebras over commutative rings

Let R be a commutative ring with identity, M _n (R) the R-algebra consisting of all n by n matrices over R. In this article, for n ≥ 5 we classify linear maps φ from M _n (R) into itself satisfying φ(x)x + xφ(x) = 0 whenever x ² = 0. We call such maps as square-zero derivations.     

On Weak Armendariz Rings

We introduce weak Armendariz rings which are a generalization of semicommutative rings and Armendariz rings, and investigate their properties. Moreover, we prove that a ring R is weak Armendariz if and only if for any n, the n-by-n upper triangular matrix ring T _n (R) is weak Armendariz. If R is semicommutative, then it is proven that the polynomial ring R[x] over R and the ring R[x]/(x ⁿ ), where (x ⁿ ) is the ideal generated by x ⁿ and n is a positive integer, are weak Armendariz.     

ON NEAR-RINGS WITH MATRIX UNITS

Abstract

In ring theory it is well known that a ring R with identity is isomorphic to a matrix ring if and only if R has a set of matrix units. In this paper, the above result is extended to matrix near-rings and it is proved that a near-ring R with identity is isomorphic to a matrix near-ring if and only if R has a set of matrix units and satisfies two other conditions. As a consequence of this result several examples of matrix near-rings are given and for a finite group (Γ, +) with o(Γ) > 2 it is proved that M₀ (Γⁿ) is (isomorphic to) a matrix near-ring.     

EXTENSIONS OF CLEAN RINGS

It is shown that if e is an idempotent in a ring R such that both eRe and (1 ? e)R(1 ? e) are clean rings, then R is a clean ring. This implies that the matrix ring M _n (R) over a clean ring is clean, and it gives a quick proof that every semiperfect is clean. Other extensions of clean rings are studied, including group rings.     

On Skew Triangular Matrix Rings

For a ring R, endomorphism α of R and positive integer n we define a skew triangular matrix ring T _n (R, α). By using an ideal theory of a skew triangular matrix ring T _n (R, α) we can determine prime, primitive, maximal ideals and radicals of the ring R[x; α]/ ? x ⁿ  ?, for each positive integer n, where R[x; α] is the skew polynomial ring, and ? x ⁿ  ? is the ideal generated by x ⁿ .     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

Semiclean Rings

Abstract

The notion of semiclean elements in a ring is defined. Every clean element is semiclean. A ring R is said to be semiclean if every element in R is semiclean. The group ring Z _p G with G a cyclic group of order 3 is proved to be semiclean. The n × n matrix ring M _n (R) over a semiclean ring is semiclean. If R is a torsion free semiclean ring in which every element of R can be written as a sum of periodic and ±1, then R is clean. Every element in a semiclean ring R with 2 invertible is a sum of no more than 3 units.     

On the Matlis duals of local cohomology modules and modules of generalized fractions

Let (R, m) be a commutative Noetherian local ring with non-zero identity, a a proper ideal of R and M a finitely generated R-module with aM ≠ M. Let D(−) ≔ Hom _R (−, E) be the Matlis dual functor, where E ≔ E(R/m) is the injective hull of the residue field R/m. In this paper, by using a complex which involves modules of generalized fractions, we show that, if x ₁, …, x _n is a regular sequence on M contained in α, then H _{(x1, …,xnR} ⁿ D(H _a ⁿ (M))) is a homomorphic image of D(M), where H _b ⁱ (−) is the i-th local cohomology functor with respect to an ideal b of R. By applying this result, we study some conditions on a certain module of generalized fractions under which D(H _{(x1, …,xn)R} ⁿ (D(H _a ⁿ (M)))) ⋟ D(D(M)).     

Diagonal reductions of matrices over exchange ideals

In this paper, we introduce related comparability for exchange ideals. Let I be an exchange ideal of a ring R. If I satisfies related comparability, then for any regular matrix A ∈ M _n (I), there exist left invertible U ₁; U ₂ ∈ M _n (R) and right invertible V ₁, V ₂ ∈ M _n (R) such that U ₁ V ₁ AU ₂ V ₂ = diag(e ₁,..., e _n ) for idempotents e ₁,..., e _n ∈ I.     

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.