Discussion:Groupe (mathématiques)/Théorème de Gaschütz

Démonstration trop longue

La démonstration est un peu lourde sous cette forme, ne serait-il pas bon de la découper en sous-lemmes plus digestes ? Cynddl ^[discussion]

C'est vrai que la démonstration est très longue. (J’ai détaillé la démonstration donnée par Kurzweil et Stellmacher.) J’ai essayé de la découper, justement, en mettant des parties dans des boîtes déroulantes, pour que l'arbre ne cache pas la forêt. Vous proposez d'énoncer des sous-lemmes, mais un lemme est normalement un théorème à part entière et non seulement une affirmation relative à des objets mathématiques particuliers apparaissant dans une démonstration. À quels lemmes penseriez-vous ? Marvoir 10 février 2011 à 10:36 (UTC)