- #1

WWGD

Science Advisor

Gold Member

- 5,466

- 3,784

My thought is using the structure theorem for finitely-generated PIDs. So I can find 3:

## \mathbb Z_4 \times \mathbb Z_4##,

## \mathbb Z_4 \times \mathbb Z_2 \times \mathbb Z_2 ## , and:

## \mathbb Z_2 ^4 ## .

How can I tell if these are the only 3 groups with this property up to isomorphism?

Thanks.