• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.991-1008
• /
• 2013

In this paper, we mainly discuss Gorenstein Dedekind do-mains (G-Dedekind domains for short) and their overrings. Let R be a one-dimensional Noetherian domain with quotient field K and integral closure T. Then it is proved that R is a G-Dedekind domain if and only if for any prime ideal P of R which contains ($R\;:_K\;T$), P is Gorenstein projective. We also give not only an example to show that G-Dedekind domains are not necessarily Noetherian Warfield domains, but also a definition for a special kind of domain: a 2-DVR. As an application, we prove that a Noetherian domain R is a Warfield domain if and only if for any maximal ideal M of R, $R_M$ is a 2-DVR.

• Korean Journal of Mathematics
• /
• v.18 no.3
• /
• pp.271-275
• /
• 2010

Let R be a commutative ring with identity, T(R) be the total quotient ring of R, and D be a ring such that $R{\subseteq}D{\subseteq}T(R)$ and D is a finite R-module. In this paper, we show that each regular ideal of R is finitely generated if and only if each regular ideal of D is finitely generated. This is a generalization of the Eakin-Nagata theorem that R is Noetherian if and only if D is Noetherian.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.459-467
• /
• 2013

In this paper, Matlis injective modules are introduced and studied. It is shown that every R-module has a (special) Matlis injective preenvelope over any ring R and every right R-module has a Matlis injective envelope when R is a right Noetherian ring. Moreover, it is shown that every right R-module has an ${\mathcal{F}}^{{\perp}1}$-envelope when R is a right Noetherian ring and $\mathcal{F}$ is a class of injective right R-modules.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.219-225
• /
• 2018

In this paper, we characterize the prime submodules of an injective module over a Noetherian ring.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.103-110
• /
• 2019

In this paper, we give a characterization of prime submodules of an injective module over a Noetherian ring.

• Honam Mathematical Journal
• /
• v.46 no.2
• /
• pp.307-312
• /
• 2024

In this paper, we present useful characterizations for Noetherian modules using the theory of prime submodules.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1905-1914
• /
• 2013

Let D be an integral domain with quotient field K, M a torsion-free D-module, X an indeterminate, and $N_v=\{f{\in}D[X]|c(f)_v=D\}$. Let $q(M)=M{\otimes}_D\;K$ and $M_{w_D}$={$x{\in}q(M)|xJ{\subseteq}M$ for a nonzero finitely generated ideal J of D with $J_v$ = D}. In this paper, we show that $M_{w_D}=M[X]_{N_v}{\cap}q(M)$ and $(M[X])_{w_{D[X]}}{\cap}q(M)[X]=M_{w_D}[X]=M[X]_{N_v}{\cap}q(M)[X]$. Using these results, we prove that M is a strong Mori D-module if and only if M[X] is a strong Mori D[X]-module if and only if $M[X]_{N_v}$ is a Noetherian $D[X]_{N_v}$-module. This is a generalization of the fact that D is a strong Mori domain if and only if D[X] is a strong Mori domain if and only if $D[X]_{N_v}$ is a Noetherian domain.

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

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.367-374
• /
• 2001

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[x]-module. Park generalized Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^S]$-module, where S is a submonoid of $\mathbb{N}$($\mathbb{N}$ is the set of all natural numbers). In this paper we extend the injective property to the Laurent power series module so that if R is a ring and E is an injective left R-module, then $E[[x^{-1},x]]$ is an injective left $R[x^S]$-module.

• Kyungpook Mathematical Journal
• /
• v.58 no.1
• /
• pp.1-8
• /
• 2018

We prove that if R is a commutative ring, then every maximal ideal of R is idempotent if and only if every locally noetherian (locally artinian) R-module is semisimple.