定理 群 の類別 が，次の条件をみたすとする． 任意の に対し， が存在して， このとき，次が成立する． 任意の に対し， となる はただ1つである． このとき によって 上の演算を定義すると，この演算に関して は群になる． とする． とおくと，これは の部…