Finite rings in which commutativity is transitive

A ring is called commutative transitive if commutativity is a transitive relation on its nonzero elements. Likewise, it is weakly commutative transitive (wCT) if commutativity is a transitive relation on its noncentral elements. The main topic of this paper is to describe the structure of finite wCT rings. It is shown that every such ring is a direct sum of an indecomposable noncommutative wCT ring of prime power order, and a commutative ring. Furthermore, finite indecomposable wCT rings are either two-by-two matrices over fields, local rings, or basic rings with two maximal ideals. We characterize finite local rings as generalized skew polynomial rings over coefficient Galois rings; the associated automorphisms of the Galois ring give rise to a signature of the local ring. These are then used to further describe the structure of finite local and wCT basic rings.     

Ultrafilters and Ramsey-type shadowing phenomena in topological dynamics

The graded exponent is an important invariant of group graded PI-algebras. In this paper we study a specific elementary grading on the algebra of upper triangular matrices UT _n , compute its codimensions, and use this grading to find the asymptotic behaviour of the codimensions of any elementary grading on UT _n , for any group. Moreover, we extend this to the Lie case, and obtain, for any elementary grading on the Lie algebra UT_n^(?), an upper bound and a lower bound for the asymptotic behaviour of its codimensions. Also, we obtain the graded exponent of any grading on UT_n^(?) and for any grading on the Jordan algebra UJ _n .It turns out that the graded exponent for UT _n , considered as an associative, Jordan or Lie algebra, for any grading, coincides with the exponent of the ordinary case. In the associative case, the asymptotic behaviour of the codimensions of any grading on UT _n coincides with the asymptotic behaviour of the ordinary codimensions. But this is not the case for the graded asymptotics of the codimensions of the Lie algebra UT_n^(?).     

Polynomial rings over commutative reduced Hopfian local rings

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 [16], 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.     

Commutative Rings whose Proper Ideals are Serial

A result of Nakayama and Skornyakov states that a ring R is an Artinian serial ring if and only if every R-module is serial. This motivated us to study commutative rings for which every proper ideal is serial. In this paper, we determine completely the structure of commutative rings R of which every proper ideal is serial. It is shown that every proper ideal of R is serial, if and only if, either R is a serial ring, or R is a local ring with maximal ideal \({\mathcal {M}}\) such that there exist a uniserial module U and a semisimple module T with \({\mathcal {M}}=U\oplus T\). Moreover, in the latter case, every proper ideal of R is isomorphic to \(U^{\prime }\oplus T^{\prime }\), for some \(U^{\prime }\leq U\) and \(T^{\prime }\leq T\). Furthermore, it is shown that every proper ideal of a commutative Noetherian ring R is serial, if and only if, either R is a finite direct product of discrete valuation domains and local Artinian principal ideal rings, or R is a local ring with maximal ideal \({\mathcal {M}}\) containing a set of elements {w ₁,…,w _n } such that \({\mathcal {M}}=\bigoplus _{i=1}^{n} Rw_{i}\) with at most one non-simple summand. Moreover, another equivalent condition states that: there exists an integer n ≥ 1 such that every proper ideal of R is a direct sum of at most n uniserial R-modules. Finally, we discuss some examples to illustrate our results.     

Some results on the annihilator graph of a commutative ring

Let R be a commutative ring. The annihilator graph of R, denoted by AG(R), is the undirected graph with all nonzero zero-divisors of R as vertex set, and two distinct vertices x and y are adjacent if and only if ann _R (xy) ≠ ann _R (x) ∪ ann _R (y), where for z ∈ R, ann _R (z) = {r ∈ R: rz = 0}. In this paper, we characterize all finite commutative rings R with planar or outerplanar or ring-graph annihilator graphs. We characterize all finite commutative rings R whose annihilator graphs have clique number 1, 2 or 3. Also, we investigate some properties of the annihilator graph under the extension of R to polynomial rings and rings of fractions. For instance, we show that the graphs AG(R) and AG(T(R)) are isomorphic, where T(R) is the total quotient ring of R. Moreover, we investigate some properties of the annihilator graph of the ring of integers modulo n, where n ? 1.     

