On strongly primary monoids and domains
Moshe Roitman2020, Communications in Algebra
Sign up for access to the world's latest research
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Abstract
A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence, one-dimensional local Mori domains are strongly primary. We prove among other results that if R is a domain such that the conductor ðR :RÞ vanishes, then KðRÞ is finite; that is, there exists a positive integer k such that each nonzero nonunit of R is a product of at most k irreducible elements. Using this result, we obtain that every strongly primary domain is locally tame, and that a domain R is globally tame if and only if KðRÞ ¼ 1: In particular, we answer Problem 38 of the open problem list by Cahen et al. in the affirmative. Many of our results are formulated for monoids.
Related papers
A note on maximal non-Noetherian subrings of a domain
Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2011
This paper is concerned with the prime spectrum of maximal non-Noetherian subrings of a given domain. It is proved that if R is a maximal non-Noetherian subring of S, then R is a stably strong S-domain and that R is universally catenarian iff S is universally catenarian. Our main results lead to new examples of stably strong S-domains and universally catenarian domains. The relationship with n-dimensional pairs and residually Mori pairs is established.
Strongly primary ideals in rings with zero-divisors
Quaestiones Mathematicae, 2020
Let A be an integral domain with quotient field K. A. Badawi and E. Houston called a strongly primary ideal I of A if whenever x, y ∈ K and xy ∈ I, we have x ∈ I or y n ∈ I for some n ≥ 1. In this note, we study the generalization of strongly primary ideal to the context of arbitrary commutative rings. We define a primary ideal P of A to be strongly primary if for each a, b ∈ A, we have aP ⊆ bA or b n A ⊆ a n P for some n ≥ 1.
Length-factoriality in commutative monoids and integral domains
Journal of Algebra, 2021
An atomic monoid M is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element x ∈ M no two distinct factorizations of x have the same length. The notion of length-factoriality was introduced by Coykendall and Smith in 2011 as a dual of the well-studied notion of half-factoriality. They proved that in the setting of integral domains, lengthfactoriality can be taken as an alternative definition of a unique factorization domain. However, being a length-factorial monoid is in general weaker than being a factorial monoid (i.e., a unique factorization monoid). Here we further investigate length-factoriality. First, we offer two characterizations of a length-factorial monoid M , and we use such characterizations to describe the set of Betti elements and obtain a formula for the catenary degree of M. Then we study the connection between lengthfactoriality and purely long (resp., purely short) irreducibles, which are irreducible elements that appear in the longer (resp., shorter) part of any unbalanced factorization relation. Finally, we prove that an integral domain cannot contain purely short and a purely long irreducibles simultaneously, and we construct a Dedekind domain containing purely long (resp., purely short) irreducibles but not purely short (resp., purely long) irreducibles.
On the Cale property in integral domains and monoids
A monoid M is a Cale monoid with base Q if for every nonunit x ∈ M there exists a positive integer n such that x n factors uniquely up to order and associates as elements from Q ⊆ M \M × . An integral domain D is a Cale domain with base Q, if its multiplicative monoid of nonzero elements is a Cale monoid with base Q. We explore the basic properties of Cale monoids and integral domains. In particular, we show that a Krull monoid is a Cale monoid if and only if its divisor class group is a torsion group. We show moreover that such Krull monoids arise exactly by taking the root closure of Cale monoids that satisfy a certain integral condition. Examples will also illustrate how the Cale property comes into play as a central arithmetical feature for monoids and domains that are not integrally closed.
Inside factorial monoids and integral domains
Journal of Algebra, 2002
We investigate two classes of monoids and integral domains, called inside and outside factorial, whose definitions are closely related in a divisor-theoretic manner to the concept of unique factorization. We prove that a monoid is outside factorial if and only if it is a Krull monoid with torsion class group, and that it is inside factorial if and only if its root-closure is a rational generalized Krull monoid with torsion class group. We determine the structure of Cale bases of inside factorial monoids and characterize inside factorial monoids among weakly Krull monoids. These characterizations carry over to integral domains. Inside factorial orders in algebraic number fields are charcterized by several other factorization properties.
Iranian Mathematical Society Title:. Locally GCD domains and the ring D + XD S [X] LOCALLY GCD DOMAINS AND THE RING D + XD S [X]
2016
An integral domain D is called a locally GCD domain if D M is a GCD domain for every maximal ideal M of D. We study some ring-theoretic properties of locally GCD domains. For example, we show that D is a locally GCD domain if and only if aD ∩ bD is locally principal for all 0 ̸ = a, b ∈ D, and flat overrings of a locally GCD domain are locally GCD. We also show that the t-class group of a locally GCD domain is just its Picard group. We study when a locally GCD domain is Prüfer or a generalized GCD domain. We also characterize locally factorial domains as domains D whose minimal prime ideals of a nonzero principal ideal are locally principal and discuss conditions that make them Krull domains. We use the D + XDS[X] construction to give some interesting examples of locally GCD domains that are not GCD domains.
PID pairs of rings and maximal non-PID subrings
Mathematische Zeitschrift, 2010
Quasi-primary ideals in commutative semirings
Discussiones Mathematicae - General Algebra and Applications
In this paper, we define quasi-primary ideals in commutative semirings S with 1 = 0 which is a generalization of primary ideals. A proper ideal I of a semiring S is said to be a quasi-primary ideal of We also introduce the concept of 2-absoring quasi-primary ideal of a semiring S which is a generalization of quasi-primary ideal of S. A proper ideal I of a semiring S is said to be a 2-absorbing quasi-primary ideal if abc ∈ √ I implies ab ∈ √ I or bc ∈ √ I or ac ∈ √ I. Some basic results related to 2-absorbing quasi-primary ideal have also been given.
On monoids of finite real character
Proceedings of the American Mathematical Society, 1989
The property of Krull domains, to be determined already by its essential valuations, is extended to a class of monoids of finite real character containing Krull monoids. This is applied to construct a divisor theory for such monoids and also to characterize Krull domains purely multiplicatively as the integral domains for which the multiplicative monoid is a Krull monoid.
A GENERALIZATION OF PRIMARY IDEALS AND STRONGLY PRIME SUBMODULES
We present *-primary submodules, a generalization of the concept of primary submodules of an R-module. We show that every primary submodule of a Noetherian R-module is *-primary. Among other things, we show that over a commutative domain R, every torsion free R-module is *-primary. Furthermore, we show that in a cyclic R-module, primary and *-primary coincide. Moreover, we give a characterization of *-primary submodules for some finitely generated free R-modules.
Related topics
Related papers
Unique representation domains, II
Journal of Pure and Applied Algebra, 2008
On 1-Absorbing primary ideals of commutative rings
Journal of Algebra and Its Applications
Let [Formula: see text] be a commutative ring with nonzero identity. In this paper, we introduce the concept of 1-absorbing primary ideals in commutative rings. A proper ideal [Formula: see text] of [Formula: see text] is called a [Formula: see text]-absorbing primary ideal of [Formula: see text] if whenever nonunit elements [Formula: see text] and [Formula: see text], then [Formula: see text] or [Formula: see text] Some properties of 1-absorbing primary ideals are investigated. For example, we show that if [Formula: see text] admits a 1-absorbing primary ideal that is not a primary ideal, then [Formula: see text] is a quasilocal ring. We give an example of a 1-absorbing primary ideal of [Formula: see text] that is not a primary ideal of [Formula: see text]. We show that if [Formula: see text] is a Noetherian domain, then [Formula: see text] is a Dedekind domain if and only if every nonzero proper 1-absorbing primary ideal of [Formula: see text] is of the form [Formula: see text] fo...
On a Certain Class of Integral Domains with Finitely Many Overrings
2018
An integral domain is called Globalized multiplicatively pinchedDedekind domain (GMPD domain) if every nonzero noninvertible ideal can be written as JP1 · · ·Pk with J invertible ideal and P1, ..., Pk distinct ideals which are maximal among the nonzero noninvertible ideals, cf. [2]. The GMPD domains with only finitely many overrings have been recently studied in [15]. In this paper we continue to investigate the overring-theoretic properties of GMPD domains. We study the effect of quasi-local overrings on the properties of GMPD domains. Moreover, we consider the structure of the partially ordered set of prime ideals (ordered under inclusion) in a GMPD domain.
Studying monoids is not enough to study multiplicative properties of rings: an elementary approach
Arabian Journal of Mathematics, 2014
CITATIONS 0 READS 23 2 authors, including:
𝐽-Noetherian Integral Domains with 1 in the Stable Range
Proceedings of the American Mathematical Society, 1968
Integral domains in which nonzero locally principal ideals are invertible
2011
A. We study locally principal ideals and integral domains, called LPI domains, in which every nonzero locally principal ideal is invertible. We show that a finite character intersection of LPI overrings is an LPI domain. Hence if a domain D is a finite character intersection D = ∩D P for some set of prime ideals of D, then D is an LPI domain. Bazzoni in [10] and in [11] put forward the conjecture: If D is a Prüfer domain such that every nonzero locally principal ideal of D is invertible, then D is of finite character. (A domain D is Prüfer if every nonzero finitely generated ideal of D is invertible and D is of finite character if every nonzero nonunit of D belongs to only finitely many maximal ideals of D.) This conjecture was resolved in the affirmative by Holland, Martinez, McGovern, and Tesemma in [18]. Later Halter-Koch [16] stated and proved an analog of Bazzoni's conjecture for r-Prüfer monoids, which in the domain case are PVMD's (defined below) and include Prüfer domains. Recently, in [23], the second author has treated the Bazzoni Conjecture in a simpler manner encompassing the results of the above mentioned authors. This note is to record the results proved in an effort to answer the following question. What are the domains, called LPI domains, that have the property LPI: every nonzero locally principal ideal is invertible? Our main result is that a finite character intersection of LPI overrings is an LPI domain. Hence if D has a set S of prime ideals with D = ∩ P ∈S D P being of finite character, D is an LPI domain. As our work will involve the use of star operations, we provide below a quick review. Most of the information given below can be found in [22] and [13, sections 32, 34], also see [15]. Let D denote an integral domain with quotient field K and let F (D) be the set of nonzero fractional ideals of D. A star operation * on D is a function * : F (D) → F (D) such that for all A, B ∈ F (D) and for all 0 = x ∈ K (a) (x) * = (x) and (xA) * = xA * , (b) A ⊆ A * and A * ⊆ B * whenever A ⊆ B, and (c) (A *) * = A *. For A, B ∈ F (D) we define *-multiplication by (AB) * = (A * B) * = (A * B *) *. A fractional ideal A ∈ F (D) is called a *-ideal if A = A * and a *-ideal A is of finite type if A = B * where B is a finitely generated fractional ideal. A star operation * is said to be of finite character if A * = {B * | 0 = B is a finitely generated subideal of A}. For A ∈ F (D) define A −1 = {x ∈ K | xA ⊆ D} and call A ∈ F (D) *-invertible if (AA −1) * = D. Clearly every invertible ideal is *-invertible for every star operation *. If * is of finite character and A is *-invertible, then A * is of finite
On the arithmetic of stable domains
Communications in Algebra
A commutative ring R is stable if every non-zero ideal I of R is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the 2-generator property. In the present paper, we study the arithmetic of stable integral domains, with a focus on arithmetic properties of semigroups of ideals of stable orders in Dedekind domains.
Cohen-Kaplansky domains: Integral domains with a finite number of irreducible elements
Journal of Algebra, 1992
We define an integral domain R to be a Cohen-Kaplansky domain (CK domain) if every element of R is a finite product of irreducible elements and R has only finitely many nonassociate irreducible elements. The purpose of this paper is to investigate CK domains. Many conditions equivalent to R being a CK domain are given, for example, R is a CK domain if and only if R is a one-dimensional semilocal domain and for each nonprincipal maximal ideal A4 of R, R/M is finite and R, is analytically irreducible, or, if and only if G(R), the group of divisibility of R, is finitely generated and rank G(R)= IMax(R We show that a CK domain is a certain special type of composite or pullback of a subring of a finite homomorphic image of a semilocal PID. Noetherian domains with G(R) finitely generated are also investigated. ,("
On finitely stable domains, I
Journal of Commutative Algebra, 2019
We prove that an integral domain R is stable and one-dimensional if and only if R is finitely stable and Mori. If R satisfies these two equivalent conditions, then each overring of R also satisfies these conditions and it is 2-v-generated. We also prove that if R is an Archimedean stable domain such that R is local, then R is one-dimensional and so Mori.
P a Strongly Semicommutative Rings Relative to a Monoid
2014
Abstract: For a monoid M , we introduce strongly semicommutative rings relative to M , which are a generalization of strongly semicommutative rings, and investigates its properties. We show that every reduced ring is strongly M -semicommutative for any unique product monoid M. Also it is shown that for a monoid M and an ideal I of R. If I is a reduced ring and R/I is strongly M -semicommutative, then R is strongly M -semicommutative.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.