Bonjour à tous !
je cherche une démonstration du Lemme de Schreier, qui permet de construire une partie génératrice d'un sous-groupe à partir d'une partie génératrice du groupe et d'une transversale du sous-groupe.
Celle de wikipedia, quoique courte, me pose problème (vers la fin de l'article) :
https://fr.wikiversity.org/wiki/Th%C...pe#cite_note-3
Je ne comprends pas du tout pourquoi, alors que cela semble évident pour l'auteur.
Quelqu'un pourrait-il éclairer ma lanterne ?
-----