(追記有り)中学でも分かるガロアの証明➃『剰余群』について
ここでは、剰余類どうしに新たに演算を定義して、その演算に関して剰余類の集合は群(これを剰余群という)になることを証明していきます。ガロアによる偉大な発見です。
ますは、本シリーズ (28) ~ (30) でやった定義、重要事項を記していきます。
(復習)群の定義 空でない集合 $${G}$$ の任意の要素 $${a, b, c}$$ の間に1つの演算 $${*}$$ が規定されているとする。
この集合 $${G}$$ の任意の要素 $${a, b, c}$$