Jabarkan Subgrup dari Grup abelian bebas

Setiap subgrup dari grup abelian gratis itu sendiri merupakan grup abelian gratis. Hasil dari Richard Dedekind adalah pendahulu dari analogi teorema Nielsen–Schreier bahwa setiap subkelompok dari grup bebas adalah bebas, dan merupakan generalisasi dari fakta bahwa setiap subgrup nontrivial dari grup siklik tak hingga adalah siklik tak hingga.