Commutative rings whose proper ideals are direct sum of completely cyclic modules

2016 ◽  
Vol 15 (09) ◽  
pp. 1650160 ◽  
Author(s):  
M. Behboodi ◽  
S. Heidari ◽  
S. Roointan-Isfahani
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Maximal Ideal ◽  
Principal Ideal ◽  
Simple Formula ◽  
Commutative Rings ◽  
Index Set ◽  
Principal Ideal Ring ◽  
Direct Sum ◽  
Ideal Ring

By two results of Köthe and Cohen–Kaplansky we obtain that “a commutative ring [Formula: see text] has the property that every [Formula: see text]-module is a direct sum of (completely) cyclic modules if and only if [Formula: see text] is an Artinian principal ideal ring” (an [Formula: see text]-module [Formula: see text] is called completely cyclic if each submodule of [Formula: see text] is cyclic). In this paper, we describe and study commutative rings whose proper ideals are direct sum of completely cyclic modules. It is shown that every proper ideal of a commutative ring [Formula: see text] is a direct sum of completely cyclic [Formula: see text]-modules if and only if [Formula: see text] is a principal ideal ring or [Formula: see text] is a local ring with maximal ideal [Formula: see text] such that there is an index set [Formula: see text] and a set of elements [Formula: see text] such that [Formula: see text] with each [Formula: see text] a simple [Formula: see text]-module and [Formula: see text] a principal ideal ring.

When is every module with essential socle a direct sum of automorphism-invariant modules?

2019 ◽  
Vol 19 (10) ◽  
pp. 2050185
Author(s):  
Shahabaddin Ebrahimi Atani ◽  
Saboura Dolati Pish Hesari ◽  
Mehdi Khoramdel
Keyword(s):  
Commutative Ring ◽  
Principal Ideal ◽  
Essential Extension ◽  
Principal Ideal Ring ◽  
Von Neumann ◽  
Simple Modules ◽  
Direct Sum ◽  
Finite Dimensional ◽  
Ideal Ring ◽  
Von Neumann Regular

The purpose of this paper is to study the structure of rings over which every essential extension of a direct sum of a family of simple modules is a direct sum of automorphism-invariant modules. We show that if [Formula: see text] is a right quotient finite dimensional (q.f.d.) ring satisfying this property, then [Formula: see text] is right Noetherian. Also, we show a von Neumann regular (semiregular) ring [Formula: see text] with this property is Noetherian. Moreover, we prove that a commutative ring with this property is an Artinian principal ideal ring.

scholarly journals On some properties of⊕-supplemented modules

2003 ◽  
Vol 2003 (69) ◽  
pp. 4373-4387 ◽  
Author(s):  
A. Idelhadj ◽  
R. Tribak
Keyword(s):  
Direct Summand ◽  
Commutative Ring ◽  
Principal Ideal ◽  
Finitely Generated ◽  
Principal Ideal Ring ◽  
Goldie Dimension ◽  
Direct Sum ◽  
Ideal Ring

A moduleMis⊕-supplemented if every submodule ofMhas a supplement which is a direct summand ofM. In this paper, we show that a quotient of a⊕-supplemented module is not in general⊕-supplemented. We prove that over a commutative ringR, every finitely generated⊕-supplementedR-moduleMhaving dual Goldie dimension less than or equal to three is a direct sum of local modules. It is also shown that a ringRis semisimple if and only if the class of⊕-supplementedR-modules coincides with the class of injectiveR-modules. The structure of⊕-supplemented modules over a commutative principal ideal ring is completely determined.

On projective intersection graph of ideals of commutative rings

2019 ◽  
pp. 2150017
Author(s):  
V. Ramanathan
Keyword(s):  
Commutative Ring ◽  
Maximal Ideal ◽  
Principal Ideal ◽  
Artinian Ring ◽  
Intersection Graph ◽  
Principal Ideal Ring ◽  
Ideal Formula ◽  
Ideal Ring ◽  
Projective Graph ◽  
Vertex Set

Let [Formula: see text] be a commutative ring with identity and [Formula: see text] the set of all nontrivial proper ideals of [Formula: see text]. The intersection graph of ideals of [Formula: see text], denoted by [Formula: see text], is a simple undirected graph with vertex set as the set [Formula: see text], and, for any two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text]. In this paper, we study some connections between commutative ring theory and graph theory by investigating topological properties of intersection graph of ideals. In particular, it is shown that for any nonlocal Artinian ring [Formula: see text], [Formula: see text] is a projective graph if and only if [Formula: see text] where [Formula: see text] is a local principal ideal ring with maximal ideal [Formula: see text] of nilpotency three and [Formula: see text] is a field. Furthermore, it is shown that for an Artinian ring [Formula: see text] [Formula: see text] if and only if [Formula: see text] where each [Formula: see text] is a local principal ideal ring with maximal ideal [Formula: see text] such that [Formula: see text]

