mula_16，使得对所有formula_17都有其中formula_19是把formula_10嵌入到formula_11中的群同态。
共合积.共合积（或，）是自由积的推广。设"G"和"H"是群，又设"F"是另一个群，并有群同态对"F"中所有元素"f"，在自由积"G" ∗ "H"中加入关系便得出其共合积。换言之，在"G" ∗ "H"中取最小的正规子群"N"，使得上式左方的元素都包含在内，则商群就是共合积formula_26。共合积可视为在群范畴中图表formula_2