[数式:原文を参照]は正の整数であり,[数式:原文を参照]は亜群,商群,および拡張のために閉じた一群の群である。有限群Gは,それぞれ2つのサブセットMとNのNのあらゆる2つのサブセットMとNの条件を満たし,[数式:原文を参照]と[数式:原文を参照]は,[数式:原文を参照],または,[数式:原文を参照]のいずれかが存在する。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】