Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras

Congruences and ideals in partial Abelian monoids (PAM) are studied. It is shown that the so-called R ₁-ideals in cancellative PAMs (CPAM) form a complete Brouwerian sublattice of the lattice of all ideals, and they are standard elements of it. In a special class of CPAMs, effect algebras, properties of ideals and congruences are studied in relation to the generalized Sasaki projections and dimensional equivalence.     

Valuation ideals of order one in 2-dimensional regular local rings

Let υ be a prime divisor of a 2-dimensional regular local ring (R m) with algebraically closed residue field k. Zariski showed that a prime divisor υ of R is uniquely associated to a simple m-primary integrally closed ideal I of R, there exist finitely many simple υ-ideals including I, and all the other υ-ideals can be uniquely factored into products of simple υ-ideals. It is known that such an m-primary ideal I of R can be minimally generated by o(I) + 1 elements.Given a simple integrally closed ideal I of order one with arbitrary rank and its associated prime divisor υ, we find minimal generating sets of all the simple υ-ideals and describe factorizations of all the composite υ-ideals in terms of power products of simple υideals as explicitly as possible.     

Quotients of partial abelian monoids

A hierarchy of partial abelian structures is considered. In an order of decreasing generality, these structures include partial abelian monoids (PAM), cancellative PAMs (CPAM), effect algebras (or D-posets), orthoalgebras, orthomodular posets (OMP) and orthomodular lattices (OML). If P is a PAM, the concepts of a congruence on P and a quotient P are defined. Similar definitions are given for quotients of higher level categories in the hierarchy. The notion of a Riesz ideal I on a CPAM P is defined and it is shown that I generates a congruence on P. The corresponding quotients P/I for categories in the hierarchy are studied. It is shown that a subset I of an OML is a Riesz ideal if and only if I is a p-ideal. Moreover, for effect algebras, we show that congruences generated by Riesz ideals are precisely those that are given by a perspectivity. The paper includes a large number of counterexamples and examples that illustrate various concepts. Received April 14, 1997; accepted in final form January 19, 1998.     

d-ideals,f d-ideals and prime ideals

Abstract

Let R be a commutative ring. An ideal I of R is called a d-ideal (f d-ideal) provided that for each a ∈ I (finite subset F of I) and b ∈ R, Ann(a) ? Ann(b) (Ann(F) ? Ann(b)) implies that b ∈ I. It is shown that, the class of z⁰-ideals (hence all sz⁰-ideals), maximal ideals in an Artinian or in a Kasch ring, annihilator ideals, and minimal prime ideals over a d-ideal are some distinguished classes of d-ideals. Furthermore, we introduce the class of f d-ideals as a subclass of d-ideals in a commutative ring R. In this regard, it is proved that the ring R is a classical ring with property (A) if and only if every maximal ideal of R is an f d-ideal. The necessary and sufficient condition for which every prime f d-ideal of a ring R being a maximal or a minimal prime ideal is given. Moreover, the rings for which their prime d-ideals are z⁰-ideals are characterized. Finally, we prove that every prime f d-ideal of a ring R is a minimal prime ideal if and only if for each a ∈ R there exists a finitely generated ideal , for some n ∈ ? such that Ann(a, I) = 0. As a consequence, every prime f d-ideal in a reduced ring R is a minimal prime ideal if and only if X= Min(R) is a compact space.     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

Ideal Structure and Stable Rank of $${\mathbb {C} e+ \ell^2(I)}$$ with the Hadamard Product

Let I be any index set. We consider the Banach algebra \mathbb C e+ l²(I){\mathbb {C} e+ \ell^2(I)} with the Hadamard product, and prove that its Bass and topological stable ranks are both equal to 1. We also characterize divisors, maximal ideals, closed ideals and closed principal ideals. For I=\mathbb N{I=\mathbb {N}} we also characterize all prime z-ideals in this Banach algebra.     

Riesz ideals in generalized effect algebras and in their unitizations

