群の直積
数学、特に群論において、与えられたいくつかの群の直積（ちょくせき、）は、それらを正規部分群として含むような新しい群を作る構成法である。