• Kyungpook Mathematical Journal
• /
• v.55 no.3
• /
• pp.507-514
• /
• 2015

Let D be an integral domain, t be the so-called t-operation on D, and S be a (not necessarily saturated) multiplicative subset of D. In this paper, we study the Nagata ring of S-Noetherian domains and locally S-Noetherian domains. We also investigate the t-Nagata ring of t-locally S-Noetherian domains. In fact, we show that if S is an anti-archimedean subset of D, then D is an S-Noetherian domain (respectively, locally S-Noetherian domain) if and only if the Nagata ring $D[X]_N$ is an S-Noetherian domain (respectively, locally S-Noetherian domain). We also prove that if S is an anti-archimedean subset of D, then D is a t-locally S-Noetherian domain if and only if the polynomial ring D[X] is a t-locally S-Noetherian domain, if and only if the t-Nagata ring $D[X]_{N_v}$ is a t-locally S-Noetherian domain.

• Kyungpook Mathematical Journal
• /
• v.61 no.3
• /
• pp.487-494
• /
• 2021

In this paper, we study rings with Noetherian spectrum, rings with locally Noetherian spectrum and rings with t-locally Noetherian spectrum in terms of the polynomial ring, the Serre's conjecture ring, the Nagata ring and the t-Nagata ring. In fact, we show that a commutative ring R with identity has Noetherian spectrum if and only if the Serre's conjecture ring R[X]_U has Noetherian spectrum, if and only if the Nagata ring R[X]_N has Noetherian spectrum. We also prove that an integral domain D has locally Noetherian spectrum if and only if the Nagata ring D[X]_N has locally Noetherian spectrum. Finally, we show that an integral domain D has t-locally Noetherian spectrum if and only if the polynomial ring D[X] has t-locally Noetherian spectrum, if and only if the t-Nagata ring $D[X]_{N_v}$ has (t-)locally Noetherian spectrum.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.

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

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.71-77
• /
• 2024

Let A be a commutative integral domain with identity element and S a multiplicatively closed subset of A. In this paper, we introduce the concept of S-valuation domains as follows. The ring A is said to be an S-valuation domain if for every two ideals I and J of A, there exists s ∈ S such that either sI ⊆ J or sJ ⊆ I. We investigate some basic properties of S-valuation domains. Many examples and counterexamples are provided.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.499-511
• /
• 2006

It is well-known that every finitely generated torsion-free module over a principal ideal domain is free. This will be generalized. We deal with ideals of the finite, external direct product of certain rings. Finally, if M is a torsion-free, finitely generated module over a reduced, Noetherian ring A, then we prove that Ms is a projective module over As, where $S=A{\setminus}(A)$.

• Honam Mathematical Journal
• /
• v.22 no.1
• /
• pp.9-16
• /
• 2000

An A-module M is catenary if for each pair of prime submodules K and L of M with $K{\subset}L$ all saturated chains of prime submodules of M from K to L have a common finite length. We show that when A is a Noetherian domain, then every finitely generated A-module is catenary if and only if A is a Dedekind domain or a field. Moreover, a torsion-free divisible A-module M is catenary if and only if the vector space M over Q(A) (the field of fractions of A) is finite dimensional.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1225-1236
• /
• 2016

Let R be a commutative ring with $1{\neq}0$ and n a positive integer. In this article, we introduce the n-Krull dimension of R, denoted $dim_n\;R$, which is the supremum of the lengths of chains of n-absorbing ideals of R. We study the n-Krull dimension in several classes of commutative rings. For example, the n-Krull dimension of an Artinian ring is finite for every positive integer n. In particular, if R is an Artinian ring with k maximal ideals and l(R) is the length of a composition series for R, then $dim_n\;R=l(R)-k$ for some positive integer n. It is proved that a Noetherian domain R is a Dedekind domain if and only if $dim_n\;R=n$ for every positive integer n if and only if $dim_2\;R=2$. It is shown that Krull's (Generalized) Principal Ideal Theorem does not hold in general when prime ideals are replaced by n-absorbing ideals for some n > 1.