可除関係における群構造の解析