代数的コンパクト群とその周辺

とあるところで講義をしたのでその内容を適当にまとめたものです。

適当にと言いますが、割と適当です。

 

www.dropbox.com

代数的コンパクト群を勉強する過程でどうしても必要になったのはアーベル群の位相ですが、この辺は調べるといろいろ出てきそうだなあと思いました。

 

例えば \mathbb{Z}-進位相や p-進位相は線形位相のひとつで、1-Ulm部分群でHausdorff性が見えたり何かと代数的なものでいろいろ分かったりするのですが、一方で例えば1次元トーラス \mathbb{R}/\mathbb{Z}の位相はこういう位相とは全然違う位相です。

 

被約代数的コンパクト群であることの必要十分条件 \mathbb{Z}-進完備であることですが、その割には代数的コンパクト周りの性質を示すのに本質的に使われる位相的なことは \mathbb{R}/\mathbb{Z}のコンパクト性だったりするのでわけがわかりません。

 

とにかく \mathbb{R}/\mathbb{Z}という存在が謎でならないです。どっから湧いてきたんだ一体。

 

Abelian Groups (Springer Monographs in Mathematics)

Abelian Groups (Springer Monographs in Mathematics)

 

 

実はこの本にはあんまり線形位相方面は載っていないです。

第一可算公理を満たす線形位相は具体的に距離化できるようなのですが......

 

トーラス ペットの知恵 寒いときの健康維持に

トーラス ペットの知恵 寒いときの健康維持に

 

 トーラスでフレンズの体が温まるらしい。

食の悦びを生の象徴であるとするならトイレは死の象徴です

今日トイレをして思ったことです。

人は死の場面を覆い隠してきましたが、
それでもなお毎日トイレをする自分自身を目撃しなければならないということはまた、

人間が死と隣り合わせの存在であることの象徴であると考えます。


しかしそんなこととは比べ物にならないくらい温水ウォシュレットは気持ちがよいですし、

おいしい食事は、玉子豆腐の滑らかさや、
揚出し豆腐のジューシーな味わいとして私たちの世界に立ち現れてきます。

生の悦びに感謝し、楽しくトイレをすることが大切であると、私は考えます😊

我が家にAbelian Groupsが届きました

なにこれ!

f:id:shannon_mth:20170219105200j:plain

なにこれなにこれ!

f:id:shannon_mth:20170219105234j:plain

すごーい!

f:id:shannon_mth:20170219105311j:plain

たーのしー!

f:id:shannon_mth:20170219105406j:plain

ふしぎ!

f:id:shannon_mth:20170219105447j:plain

としょかん!(蔵書数:1)f:id:shannon_mth:20170219105522j:plain

Abelian Groups (Springer Monographs in Mathematics)

Abelian Groups (Springer Monographs in Mathematics)

ウォシュレットのない家への引っ越しを決めることは、未知の大陸へと踏み出すことに似ています

下宿の引越しをして三月から新たな生活をしようと思います。

 

すべてが希望に満ち溢れた日々、

しかし心配なのは新しい下宿にウォシュレットがないことです。

 

これは未知の大陸へと踏み出すことに似ています。

 

 

住み慣れた大陸を離れるということは生を見つめなおすということであり、

温かくないトイレは人に死の概念を直視させます。

 

しかしそれは大切なことだと思います。

 

 

 

 

余巡回群の分類

久しぶりの更新になります。

なぜ更新しなかったかというと、ウォシュレットのない家に引っ越すべきか否かを深く悩んでいたからです。

 

巡回群の概念は人間になじみのある概念です。有限巡回群と無限巡回群があり分類は簡単です。

実はこの概念には双対概念があります。

 

定義

  • アーベル群 C c\in Cを生成元とする巡回群であるとは, 像に cを含むような任意の射 \phi: A\to C全射であることである. 
  • アーベル群 C c\in Cを余生成元とする巡回群であるとは, 核に cを含まないような任意の射 \phi: C\to A単射であることである.

この定義だと例を思い浮かべづらいですが、余巡回群というクラスは巡回群と同様にそんなに広いクラスではありません。

 

次の主張を見ると例を思い浮かべることができると思います。

 

命題

 C\neq 0 cを余生成元とする余巡回群  \Leftrightarrow  Cはただ1つの0でない最小の部分群を持つ. 

証明

 Cが余巡回的であるとする. 任意の Cの0でない部分群はある Cからの射の核で表せるからその射は単射でなく,  cはその射の核に入る. すなわち cは任意の0でない部分群に含まれる. よってすべての部分群の共通部分は0でない.

