代数的コンパクト群とその周辺
とあるところで講義をしたのでその内容を適当にまとめたものです。
適当にと言いますが、割と適当です。
代数的コンパクト群を勉強する過程でどうしても必要になったのはアーベル群の位相ですが、この辺は調べるといろいろ出てきそうだなあと思いました。
例えば-進位相や-進位相は線形位相のひとつで、1-Ulm部分群でHausdorff性が見えたり何かと代数的なものでいろいろ分かったりするのですが、一方で例えば1次元トーラスの位相はこういう位相とは全然違う位相です。
被約代数的コンパクト群であることの必要十分条件は-進完備であることですが、その割には代数的コンパクト周りの性質を示すのに本質的に使われる位相的なことはのコンパクト性だったりするのでわけがわかりません。
とにかくという存在が謎でならないです。どっから湧いてきたんだ一体。
Abelian Groups (Springer Monographs in Mathematics)
- 作者: László Fuchs
- 出版社/メーカー: Springer
- 発売日: 2015/12/18
- メディア: ハードカバー
- この商品を含むブログを見る
実はこの本にはあんまり線形位相方面は載っていないです。
第一可算公理を満たす線形位相は具体的に距離化できるようなのですが......
トーラスでフレンズの体が温まるらしい。
食の悦びを生の象徴であるとするならトイレは死の象徴です
今日トイレをして思ったことです。
人は死の場面を覆い隠してきましたが、
それでもなお毎日トイレをする自分自身を目撃しなければならないということはまた、
人間が死と隣り合わせの存在であることの象徴であると考えます。
しかしそんなこととは比べ物にならないくらい温水ウォシュレットは気持ちがよいですし、
おいしい食事は、玉子豆腐の滑らかさや、
揚出し豆腐のジューシーな味わいとして私たちの世界に立ち現れてきます。
生の悦びに感謝し、楽しくトイレをすることが大切であると、私は考えます😊
我が家にAbelian Groupsが届きました
なにこれ!
なにこれなにこれ!
すごーい!
たーのしー!
ふしぎ!
としょかん!(蔵書数:1)
Abelian Groups (Springer Monographs in Mathematics)
- 作者: László Fuchs
- 出版社/メーカー: Springer
- 発売日: 2015/12/18
- メディア: ハードカバー
- この商品を含むブログを見る
- アーティスト: どうぶつビスケッツ×PPP
- 出版社/メーカー: ビクターエンタテインメント
- 発売日: 2017/02/08
- メディア: CD
- この商品を含むブログ (2件) を見る
ウォシュレットのない家への引っ越しを決めることは、未知の大陸へと踏み出すことに似ています
下宿の引越しをして三月から新たな生活をしようと思います。
すべてが希望に満ち溢れた日々、
しかし心配なのは新しい下宿にウォシュレットがないことです。
これは未知の大陸へと踏み出すことに似ています。
住み慣れた大陸を離れるということは生を見つめなおすということであり、
温かくないトイレは人に死の概念を直視させます。
しかしそれは大切なことだと思います。
余巡回群の分類
久しぶりの更新になります。
なぜ更新しなかったかというと、ウォシュレットのない家に引っ越すべきか否かを深く悩んでいたからです。
巡回群の概念は人間になじみのある概念です。有限巡回群と無限巡回群があり分類は簡単です。
実はこの概念には双対概念があります。
定義
この定義だと例を思い浮かべづらいですが、余巡回群というクラスは巡回群と同様にそんなに広いクラスではありません。
次の主張を見ると例を思い浮かべることができると思います。
命題
がを余生成元とする余巡回群 はただ1つの0でない最小の部分群を持つ.
証明
が余巡回的であるとする. 任意のの0でない部分群はあるからの射の核で表せるからその射は単射でなく, はその射の核に入る. すなわちは任意の0でない部分群に含まれる. よってすべての部分群の共通部分は0でない.
逆にが0でない最小の部分群を持つとする. は部分群を持たない, すなわち素数位数の巡回群である. その生成元をとする. からの射が単射でなければ, その核はの部分群であるからを含みを含む. よっては余生成元である.
この主張を見ると、例を思い浮かべることができます。
例
- 巡回-群は0でない最小の部分群を持つから余巡回的。
- Prufer群]は0でない最小の部分群を持つから余巡回的。
- -群でない有限巡回群は(0でない)極小部分群をいくつも持つから余巡回的でない。
余巡回群を分類してみましょう。
いま上に挙げたものは余巡回的ですが、実はこんだけしかありません。
命題
群が余巡回的 は巡回-群かPrufer群
証明
が余巡回的なとき, をその余生成元とする. はすべてのの部分群に含まれ, の位数は素数である(これをとする).
が位数無限の元を持つとするとで生成される部分群は位数有限の元を含み得ないからを含まず, が余生成元であることに反する.
よってすべての元は有限位数を持つ. 同じ理由で全ての群は冪位数を持ち, は-群である.
ここから「が位数の部分群を持つなら一意であってその部分群は巡回群である」ことをについての帰納法で示す.
のときはで生成される部分群が位数の最小の部分群だから正しい.
以下についての主張をすべて仮定する. 位数の部分群が2つあるとし, これらをとする.
帰納法の仮定によって位数の部分群を持つ(生成元をとする). と取るとこれらの位数はであるからを選ぶことでとできる.
実際, 任意にを取ったときは位数の元だから位数の部分群の一意性より, ある整数でと書ける.
よって. 帰納法の仮定よりある(と互いに素な)整数で, さらにと互いに素なで
と書ける.
よってで
と書け, であり
どちらも位数であるから, はそれぞれを生成し.
かくしては有限部分巡回群の増大列の和集合によって書ける. 有限の長さの増大列の和集合で書けるならこれは巡回-群であり, 無限の長さの増大列の和集合で書けるならこれはPrufer群である.
ということで分類は終わりました。思った以上に少なくてつまらなかったかもしれませんが、Łośによる少し意外な事実があります。
定理 (Łoś)
任意のアーベル群は余巡回群の直積に埋め込まれる。
さらにこの埋め込みが分裂するような群のクラスはアーベル群における重要なクラスと一致します。
命題
群が代数的コンパクト群であるとはがあるコンパクト位相アーベル群の(位相群としてではなくアーベル群としての)直和因子になることを言う. ただしを仮定する.
が代数的コンパクト が余巡回群の直積の直和因子
週末に数学をする何らかのイベントがあるので代数的コンパクト群の話をしようと思います。
Abelian Groups (Springer Monographs in Mathematics)
- 作者: László Fuchs
- 出版社/メーカー: Springer
- 発売日: 2015/12/18
- メディア: ハードカバー
- この商品を含むブログを見る
誰に需要があるのか分からないのですが。
けものフレンズ ‐ようこそジャパリパークへ!‐(1)<けものフレンズ ‐ようこそジャパリパークへ!‐> (角川コミックス・エース)
- 作者: フライ
- 出版社/メーカー: KADOKAWA / 角川書店
- 発売日: 2016/12/26
- メディア: Kindle版
- この商品を含むブログを見る
ようこそジャパリパークへ!
温水設定がoffのウォシュレットを提供する団体は悪いです
今日は夢の中でパンを70m下の海に落としてしまいとてもかなしい気持ちになりました。
腹いせにゴミも海に捨ててしまいました。私の心には悪が棲んでいると思います。
一方で冷水のウォシュレットは悪の塊と言うことができます。暖かさを求める人々に冷たい水を掛ける者だからです。
私は温水設定でありたいです。
ピッ
ジャー、ジュボジュボ
私は温水設定がoffのウォシュレットを提供する団体への訴訟を取り下げます。
すべて許した。
今日という日に圧倒的感謝を。