Bourbaki

Exercise 19, § 6

Algebra, I, p. 138

Let G be a finite commutative group. (a) Now prove that there exists an element x∈Gx \in G whose order nn is a multiple of the orders of the elements of G. (Use the decomposition of G into a product of pp-groups.) Now prove that the subgroup H generated by such an element is a direct factor in G (apply the preceding exercise to construct a homomorphism G→HG \to H whose restriction to H is the identity). (b) Now prove that G is a direct product of cyclic groups. (Reason by induction on Card(G) using a).) (Cf. VII, §4, No. 6.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.