Noetherian Rings whose Modules are Prime Serial

A theorem due to Nakayama and Skornyakov states that “a ring R is an Artinian serial ring if and only if all left R-modules are serial” and a theorem due to Warfield state that “a Noetherian ring R is serial if and only if every finitely generated left R-module is serial”. We say that an R-module M is prime uniserial (?-uniserial, for short) if for every pair P, Q of prime submodules of M either \(P\subseteq Q\) or \(Q\subseteq P\), and we say that M is prime serial (?-serial, for short) if it is a direct sum of ?-uniserial modules. Therefore, two interesting natural questions of this sort are: “Which rings have the property that every module is ?-serial?” and “Which rings have the property that every finitely generated module is ?-serial?” Most recently, in our paper, Prime uniserial modules and rings (submitted), we considered these questions in the context of commutative rings. The goal of this paper is to answer these questions in the case R is a Noetherian ring in which all idempotents are central or R is a left Artinian ring.     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

Extending Rings of Prüfer Type in Central Simple Algebras

Let R be a commutative integral domain with field of fractions F and let Q be a finite-dimensional central simple F-algebra. If R is a Prüfer domain then it is still unknown whether or not R can be extended to a Prüfer order in Q in the sense of Alajbegovi? and Dubrovin (J. Algebra, 135: 165–176, 1990). In this paper we investigate a more general class of rings which we call rings of Prüfer type and we will prove an extension theorem for these rings. Under special assumptions this result also leads to an extension theorem for certain Prüfer domains.     

On weakly nil-clean rings

We obtain the structure of the rings in which every element is either a sum or a difference of a nilpotent and an idempotent that commute. This extends the structure theorems of a commutative weakly nil-clean ring, of an abelian weakly nil-clean ring, and of a strongly nil-clean ring. As applications, this result is used to determine the 2-primal rings R such that the matrix ring \(\mathbb{M}_n (R)\) is weakly nil-clean, and to show that the endomorphism ring End _D (V) over a vector space V _D is weakly nil-clean if and only if it is nil-clean or dim(V) = 1 with D?= ?₃.     

Automorphisms of Chevalley groups of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">l</Emphasis></Subscript> over local rings with 1/2

In this paper, we prove that every automorphism of a Chevalley group of type B _l , l ≥ 2, over a commutative local ring with 1/2 is standard, i.e., it is a composition of ring, inner, and central automorphisms.     

Isomorphisms,definable relations,and Scott families for integral domains and commutative semigroups

In the present article, we prove the following four assertions: (1) For every computable successor ordinal α, there exists a Δ _α ⁰ -categorical integral domain (commutative semigroup) which is not relatively Δ _α ⁰ -categorical (i.e., no formally Σ _α ⁰ Scott family exists for such a structure). (2) For every computable successor ordinal α, there exists an intrinsically Σ _α ⁰ -relation on the universe of a computable integral domain (commutative semigroup) which is not a relatively intrinsically Σ _α ⁰ -relation. (3) For every computable successor ordinal α and finite n, there exists an integral domain (commutative semigroup) whose Δ _α ⁰ -dimension is equal to n. (4) For every computable successor ordinal α, there exists an integral domain (commutative semigroup) with presentations only in the degrees of sets X such that Δ _α ⁰ (X) is not Δ _α ⁰ . In particular, for every finite n, there exists an integral domain (commutative semigroup) with presentations only in the degrees that are not n-low.     

The Cohen Macaulay Property for Noncommutative Rings

Let R be a noetherian ring which is a finite module over its centre Z(R). This paper studies the consequences for R of the hypothesis that it is a maximal Cohen Macaulay Z(R)-module. A number of new results are proved, for example projectivity over regular commutative subrings and the direct sum decomposition into equicodimensional rings in the affine case, and old results are corrected or improved. The additional hypothesis of homological grade symmetry is proposed as the appropriate extra lever needed to extend the classical commutative homological hierarchy to this setting, and results are proved in support of this proposal. Some speculations are made in the final section about how to extend the definition of the Cohen-Macaulay property beyond those rings which are finite over their centres.     

