• 대한수학회보
• /
• 제61권3호
• /
• pp.797-811
• /
• 2024

In this paper, we define the torsion graph determined by equivalence classes of torsion elements and denote it by A_E(M). The vertex set of A_E(M) is the set of equivalence classes {[x] | x ∈ T(M)^*}, where two torsion elements x, y ∈ T(M)^* are equivalent if ann(x) = ann(y). Also, two distinct classes [x] and [y] are adjacent in A_E(M), provided that ann(x)ann(y)M = 0. We shall prove that for every torsion finitely generated module M over a Dedekind domain R, a vertex of A_E(M) has degree two if and only if it is an associated prime of M.

• 대한수학회지
• /
• 제54권1호
• /
• pp.59-68
• /
• 2017

Let $F=R^{(n)}$ be a free R-module of finite rank $n{\geq}2$. In this paper, we characterize the prime submodules of F with at most n generators when R is a $Pr{\ddot{u}}fer$ domain. We also introduce the notion of prime matrix and we show that when R is a valuation domain, every finitely generated prime submodule of F with at least n generators is the row space of a prime matrix.

• Kyungpook Mathematical Journal
• /
• 제54권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.

• 대한수학회보
• /
• 제53권5호
• /
• pp.1447-1455
• /
• 2016

In this note, we mainly discuss the Gorenstein $Pr{\ddot{u}}fer$ domains. It is shown that a domain is a Gorenstein $Pr{\ddot{u}}fer$ domain if and only if every finitely generated ideal is Gorenstein projective. It is also shown that a domain is a PID (resp., Dedekind domain, $B{\acute{e}}zout$ domain) if and only if it is a Gorenstein $Pr{\ddot{u}}fer$ UFD (resp., Krull domain, GCD domain).

• 대한수학회보
• /
• 제56권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.