Freiheitssatz

喺組合羣論裡面，Freiheitssatz係羣展示論嘅一個定理，指出單關係羣嘅某啲子羣係自由羣。

定理內容 
考慮以下嘅羣展示：

入面有 n 個生成元同埋一個循環簡約關係，如果有喺入面出現嘅話，入面由生成嘅子羣就係自由羣，換句話講，呢個子羣入面之間無任何關係。

歷史 
呢個定理由德國數學家Max Dehn提出，由佢嘅學生Wilhelm Magnus喺佢嘅博士論文證明出嚟。Dehn原本諗住Magnus會用拓樸學嘅方法證明出嚟，點知Magnus最後係用數學歸納法加埋羣嘅共合積證到。之後同都用唔同嘅歸納法方法證明到。

重要性 
Freiheitssatz成為咗單關係羣論嘅基石，亦都推用共合積理論嘅發展，呢個定理亦都可以諗做向量空間同交換羣入面一啲簡單嘅定理向非交換羣論方向嘅推廣。

羣論