• Communications of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.233-260
• /
• 2017

Let R be a factorial domain. In this work we investigate the connections between the arithmetic of Int(R) (i.e., the ring of integer-valued polynomials over R) and its monadic submonoids (i.e., monoids of the form {$g{\in}Int(R){\mid}g{\mid}_{Int(R)}f^k$ for some $k{\in}{\mathbb{N}}_0$} for some nonzero $f{\in}Int(R)$). Since every monadic submonoid of Int(R) is a Krull monoid it is possible to describe the arithmetic of these monoids in terms of their divisor-class group. We give an explicit description of these divisor-class groups in several situations and provide a few techniques that can be used to determine them. As an application we show that there are strong connections between Int(R) and its monadic submonoids. If $R={\mathbb{Z}}$ or more generally if R has sufficiently many "nice" atoms, then we prove that the infinitude of the elasticity and the tame degree of Int(R) can be explained by using the structure of monadic submonoids of Int(R).

• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.393-410
• /
• 2013

Let $R{\subseteq}T$ be an extension of integral domains, X be an indeterminate over T, and R[X] and T[X] be polynomial rings. Then $R{\subseteq}T$ is said to be LCM-stable if $(aR{\cap}bR)T=aT{\cap}bT$ for all $0{\neq}a,b{\in}R$. Let $w_A$ be the so-called $w$-operation on an integral domain A. In this paper, we introduce the notions of $w(e)$- and $w$-LCM-stable extensions: (i) $R{\subseteq}T$ is $w(e)$-LCM-stable if $((aR{\cap}bR)T)_{w_T}=aT{\cap}bT$ for all $0{\neq}a,b{\in}R$ and (ii) $R{\subseteq}T$ is $w$-LCM-stable if $((aR{\cap}bR)T)_{w_R}=(aT{\cap}bT)_{w_R}$ for all $0{\neq}a,b{\in}R$. We prove that LCM-stable extensions are both $w(e)$-LCM-stable and $w$-LCM-stable. We also generalize some results on LCM-stable extensions. Among other things, we show that if R is a Krull domain (resp., $P{\upsilon}MD$), then $R{\subseteq}T$ is $w(e)$-LCM-stable (resp., $w$-LCM-stable) if and only if $R[X]{\subseteq}T[X]$ is $w(e)$-LCM-stable (resp., $w$-LCM-stable).

• 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.

• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.15-23
• /
• 2009

Let D be an integral domain, P be a nonzero prime ideal of D, $\{P_{\alpha}{\mid}{\alpha}{\in}{\mathcal{A}}\}$ be a nonempty set of prime ideals of D, and $\{I_{\beta}{\mid}{\beta}{\in}{\mathcal{B}}\}$ be a nonempty family of ideals of D with ${\cap}_{{\beta}{\in}{\mathcal{B}}}I_{\beta}{\neq}(0)$. Consider the following conditions: (i) If $P{\subseteq}{\cup}_{{\alpha}{\in}{\mathcal{A}}}P_{\alpha}$, then $P=P_{\alpha}$ for some ${\alpha}{\in}{\mathcal{A}}$; (ii) If ${\cap}_{{\beta}{\in}{\mathcal{B}}}I_{\beta}{\subseteq}P$, then $I_{\beta}{\subseteq}P$ for some ${\beta}{\in}{\mathcal{B}}$. In this paper, we prove that D satisfies $(i){\Leftrightarrow}D$ is a generalized weakly factorial domain of ${\dim}(D)=1{\Rightarrow}D$ satisfies $(ii){\Leftrightarrow}D$ is a weakly Krull domain of dim(D) = 1. We also study the t-operation analogs of (i) and (ii).

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.525-530
• /
• 2015

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• Kyungpook Mathematical Journal
• /
• v.57 no.2
• /
• pp.187-191
• /
• 2017

Let R be a domain with quotient field K and prime subring A. Then R is integral over each of its subrings having quotient field K if and only if (A, R) is a survival pair. This shows the redundancy of a condition involving going-down pairs in a earlier characterization of such rings. In characteristic 0, the domains being characterized are the rings R that are isomorphic to subrings of the ring of all algebraic integers. In positive (prime) characteristic, the domains R being characterized are of two kinds: either R = K is an algebraic field extension of A or precisely one valuation domain of K does not contain R.

• Journal of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.797-808
• /
• 2018

In [1], the authors generalize the concept of the class group of an integral domain $D(Cl_t(D))$ by introducing the notion of the S-class group of an integral domain where S is a multiplicative subset of D. The S-class group of D, $S-Cl_t(D)$, is the group of fractional t-invertible t-ideals of D under the t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of D. In this paper we study when $S-Cl_t(D){\simeq}S-Cl_t(D_T)$, where T is a multiplicative subset generated by prime elements of D. We show that if D is a Mori domain, T a multiplicative subset generated by prime elements of D and S a multiplicative subset of D, then the natural homomorphism $S-Cl_t(D){\rightarrow}S-Cl_t(D_T)$ is an isomorphism. In particular, we give an S-version of Nagata's Theorem [13]: Let D be a Krull domain, T a multiplicative subset generated by prime elements of D and S another multiplicative subset of D. If $D_T$ is an S-factorial domain, then D is an S-factorial domain.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.259-268
• /
• 1998

We give several characterizations of a TV-PVMD and we show that the localization R[X;S]$_{N_{\upsilon}}$ of a semigroup ring R[X;S] is a TV-PVMD if and only if R is a TV-PVMD where $N_{\upsilon}\;=\;\{f\;{\in}\;R[X]{\mid}(A_f)_{\upsilon} = R\}$ and S is a torsion free cancellative semigroup with zero.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.35-57
• /
• 2017

In this paper, we study the natural star-operation defined by the set of associated primes of principal ideals of an integral domain, which is called the g-operation. We are mainly concerned with the ideal-theoretic properties of this star-operation. In particular, we investigate DG-domains (i.e., integral domains in which each ideal is a g-ideal), which form a proper subclass of the DW-domains. In order to provide some original examples, we examine the transfer of the DG-property to pullbacks. As an application of the g-operation, it is shown that w-divisorial Mori domains can be seen as a Gorenstein analogue of Krull domains.