Permutation resolutions for Specht modules

For every composition λ of a positive integer r, we construct a finite chain complex whose terms are direct sums of permutation modules M ^μ for the symmetric group \(\mathfrak{S}_{r}\) with Young subgroup stabilizers \(\mathfrak{S}_{\mu}\). The construction is combinatorial and can be carried out over every commutative base ring k. We conjecture that for every partition λ the chain complex has homology concentrated in one degree (at the end of the complex) and that it is isomorphic to the dual of the Specht module S ^λ . We prove the exactness in special cases.     

Tilting Modules Arising from Ring Epimorphisms

We show that a tilting module T over a ring R admits an exact sequence 0?→?R?→?T ₀?→?T ₁?→?0 such that \(T_0,T_1\in\text{Add}(T)\) and Hom _R (T ₁,T ₀)?=?0 if and only if T has the form S?⊕?S/R for some injective ring epimorphism λ : R?→?S with the property that \(\text{Tor}_1^R(S,S)=0\) and pdS _R ?≤?1. We then study the case where λ is a universal localization in the sense of Schofield (1985). Using results by Crawley-Boevey (Proc Lond Math Soc (3) 62(3):490–508, 1991), we give applications to tame hereditary algebras and hereditary noetherian prime rings. In particular, we show that every tilting module over a Dedekind domain or over a classical maximal order arises from universal localization.     

<Emphasis Type="Italic">UA</Emphasis>-properties of modules over commutative Noetherian rings

A semigroup (R, ·) is said to be a UA-ring if there exists a unique binary operation “+” transforming (R, ·, +) into a ring. An R-module A is said to be a UA-module if it is not possible to define a new addition in A without changing the action of R on A. In this paper we investigate topics that are related to the structure of UA-rings of endomorphisms and UA-modules over commutative Noetherian rings.     

Classification of finite commutative rings with planar,toroidal, and projective line graphs associated with Jacobson graphs

Let R be a commutative ring with nonzero identity and J(R) be the Jacobson radical of R. The Jacobson graph of R, denoted by J _R , is a graph with vertex-set R J(R), such that two distinct vertices a and b in R J(R) are adjacent if and only if 1 ? ab is not a unit of R. Also, the line graph of the Jacobson graph is denoted by L(J _R ). In this paper, we characterize all finite commutative rings R such that the graphs L(J _R ) are planar, toroidal or projective.     

The regular digraph of ideals of a commutative ring

Let R be a commutative ring and Max?(R) be the set of maximal ideals of R. The regular digraph of ideals of R, denoted by \(\overrightarrow{\Gamma_{\mathrm{reg}}}(R)\), is a digraph whose vertex set is the set of all non-trivial ideals of R and for every two distinct vertices I and J, there is an arc from I to J whenever I contains a J-regular element. The undirected regular (simple) graph of ideals of R, denoted by Γ_reg(R), has an edge joining I and J whenever either I contains a J-regular element or J contains an I-regular element. Here, for every Artinian ring R, we prove that |Max?(R)|?1≦ω(Γ_reg(R))≦|Max?(R)| and \(\chi(\Gamma_{\mathrm{ reg}}(R)) = 2|\mathrm{Max}\, (R)| -k-1\), where k is the number of fields, appeared in the decomposition of R to local rings. Among other results, we prove that \(\overrightarrow{\Gamma_{\mathrm{ reg}}}(R)\) is strongly connected if and only if R is an integral domain. Finally, the diameter and the girth of the regular graph of ideals of Artinian rings are determined.     

A note on infinite aS-groups

Let G be a group. If every nontrivial subgroup of G has a proper supplement, then G is called an aS-group. We study some properties of aS-groups. For instance, it is shown that a nilpotent group G is an aS-group if and only if G is a subdirect product of cyclic groups of prime orders. We prove that if G is an aS-group which satisfies the descending chain condition on subgroups, then G is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an aS-group. Finally, it is shown that if G is an aS-group and |G| ≠ pq, p, where p and q are primes, then G has a triple factorization.