Classification and structures of the reduced Abelian p-groups (Q584419)

The author defines an iteration system and isomorphism of two such objects. He then proves, Theorem. Given a reduced abelian p-group A, we can establish an iteration system I(A). The iteration systems obtained by different methods are isomorphic. If an abstract iteration system I is isomorphic to I(A), then I itself must be an iteration system of A.