We show that quotients of generalized effect algebras by Riesz ideals preserve some important special properties, e.g., homogeneity and hereditary Riesz decomposition properties; moreover, quotients of generalized orthoalgebras, weak generalized orthomodular posets, generalized orthomodular lattices and generalized MV-algebras with respect to Riesz ideals belong to the same class. We give a necessary and sufficient condition under which a Riesz ideal I of a generalized effect algebra P is a Riesz ideal also in the unitization E of P. We also study relations between Riesz ideals and central elements in GEAs and in their unitizations. In the last section, we demonstrate the notion of Riesz ideals by some illustrative examples. Received June 28, 2005; accepted in final form January 23, 2007.     

On the depth of certain graded rings associated to an ideal

Let (R,m) be a local ring and Ian ideal of R. In this work we find conditions on Ithat allow us to describe simple relations among depth R(It), depth gr_I(R), depth S(I) and depth S(I/I ²). These relations are useful also from a practical point, of view since it is usually difficult to evaluate depth gr_I(R) and depth S(I/I ²) even with the help of a computer. Furthermore we study the class of ideals that satisfy one of the required conditions and we show that ideals generated by quadratic sequences are in this class     

Two Remarks on Partitions of ω with Finite Blocks

We prove that all algebras P(w)/I_R, where the I_R-'s are ideals generated by partitions of W into finite and arbitrary large elements, are isomorphic and homogeneous. Moreover, we show that the smallest size of a tower of such partitions with respect to the eventually-refining preordering is equal to the smallest size of a tower on ω.     

Compatible extensions of nearrings

If R is a zero-symmetric nearring with 1 and G is a faithful R-module, a compatible extension of R is a subnearring S of M ₀(G) containing R such that G is a compatible S-module and the R-ideals and S-ideals of G coincide. The set of these compatible extensions forms a complete lattice and we shall study this lattice. We also will obtain results involving the least element of this lattice related to centralizers and the largest element of this lattice related to uniqueness of minimal factors with an application to 1-affine completeness of the R-module G.     

On ideals consisting entirely of zero divisors

An ideal Iin a commutative ring Ris called a z°-ideal if Iconsists of zero-divisors and for each a? Ithe intersection of all minimal prime ideals containing ais contained in I.We prove that in a large class of rings, containing Noetherian reduced rings, Zero-dimensional rings, polynomials over reduced rings and C(X), every ideal consisting of zero-divisors is contained in a prime z°-ideal. It is also shown that the classical ring of quotients of a reduced ring is regular if and only if every prime z°-ideal is a minimal prime ideal and the annihilator of a f.g. ideal consisting of zero-divisors is nonzero. We observe that z°-ideals behave nicely under contractions and extensions.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

The Annihilating-Ideal Graph of a Commutative Ring with Respect to an Ideal

For a commutative ring R with identity, the annihilating-ideal graph of R, denoted 𝔸𝔾(R), is the graph whose vertices are the nonzero annihilating ideals of R with two distinct vertices joined by an edge when the product of the vertices is the zero ideal. We will generalize this notion for an ideal I of R by replacing nonzero ideals whose product is zero with ideals that are not contained in I and their product lies in I and call it the annihilating-ideal graph of R with respect to I, denoted 𝔸𝔾 _I (R). We discuss when 𝔸𝔾 _I (R) is bipartite. We also give some results on the subgraphs and the parameters of 𝔸𝔾 _I (R).     

Efficient Generation of Prime Ideals in Polynomial Rings up to Radical

We call an ideal I of a ring R radically perfect if among all ideals whose radical is equal to the radical of I, the one with the least number of generators has this number of generators equal to the height of I. Let R be a ring and R[X] be the polynomial ring over R. We prove that if R is a strong S-domain of finite Krull dimension and if each nonzero element of R is contained in finitely many maximal ideals of R, then each maximal ideal of R[X] of maximal height is the J _max-radical of an ideal generated by two elements. We also show that if R is a Prüfer domain of finite Krull dimension with coprimely packed set of maximal ideals, then for each maximal ideal M of R, the prime ideal MR[X] of R[X] is radically perfect if and only if R is of dimension one and each maximal ideal of R is the radical of a principal ideal. We then prove that the above conditions on the Prüfer domain R also imply that a power of each finitely generated maximal ideal of R is principal. This result naturally raises the question whether the same conditions on R imply that the Picard group of R is torsion, and we prove this to be so when either R is an almost Dedekind domain or a Prüfer domain with an extra condition imposed on it.     

