• Title/Summary/Keyword: Noetherian domains

Search Result 22, Processing Time 0.024 seconds

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.

*-NOETHERIAN DOMAINS AND THE RING D[X]N*, II

  • Chang, Gyu-Whan
    • Journal of the Korean Mathematical Society
    • /
    • v.48 no.1
    • /
    • pp.49-61
    • /
    • 2011
  • Let D be an integral domain with quotient field K, X be a nonempty set of indeterminates over D, * be a star operation on D, $N_*$={f $\in$ D[X]|c(f)$^*$= D}, $*_w$ be the star operation on D defined by $I^{*_w}$ = ID[X]${_N}_*$ $\cap$ K, and [*] be the star operation on D[X] canonically associated to * as in Theorem 2.1. Let $A^g$ (resp., $A^{[*]g}$, $A^{[*]g}$) be the global (resp.,*-global, [*]-global) transform of a ring A. We show that D is a $*_w$-Noetherian domain if and only if D[X] is a [*]-Noetherian domain. We prove that $D^{*g}$[X]${_N}_*$ = (D[X]${_N}_*$)$^g$ = (D[X])$^{[*]g}$; hence if D is a $*_w$-Noetherian domain, then each ring between D[X]${_N}_*$ and $D^{*g}$[X]${_N}_*$ is a Noetherian domain. Let $\tilde{D}$ = $\cap${$D_P$|P $\in$ $*_w$-Max(D) and htP $\geq$2}. We show that $D\;\subseteq\;\tilde{D}\;\subseteq\;D^{*g}$ and study some properties of $\tilde{D}$ and $D^{*g}$.

A Characterization of Dedekind Domains and ZPI-rings

  • Rostami, Esmaeil
    • Kyungpook Mathematical Journal
    • /
    • v.57 no.3
    • /
    • pp.433-439
    • /
    • 2017
  • It is well known that an integral domain D is a Dedekind domain if and only if D is a Noetherian almost Dedekind domain. In this paper, we show that an integral domain D is a Dedekind domain if and only if D is an almost Dedekind domain such that Max(D) is a Noetherian topological space as a subspace of Spec(D) with respect to the Zariski topology. We also give a new characterization of ZPI-rings.

SOME REMARKS ON S-VALUATION DOMAINS

  • Ali Benhissi;Abdelamir Dabbabi
    • Communications of the Korean Mathematical Society
    • /
    • v.39 no.1
    • /
    • pp.71-77
    • /
    • 2024
  • Let A be a commutative integral domain with identity element and S a multiplicatively closed subset of A. In this paper, we introduce the concept of S-valuation domains as follows. The ring A is said to be an S-valuation domain if for every two ideals I and J of A, there exists s ∈ S such that either sI ⊆ J or sJ ⊆ I. We investigate some basic properties of S-valuation domains. Many examples and counterexamples are provided.

GRADED INTEGRAL DOMAINS IN WHICH EACH NONZERO HOMOGENEOUS IDEAL IS DIVISORIAL

  • Chang, Gyu Whan;Hamdi, Haleh;Sahandi, Parviz
    • Bulletin of the Korean Mathematical Society
    • /
    • v.56 no.4
    • /
    • pp.1041-1057
    • /
    • 2019
  • Let ${\Gamma}$ be a nonzero commutative cancellative monoid (written additively), $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}$ $R_{\alpha}$ be a ${\Gamma}$-graded integral domain with $R_{\alpha}{\neq}\{0\}$ for all ${\alpha}{\in}{\Gamma}$, and $S(H)=\{f{\in}R{\mid}C(f)=R\}$. In this paper, we study homogeneously divisorial domains which are graded integral domains whose nonzero homogeneous ideals are divisorial. Among other things, we show that if R is integrally closed, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is an h-local $Pr{\ddot{u}}fer$ domain whose maximal ideals are invertible, if and only if R satisfies the following four conditions: (i) R is a graded-$Pr{\ddot{u}}fer$ domain, (ii) every homogeneous maximal ideal of R is invertible, (iii) each nonzero homogeneous prime ideal of R is contained in a unique homogeneous maximal ideal, and (iv) each homogeneous ideal of R has only finitely many minimal prime ideals. We also show that if R is a graded-Noetherian domain, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is a divisorial domain of (Krull) dimension one.

COPURE PROJECTIVE MODULES OVER FGV-DOMAINS AND GORENSTEIN PRÜFER DOMAINS

  • Shiqi Xing
    • Bulletin of the Korean Mathematical Society
    • /
    • v.60 no.4
    • /
    • pp.971-983
    • /
    • 2023
  • In this paper, we prove that a domain R is an FGV-domain if every finitely generated torsion-free R-module is strongly copure projective, and a coherent domain is an FGV-domain if and only if every finitely generated torsion-free R-module is strongly copure projective. To do this, we characterize G-Prüfer domains by G-flat modules, and we prove that a domain is G-Prüfer if and only if every submodule of a projective module is G-flat. Also, we study the D + M construction of G-Prüfer domains. It is seen that there exists a non-integrally closed G-Prüfer domain that is neither Noetherian nor divisorial.

ON 𝜙-PSEUDO-KRULL RINGS

  • El Khalfi, Abdelhaq;Kim, Hwankoo;Mahdou, Najib
    • Communications of the Korean Mathematical Society
    • /
    • v.35 no.4
    • /
    • pp.1095-1106
    • /
    • 2020
  • The purpose of this paper is to introduce a new class of rings that is closely related to the class of pseudo-Krull domains. Let 𝓗 = {R | R is a commutative ring and Nil(R) is a divided prime ideal of R}. Let R ∈ 𝓗 be a ring with total quotient ring T(R) and define 𝜙 : T(R) → RNil(R) by ${\phi}({\frac{a}{b}})={\frac{a}{b}}$ for any a ∈ R and any regular element b of R. Then 𝜙 is a ring homomorphism from T(R) into RNil(R) and 𝜙 restricted to R is also a ring homomorphism from R into RNil(R) given by ${\phi}(x)={\frac{x}{1}}$ for every x ∈ R. We say that R is a 𝜙-pseudo-Krull ring if 𝜙(R) = ∩ Ri, where each Ri is a nonnil-Noetherian 𝜙-pseudo valuation overring of 𝜙(R) and for every non-nilpotent element x ∈ R, 𝜙(x) is a unit in all but finitely many Ri. We show that the theories of 𝜙-pseudo Krull rings resemble those of pseudo-Krull domains.

QUASI-COMPLETENESS AND LOCALIZATIONS OF POLYNOMIAL DOMAINS: A CONJECTURE FROM "OPEN PROBLEMS IN COMMUTATIVE RING THEORY"

  • Farley, Jonathan David
    • Bulletin of the Korean Mathematical Society
    • /
    • v.53 no.6
    • /
    • pp.1613-1615
    • /
    • 2016
  • It is proved that $k[X_1,{\ldots},X_v ]$ localized at the ideal ($X_1,{\ldots},X_v$ ), where k is a field and $X_1,{\ldots},X_v$ indeterminates, is not weakly quasi-complete for $v{\geq}2$, thus proving a conjecture of D. D. Anderson and solving a problem from "Open Problems in Commutative Ring Theory" by Cahen, Fontana, Frisch, and Glaz.

PRIME BASES OF WEAKLY PRIME SUBMODULES AND THE WEAK RADICAL OF SUBMODULES

  • Nikseresht, Ashkan;Azizi, Abdulrasool
    • Journal of the Korean Mathematical Society
    • /
    • v.50 no.6
    • /
    • pp.1183-1198
    • /
    • 2013
  • We will introduce and study the notion of prime bases for weakly prime submodules and utilize them to derive some formulas on the weak radical of submodules of a module. In particular, we will show that every one dimensional integral domain weakly satisfies the radical formula and state some necessary conditions on local integral domains which are semi-compatible or satisfy the radical formula and also on Noetherian rings which weakly satisfy the radical formula.