自由積

ウィキペディア

自由積

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/01/02 09:22 UTC 版)

数学、とくに群論における自由積（じゆうせき、英: free product）は、2つの群 G, H から新しい群 G ∗ H を構成する操作である。G ∗ H は G と H をともに部分群として含み、G と H の元によって生成され、そして、これらの性質を持つ「最も一般的な」群である。G と H の一方が自明でないかぎり、自由積は必ず無限群である。自由積の構成は自由群（与えられた生成集合から作ることのできる最も一般的な群）の構成と類似している。