théorème de Nielsen-Schreier

En théorie des groupes – une branche des mathématiques – le théorème de Nielsen-Schreier, nommé d'après Jakob Nielsen et Otto Schreier, est un résultat essentiel de la théorie combinatoire des groupes, qui traite des groupes discrets (le plus souvent infinis). Il affirme que tout sous-groupe d'un groupe libre est un groupe libre. En plus de cet énoncé qualitatif, la version quantitative relie l'indice et le rang d'un tel sous-groupe. Une conséquence surprenante est qu'un groupe libre du rang supérieur ou égal à 2 possède des sous-groupes de tout rang (fini). Ce théorème peut être démontré de façon particulièrement élégante et instructive par des méthodes de topologie algébrique, en considérant le groupe fondamental d'un revêtement de graphe.