In particular, F m ∗ F n ≅ F m + n , {\displaystyle F_{m}*F_{n}\cong F_{m+n},} where Fn denotes the free group on n generators.
とくに、 F m ∗ F n ≅ F m + n {\displaystyle F_{m}*F_{n}\cong F_{m+n}} である、ただし Fn は n 個の生成元の自由群を表す。