14/12/20 06:10:18.32
>>729 補足
"残りの、60の奇置換全体にもA5と同じ群構造が入るんだね
S5=A5+A5(12)
偶置換A5と奇置換A5(12)は、同じ群構造だと ">>466
と書いたが、粘着くんが>>467で書いてくれたように、”奇置換全体は、置換の合成では群にはならない”
奇置換全体は、群じゃない
φ:A5(12)→(12)A5(12)=A5
という全単射で、群構造を定めることができると
”群構造が入る”という言い方は、不適切だったと反省している
”群構造を定めることができる”が、適切だったと
それで、ミスリードされた粘着くんが
”あなたが言ってることは「要素が60個の集合には5次交代群と同型の群構造が入る」というトリビアルな話である。”>>468 と
でも、よく考えると、代数構造の場合には、”xx構造が入る”という表現は良くなかった