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

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.11-16
• /
• 2006

In this article we show that if R is a Noetherian ring with the global dimension at most one, then every S-torsion free R-module T has a divisible envelope of the form $T{\hookrightarrow}S^{-1}T$

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

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