代数的閉包と楕円曲線

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

代数的閉包と楕円曲線の違い

代数的閉包 vs. 楕円曲線

数学、特に抽象代数学において、体 K の代数的閉包（だいすうてきへいほう、algebraic closure）は、代数的に閉じている K の代数拡大である。数学においてたくさんある閉包のうちの1つである。 ツォルンの補題を使って、すべての体は代数的閉包をもつMcCarthy (1991) p.21Kaplansky (1972) pp.74-76ことと、体 K の代数的閉包は K のすべての元を固定するような同型の違いを除いてただ1つであることを証明できる。この本質的な一意性のため、an algebraic closure of K よりむしろ the algebraic closure of K と呼ばれることが多い。 体 K の代数的閉包は K の最大の代数拡大と考えることができる。このことを見るためには、次のことに注意しよう。L を K の任意の代数拡大とすると、L の代数的閉包は K の代数的閉包でもあり、したがって L は K の代数的閉包に含まれる。K の代数的閉包はまた K を含む最小の代数的閉体でもある。なぜならば、M が K を含む任意の代数的閉体であれば、K 上代数的な M の元全体は K の代数的閉包をなすからだ。 体 K の代数的閉包の濃度は、K が無限体ならば K と同じで、K が有限体ならば可算無限である。. 数学における楕円曲線（だえんきょくせん、elliptic curve）とは種数 の非特異な射影代数曲線、さらに一般的には、特定の基点 を持つ種数 の代数曲線を言う。 楕円曲線上の点に対し、積に関して、先述の点 を単位元とする（必ず可換な）群をなすように、積を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。 楕円曲線は、代数幾何学的には、射影平面 の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形 により定義された非特異な平面代数曲線に双有理同値である（有理変換によってそのような曲線に変換される）。そしてこの形にあらわされているとき、 は実は射影平面の「無限遠点」である。 また、の標数が でも でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。 非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が や のとき、上の式は全ての非特異を表せるほど一般ではない（詳細な定義は以下を参照）。 が重根を持たない三次多項式として、 とすると、種数 の非特異平面曲線を得るので、これは楕円曲線である。が次数 でとすると、これも種数 の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。 楕円関数論を使い、複素数上で定義された楕円曲線はトーラスのへの埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。 楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより（リチャード・テイラーの支援を得て）証明されたフェルマーの最終定理で重要な役割を持っている（モジュラー性定理とフェルマーの最終定理への応用を参照）。また、楕円曲線は、楕円暗号(ECC) や素因数分解への応用が見つかっている。 楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。 このように、楕円曲線は次のように見なすことができる。.

可換体

抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

代数的閉包と可換体 · 可換体と楕円曲線 · 続きを見る »

シュプリンガー・サイエンス・アンド・ビジネス・メディア

ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.

シュプリンガー・サイエンス・アンド・ビジネス・メディアと代数的閉包 · シュプリンガー・サイエンス・アンド・ビジネス・メディアと楕円曲線 · 続きを見る »

素数

素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.

代数的閉包と素数 · 楕円曲線と素数 · 続きを見る »

複素数

数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.

代数的閉包と複素数 · 楕円曲線と複素数 · 続きを見る »

有限体

有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.

代数的閉包と有限体 · 有限体と楕円曲線 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

代数的閉包と数学 · 数学と楕円曲線 · 続きを見る »