Exemple 4
Étiquette 0DEO, permanente. À citer comme [Bourbaki, Tag 0DEO].
Algebra, chapter I, § 6. Extensions, groupes résolubles, groupes nilpotents
Si G est un groupe résoluble de classe et F un groupe résoluble de classe , toute extension E de G par F est un groupe résoluble de classe . En effet, soit la projection; on a et par suite ; on en déduit que .
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.