• Title/Summary/Keyword: Almost multiplicative set

Search Result 3, Processing Time 0.016 seconds

ALMOST MULTIPLICATIVE SETS

  • BAEK, HYUNG TAE;LIM, JUNG WOOK
    • Journal of applied mathematics & informatics
    • /
    • v.39 no.3_4
    • /
    • pp.259-266
    • /
    • 2021
  • Let R be a commutative ring with identity and let S be a nonempty subset of R. We define S to be an almost multiplicative subset of R if for each a, b ∈ S, there exist integers m, n ≥ 1 such that ambn ∈ S. In this article, we study some utilization of almost multiplicative subsets.

ALMOST SPLITTING SETS S OF AN INTEGRAL DOMAIN D SUCH THAT DS IS A PID

  • Chang, Gyu Whan
    • Korean Journal of Mathematics
    • /
    • v.19 no.2
    • /
    • pp.163-169
    • /
    • 2011
  • Let D be an integral domain, S be a multiplicative subset of D such that DS is a PID, and D[X] be the polynomial ring over D. We show that S is an almost splitting set in D if and only if every nonzero prime ideal of D disjoint from S contains a primary element. We use this result to give a simple proof of the known result that D is a UMT-domain and Cl(D[X]) is torsion if and only if each upper to zero in D[X] contains a primary element.

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