Bourbaki

Exercise 12, § 6

Algebra, I, p. 137

Bourbaki marks this one as harder than the rest.

Let GG be a nilpotent group and let HH be the set of elements of GG of finite order. a) Now prove that HH is a subgroup of GG. b) Now prove that every finite subset of HH generates a finite subgroup. c) Now prove that two elements of HH of relatively prime orders commute.

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.