逆に Cが0でない最小の部分群 C'を持つとする.  C'は部分群を持たない, すなわち素数位数の巡回群である. その生成元を cとする.  Cからの射が単射でなければ, その核は Cの部分群であるから C'を含み cを含む. よって cは余生成元である.

 \square

 

この主張を見ると、例を思い浮かべることができます。

 

  • 巡回 p-群 \mathbb{Z}/p^kは0でない最小の部分群 \langle p^{k-1} \rangleを持つから余巡回的。
  • Prufer群 \mathbb{Z}(p^{\infty})\cong \mathbb{Z}[1/p] / \mathbb{Z}は0でない最小の部分群 \langle \overline{1/p}\rangleを持つから余巡回的。
  •  p-群でない有限巡回群は(0でない)極小部分群をいくつも持つから余巡回的でない。

巡回群を分類してみましょう。

いま上に挙げたものは余巡回的ですが、実はこんだけしかありません

 

命題

 C\neq 0が余巡回的  \Leftrightarrow  Cは巡回 p-群かPrufer群 \mathbb{Z}(p^{\infty})

 

証明

 Cが余巡回的なとき,  cをその余生成元とする.  cはすべての Cの部分群に含まれ,  cの位数は素数である(これを pとする).

 Cが位数無限の元 aを持つとすると aで生成される部分群は位数有限の元を含み得ないから cを含まず,  cが余生成元であることに反する.

よってすべての元は有限位数を持つ. 同じ理由で全ての群は p冪位数を持ち,  C p-群である.

ここから「 Cが位数 p^nの部分群を持つなら一意であってその部分群は巡回群である」ことを nについての帰納法で示す.

 n=1のときは cで生成される部分群が位数 pの最小の部分群だから正しい.

 n以下についての主張をすべて仮定する. 位数 p^{n+1}の部分群が2つあるとし, これらを A, Bとする.

帰納法の仮定によって位数 p^nの部分群 C_nを持つ(生成元を c_nとする).  a\in A\backslash C_n, b\in B\backslash C_nと取るとこれらの位数は p^{n+1}であるから a, bを選ぶことで pa=pb=c_nとできる.
実際, 任意に aを取ったとき paは位数 p^nの元だから位数 p^nの部分群の一意性より, ある整数 m mc_nと書ける. 
よって p(a-b)=0. 帰納法の仮定よりある( pと互いに素な)整数 l a-b=lc, さらに pと互いに素な l'

 lc=l'p^{n-1}c_nと書ける.

よって t\in \mathbb{Z}

 a=b+tc_n=b+tpb, b=a+tpa

と書け,  a\in \langle b \rangle, b\in \langle a \rangleであり \langle a \rangle=\langle b \rangle
どちらも位数 p^{n+1}であるから,  a, bはそれぞれ A, Bを生成し A=B.

かくして Cは有限部分巡回群の増大列の和集合によって書ける. 有限の長さの増大列の和集合で書けるならこれは巡回 p-群であり, 無限の長さの増大列の和集合で書けるならこれはPrufer群 \mathbb{Z}(p^{\infty})である.

 

ということで分類は終わりました。思った以上に少なくてつまらなかったかもしれませんが、Łośによる少し意外な事実があります。

 

定理 (Łoś)

任意のアーベル群は余巡回群の直積に埋め込まれる。

 

さらにこの埋め込みが分裂するような群のクラスはアーベル群における重要なクラスと一致します。

 

命題

 A代数的コンパクト群であるとは Aがあるコンパクト位相アーベル群の(位相群としてではなくアーベル群としての)直和因子になることを言う. ただし T_0を仮定する.

 Aが代数的コンパクト  \Leftrightarrow  Aが余巡回群の直積の直和因子

 

週末に数学をする何らかのイベントがあるので代数的コンパクト群の話をしようと思います。

 

Abelian Groups (Springer Monographs in Mathematics)

Abelian Groups (Springer Monographs in Mathematics)

 

 

誰に需要があるのか分からないのですが。

 

 

 

 

ようこそジャパリパークへ(初回限定盤)

ようこそジャパリパークへ(初回限定盤)

 

 

 

 

ようこそジャパリパークへ!

温水設定がoffのウォシュレットを提供する団体は悪いです

今日は夢の中でパンを70m下の海に落としてしまいとてもかなしい気持ちになりました。

腹いせにゴミも海に捨ててしまいました。私の心には悪が棲んでいると思います。

一方で冷水のウォシュレットは悪の塊と言うことができます。暖かさを求める人々に冷たい水を掛ける者だからです。

私は温水設定でありたいです。


ピッ

ジャー、ジュボジュボ



私は温水設定がoffのウォシュレットを提供する団体への訴訟を取り下げます。


すべて許した。


今日という日に圧倒的感謝を。