On the structure of submodule of finitely generated module over PID

Abstract: Consider

m a t h b b Z / 8 m a t h b b Z o p l u s m a t h b b Z / 2 m a t h b b Z

, and the subgroup generated by

(2, 1)

, it is a subgroup isomorphic to

m a t h b b Z / 4 m a t h b b Z

. If my theorem holds, it must contained in a cyclic group generated by some element of order

8

which is impossible. The error in 4.2 is because "preimage" do not preserce the image of

[x m a p s t o p x]

.

This page was built for publication: On the structure of submodule of finitely generated module over PID