15/03/08 09:46:21.19 AXAfK1QO.net
>>461 つづき
前スレで、群Gを部分群Hで類別することの一意性はほぼ示されているが、だめ押し
整列可能定理（下記）を認めるとする
URLﾘﾝｸ(ja.wikipedia.org)
（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。
（引用おわり）
群Gの要素を、整列可能定理により、g1,g2,g3,・・・と並べる
部分群Hによる類別を頭から行う
類別した要素は、取り除く
これを繰り返して、全ての群の要素を類別する
この類別は一意である（∵手順が一意であるから。なお、一意の証明（例えば一意でないとして