Non-commutative Henselian rings are defined and it is shown that a local ring which is complete and separated in the topology defined by its maximal ideal is Henselian provided that it is almost commutative.
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 $\mathbb{M}_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.
The literature about strongly clean matrices over commutative rings is quite extensive. The sharpest results are about matrices over commutative local rings, for example those by Borooah, Diesl and Dorsey. The purpose of this note is to show that, using Pierce sheaf techniques, many of the known results about matrices over commutative local rings can be extended to those over commutative clean rings in general.
In this paper, the determinants of $n\times n$ matrices over commutative finite chain rings and over commutative finite principal ideal rings are studied. The number of $n\times n$ matrices over a commutative finite chain ring ${R}$ of a fixed determinant $a$ is determined for all $a\in {R}$ and positive integers $n$. Using the fact that every commutative finite principal ideal ring is a product of commutative finite chain rings, the number of $n\times n$ matrices of a fixed determinant over a commutative finite principal ideal ring is shown to be multiplicative, and hence, it can be determine…
It is shown that every commutative arithmetic ring $R$ has $lambda$-dimension $ leq 3$. An example of a commutative Kaplansky ring with $ lambda$-dimension 3 is given. If $R$ satisfies an additional condition then $ lambda$-dim($R$)
A ring $R$ is called strongly clean if every element of $R$ is the sum of a unit and an idempotent that commute. By {\rm SRC} factorization, Borooah, Diesl, and Dorsey \cite{BDD051} completely determined when ${\mathbb M}_n(R)$ over a commutative local ring $R$ is strongly clean. We generalize the notion of {\rm SRC} factorization to commutative rings, prove that commutative $n$-{\rm SRC} rings $(n\ge 2)$ are precisely the commutative local rings over which ${\mathbb M}_n(R)$ is strongly clean, and characterize strong cleanness of matrices over commutative projective-free rings having {\rm ULP…
The purpose of this article is to define and examine graded almost prime ideals over a non-commutative graded ring, and consider some cases where all graded right ideals of a non-commutative graded ring are graded almost prime.
If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.
In this paper we introduce the semi-graded rings, which extend graded rings and skew PBW extensions. For this new type of non-commutative rings we will discuss some basic problems of non-commutative algebraic geometry. In particular, we will prove some elementary properties of the generalized Hilbert series, Hilbert polynomial and Gelfand-Kirillov dimension. We will extended the notion of non-commutative projective scheme to the case of semi-graded rings and we generalize the Serre-Artin-Zhang-Verevkin theorem. Some examples are included at the end of the paper.
For commutative graded rings, the concept of graded $2$-absorbing (graded weakly $2$-absorbing) ideals was introduced and examined by Al-Zoubi, Abu-Dawwas and Çeken (Hacettepe Journal of Mathematics and Statistics, 48 (3) (2019), 724-731) as a generalization of the concept of graded prime (graded weakly prime) ideals. Up to now, research on these topics mainly concentrated on commutative graded rings. On the other hand, graded prime ideals over non-commutative graded rings have been introduced and examined by Abu-Dawwas, Bataineh and Al-Muanger (Vietnam Journal of Mathematics, 46 (3) (2018), 6…
We generalize the Wiener-Hopf factorization of Laurent series to more general commutative coefficient rings, and we give explicit formulas for the decomposition. We emphasize the algebraic nature of this factorization.
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and submodules. In the case of modules a natural bijective correspondence between these posets and posets of projections is established.
An element $a\in R$ is provided that there exists an idempotent $e\in R$ such that $a-e\in U(R), ae=ea$ and $eae\in J(eRe)$. In this article, we investigate strongly rad-clean matrices over a commutative local ring. We completely determine when a $2\times 2$ matrix over a commutative local ring is strongly rad-clean.
The purpose of this work is to extend the study of the commutative rings whose lattice of ideals can be a structure of BL-algebra as carry out by Heubo et al in 2018, to non commutative rings appointed in the work as pseudo BL-rings. We study and characterize rings whose ideals form a pseudo BL-algebra, we describe them in terms of their subdirectly irreductible factors. We obtain that these are (up to isomorphism) to a subring of a direct sums of unitary special primary rings and discrete valuation ring.
The aim of this paper is to analize the structure of BL-algebras using commutative rings. From computational considerations, we are very interested in the finite case. We present new ways to generate finite BL-algebras using commutative rings and we give summarizing statistics. Furthermore, we investigated BL-rings, i.e., commutative rings whose the lattice of ideals can be equiped with a structure of BL-algebra. A new characterization for these rings and their connections to other classes of rings are established. Also, we give examples of finite BL-rings for which their lattice of ideals is …
In this paper we compute the sum of the $k$-th powers over any finite commutative unital rings, thus generalizing known results for finite fields, the rings of integers modulo $n$ or the ring of Gaussian integers modulo $n$. As an application we focus on quotient rings of the form $\mathbb{Z}/n\mathbb{Z}[x]/(f(x))$ for any polynomial $f\in\mathbb{Z}[x]$
In this article, we show that for a partial skew group ring R*G, where R is a commutative ring, each non-zero ideal of R*G intersects R non-trivially if and only if R is a maximal commutative subring of R*G. As a consequence, we obtain necessary and sufficient conditions for simplicity; the partial skew group ring R*G is simple if and only if R is a G-simple and maximal commutative subring of R*G. We thereby generalize our previous results for skew group rings, to partial skew group rings which are not necessarily unital.
In this paper, we give sharp bounds for the homological dimensions of the Leavitt path algebra $L_K(E)$ of a finite graph $E$ with coefficients in a commutative ring $K$, as well as establish a formula for calculating the homological dimensions of $L_K(E)$ when $K$ is a commutative unital algebra over a field.
It is shown that a local ring R of bounded module type is an almost maximal valuation ring if there exists a non-maximal prime ideal J such that R/J is a maximal valuation domain.
Let $R$ be a finite commutative ring with identity. In this paper, we give a necessary condition for the existence of an orthogonal decomposition of the special linear Lie algebra over $R$. Additionally, we study orthogonal decompositions of the symplectic Lie algebra and the special orthogonal Lie algebra over $R$.
Regarding polynomial functions on a subset $S$ of a non-commutative ring $R$, that is, functions induced by polynomials in $R[x]$ (whose variable commutes with the coefficients), we show connections between, on one hand, sets $S$ such that the integer-valued polynomials on $S$ form a ring, and, on the other hand, sets $S$ such that the set of polynomials in $R[x]$ that are zero on $S$ is an ideal of $R[x]$.
In the present work, a procedure for determining idempotents of a commutative ring having a sequence of ideals with certain properties is presented. As an application of this procedure, idempotent elements of various commutative rings are determined. Several examples are included illustrating the main results.
Let $A$ be a commutative augmented ring and $I$ be its augmentation ideal. This paper shows that the sequence $\{I^n/I^{n+1}\}$ becomes stationary up to isomorphism. The result yields stability in the associated graded ring of $A$ along $I$.
In the present paper we prove that every 2-local inner derivation on the matrix ring over a commutative ring is an inner derivation and every derivation on an associative ring has an extension to a derivation on the matrix ring over this associative ring. We also develop a Jordan analog of the above method and prove that every 2-local inner derivation on the Jordan matrix ring over a commutative ring is a derivation.
In this paper we prove that if $R$ is a commutative, reduced, local ring, then $R$ is Hopfian if and only if the ring $R[x]$ is Hopfian. This answers a question of Varadarajan, in the case when $R$ is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Also, we derive some general results related to Hopfian rings.
The goal of the present article is to extend the study of commutative rings whose ideals form an MV-algebra as carried out by Belluce and Di Nola to non-commutative rings. We study and characterize all rings whose ideals form a pseudo MV-algebra, which shall be called here generalized Lukasiewicz rings. We obtain that these are (up to isomorphism) exactly the direct sums of unitary special primary rings.
The paper is devoted to studying the orthogonality graph of the matrix ring over a commutative ring. It is proved that the orthogonality graph of the ring of matrices with size greater than 1 over a commutative ring with zero-divisors is connected and has diameter 3 or 4; a criterion for each value is obtained. It is also shown that each of its vertices has distance at most 2 from some scalar matrix.
This article deals mostly with the following question: when is the classical ring of quotients of a commutative ring a ring of stable range 1? We introduce the concepts of a ring of (von Neumann) regular range 1, a ring of semihereditary range 1, a ring of regular range 1, a semihereditary local ring, a regular local ring. We find relationships between the introduced classes of rings and known ones, in particular, it is established that a commutative indecomposable almost clean ring is a regular local ring. A commutative any ring of idempotent regular range 1 is an almost clean ring. It is sho…
A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring $R$ has the property that every $R$-module is a direct sum of cyclic modules if and only if $R$ is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in [M. Behboodi, A. Ghorbani, A. Moradzadeh-Dehkordi, Commutative Noetherian local rings whose ideals are direct sums of cyclic modules, J. Algebra 345 (2011) 257--265] the authors considered this question in the context of finite direct products of commutative Noetherian lo…
For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.
In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called coreflexive coalgebras. Our approach in this note is an algebraically topological one.
Let R be a ring and let G be a group. We prove a rather curious necessary and sufficient condition for the commutative group ring RG to be weakly nil-neat only in terms of R,G and their sections. This somewhat expands three recent results, namely those established by McGovern et al. in (J. Algebra Appl., 2015), by Danchev-McGovern in (J. Algebra, 2015) and by the present authors in (J. Taibah Univ. Sci., 2020), related to commutative nil-clean, weakly nil-clean and nil-neat group rings, respectively.
We attach to any commutative ring R a subgroup of the Brauer group of R, called the Brauer-Galois group of R. Its elements are the classes of the Azumaya R-algebras which can be represented, via Brauer equivalence, by a Galois extension of R. We compute this group for some particular commutative fields.
In this paper we prove that every automorphism of (elementary) adjoint Chevalley group with root system of rank $>1$ over a commutative ring (with 1/2 for the systems $A_2$, $F_4$, $B_l$, $C_l$; with 1/2 and 1/3 for the system $G_2$) is standard, i.\,e., it is a composition of ring, inner, central and graph automorphisms.
We introduce in this work, the class of commutative rings whose lattice of ideals forms an MTL-algebra which is not necessary a BL-algebra. The so-called class of rings will be named MTL-rings. We prove that a local commutative ring with identity is an MTL-ring if and only if it is an arithmetical ring. It is shown that a noetherian commutative ring R with an identity is an MTL-ring if and only if ideals of the localization RM at a maximal ideal M are totally ordered by the set inclusion. Remarking that noetherian MTL-rings are again BL-rings, we work outside of the noetherian case by consider…
We consider the Clifford algebra and the Clifford group associated with any quadratic module, degenerate or not, over an arbitrary commutative ring with 1. We determine some of the important subalgebras of the Clifford algebra under some conditions, and generalize some of the classical relations between the Clifford group and the orthogonal group of the quadratic module.
For any constacyclic code over a finite commutative chain ring of length coprime to the characteristic of the ring, we construct explicitly generator polynomials and check polynomials, and exhibit a BCH bound for such constacyclic codes. As a consequence, such constacyclic codes are principal. Further, we get a necessary and sufficient condition that the cyclic codes over a finite commutative principal ideal ring are all principal. This condition is still sufficient for constacyclic codes over such rings being principal.
Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of non-commutative rings. We show that non-commutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invariant theory, including many Vinberg representations.
Additive cyclic codes over Galois rings were investigated in previous works. In this paper, we investigate the same problem but over a more general ring family, finite commutative chain rings. When we focus on non-Galois finite commutative chain rings, we observe two different kinds of additivity. One of them is a natural generalization of the previous studies, whereas the other one has some unusual properties especially while constructing dual codes. We interpret the reasons of such properties and illustrate our results giving concrete examples.
We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.