03/07/29 11:47
レス読み返して勝手に纏めてみる
群Gのべき集合P(G)には元同士の積全体のなす集合として積が入る。
これによりP(G)は半群となる。
このとき>>353の問題は、G/HがP(G)の部分半群ならばその積は
通常の剰余類群の積(aH)(bH)=abHとなることを示せ、と読める。
漏れはここまでは暗黙の了解とみなして言及せず、>>360を書いた。
>>361以降でそれはおかしいという人が出てきた。
彼（等？）の主張はそもそもP(G)に演算など自然には入らず
>>353は問題として成立してしないというものだったようだが
漏れは彼等も上記の読みを了解していると思い込んでいたので
話がまったくかみ合わなかった。
こんなところか。
しかし>>383とか>>389とか、かなり必死だなｗ