分岐群 (数学)

数論、特ににおける分岐群（ぶんきぐん、）とは、局所体のガロア群のであり、体拡大における分岐の現象について詳細な情報を提供してくれるものである。

付値の分岐理論

付値の分岐理論（ramification theory of valuations）は、体 K の付値 v の K の拡大体 L への延長の集合を研究する数学の理論。デデキント環の分岐理論の一般化である

。

L/K がガロア拡大のとき、付値の延長からなる集合の構造は詳しく知ることができる。

分解群と惰性群

(K, v) を付値体、L を K の有限次ガロア拡大とする。Sv を v の L への延長の同値類からなる集合とし、G を L の K 上のガロア群とする。このとき、G は Sv に σ[w] = [w ∘ σ] で作用する。つまり、w を同値類 [w] ∈ Sv の代表元としたとき、[w] の行き先を自己同型  と w の合成が定める同値類とすることにより作用を定義する。これは [w] の代表元 w の取り方によらない。この作用は推移的である。

v の L への延長 w を１つとる。w の分解群（decomposition group of w）とは、[w] の固定部分群 Gw（同値類 [w] ∈ Sv を固定する G の元全体からなる部分群）のことを言う。

Rw を w についての付値環、mw をその極大イデアルとする。w の惰性群（inertia group of w）とは、Gw の元 σ で Rw の全ての元 x に対して σx ≡ x (mod mw)が成り立つもの全体からなる部分群 Iw のことである。言い換えると、Iw は分解群の要素で w に関する剰余体に自明に作用するもの全体である。これは Gw の正規部分群である。

 e(w/v) は w によらないので、e(v) と表す。同様に、剰余次数（または相対次数、relative degree）f(w/v) も w によらないので、f(v) と表す。

 下付き分岐群 

局所体剰余体が有限体、特に完全体であることを仮定している。非完全な剰余体への一般化も存在する。『分岐理論と有限平坦 Galois表現』参照。の有限次ガロア拡大  のガロア群  の詳しい理解を可能にしてくれるものが分岐群である。 の整数環を  と置き、 の付値、その整数環、その極大イデアルを、それぞれ  とする。ヘンゼルの補題により、ある  を使って  と書くことができる（これは原始元定理より強い主張である）Neukirch (1999) p.178。整数  に対して、 を次の同値な条件を満たす  全体の集合として定義する。

(i)  は  に自明に作用する

(ii) 全ての  について  が成り立つ

(iii) 

この群  のことを  次分岐群（-th ramification group）という。これらは減少

を定める。(i) より  は正規であることが分かり、(iii) より十分大きな  に対して自明になることが分かる。 は、ガロア拡大での素イデアルの分解との関係に鑑み、慣例的に  のと呼ばれている。は  の（または暴分岐群、wild inertia subgroup）、商  は（tame quotient）と呼ばれている。

ガロア群  とその部分群  はこのフィルトレーションと商を使って調べることができる。次が成り立つ。

  が成り立つ。 は  の剰余体（有限体である） は分解群と標準的に同型であることによる。。

  は不分岐拡大

  は（tamely ramified,馴分岐とも。分岐指数は剰余体の標数と互いに素であること）

 に対して  が成り立つので、分岐群の研究は完全分岐の場合に帰着される。

 上の関数  を、 に対して  として定義する。先ほどの (ii) から  は  の取り方によらない。また、フィルトレーション  の研究は本質的に  の研究と同値であるSerre (1979) p.62。 に対して、 は次を満たす。





 を  の素元とすると、 は単射  を誘導する。ここで、 である。この写像は素元の取り方によらないConrad。これを使うと次がわかる これは  と  であることによる。。

  は位数が  と互いに素な巡回群

  は位数が  の巡回群の積

特に、 は p 群で、 は可解群である。 は有限体のガロア群と同型であったので、特にアーベル拡大である。したがって（局所体の任意のガロア拡大のガロア群としてとっていた）  は可解群である。

