The Nielsen-Schreier Theorem states that every subgroup of a free group is itself a free group. Proved by Jakob Nielsen and Otto Schreier, it is a foundational result of combinatorial group theory, and it has a well known proof via covering spaces of graphs that links the algebraic statement directly to topology.
Facts
StatementThe Nielsen-Schreier theorem states that every subgroup of a free group is itself free. 1 Proof YearJakob Nielsen proved a restricted finitely-generated case in 1921; Otto Schreier proved the theorem in full generality in his 1926 habilitation thesis, published 1927. Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Sources
1. Nielsen-Schreier Theorem (Wikipedia)
Wikimedia FoundationLead paragraph, first sentence
In group theory, a branch of mathematics, the Nielsen-Schreier theorem states that every subgroup of a free group is itself free.
History section, Schreier sentence
Otto Schreier proved the Nielsen-Schreier theorem in its full generality in his 1926 habilitation thesis, Die Untergruppen der freien Gruppe, also published in 1927 in Abh. math. Sem. Hamburg. Univ.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.