• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.571-575
• /
• 2023

Let D be an integral domain and let * be a star-operation on D. In this article, we give new characterizations of *_w-Noetherian domains and *_w-principal ideal domains. More precisely, we show that D is a *_w-Noetherian domain (resp., *_w-principal ideal domain) if and only if every *_w-countable type ideal of D is of *_w-finite type (resp., principal).

• Korean Journal of Mathematics
• /
• v.23 no.4
• /
• pp.631-636
• /
• 2015

Let D be an integral domain and w be the so-called w-operation on D. In this note, we introduce the notion of *(w)-domains: D is a *(w)-domain if $(({\cap}(x_i))({\cap}(y_j)))_w={\cap}(x_iy_j)$ for all nonzero elements $x_1,{\ldots},x_m$; $y_1,{\ldots},y_n$ of D. We then show that D is a $Pr{\ddot{u}}fer$ v-multiplication domain if and only if D is a *(w)-domain and $A^{-1}$ is of finite type for all nonzero finitely generated fractional ideals A of D.

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

Let R be a commutative ring. In this paper, the w-projective Basis Lemma for w-projective modules is given. Then it is shown that for a domain, nonzero w-projective ideals and nonzero w-invertible ideals coincide. As an application, it is proved that R is a Krull domain if and only if every submodule of finitely generated projective modules is w-projective.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1187-1198
• /
• 2019

Let R be a domain with its field Q of quotients. An R-module M is said to be weak w-projective if $Ext^1_R(M,N)=0$ for all $N{\in}{\mathcal{P}}^{\dagger}_w$, where ${\mathcal{P}}^{\dagger}_w$ denotes the class of GV-torsionfree R-modules N with the property that $Ext^k_R(M,N)=0$ for all w-projective R-modules M and for all integers $k{\geq}1$. In this paper, we define a domain R to be w-Matlis if the weak w-projective dimension of the R-module Q is ${\leq}1$. To characterize w-Matlis domains, we introduce the concept of w-Matlis cotorsion modules and study some basic properties of w-Matlis modules. Using these concepts, we show that R is a w-Matlis domain if and only if $Ext^k_R(Q,D)=0$ for any ${\mathcal{P}}^{\dagger}_w$-divisible R-module D and any integer $k{\geq}1$, if and only if every ${\mathcal{P}}^{\dagger}_w$-divisible module is w-Matlis cotorsion, if and only if w.w-pdRQ/$R{\leq}1$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.601-608
• /
• 2012

The following statements for an infra-Krull domain $R$ are shown to be equivalent: (1) $R$ is a Krull domain; (2) for any essentially finite $w$-module $M$ over $R$, the torsion submodule $t(M)$ of $M$ is a direct summand of $M$; (3) for any essentially finite $w$-module $M$ over $R$, $t(M){\cap}pM=pt(M)$, for all maximal $w$-ideal $p$ of $R$; (4) $R$ satisfies the $w$-radical formula; (5) the $R$-module $R{\oplus}R$ satisfies the $w$-radical formula.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.49-61
• /
• 2011

Let D be an integral domain with quotient field K, X be a nonempty set of indeterminates over D, * be a star operation on D, $N_*$={f $\in$ D[X]|c(f)$^*$= D}, $*_w$ be the star operation on D defined by $I^{*_w}$ = ID[X]${_N}_*$ $\cap$ K, and [*] be the star operation on D[X] canonically associated to * as in Theorem 2.1. Let $A^g$ (resp., $A^{[*]g}$, $A^{[*]g}$) be the global (resp.,*-global, [*]-global) transform of a ring A. We show that D is a $*_w$-Noetherian domain if and only if D[X] is a [*]-Noetherian domain. We prove that $D^{*g}$[X]${_N}_*$ = (D[X]${_N}_*$)$^g$ = (D[X])$^{[*]g}$; hence if D is a $*_w$-Noetherian domain, then each ring between D[X]${_N}_*$ and $D^{*g}$[X]${_N}_*$ is a Noetherian domain. Let $\tilde{D}$ = $\cap${$D_P$|P $\in$ $*_w$-Max(D) and htP $\geq$2}. We show that $D\;\subseteq\;\tilde{D}\;\subseteq\;D^{*g}$ and study some properties of $\tilde{D}$ and $D^{*g}$.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.735-744
• /
• 2024

In this note, we shed new light on Krull domains from the point view of Gorenstein homological algebra. By using the so-called w-operation, we show that an integral domain R is Krull if and only if for any nonzero proper w-ideal I, the Gorenstein global dimension of the w-factor ring (R/I)_w is zero. Further, we obtain that an integral domain R is Dedekind if and only if for any nonzero proper ideal I, the Gorenstein global dimension of the factor ring R/I is zero.

• The Pure and Applied Mathematics
• /
• v.23 no.1
• /
• pp.13-19
• /
• 2016

In this paper, we study some characterizations of unbounded domains. Among these, so-called G-domain is introduced by Cabre for the Aleksandrov-Bakelman-Pucci maximum principle of second order linear elliptic operator in a non-divergence form. This domain is generalized to wG-domain by Vitolo for the maximum principle of an unbounded domain, which contains G-domain. We study the properties of these domains and compare some other characterizations. We prove that sA-domain is wG-domain, but using the Cantor set, we are able to construct a example which is wG-domain but not sA-domain.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1351-1365
• /
• 2020

Let S and T be w-linked extension domains of a domain R with S ⊆ T. In this paper, we define what satisfying the w_R-GD property for S ⊆ T means and what being w_R- or w-GD domains for T means. Then some sufficient conditions are given for the w_R-GD property and w_R-GD domains. For example, if T is w_R-integral over S and S is integrally closed, then the w_R-GD property holds. It is also given that S is a w_R-GD domain if and only if S ⊆ T satisfies the w_R-GD property for each w_R-linked valuation overring T of S, if and only if S ⊆ (S[u])_w satisfies the w_R-GD property for each element u in the quotient field of S, if and only if S_𝔪 is a GD domain for each maximal w_R-ideal 𝔪 of S. Then we focus on discussing the relationship among GD domains, w-GD domains, w_R-GD domains, Prüfer domains, PνMDs and Pw_RMDs, and also provide some relevant counterexamples. As an application, we give a new characterization of Pw_RMDs. We show that S is a Pw_RMD if and only if S is a w_R-GD domain and every w_R-linked overring of S that satisfies the w_R-GD property is w_R-flat over S. Furthermore, examples are provided to show these two conditions are necessary for Pw_RMDs.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1327-1338
• /
• 2015

In this paper, we introduce and study the w-weak global dimension w-w.gl.dim(R) of a commutative ring R. As an application, it is shown that an integral domain R is a $Pr\ddot{u}fer$ v-multiplication domain if and only if w-w.gl.dim(R) ${\leq}1$. We also show that there is a large class of domains in which Hilbert's syzygy Theorem for the w-weak global dimension does not hold. Namely, we prove that if R is an integral domain (but not a field) for which the polynomial ring R[x] is w-coherent, then w-w.gl.dim(R[x]) = w-w.gl.dim(R).