自由积

在数学的群论中，自由积（英语：free product，法语：produit libre）是从两个以上的群构造出一个群的一种操作。两个群G和H的自由积，是一个新的群G ∗ H。这个群包含G和H为子群，由G和H的元素生成，并且是有以上性质的群之中“最一般”的。自由积一定是无限群，除非G和H其一是平凡群。自由积的构造方法和自由群（由给定的生成元集合所能构造出的最一般的群）相似。自由积是群范畴中的余积。