MULTIPLICATIVELY CLOSED SETS OF IDEALS AND RESIDUAL DIVISION

Let R be a ring (commutative with identity), let Γ be a multiplicatively closed set of finitely generated nonzero ideals of R, for an ideal I of R let I _Γ = ∪ {I : G; G ∈ Γ}, and for an R-algebra A such that GA ≠ (0) for all G ∈ Γ let A ^Γ = ∪ {A : _T GA; G ∈ Γ}, where T is the total quotient ring of A. Then I _Γ is an ideal in R, I → I _Γ is a semi-prime operation (on the set I of ideals I of R) that satisfies a cancellation law, and it is a prime operation on I if and only if R = R ^Γ. Also, A ^Γ is an R-algebra and A → A ^Γ is a closure operation on any set A = {A; A is an R-algebra, R ? A, and if C is a ring between R and A, then regular elements in C remain regular in A}. Finally, several results are proved concerning relations between the ideals I _Γ and (IA)_ΓA and between the R-algebras R ^Γ and A ^Γ.

     

On Primitive Ideals in Polynomial Rings over Nil Rings

Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I[x] for some ideals I of R. Presented by S. MontgomeryMathematics Subject Classifications (2000) 16N40, 16N20, 16N60, 16D25.Agata Smoktunowicz: Current address: Institute of Mathematics, Polish Academy of Sciences, 00-956 Warsaw 10, niadeckich 8, P.O. Box 21, Poland.     

On n-Absorbing Ideals of Commutative Rings

Let R be a commutative ring with 1 ≠ 0 and n a positive integer. In this article, we study two generalizations of a prime ideal. A proper ideal I of R is called an n-absorbing (resp., strongly n-absorbing) ideal if whenever x ₁…x _n+1 ∈ I for x ₁,…, x _n+1 ∈ R (resp., I ₁…I _n+1 ? I for ideals I ₁,…, I _n+1 of R), then there are n of the x _i 's (resp., n of the I _i 's) whose product is in I. We investigate n-absorbing and strongly n-absorbing ideals, and we conjecture that these two concepts are equivalent. In particular, we study the stability of n-absorbing ideals with respect to various ring-theoretic constructions and study n-absorbing ideals in several classes of commutative rings. For example, in a Noetherian ring every proper ideal is an n-absorbing ideal for some positive integer n, and in a Prüfer domain, an ideal is an n-absorbing ideal for some positive integer n if and only if it is a product of prime ideals.     

On the lattice of weak congruence relations

We consider the setC _w (A) of weak congruences on an algebraA, i.e. of all symmetric and transitive subalgebras ofA ×A. (Some other generalizations of compatible relations were given in [2] and [6]).C _w (A) coincides with the set of all congruences on all subalgebras ofA.We prove here that (^iC _w(A),) is an algebraic lattice having as a sublattice the lattice of all congruences onA, and as a retract the lattice of all its subalgebras. In the second part we give necessary and sufficient conditions (one is the CEP) for modularity as well as for distributivity of the lattice of weak congruences.Presented by H. P. Gumm.     

Extending a Partially Ordered Set: Links with its Lattice of Ideals

A well-known result of Bonnet and Pouzet bijectively links the set of linear extensions of a partial order P with the set of maximal chains of its lattice of ideals I(P). We extend this result by showing that there is a one-to-one correspondence between the set of all extensions of P and the set of all sublattices of I(P) which are chain-maximal in the sense that every chain which is maximal (for inclusion) in the sublattice is also maximal in the lattice.We prove that the absence of order S as a convex suborder of P is equivalent to the absence of I(S) as a convex suborder of I(P). Let S be a set of partial orders and let us call S-convex-free any order that does not contain any order of S as a convex suborder. We deduce from the previous results that there is a one-to-one correspondence between the set of S-convex-free extensions of P and the set of I(S)-convex-free chain-maximal sublattices of I(P). This can be applied to some classical classes of orders (total orders and in the finite case, weak orders, interval orders, N-free orders). In the particular case of total orders this gives as a corollary the result of Bonnet and Pouzet.