• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.237-247
• /
• 2014

The purpose of this paper is to introduce the concept of strongly extending modules which are particular subclass of the class of extending modules, and study some basic properties of this new class of modules. A module M is called strongly extending if each submodule of M is essential in a fully invariant direct summand of M. In this paper we examine the behavior of the class of strongly extending modules with respect to the preservation of this property in direct summands and direct sums and give some properties of these modules, for instance, strongly summand intersection property and weakly co-Hopfian property. Also such modules are characterized over commutative Dedekind domains.

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

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.373-382
• /
• 2019

In this note, we mainly discuss strongly Gorenstein hereditary rings. We prove that for any ring, the class of SG-projective modules and the class of G-projective modules coincide if and only if the class of SG-projective modules is closed under extension. From this we get that a ring is an SG-hereditary ring if and only if every ideal is G-projective and the class of SG-projective modules is closed under extension. We also give some examples of domains whose ideals are SG-projective.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1075-1081
• /
• 2020

Let R be a domain. It is proved that R is coherent when IFD(R) ⩽ 1, and R is Noetherian when IPD(R) ⩽ 1. Consequently, R is a G-Prüfer domain if and only if IFD(R) ⩽ 1, if and only if wG-gldim(R) ⩽ 1; and R is a G-Dedekind domain if and only if IPD(R) ⩽ 1.

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