• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.1
• /
• pp.53-59
• /
• 2017

In this article, we generalize the concepts of several classes of domains (which are related to a Dedekind domain) to a torsion-free module and it is shown that for a faithful multiplication module over an integral domain, we characterize Dedekind modules, cyclic submodule modules, and discrete valuation modules in terms of factorable modules and a sort of Euclidean algorithm.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1071-1083
• /
• 2023

The main motivation of this paper is to introduce and study the notions of strong Dedekind rings and semi-regular injective modules. Specifically, a ring R is called strong Dedekind if every semi-regular ideal is Q₀-invertible, and an R-module E is called a semi-regular injective module provided Ext¹_R(T, E) = 0 for every 𝓠-torsion module T. In this paper, we first characterize rings over which all semi-regular injective modules are injective, and then study the semi-regular injective envelopes of R-modules. Moreover, we introduce and study the semi-regular global dimensions sr-gl.dim(R) of commutative rings R. Finally, we obtain that a ring R is a DQ-ring if and only if sr-gl.dim(R) = 0, and a ring R is a strong Dedekind ring if and only if sr-gl.dim(R) ≤ 1, if and only if any semi-regular ideal is projective. Besides, we show that the semi-regular dimensions of strong Dedekind rings are at most one.

• Kyungpook Mathematical Journal
• /
• v.58 no.3
• /
• pp.463-472
• /
• 2018

A Q-module is a module in which every nonzero submodule of M is a finite product of primary submodules of M. This paper is devoted to study some properties of Dedekind modules and Q-modules.

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

• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.521-537
• /
• 2023

A module M is called a simple-direct-injective module if, whenever A and B are simple submodules of M with A ≅ B and B is a direct summand of M, then A is a direct summand of M. Some new characterizations of these modules are proved. The structure of simple-direct-injective modules over a commutative Dedekind domain is fully determined. Also, some relevant counterexamples are indicated to show that a left simple-direct-injective ring need not be right simple-direct-injective.

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

Let R be a commutative ring. An R-module E is said to be regular injective provided that Ext¹_R(R/I, E) = 0 for any regular ideal I of R. We first show that the class of regular injective modules have the hereditary property, and then introduce and study the regular injective dimension of modules and regular global dimension of rings. Finally, we give some homological characterizations of total rings of quotients and Dedekind rings.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.4
• /
• pp.711-715
• /
• 2012

In terms of divisible-like modules, some equivalent conditions for an integral domain R to be a generalized GCD domain are given.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.37-42
• /
• 2011

Let M be an R-module and S a semigroup. Our goal is to discuss zero-divisors of the semigroup module M[S]. Particularly we show that if M is an R-module and S a commutative, cancellative and torsion-free monoid, then the R[S]-module M[S] has few zero-divisors of size n if and only if the R-module M has few zero-divisors of size n and Property (A).

• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.729-741
• /
• 2019

In this paper we give a full characterization of prime submodules of a finitely generated projective module M over a commutative ring R with identity. Also we study the existence of primary decomposition of a submodule of a finitely generated projective module and characterize the minimal primary decomposition of this submodule. Finally, we characterize the radical of an arbitrary submodule of a finitely generated projective module M and study submodules of M which satisfy the radical formula.

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