Motived by an intrinisic necessary condition for the purifiability of subgroups of primary abelian groups due to K. Benabdallah and T. Okuyama we introduce new functors on the category of pairs (G, A),where A is a subgroup of G,to the category of Z/pZ-vector spaces. The vanishing of these functors leads to the notion of vertical subgroup which is a weakening of purity but also an essential component of the latter. In fact, a vertical subgroup is pure if and only if it is neat. We establish various facts about vertical subgroups and “maximal” vertical subgroups and apply the resulting theory to the problem of purifiability. We show that the class of quasi-complete groups is precisely the class of reduced groups in which every subgroup satisfying the intrinsic necessary condition for purifiability is in fact purifiable. This is also the class of reduced p-groups in which the maximal vertical subgroups are precisely the pure subgroups.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.