代数学総合スレッド Part6 (491ﾚｽ)
上下前次1-新
36: [―{}@{}@{}-] 2011/07/29(金)17:32 AAS
（v）数列a_nをa_4r∈R,a_(4r+i)=g^i(a_4r)（0≦i<4）
と定義する。ただし、｛a_4r｝にはRのすべての元が一回ずつ重複なく現れるように取る。
この時、a_nは奇数だけからなり、すべての奇数が重複なく一回ずつ現れる。
奇数のみからなることはa_nの定義と（iii）から明らか。
すべての奇数が現れることは、(iii)より、Rtがすべての奇数を含むことを、
重複がないことを言うにはa_(4r_1+i)=a_(4r_2+j)のとき、
r_1＝r_2、i＝jを言えばいい。
前者はRtに含まれない奇数をnとすると、（iv）と同じ論法で矛盾をきたす。
後者は、i≧jとしてもよい。gは単射であり、a_(4r_1+i)=a_(4r_2+j)のとき、
g^i(a_(4r_1))=g^j(a_(4r_2))
省3
上下前次1-新書関写板覧索設栞歴
あと 455 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.005s