On subsocles of primary abelian groups (Q1209545): Difference between revisions

Let \(G\) be an abelian \(p\)-group for some prime \(p\). A subsocle \(S\) of \(G\) is said to have height \(k\) (in symbols, \(h(S) = k\)), if \(k\) is the largest integer \(\geq 0\) such that \(S\subset p^ kG\). If no such \(k\) exists we say \(h(S) = \infty\). \(S\) is said to be open if there is a non- negative integer \(n\) such that \(p^ nG[p] \subset S\). The range of an open subsocle \(S\) with finite height \(k\) is the least non-negative integer \(n\) such that \(p^{k+n}G[p]\subset S\). A subsocle \(S\) is called a center of purity modulo \(p^ n\) if all the \(S\)-high subgroups \(H\) have the property that \(H/(H[p^ n])\) is pure in \(G/(H[p^ n])\). The authors prove that a subsocle \(S\) is a center of purity modulo \(p^ n\) if and only if either \(h(S) = \infty\) or \(S\) is an open subsocle with range \(S \leq n+2\).