• 대한수학회보
• /
• 제54권6호
• /
• pp.1969-1980
• /
• 2017

Let ${\Gamma}$ be a nonzero torsionless commutative cancellative monoid with quotient group ${\langle}{\Gamma}{\rangle}$, $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be a graded integral domain graded by ${\Gamma}$ such that $R_{{\alpha}}{\neq}\{0\}$ for all ${\alpha}{\in}{\Gamma},H$ be the set of nonzero homogeneous elements of R, C(f) be the ideal of R generated by the homogeneous components of $f{\in}R$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. In this paper, we introduce the notion of graded t-almost Dedekind domains. We then show that R is a t-almost Dedekind domain if and only if R is a graded t-almost Dedekind domain and RH is a t-almost Dedekind domains. We also show that if $R=D[{\Gamma}]$ is the monoid domain of ${\Gamma}$ over an integral domain D, then R is a graded t-almost Dedekind domain if and only if D and ${\Gamma}$ are t-almost Dedekind, if and only if $R_{N(H)}$ is an almost Dedekind domain. In particular, if ${\langle}{\Gamma}{\rangle}$ isatisfies the ascending chain condition on its cyclic subgroups, then $R=D[{\Gamma}]$ is a t-almost Dedekind domain if and only if R is a graded t-almost Dedekind domain.

• Kyungpook Mathematical Journal
• /
• 제57권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.

• 대한수학회지
• /
• 제59권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(ℤ).