Pure projective resolutions in the category of p-primary Abelian groups (Q1080957)

The main results are the following. Let A and B be abelian p-groups and suppose there is an isomorphism from \(A[p^ n]\) onto \(B[p^ n]\) that preserves heights (computed in A and B) of all elements of height less than \(\omega +n\). Let \(0\to K\to F\to A\to 0\) be a pure exact sequence with F a direct sum of cyclic p-groups. Then there exists a pure subgroup L of F such that \(L[p^ n]=K[p^ n]\) and F/L\(\simeq B\). For each positive integer n, define a valuation \(v_ n\) on \(A[p^ n]\) as follows: if \(0\neq x\in A[p^ n]\), \(order(x)=p^ i\), \(h_ A(x)=\alpha\), define \(v_ n(x)=\min \{\alpha,\omega +n-i\}\). Using the result in the first paragraph, the author shows that the number of noncongruent pure subgroups of F supported by \(K[p^ n]\) is the same as the number of nonisomorphic p-groups G such that the valuated group \((G[p^ n],v_ n)\) is isometric to the valuated group \(F[p^ n]/K[p^ n]\) with the restriction of the height function of \(F/K[p^ n]\) as the valuation.