On subsocles ofS 2-modules

Notes on summability in $QTAG$-modules

“…In other words it is free from the elements of infinite height. The module M is called separable [13] if M 1 = 0. A submodule N of M is said to be high [15], if it is a complement of M 1 i.e., M = N ⊕ M 1 .…”