On (α + uβ)-constacyclic codes of length 4ps over 𝔽pm + u𝔽pm∗

2019 ◽  
Vol 18 (02) ◽  
pp. 1950023 ◽  
Author(s):  
Hai Q. Dinh ◽  
Bac T. Nguyen ◽  
Songsak Sriboonchitta ◽  
Thang M. Vo
Keyword(s):  
Principal Ideal ◽  
Constacyclic Codes ◽  
Constacyclic Code ◽  
Chain Ring ◽  
Principal Ideal Ring ◽  
Direct Sum ◽  
Ideal Ring ◽  
Unit Formula

For any odd prime [Formula: see text] such that [Formula: see text], the structures of all [Formula: see text]-constacyclic codes of length [Formula: see text] over the finite commutative chain ring [Formula: see text] [Formula: see text] are established in term of their generator polynomials. When the unit [Formula: see text] is a square, each [Formula: see text]-constacyclic code of length [Formula: see text] is expressed as a direct sum of two constacyclic codes of length [Formula: see text]. In the main case that the unit [Formula: see text] is not a square, it is shown that the ambient ring [Formula: see text] is a principal ideal ring. From that, the structure, number of codewords, duals of all such [Formula: see text]-constacyclic codes are obtained. As an application, we identify all self-orthogonal, dual-containing, and the unique self-dual [Formula: see text]-constacyclic codes of length [Formula: see text] over [Formula: see text].

Special Principal Ideal Rings and Absolute Subretracts

1991 ◽  
Vol 34 (3) ◽  
pp. 364-367 ◽  
Author(s):  
Eric Jespers
Keyword(s):  
Maximal Ideal ◽  
Principal Ideal ◽  
Identity Mapping ◽  
Principal Ideal Ring ◽  
Ideal Ring ◽  
Theoretic Version

AbstractA ring R is said to be an absolute subretract if for any ring S in the variety generated by R and for any ring monomorphism f from R into S, there exists a ring morphism g from S to R such that gf is the identity mapping. This concept, introduced by Gardner and Stewart, is a ring theoretic version of an injective notion in certain varieties investigated by Davey and Kovacs.Also recall that a special principal ideal ring is a local principal ring with nonzero nilpotent maximal ideal. In this paper (finite) special principal ideal rings that are absolute subretracts are studied.

Rings Whose Modules are ⊕ -Cofinitely Supplemented

2013 ◽  
Vol 0 (0) ◽  
Author(s):  
Ergül Türkmen
Keyword(s):  
Commutative Ring ◽  
Principal Ideal ◽  
Principal Ideal Ring ◽  
Ideal Ring ◽  
Proper Generalization

Abstract It is known that a commutative ring R is an artinian principal ideal ring if and only if every left R-module is ⊕-supplemented. In this paper, we show that a commutative ring R is a semiperfect principal ideal ring if every left R-module is ⊕-cofinitely supplemented. The converse holds if R is a max ring. Moreover, we study maximally ⊕- supplemented modules as a proper generalization of ⊕-cofinitely supplemented modules. Using these modules, we also prove that a ring R is semiperfect if and only if every projective left R-module with small radical is supplemented.

On the relation between torsion submodule and Fitting ideals

2021 ◽  
pp. 2250173
Author(s):  
S. Hadjirezaei
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Principal Ideal ◽  
Index Set ◽  
Constructive Description ◽  
Regular Ideal ◽  
Fitting Ideal ◽  
The Matrix ◽  
Matrix Formula ◽  
The Ideal

Let [Formula: see text] be a commutative ring and let [Formula: see text] be a submodule of [Formula: see text] which consists of columns of a matrix [Formula: see text] with [Formula: see text] for all [Formula: see text], [Formula: see text], where [Formula: see text] is an index set. For every [Formula: see text], let I[Formula: see text] be the ideal generated by subdeterminants of size [Formula: see text] of the matrix [Formula: see text]. Let [Formula: see text]. In this paper, we obtain a constructive description of [Formula: see text] and we show that when [Formula: see text] is a local ring, [Formula: see text] is free of rank [Formula: see text] if and only if I[Formula: see text] is a principal regular ideal, for some [Formula: see text]. This improves a lemma of Lipman which asserts that, if [Formula: see text] is the [Formula: see text]th Fitting ideal of [Formula: see text] then [Formula: see text] is a regular principal ideal if and only if [Formula: see text] is finitely generated free and [Formula: see text] is free of rank [Formula: see text]

On a Class of Constacyclic Codes of Length 4ps over Fpm[u]〈 ua 〉

2019 ◽  
Vol 26 (02) ◽  
pp. 181-194 ◽  
Author(s):  
Hai Q. Dinh ◽  
Bac T. Nguyen ◽  
Songsak Sriboonchitta
Keyword(s):  
Principal Ideal ◽  
Constacyclic Codes ◽  
Constacyclic Code ◽  
Chain Ring ◽  
Principal Ideal Ring ◽  
Direct Sum ◽  
Ideal Ring ◽  
Maximal Ideals

For any odd prime p such that pm ≡ 3 (mod 4), consider all units Λ of the finite commutative chain ring [Formula: see text] that have the form Λ = Λ0 + uΛ1 + ⋯ + ua−1 Λa−1, where Λ0, Λ1, …, Λa−1 ∊ 𝔽pm, Λ0 ≠ 0, Λ1 ≠ 0. The class of Λ-constacyclic codes of length 4ps over ℛa is investigated. If the unit Λ is a square, each Λ-constacyclic code of length 4ps is expressed as a direct sum of a −λ-constacyclic code and a λ-constacyclic code of length 2ps. In the main case that the unit Λ is not a square, we prove that the polynomial x4 − λ0 can be decomposed as a product of two quadratic irreducible and monic coprime factors, where [Formula: see text]. From this, the ambient ring [Formula: see text] is proven to be a principal ideal ring, whose maximal ideals are ⟨x2 + 2ηx + 2η2⟩ and ⟨x2 − 2ηx + 2η2⟩, where λ0 = −4η4. We also give the unique self-dual Type 1 Λ-constacyclic codes of length 4ps over ℛa. Furthermore, conditions for a Type 1 Λ-constacyclic code to be self-orthogonal and dual-containing are provided.

scholarly journals When Intersection Ideals of Graphs of Rings are a Divisor graph

2020 ◽  
Vol 19 ◽  
Keyword(s):  
Local Ring ◽  
Principal Ideal ◽  
Local Rings ◽  
Intersection Graphs ◽  
Principal Ideal Ring ◽  
Empty Intersection ◽  
Ideal Ring

Let R be a commutative principal ideal ring with unity. In this paper, we classify when the intersectiongraphs of ideals of a ring R G(R), is a divisor graph. We prove that the intersection graphs of ideals of a ring RG(R), is a divisor graph if and only if R is a local ring or it is a product of two local rings with each of them hasone chain of ideals. We also prove that G(R), is a divisor graph if it is a product of two local rings one of themhas at most two non-trivial ideals with empty intersection.

scholarly journals RINGS WHOSE ANNIHILATING-IDEAL GRAPHS HAVE POSITIVE GENUS

2012 ◽  
Vol 11 (03) ◽  
pp. 1250049 ◽  
Author(s):  
F. ALINIAEIFARD ◽  
M. BEHBOODI
Keyword(s):  
Commutative Ring ◽  
Local Ring ◽  
Maximal Ideal ◽  
Artinian Ring ◽  
Commutative Rings ◽  
Gorenstein Ring ◽  
Isomorphism Classes ◽  
Artinian Rings ◽  
Vertex Set ◽  
Positive Genus

Let R be a commutative ring and 𝔸(R) be the set of ideals with nonzero annihilators. The annihilating-ideal graph of R is defined as the graph 𝔸𝔾(R) with the vertex set 𝔸(R)* = 𝔸\{(0)} and two distinct vertices I and J are adjacent if and only if IJ = (0). We investigate commutative rings R whose annihilating-ideal graphs have positive genus γ(𝔸𝔾(R)). It is shown that if R is an Artinian ring such that γ(𝔸𝔾(R)) < ∞, then either R has only finitely many ideals or (R, 𝔪) is a Gorenstein ring with maximal ideal 𝔪 and v.dimR/𝔪𝔪/𝔪2= 2. Also, for any two integers g ≥ 0 and q > 0, there are only finitely many isomorphism classes of Artinian rings R satisfying the conditions: (i) γ(𝔸𝔾(R)) = g and (ii) |R/𝔪| ≤ q for every maximal ideal 𝔪 of R. Also, it is shown that if R is a non-domain Noetherian local ring such that γ(𝔸𝔾(R)) < ∞, then either R is a Gorenstein ring or R is an Artinian ring with only finitely many ideals.

Sign in / Sign up

Export Citation Format

Share Document