自由積
数学、とくに群論における自由積（じゆうせき、）は、2つの群 "G", "H" から新しい群 "G" ∗ "H" を構成する操作である。"G" ∗ "H" は "G" と "H" をともに部分群として含み、"G" と "H" の元によって生成され、そして、これらの性質を持つ「最も一般的な」群である。"G" と "H" の一方が自明でないかぎり、自由積は必ず無限群である。自由積の構成は自由群（与えられた生成集合から作ることのできる最も一般的な群）の構成と類似している。
自由積は群の圏における余積である。つまり、自由積が群論において果たす役割は、集合論における非交和や加群論における直和のそれと同じである。もとの群が可換であったとしても、一方が自明でない限り、自由積は可換ではない。したがって、自由積はアーベル群の圏における余積ではない。
自由積はのために代数トポロジーにおいて重要である。この定理はある条件を満たす2つの弧状連結位相空間の和集合の基本群は常にもとの空間の基本群の融合積であるというものである。とくに2つの空間のウェッジ和（すなわち1点で2つの空間を貼りあわせて得られる空間）の基本群は単に空間の基本群の自由積である。
自由積はまた木に自己同型として作用する群の研究であるにおいても重要である。特に、木に対する有限頂点固定群を持つ任意の群作用は融合積とを用いて有限群から構成することができる。この理論において、双曲平面のある種の三角形分割上へのモジュラー群の作用を用いれば、モジュラー群が位数 および の巡回群の、位数 の巡回群上でとった融合積に同型となることが示せる。
群の自由積（＝余積）はの圏において考えるのが適している 。群の非交和は、群にはならないが、亜群にはなるという点に注目する。任意の亜群 は必ず普遍群 (universal group) を持つが、群の非交和の普遍群はそれら群の自由積（＝余積）に一致するのである。