在
数学的
群论中,自由积(英语:free product,法语:produit libre)是从两个以上的
群构造出一个群的一种操作。两个群G和H的自由积,是一个新的群G ∗ H。这个群包含G和H为
子群,由G和H的元素生成,并且是有以上性质的群之中“最一般”的。自由积一定是无限群,除非G和H其一是平凡群。自由积的构造方法和自由群(由给定的生成元集合所能构造出的最一般的群)相似。
这个群包含G和H为子群,由G和H的元素生成,并且是有以上性质的群之中“最一般”的。自由积一定是无限群,除非G和H其一是平凡群。自由积的构造方法和自由群(由给定的生成元集合所能构造出的最一般的群)相似。
共合积(英语:amalgamated (free) product或free product with amalgamation,法语:produit (libre) amalgamé)是自由积的推广。设G和H是群,又设F是另一个群,并有
群同态。