Bourbaki

Exercise 25, § 7

Algebra, I

Let GG be a group. Now prove the equivalence of the following properties: (a) GG is a free group. (b) Whatever the group HH and the extension EE of GG by HH, there exists a section G→EG \to E. (To prove that bb implies aa), take for EE a free group and use Exercise 20.)

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.