• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.447-459
• /
• 2016

Let D be an integral domain, {$X_{\alpha}$} be a nonempty set of indeterminates over D, and $D{\mathbb{[}}\{X_{\alpha}\}{\mathbb{]}_1}$ be the first type power series ring over D. We show that if D is a t-SFT $Pr{\ddot{u}}fer$ v-multiplication domain, then $D{\mathbb{[}}\{X_{\alpha}\}{\mathbb{]}}_{1_{D-\{0\}}}$ is a Krull domain, and $D{\mathbb{[}}\{X_{\alpha}\}{\mathbb{]}}_1$ is a $Pr{\ddot{u}}fer$ v-multiplication domain if and only if D is a Krull domain.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.817-826
• /
• 2015

Let R be a commutative ring with total quotient ring K. Each monomorphic R-module endomorphism of a cyclic R-module is an isomorphism if and only if R has Krull dimension 0. Each monomorphic R-module endomorphism of R is an isomorphism if and only if R = K. We say that R has property (${\star}$) if for each nonzero element $a{\in}R$, each monomorphic R-module endomorphism of R/Ra is an isomorphism. If R has property (${\star}$), then each nonzero principal prime ideal of R is a maximal ideal, but the converse is false, even for integral domains of Krull dimension 2. An integral domain R has property (${\star}$) if and only if R has no R-sequence of length 2; the "if" assertion fails in general for non-domain rings R. Each treed domain has property (${\star}$), but the converse is false.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.663-677
• /
• 2023

The purpose of this paper is to introduce a new class of rings containing the class of SFT-rings and contained in the class of rings with Noetherian prime spectrum. Let A be a commutative ring with unit and I be an ideal of A. We say that I is SFT if there exist an integer k ≥ 1 and a finitely generated ideal F ⊆ I of A such that x^k ∈ F for every x ∈ I. The ring A is said to be nonnil-SFT, if each nonnil-ideal (i.e., not contained in the nilradical of A) is SFT. We investigate the nonnil-SFT variant of some well known theorems on SFT-rings. Also we study the transfer of this property to Nagata's idealization and the amalgamation algebra along an ideal. Many examples are given. In fact, using the amalgamation construction, we give an infinite family of nonnil-SFT rings which are not SFT.

• Kyungpook Mathematical Journal
• /
• v.57 no.3
• /
• pp.401-417
• /
• 2017

Ever since their introduction, skew PBW ($Poincar{\acute{e}}$-Birkhoff-Witt) extensions of rings have kept growing in importance, as researchers characterized their properties (such as primeness, Krull and Goldie dimension, homological properties, etc.) in terms of intrinsic properties of the base ring, and studied their relations with other fields of mathematics, as for example quantum mechanics theory. Many rings and algebras arising in quantum mechanics can be interpreted as skew PBW extensions. Our aim in this paper is to study skew PBW extensions of Baer, quasi-Baer, principally projective and principally quasi-Baer rings, in the case when the base ring R is not assumed to be reduced. We just impose some mild compatibleness over the base ring R, and prove that these properties are stable over this kind of extensions.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.625-631
• /
• 2018

Let R be a commutative ring with identity and let R[x] be the collection of polynomials with coefficients in R. There are a lot of multiplications in R[x] such that together with the usual addition, R[x] becomes a ring that contains R as a subring. These multiplications are from a class of functions ${\lambda}$ from ${\mathbb{N}}_0$ to ${\mathbb{N}}$. The trivial case when ${\lambda}(i)=1$ for all i gives the usual polynomial ring. Among nontrivial cases, there is an important one, namely, the case when ${\lambda}(i)=i!$ for all i. For this case, it gives the well-known Hurwitz polynomial ring $R_H[x]$. In this paper, we completely determine the Krull dimension of $R_H[x]$ when R is a $Pr{\ddot{u}}fer$ domain. Let R be a $Pr{\ddot{u}}fer$ domain. We show that dim $R_H[x]={\dim}\;R+1$ if R has characteristic zero and dim $R_H[x]={\dim}\;R$ otherwise.

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

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

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.983-992
• /
• 2023

Let A be a ring and 𝓙 = {ideals I of A | J(I) = I}. The Krull dimension of A, written dim A, is the sup of the lengths of chains of prime ideals of A; whereas the dimension of the maximal spectrum, denoted by dim _𝓙A, is the sup of the lengths of chains of prime ideals from 𝓙. Then dim _𝓙A ≤ dim A. In this paper, we will study the dimension of the maximal spectrum of some constructions of rings and we will be interested in the transfer of the property J-Noetherian to ring extensions.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.11-19
• /
• 2023

Let 𝓗₀ 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 𝓗₀. This generalization was introduced in [20] where the authors proved that if R ∈ 𝓗₀ 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.

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