初めに
最初に投稿した記事めっちゃ間違ってました!!!ごめんなさい(´;ω;`)
記事の内容
ガロア拡大 のガロア群 が、 に含まれる 上の有限次ガロア拡大全体のガロア群で記述できることについて書きます。この有限次ガロア拡大全体から得られる群(命題 1 で副有限群として構成します)を とすると、大まかな流れは次のようになります:
# | 内容 |
| と は群として同型 |
| に位相を入れる |
| と は位相空間として同相 |
記号の定義
記号 | 定義 |
| 位相群 に対して、 と が位相群として同型 (群として同型かつ位相空間として同相)のとき、 と書く。 |
参考文献について
最初にガロア群が有限次ガロア拡大からなる副有限群と群として同型であることについて書きます。
をガロア拡大、 をそのガロア群、 を に含まれる 上の有限次ガロア拡大全体とする。このとき、 は からなる副有限群に群同型である。
副有限群の構成
を と定義することで は有向集合となる。 に離散位相を入れ、 と定義すると は逆系となり は副有限群である。
単射準同型
と定義すると は単射準同型である。
全射
任意の をとる。 に対して となる をとり と定義することで を定めると となる(注1)。 の定義より となる。
(注1) の合成体 は 上有限次ガロア拡大であるから は の取り方に依存しない。
ガロア群の基本近傍系
基本近傍系から位相を定めます。次の補題はガロア群の部分集合族で基本近傍系の条件を満たすようなものが存在することを示しています。
をガロア拡大、 をそのガロア群、 を 上有限次ガロア拡大となるような の中間体全体とする。このとき、任意の に対して
は、以下を満たす:
任意の に対して である。
任意の に対して となる が存在する。
任意の に対して次を満たす が存在する:「任意の に対して となる が存在する」
任意の に対して となる が存在する。 であるから となる。
任意の に対して となる が存在する。 とおく となる。
任意の に対して となる が存在する。 とおく。次を示す:「任意の に対して となる が存在する」
とおくと であり、 より となる。
この基本近傍系を見ると、体の拡大次数を上げるほど近傍は小さくなっていく様子がわかります。
さて、 には次のような位相が入ります:
任意の に対して となる が存在する
特に任意の に対して です。よって
は の開基となります。
一方 の開基は、
完不コハ群の特徴づけ
より
は の正規開部分群
となります。
ガロア群が位相群をなすこと
次の補題は がこの位相に関して位相群をなすことを主張します。
補題 2 の から定まる位相に関して は位相群となる。
まず、任意の に対して は の正規部分群である。
演算の連続性
任意の と となるような任意の に対して となる が存在する。 とおくと より
となる。
逆元の連続性
任意の と となるような任意の に対して となる が存在する。 とおくと より
となる。
ガロア対応
ガロア対応
をガロア拡大、 をそのガロア群、 を 上有限次ガロア拡大となるような の中間体全体とする。このとき、以下が成り立つ:
の中間体 に対して は の閉集合である。
の部分群 に対して は の における閉包である。
が閉集合であることを示す。 を 上有限次拡大であるような の中間体全体とすると、 であり、
となる。各 に対して を となるような 上の有限次ガロア拡大とすると
となる。補題 2 より は の単位元の開近傍であるから は の開部分群である。よって は閉集合であるから は の閉集合である。
を の における閉包とすると、 より となる。逆の包含を示すために と仮定すると、 より となるような が存在する。
とすると、
となる。 は有限次ガロア拡大であるから
が成り立つ。いま であるから、任意の に対して となる。よって となるから、 となるような が存在する。したがって となり、 に矛盾する。
ガロア対応では中間体と閉部分群が 1 対 1 に対応します。
をガロア拡大、 をそのガロア群、 を の中間体全体、 を の閉部分群全体とする。このとき、
は全単射で互いに逆写像である。
任意の に対して はガロア拡大であるから となる。よって
が成り立つ。
任意の に対して 命題 4 より となるから
が成り立つ。
正規開部分群は有限次ガロア拡大に対応する
をガロア拡大、 をそのガロア群、 を の正規開部分群とする。このとき、以下が成り立つ:
は有限次ガロア拡大である。
分離拡大であること
は分離拡大なので も分離拡大である。
正規拡大であること
を から の代数閉包 への 上の埋め込みとする。 を の への延長とすると である。 は正規部分であるから、任意の に対して となるような が存在する。任意の に対して となるから となる。よって は正規拡大である。
有限次拡大であること
が有限次拡大でないと仮定すると となるような が存在する。 は分離拡大なので から への 上の埋め込みはちょうど 個存在する。これらを とし、 の への延長を とする。 ならば となり、よって となる。したがって は少なくとも 個の元を持つことになり、 に矛盾する。
は開部分群であるから閉集合である。よって 命題 4 より となる。
は離散位相群であるから、群同型写像
は同相写像となる。
をガロア拡大、 をそのガロア群、 を 上有限次ガロア拡大となるような の中間体全体とする。このとき、 は からなる副有限群に位相群として同型である。
命題 1 の群同型写像
が、同相写像であることを示す。
が連続であること
任意の に対して とおく。
とすると、各写像は連続であり以下は可換図式である(注2):
よって は連続である。
が連続であること
を の任意の正規開部分群とすると、命題 6 より となる が存在する。
とすると、各写像は連続であり以下は可換図式である:
また は全射開写像(注3)であるから、位相群の準同型定理により
が成り立つ。よって は離散位相群であるから、 より は の正規開部分群である。よって は連続である。
(注2) と は離散位相群であるから は位相群としての同型写像である。
(注3) は離散位相群であるから開写像である。