アーベル拡大とバーチ・スウィンナートン＝ダイアー予想

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

アーベル拡大とバーチ・スウィンナートン＝ダイアー予想の違い

アーベル拡大 vs. バーチ・スウィンナートン＝ダイアー予想

抽象代数学において、ガロア群がアーベル群となるようなガロア拡大のことをアーベル拡大 (abelian extension) と言う。ガロア群が巡回群のときは、巡回拡大 (cyclic extension) という。ガロア拡大が可解 (solvable) であるとは、ガロア群が可解、つまり中間拡大に対応するアーベル群の列からガロア群が構成されるときを言う。 有限体の全ての有限拡大は、巡回拡大である。類体論の発展は、数体と局所体と、有限体上の代数曲線の函数体のアーベル拡大についての詳細な情報をもたらした。 円分拡大という概念があり、2つの少し異なる定義がある。1つは1の冪根による拡大のことであり、もう1つはその部分拡大のことである。例えば円分体は円分拡大である。任意の円分拡大はいずれの定義でもアーベル拡大である。 体 K が 1 の原始 n 乗根を含み、K のある元の n 乗根が添加されると、この拡大はいわゆるクンマー拡大であり、これはアーベル拡大となる。（K の標数が p > 0 のとき、p は n を割らないと仮定しなければならない。もし割るようであれば、分離拡大ですらないからである。）しかしながら、一般に、元の n 乗根のガロア群は、n 乗根と1の冪根の双方に作用し、半直積として非可換ガロア群を構成する。クンマー理論は、アーベル拡大の場合を完全に記述する。クロネッカー・ウェーバーの定理は、K が有理数体のとき、拡大がアーベル的であるということと、拡大が1の冪根を添加して得られる体の部分体であることとは同値であると言う定理である。 トポロジーにおける基本群との重要な類似がある。基本群は空間の全ての被覆空間を分類する。すなわち、1次ホモロジー群に直接関連付ける基本群のアーベル化により、アーベル被覆が分類される。. 数学において、バーチ・スウィンナートン＝ダイアー予想 (Birch and Swinnerton-Dyer conjecture) は数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれる。それは最もチャレンジングな数学の問題の 1 つであると広く認められている。予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている。予想は機械計算の助けを借りて1960年代の前半に予想を立てた数学者ブライアン・バーチ (Bryan Birch) とピーター・スウィンナートン＝ダイアー (Peter Swinnerton-Dyer) にちなんで名づけられている。、予想の特別な場合のみ正しいと証明されている。 予想は代数体 K 上の楕円曲線 E に伴う数論的データを E の ハッセ・ヴェイユの ''L''-関数 L(E, s) の s.

巡回群

群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.

アーベル拡大と巡回群 · バーチ・スウィンナートン＝ダイアー予想と巡回群 · 続きを見る »

代数体

代数体（だいすうたい、algebraic number field）とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.

アーベル拡大と代数体 · バーチ・スウィンナートン＝ダイアー予想と代数体 · 続きを見る »

アーベル群

数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.

アーベル拡大とアーベル群 · アーベル群とバーチ・スウィンナートン＝ダイアー予想 · 続きを見る »