スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ)

>>665
>「さて
>s〜t ⇔ s-t∈F
>と定義するとこれは同値関係であり」
そちらはS/Fの同値関係で
[s]はそちらの同値関係でのcoset
s〜t ⇔ s-t=r([s])-r([t])
の同値関係とは違うのだけど？
π:S→S/〜=F:π(s)=s-r([s])
これは準同形では無いが同値関係を定義し
こちらのcosetを<s>={t∈S|π(t)=π(s)}と書くと
<s>∩[t]={s-r([s])+r([t]}}
S=F×S/F
決定番号d(s)は
d(s)=n ⇔ s∈Fn-Fn-1
今はここまで