• Title/Summary/Keyword: Dedekind ring

Search Result 19, Processing Time 0.019 seconds

THE IDEAL CLASS GROUP OF POLYNOMIAL OVERRINGS OF THE RING OF INTEGERS

  • Chang, Gyu Whan
    • Journal of the Korean Mathematical Society
    • /
    • v.59 no.3
    • /
    • pp.571-594
    • /
    • 2022
  • Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

ON n-ABSORBING IDEALS AND THE n-KRULL DIMENSION OF A COMMUTATIVE RING

  • Moghimi, Hosein Fazaeli;Naghani, Sadegh Rahimi
    • Journal of the Korean Mathematical Society
    • /
    • v.53 no.6
    • /
    • pp.1225-1236
    • /
    • 2016
  • Let R be a commutative ring with $1{\neq}0$ and n a positive integer. In this article, we introduce the n-Krull dimension of R, denoted $dim_n\;R$, which is the supremum of the lengths of chains of n-absorbing ideals of R. We study the n-Krull dimension in several classes of commutative rings. For example, the n-Krull dimension of an Artinian ring is finite for every positive integer n. In particular, if R is an Artinian ring with k maximal ideals and l(R) is the length of a composition series for R, then $dim_n\;R=l(R)-k$ for some positive integer n. It is proved that a Noetherian domain R is a Dedekind domain if and only if $dim_n\;R=n$ for every positive integer n if and only if $dim_2\;R=2$. It is shown that Krull's (Generalized) Principal Ideal Theorem does not hold in general when prime ideals are replaced by n-absorbing ideals for some n > 1.

A GORENSTEIN HOMOLOGICAL CHARACTERIZATION OF KRULL DOMAINS

  • Shiqi Xing;Xiaolei Zhang
    • Bulletin of the Korean Mathematical Society
    • /
    • v.61 no.3
    • /
    • pp.735-744
    • /
    • 2024
  • In this note, we shed new light on Krull domains from the point view of Gorenstein homological algebra. By using the so-called w-operation, we show that an integral domain R is Krull if and only if for any nonzero proper w-ideal I, the Gorenstein global dimension of the w-factor ring (R/I)w is zero. Further, we obtain that an integral domain R is Dedekind if and only if for any nonzero proper ideal I, the Gorenstein global dimension of the factor ring R/I is zero.

ON PRIME SUBMODULES OF A FINITELY GENERATED PROJECTIVE MODULE OVER A COMMUTATIVE RING

  • Nekooei, Reza;Pourshafiey, Zahra
    • Communications of the Korean Mathematical Society
    • /
    • v.34 no.3
    • /
    • pp.729-741
    • /
    • 2019
  • In this paper we give a full characterization of prime submodules of a finitely generated projective module M over a commutative ring R with identity. Also we study the existence of primary decomposition of a submodule of a finitely generated projective module and characterize the minimal primary decomposition of this submodule. Finally, we characterize the radical of an arbitrary submodule of a finitely generated projective module M and study submodules of M which satisfy the radical formula.

PRIME FACTORIZATION OF IDEALS IN COMMUTATIVE RINGS, WITH A FOCUS ON KRULL RINGS

  • Gyu Whan Chang;Jun Seok Oh
    • Journal of the Korean Mathematical Society
    • /
    • v.60 no.2
    • /
    • pp.407-464
    • /
    • 2023
  • Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

ON STRONGLY GORENSTEIN HEREDITARY RINGS

  • Hu, Kui;Kim, Hwankoo;Wang, Fanggui;Xu, Longyu;Zhou, Dechuan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.56 no.2
    • /
    • pp.373-382
    • /
    • 2019
  • In this note, we mainly discuss strongly Gorenstein hereditary rings. We prove that for any ring, the class of SG-projective modules and the class of G-projective modules coincide if and only if the class of SG-projective modules is closed under extension. From this we get that a ring is an SG-hereditary ring if and only if every ideal is G-projective and the class of SG-projective modules is closed under extension. We also give some examples of domains whose ideals are SG-projective.

MAXIMAL IDEALS IN POLYNOMIAL RINGS

  • Cho, Young-Hyun
    • Bulletin of the Korean Mathematical Society
    • /
    • v.22 no.2
    • /
    • pp.117-119
    • /
    • 1985
  • Let R be a commutative noetherian ring with 1.neq.0, denoting by .nu.(I) the cardinality of a minimal basis of the ideal I. Let A be a polynomial ring in n>0 variables with coefficients in R, and let M be a maximal ideal of A. Generally it is shown that .nu.(M $A_{M}$).leq..nu.(M).leq..nu.(M $A_{M}$)+1. It is well known that the lower bound is not always satisfied, and the most classical examples occur in nonfactional Dedekind domains. But in many cases, (e.g., A is a polynomial ring whose coefficient ring is a field) the lower bound is attained. In [2] and [3], the conditions when the lower bound is satisfied is investigated. Especially in [3], it is shown that .nu.(M)=.nu.(M $A_{M}$) if M.cap.R=p is a maximal ideal or $A_{M}$ (equivalently $R_{p}$) is not regular or n>1. Hence the problem of determining whether .nu.(M)=.nu.(M $A_{M}$) can be studied when p is not maximal, $A_{M}$ is regular and n=1. The purpose of this note is to provide some conditions in which the lower bound is satisfied, when n=1 and R is a regular local ring (hence $A_{M}$ is regular)./ is regular).

  • PDF

A NOTE ON GORENSTEIN PRÜFER DOMAINS

  • Hu, Kui;Wang, Fanggui;Xu, Longyu
    • Bulletin of the Korean Mathematical Society
    • /
    • v.53 no.5
    • /
    • pp.1447-1455
    • /
    • 2016
  • In this note, we mainly discuss the Gorenstein $Pr{\ddot{u}}fer$ domains. It is shown that a domain is a Gorenstein $Pr{\ddot{u}}fer$ domain if and only if every finitely generated ideal is Gorenstein projective. It is also shown that a domain is a PID (resp., Dedekind domain, $B{\acute{e}}zout$ domain) if and only if it is a Gorenstein $Pr{\ddot{u}}fer$ UFD (resp., Krull domain, GCD domain).

THE OHM-RUSH CONTENT FUNCTION III: COMPLETION, GLOBALIZATION, AND POWER-CONTENT ALGEBRAS

  • Epstein, Neil;Shapiro, Jay
    • Journal of the Korean Mathematical Society
    • /
    • v.58 no.6
    • /
    • pp.1311-1325
    • /
    • 2021
  • One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.