A. Giovannitti, Clayton State University, Department of Mathematics, Morrow, GA 30260, USA, e-mail: anthonygiovannitti@clayton.edu; H. P. Goeters, Auburn University, Department of Mathematics, Auburn, AL 36849-5310, USA, e-mail: goetehp@auburn.edu
Abstract: The class of pure submodules ($\cal P$) and torsion-free images ($\cal R$) of finite direct sums of submodules of the quotient field of an integral domain were first investigated by M. C. R. Butler for the ring of integers (1965). In this case ${\cal P} = {\cal R}$ and short exact sequences of such modules are both prebalanced and precobalanced. This does not hold for integral domains in general. In this paper the notion of precobalanced sequences of modules is further investigated. It is shown that as in the case for abelian groups the exact sequence $ 0 \to M \to L \to T \to 0 $ with torsion $T$ is precobalanced precisely when it is cobalanced and in this case will split if $M$ is torsion-free of rank $1$. It is demonstrated that containment relationships between $\cal P$ and $\cal R$ for a domain $R$ are intimately related to the issue of when pure submodules of Butler modules are precobalanced. An analogous statement is made regarding the dual question of when torsion-free images of Butler modules are prebalanced.
Keywords: precobalanced sequence, cobalanced sequence, torsion-free image, pure submodule
Classification (MSC2000): 13C13, 13D99, 13G05, 18A20
Full text of the article: