ALGORITHMS ON PARAMETRIC DECOMPOSITION OF MONOMIAL IDEALS

ABSTRACT

Heinzer, Mirbagheri, Ratliff, and Shah investigate parametric decomposition of monomial ideals on a regular sequence of a commutative ring R with identity 1 and prove that if every finite intersection of monomial ideals in R is again a monomial ideal, then each monomial ideal has a unique irredundant parametric decomposition. Sturmfels, Trung, and Vogels prove a similar result without the uniqueness. Bayer, Peeva, and Strumfels study generic monomial ideals, that is monomial ideals in the polynomial ring such that no variable appears with the same nonzero exponent in two different minimal generators, and for these ideals they prove the uniqueness of the irredundant irreducible decompositions and give an algorithm to construct this unique irredundant irreducible decomposition. In this paper, we present three algorithms for finding the unique irredundant irreducible decomposition of any monomial ideal.     

Prosolvable subgroups of free products of profinite groups

In this paper we establish several equivalent conditions for a commutative ring in which every principal ideal is a finite intersection of prime power ideals to be a general ZPI-ring. Using these results, we establish some equivalent conditions for a commutative ring in which every principal ideal is a finite intersection of primary ideals to be a general ZPI-ring.     

Strongly stable rank and applications to matrix completion

We perform an in-depth study of strongly stable ranks of modules over a commutative ring. Here we define the strongly stable rank of a module to be the supremum of the stable ranks of its finitely generated submodules. As an application, we give non-Noetherian generalizations of known facts about outer products and matrix completions over PIRs and Dedekind domains. We construct Noetherian and non-Noetherian domains of arbitrary strongly stable rank. We also consider strongly n-generated ideals, and we characterize the rings in which every ideal is strongly 2-generated and the domains in which every ideal is strongly 3-generated.     

Ideals that are an irredundant union of principal ideals

We investigate ideals of a commutative ring that are an irredundant union of principal ideals. Special attention is paid to prime ideals that are a finite union of principal ideals.     

Decomposition of ideals into pseudo-irreducible ideals

A proper ideal of a commutative ring is called pseudo-irreducible if it cannot be written as a product of two comaximal proper ideals. In this paper, we give a necessary and su?cient condition for every proper ideal of a commutative ring to be a product of pairwise comaximal pseudo-irreducible ideals. Examples of such rings include Laskerian rings, or more generally J-Noetherian rings and ZD-rings. We study when certain classes of rings satisfy this condition.     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

半群的次极大理想与次极小理想

在半群中引入次极大理想和次极小理想的概念，研究了它们的基本性质．证明了次极大理想的存在性，并得到如下定理，半群中每个理想可以分解成一些次极大理想的交，特别地，在满足理想降链条件的半群中，每个理想可以分解成有限个次极大理想的交，对于次极小理想．可以得到对偶的结果．     

On maximal commutative subrings of non-commutative rings

We observe that every non-commutative unital ring has at least three maximal commutative subrings. In particular, non-commutative rings (resp., finite non-commutative rings) in which there are exactly three (resp., four) maximal commutative subrings are characterized. If R has acc or dcc on its commutative subrings containing the center, whose intersection with the nontrivial summands is trivial, then R is Dedekind-finite. It is observed that every Artinian commutative ring R, is a finite intersection of some Artinian commutative subrings of a non-commutative ring, in each of which, R is a maximal subring. The intersection of maximal ideals of all the maximal commutative subrings in a non-commutative local ring R, is a maximal ideal in the center of R. A ring R with no nontrivial idempotents, is either a division ring or a right ue-ring (i.e., a ring with a unique proper essential right ideal) if and only if every maximal commutative subring of R is either a field or a ue-ring whose socle is the contraction of that of R. It is proved that a maximal commutative subring of a duo ue-ring with finite uniform dimension is a finite direct product of rings, all of which are fields, except possibly one, which is a local ring whose unique maximal ideal is of square zero. Analogues of Jordan-Hölder Theorem (resp., of the existence of the Loewy chain for Artinian modules) is proved for rings with acc and dcc (resp., with dcc) on commutative subrings containing the center. A semiprime ring R has only finitely many maximal commutative subrings if and only if R has a maximal commutative subring of finite index. Infinite prime rings have infinitely many maximal commutative subrings.     

Ring graphs and complete intersection toric ideals

We study the family of graphs whose number of primitive cycles equals its cycle rank. It is shown that this family is precisely the family of ring graphs. Then we study the complete intersection property of toric ideals of bipartite graphs and oriented graphs. An interesting application is that complete intersection toric ideals of bipartite graphs correspond to ring graphs and that these ideals are minimally generated by Gröbner bases. We prove that any graph can be oriented such that its toric ideal is a complete intersection with a universal Gröbner basis determined by the cycles. It turns out that bipartite ring graphs are exactly the bipartite graphs that have complete intersection toric ideals for any orientation.     

Commutative rings with two-absorbing factorization

We use the concept of 2-absorbing ideal introduced by Badawi to study those commutative rings in which every proper ideal is a product of 2-absorbing ideals (we call them TAF-rings). Any TAF-ring has dimension at most one and the local TAF-domains are the atomic pseudo-valuation domains.     

On lattice-ordered commutative semigroups

Decompositions of elements into intersections of primal elements and into intersections of p-components are studied in certain lattice-ordered commutative semigroups, by making use of the new development in commutative ideal theory without finiteness conditions, due to Fuchs-Heinzer-Olberding [7]. Several results concerning ideals can be phrased as theorems in abstract ideal theory.The intersections we consider are in general not irredundant, and the associated prime elements are not unique. However, one can establish a canonical intersection that is often irredundant with uniquely determined associated primes.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Irreducibility in the Total Ring of Quotients

Let R be a ring whose total ring of quotients Q is von Neumann regular. We investigate the structure of R when it admits an ideal that is irreducible as a submodule of the total ring of quotients. We characterize those rings which contain a maximal ideal that is irreducible in its total ring of quotients Q. An integral domain has a Q-irreducible ideal which is a maximal ideal if and only if R is a valuation domain. We show that when the total ring of quotients of R is von Neumann regular, then having a maximal ideal that is Q-irreducible is equivalently to certain valuation like properties, including the property that the regular ideals are linearly ordered.     

理想簇和根理想

关于环的理想的根有两种定义,一种是所有包含I的极大理想的交,另一种是所有包含I的素理想交,本文主要研究后者定义的一些性质,以及和理想簇V(I)(所有包含I的素理想的集合)的关系.     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

The Ideal Intersection Property for Groupoid Graded Rings

We show that, if a groupoid graded ring has a grading satisfying a certain nondegeneracy property, then the commutant of the center of the principal component of the ring has the ideal intersection property, that is it intersects nontrivially every nonzero ideal of the ring. Furthermore, we show that for skew groupoid algebras with commutative principal component, the principal component is maximal commutative if and only if it has the ideal intersection property.     

关于强正则环的刻画

通过单边理想是广义弱理想来刻画强正则环,证明了下列条件是等价的:①R是强正则环;②R是半素的左GP-V′-环,且每一个极大的左理想是广义弱理想;③R是半素的左GP-V′-环,且每一个极大的右理想是广义弱理想.     

Homogeneous metric and matrix product codes over finite commutative principal ideal rings

In this paper, a necessary and sufficient condition for the homogeneous distance on an arbitrary finite commutative principal ideal ring to be a metric is obtained. We completely characterize the lower bound of homogeneous distances of matrix product codes over any finite principal ideal ring where the homogeneous distance is a metric. Furthermore, the minimum homogeneous distances of the duals of such codes are also explicitly investigated.     

关于严实Hilbert环

在本文中，严实Ｈｉｌｂｅｒｔ环得到了更进一步的刻划．本文的主要结果是：一个环Ａ是严实Ｈｉｌｂｅｒｔ环，当且仅当多项式环Ａ［Ｘ］的每个实极大理想在Ａ上的局限是Ａ的一个极大理想，当且仅当Ａ是实Ｈｉｌｂｅｒｔ环，且Ａ［Ｘ］的每个实极大理想是极大的．