Coba jelasin Sejarah dari Grup bebas dong

Grup bebas pertama kali muncul dalam studi geometri hiperbolik, sebagai contoh grup Fuchsian (kelompok diskrit yang bekerja oleh isometri pada bidang hiperbolik). Dalam sebuah makalah tahun 1882, Walther von Dyck menunjukkan bahwa kelompok-kelompok ini memiliki [[presentasi grup | presentasi] yang sesederhana. Studi aljabar kelompok bebas diprakarsai oleh Jakob Nielsen pada tahun 1924, yang memberi mereka nama dan menetapkan banyak sifat dasar mereka. Max Dehn menyadari hubungannya dengan topologi, dan memperoleh bukti pertama dari teorema Nielsen–Schreier secara penuh. Otto Schreier published an algebraic proof of this result in 1927, dan Kurt Reidemeister memasukkan perawatan komprehensif kelompok bebas dalam bukunya tahun 1932 tentang topologi kombinatorial. Kemudian pada tahun 1930-an, Wilhelm Magnus menemukan hubungan antara deret tengah bawah dari gruo bebas dan aljabar Lie bebas.