を群としたとき，直積集合の元に次のように演算を入れる。 右辺のそれぞれの成分は，元の群の演算をおこなうこととする。これで直積集合は群となる。直積群，もしくは単に直積と呼ぶ。群の部分群が次の2条件を満たすとする。 1) の任意の元との任意の元は可…