之中「最一般」的。自由积一定是无限群，除非"G"和"H"其一是平凡群。自由积的构造方法和自由群（由给定的生成元集合所能构造出的最一般的群）相似。自由积是群范畴中的余积。
建构方式.若"G"和"H"是群，以"G"和"H"形成的字是以下形式的乘积：其中"s"是"G"或"H"的元。这种字可以用以下的操作简化：每个简约字都是"G"的元素和"H"的元素交替的积，例如：自由积"G" ∗ "H"的元素是以"G"和"H"形成的简约字，其上的运算是将两字接合后简化。例如若"G"是无穷循