>>300 補足
実数 R → Q → Z → Z/nZ → Z^
円周群 T=R/Z → Q/Z → Z/Z → μn → Z^(1)
ここで、簡便のために θ → z=exp(2πiθ)と、因子2πiを入れておく
記号の濫用で、上記の前半は
円周群 T=exp(2πiR/Z) → exp(2πiQ/Z) → exp(2πiZ/Z)
と書ける
>>263より
Z(整数環)→ 逆極限 Z^=lim← Z/nz
だが、Zの対応物を 「Z(1)仮」と書く
(引用終り)
このZ(1)仮(>>263)は、いま考えると
Z(1)仮=exp(2πiQ/Z) (つまりはQ/Zの同型)だな
そして、∪ Z/nZ (集合和)として、(記号の濫用で)Z/nZ ∈∪ Z/nZ と書ける
一方、∪ μn (1のn乗根の集合和)は、群でもある
例えば、5乗根 ζ5と、7乗根 ζ7との積
ζ5・ζ7=exp 2πi(1/5+1/7)=exp 2πi(12/35)となる
これと同様に考えて、1 mod 5と1 mod 7 との和を、12 mod 35 と定義すれば
∪ Z/nZ も、加法群 になる
∪ μn は、>>286 円周群の「そのねじれ部分群は任意の正整数に亙る 1 の冪根全体の成す集合として与えられ Q/Z に同型である」(円周群より https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%BE%A4 )
そして、>>297 "In the same way that the real numbers are a completion of the b-adic rationals for every natural number b > 1, the circle group is the completion of the Prufer group for b, given by the inverse limit lim ← Z/b^nZ."
で、”for every natural number b > 1”なので
∪ the Prufer group for b(集合和)だ
これの”a completion of the b-adic rationals for every natural number b > 1”が、円分物 Z^(1) ってことでしょう
円周群 T=R/Z は、もともとは 有理数Qの有理コーシー列による(通常の)完備化から得られるものだが
Z^での ”a completion of the b-adic rationals”は、一味違う完備化で
円分物 Z^(1) も、こちらの完備化だね
そして、繰り返すが ∪ μn つまり Q/Z の同型群の 逆極限による 完備化(もどき)として、円分物 Z^(1) がある
∪ μn =∪ the Prufer group for b でもある
純粋・応用数学(含むガロア理論)10
■ このスレッドは過去ログ倉庫に格納されています
307132人目の素数さん
2022/03/27(日) 23:28:24.58ID:iGgJqN7k■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 大谷翔平 第2子誕生を正式発表「無事に生まれてきてくれてありがとう」 [ひかり★]
- 【節約】物価高でも「食費月1万円」は可能? 月7000円台、レバーと100円キャベツで回す強者も [ひぃぃ★]
- 【香川】外国人材の受け入れ・活躍の促進へ 日本語研修などの経費を補助 [煮卵★]
- 【W杯】「希望は日本」 どうしたアジア勢!6戦無敗→まさかの6連敗…得失点は−13 「仕方ないで済ませてたらレベルアップはない」 [王子★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★4 [煮卵★]
- 【万引き】「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★3 [煮卵★]
- 【画像】高市早苗、またやらかす [834922174]
- 🏡👭💥🚗💨ぶんぶんぶーんw
- 顎のしこりうざい
- 【画像】サナ「4人家族の住居、95平米必要って国の指針出してたけど、40平米で十分」とわざわざ閣議決定 [881878332]
- 【悲報】「女のパンツにはすべからくウン筋がある」👈これwwwwwwwwwwwwww [398059782]
- 杉並区長「今までの自民党議員の因習全部潰す!ベンチ設置しまくる!」自民党の門ひろこ「ベンチ作るのやめろォ!!!!」 [485187932]