- #1

- 8

- 0

## Homework Statement

Let H be a finite abelian group that has one subgroup of order d for every positive divisor d of the order of H. Prove that H is cyclic

## Homework Equations

We want to show H={a^n|n is an integer}

Last edited:

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter curiousmuch
- Start date

- #1

- 8

- 0

Let H be a finite abelian group that has one subgroup of order d for every positive divisor d of the order of H. Prove that H is cyclic

We want to show H={a^n|n is an integer}

Last edited:

- #2

- 614

- 0

Assume not. Then by Fundamental theorem of finitely generated abelian groups, H is isomorphic to Z_a x Z_b. Since, by assumption, H is not cyclic, it follows that Z_a x Z_b is not cyclic. This implies that a and b are not relatively prime. Which implies that there exists some prime p that divides both a and b. Perhaps apply Cauchy's theorem here.

Share: