• Title/Summary/Keyword: overring

Search Result 13, Processing Time 0.023 seconds

t-LINKED OVERRINGS OF A NOETHERIAN DOMAIN

  • Chang, Gyu-Whan
    • Korean Journal of Mathematics
    • /
    • v.7 no.2
    • /
    • pp.167-169
    • /
    • 1999
  • Let R be a Noetherian domain. It is proved that $t$-dimR = 1 if and only if each (proper if R is not a valuation domain) $t$-linked overring D of R is of $t$-dimD = 1 if and only if each integrally closed $t$-linked overring of R is a Krull domain.

  • PDF

A QUESTION ABOUT MAXIMAL NON φ-CHAINED SUBRINGS

  • Atul Gaur;Rahul Kumar
    • Communications of the Korean Mathematical Society
    • /
    • v.38 no.1
    • /
    • pp.11-19
    • /
    • 2023
  • Let 𝓗0 be the set of rings R such that Nil(R) = Z(R) is a divided prime ideal of R. The concept of maximal non φ-chained subrings is a generalization of maximal non valuation subrings from domains to rings in 𝓗0. This generalization was introduced in [20] where the authors proved that if R ∈ 𝓗0 is an integrally closed ring with finite Krull dimension, then R is a maximal non φ-chained subring of T(R) if and only if R is not local and |[R, T(R)]| = dim(R) + 3. This motivates us to investigate the other natural numbers n for which R is a maximal non φ-chained subring of some overring S. The existence of such an overring S of R is shown for 3 ≤ n ≤ 6, and no such overring exists for n = 7.

CHARACTERIZATIONS OF A KRULL RING R[X]

  • Chang, Gyu-Whan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.38 no.3
    • /
    • pp.543-549
    • /
    • 2001
  • We show that R[X] is a Krull (Resp. factorial) ring if and only if R is a normal Krull (resp, factorial) ring with a finite number of minimal prime ideals if and only if R is a Krull (resp. factorial) ring with a finite number of minimal prime ideals and R(sub)M is an integral domain for every maximal ideal M of R. As a corollary, we have that if R[X] is a Krull (resp. factorial) ring and if D is a Krull (resp. factorial) overring of R, then D[X] is a Krull (resp. factorial) ring.

  • PDF

ON GRADED KRULL OVERRINGS OF A GRADED NOETHERIAN DOMAIN

  • Lee, Eun-Kyung;Park, Mi-Hee
    • Bulletin of the Korean Mathematical Society
    • /
    • v.49 no.1
    • /
    • pp.205-211
    • /
    • 2012
  • Let R be a graded Noetherian domain and A a graded Krull overring of R. We show that if h-dim $R\leq2$, then A is a graded Noetherian domain with h-dim $A\leq2$. This is a generalization of the well-know theorem that a Krull overring of a Noetherian domain with dimension $\leq2$ is also a Noetherian domain with dimension $\leq2$.

OVERRINGS OF t-COPRIMELY PACKED DOMAINS

  • Kim, Hwan-Koo
    • Journal of the Korean Mathematical Society
    • /
    • v.48 no.1
    • /
    • pp.191-205
    • /
    • 2011
  • It is well known that for a Krull domain R, the divisor class group of R is a torsion group if and only if every subintersection of R is a ring of quotients. Thus a natural question is that under what conditions, for a non-Krull domain R, every (t-)subintersection (resp., t-linked overring) of R is a ring of quotients or every (t-)subintersection (resp., t-linked overring) of R is at. To address this question, we introduce the notions of *-compact packedness and *-coprime packedness of (an ideal of) an integral domain R for a star operation * of finite character, mainly t or w. We also investigate the t-theoretic analogues of related results in the literature.

SOME EXAMPLES OF ALMOST GCD-DOMAINS

  • Chang, Gyu Whan
    • Journal of the Chungcheong Mathematical Society
    • /
    • v.24 no.3
    • /
    • pp.601-607
    • /
    • 2011
  • Let D be an integral domain, X be an indeterminate over D, and D[X] be the polynomial ring over D. We show that D is an almost weakly factorial PvMD if and only if D + XDS[X] is an integrally closed almost GCD-domain for each (saturated) multiplicative subset S of D, if and only if $D+XD_1[X]$ is an integrally closed almost GCD-domain for any t-linked overring $D_1$ of D, if and only if $D_1+XD_2[X]$ is an integrally closed almost GCD-domain for all t-linked overrings $D_1{\subseteq}D_2$ of D.

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(ℤ).

LOCALLY PSEUDO-VALUATION DOMAINS OF THE FORM D[X]Nv

  • Chang, Gyu-Whan
    • Journal of the Korean Mathematical Society
    • /
    • v.45 no.5
    • /
    • pp.1405-1416
    • /
    • 2008
  • Let D be an integral domain, X an indeterminate over D, $N_v = \{f{\in}D[X]|(A_f)_v=D\}.$. Among other things, we introduce the concept of t-locally PVDs and prove that $D[X]N_v$ is a locally PVD if and only if D is a t-locally PVD and a UMT-domain, if and only if D[X] is a t-locally PVD, if and only if each overring of $D[X]N_v$ is a locally PVD.

A NOTE ON w-GD DOMAINS

  • Zhou, Dechuan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.57 no.6
    • /
    • pp.1351-1365
    • /
    • 2020
  • Let S and T be w-linked extension domains of a domain R with S ⊆ T. In this paper, we define what satisfying the wR-GD property for S ⊆ T means and what being wR- or w-GD domains for T means. Then some sufficient conditions are given for the wR-GD property and wR-GD domains. For example, if T is wR-integral over S and S is integrally closed, then the wR-GD property holds. It is also given that S is a wR-GD domain if and only if S ⊆ T satisfies the wR-GD property for each wR-linked valuation overring T of S, if and only if S ⊆ (S[u])w satisfies the wR-GD property for each element u in the quotient field of S, if and only if S𝔪 is a GD domain for each maximal wR-ideal 𝔪 of S. Then we focus on discussing the relationship among GD domains, w-GD domains, wR-GD domains, Prüfer domains, PνMDs and PwRMDs, and also provide some relevant counterexamples. As an application, we give a new characterization of PwRMDs. We show that S is a PwRMD if and only if S is a wR-GD domain and every wR-linked overring of S that satisfies the wR-GD property is wR-flat over S. Furthermore, examples are provided to show these two conditions are necessary for PwRMDs.

OVERRINGS OF THE KRONECKER FUNCTION RING Kr(D, *) OF A PRUFER *-MULTIPLICATION DOMAIN D

  • Chang, Gyu-Whan
    • Bulletin of the Korean Mathematical Society
    • /
    • v.46 no.5
    • /
    • pp.1013-1018
    • /
    • 2009
  • Let * be an e.a.b. star operation on an integrally closed domain D, and let $K\gamma$(D, *) be the Kronecker function ring of D. We show that if D is a P*MD, then the mapping $D_{\alpha}{\mapsto}K{\gamma}(D_{\alpha},\;{\upsilon})$ is a bijection from the set {$D_{\alpha}$} of *-linked overrings of D into the set of overrings of $K{\gamma}(D,\;{\upsilon})$. This is a generalization of [5, Proposition 32.19] that if D is a Pr$\ddot{u}$fer domain, then the mapping $D_{\alpha}{\mapsto}K_{\gamma}(D_{\alpha},\;b)$ is a one-to-one mapping from the set {$D_{\alpha}$} of overrings of D onto the set of overrings of $K_{\gamma}$(D, b).