分岐群を使って、体拡大  やその部分拡大の  を計算することもできるSerre (1979) 4.1 Prop.4, p.64。次が成り立つ

 を  の正規部分群とすると、 に対して  が成り立つSerre (1979) 4.1. Prop.3, p.63。

これと先ほどの式をあわせると、 に対応する部分拡大  に対して

が成り立つ。

 とすると、 が成り立つSerre (1979) 4.2. Proposition 10.。の言葉を使うならば、これはリー代数  がアーベルであるということになる。

例：円分拡大

 を1の原始 乗根とする。円分拡大  の分岐群は次のように具体的に計算できるSerre, Corps locaux. Ch. IV, §4, Proposition 18。

ここで e は  となるものである。

例：4次拡大

K を  上  で生成される拡大体とする。x1 の共役は  と x3 = −x1 と x4 = −x2 である。

簡単な計算からこれらの元の任意の2つの商は単数であることが分かる。したがってこれらは全て同じイデアルを生成する。そのイデアルを  と置く。 は 2 を生成し、(2)=4 である。

x1 − x3 = 2x1 で、これは 5 に入る。

 は 3 に入る。

計算方法は色々あるが、K のガロア群は位数 4 の巡回群  であることが分かるx2 = (x12 - 2)/x1 が成り立つので、K は x1 の共役を全て含み、K は  上のガロア拡大であることが分かる。σ をこのガロア拡大のガロア群の元で σ(x1) = x2 となるものとする。簡単な計算から、σ(x2) = x3,  σ(x3) = x4,  σ(x4) = x1 が分かり、これから σ は位数 4 の元である。まとめると、K は  上の4次のガロア拡大で、そのガロア群は位数4の巡回群である。。そして、



かつ  である#下付き分岐群の定義に現れる α として x1 をとり、分岐群の定義と x1 − x3 の計算結果を使うと確かめられる。。

 なので、共役差積は 
となる。

x1 は x4 − 4x2 + 2 を満たし、これの判別式は 2048 = 211 である。

 上付き分岐群 

 である実数  に対して、 を  である最小の整数 i の  として定義する。 となるように定義する、と言ってもいい。
関数  を

で定義するSerre (1967) p.156。ここで、 に対しては  は  とし、 に対しては  とするNeukirch (1999) p.179。定義により  に対して  が成り立つ。 が連続かつ狭義単調増加であることはすぐ分かり、したがって連続な逆関数  であって  上定義されたものが存在する。 と定義する。 を第 v'' 上付き分岐群（v''-th ramification group in upper numbering）という。言い換えれば  である。 が成り立つ。上付きの添字は商をとる操作と整合するよう定義されておりSerre (1967) p.155、 が  の正規部分群なら、全ての  に対し

が成り立つ。

（一方、下付きの添字は部分群に行く操作と整合する。）

エルブランの定理

エルブランの定理は、下付き分岐群について  が成り立ち（ に対応する部分拡大を  とし、 とおいている）、上付き分岐群について  が成り立つという主張であるNeukirch (1999) p.180Serre (1979) p.75。これから、局所体の絶対ガロア群をはじめとする無限次ガロア拡大に対して、有限次部分拡大についての分岐群の逆系を使って、上付き分岐群を定義することが可能になる。

アーベル拡大の上付き分岐群について、という定理が知られている。これは、 がアーベルならフィルトレーション  の跳躍は整数、つまり  が整数でなかったら  が成り立つという定理であるNeukirch (1999) p.355。

上付き分岐群によるフィルトレーションは、単数群によるノルム剰余群（norm residue group）のフィルトレーションと、アルティン同型写像のもとで両立する。すなわち、同型写像

による  の像は、ちょうど

になるSnaith (1994) pp.30-31。

関連項目

付値
付値体
局所体
ヘンゼル環

 脚注 

参考文献

B. Conrad, Math 248A. Higher ramification groups






Category:代数的整数論
Category:ガロア理論
Category:数学に関する記事