ブラウザよりも高速アクセス！
46 関係: ほとんど (数学)、可算集合、可換体、多項式、多項式の根、二次体、代数体、代数的閉体、代数的整数、代数方程式、ペーター・グスタフ・ディリクレ、ノルム、ネイピア数、モニック多項式、トレース、ディオファントス近似、フリーマン・ダイソン、フルヴィッツの定理 (数論)、フィールズ賞、判別式、分数、アドルフ・フルヴィッツ、アイゼンシュタイン整数、オイラーの定数、カール・ジーゲル、ガロア理論、ガウス整数、クラウス・フリードリッヒ・ロス、ゲオルク・カントール、ジョゼフ・リウヴィル、冪根、円分体、円周率、環 (数学)、無理数、類体論、複素数、鳩の巣原理、足立恒雄、超越数、有理数、最小多項式 (線型代数学)、数論、整数、整数環、整拡大。
ほとんど (数学)
数学において、ほとんど (almost) という語は、ある厳密な意味で用いられる専門用語のひとつである。主に「測度 0 の集合を除いて」という意味であるが、それ単体で用いることはあまりなく、「ほとんど至るところで(almost everywhere)」「ほとんど全ての(almost all)」などの決まり文句でひとつの意味を形成する。.
新しい！!: 代数的数とほとんど (数学) · 続きを見る »
可算集合
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
多項式
数学における多項式（たこうしき、poly­nomial）は、多数を意味するpoly- と部分を意味する -nomen あるいは nomós を併せた語で、定数および不定元（略式ではしばしば変数と呼ぶ）の和と積のみからなり、代数学の重要な対象となる数学的対象である。歴史的にも現代代数学の成立に大きな役割を果たした。 不定元がひとつの多項式は、一元多項式あるいは一変数多項式 と呼ばれ、不定元を とすれば のような形をしている。各部分 "", "", "", "" のことを項（こう、）と呼ぶ。一つの項だけからできている式を単項式 (monomial)、同様に二項式 (binomial)、三項式 (trinomial) などが、-nomial にラテン配分数詞を付けて呼ばれる。すなわち、多項式とは「多数」の「項」を持つものである。単項式の語が頻出であることに比べれば、二項式の語の使用はやや稀、三項式あるいはそれ以上の項数に対する語の使用はごく稀で一口に多項式として扱う傾向があり、それゆえ単項式のみ多項式から排他的に分類するものもある。また多項式のことを整式 (integral expression) と呼ぶ流儀もある。 多項式同士の等式として与えられる方程式は多項式方程式と呼ばれ、特に有理数係数の場合において代数方程式という。多項式方程式は多項式函数の零点を記述するものである。 不定元がふたつならば二元 (bivariate), 三つならば三元 (trivariate) というように異なるアリティを持つ多元多項式が同様に定義できる。算術あるいは初等代数学において、数の計算の抽象化として実数（あるいは必要に応じてより狭く有理数、整数、自然数）を代表する記号としての「文字」変数を伴う「」およびその計算を扱うが、それは大抵の場合多変数の多項式である。 本項では主として一元多項式を扱い、多元の場合にも多少触れるが、詳細は多元多項式の項へ譲る。.
多項式の根
数学における多項式 の根（こん、root）は、 を満たす値 を言う。すなわち、根は未知数 の多項式方程式 の解であり、また対応する多項式函数の零点である。例えば、多項式 の根は および となる。 ある体に係数を持つ非零多項式は、「より大きい」体の中にしか根を持たないこともあるが、根の数はその多項式の次数より多くなることはない。例えば は次数 で有理数係数だが、有理根を持たず、二つの根を実数体 に（したがって 複素数体 の中に）おいて持つ。ダランベール–ガウスの定理は次数 の任意の複素係数多項式が（必ずしも異ならない） 個の根を持つことを述べるものである。 多項式の根の概念は、多変数多項式の零点の概念に一般化される。.
新しい！!: 代数的数と多項式の根 · 続きを見る »
二次体
二次体 (にじたい、quadratic field) は、有理数体上、2次の代数体のことである。任意の二次体は、平方因子を含まない 0, 1 以外の整数 d を用いて、\scriptstyle\mathbb(\sqrt) と表現される。もし、d > 0 である場合、実二次体 (real quadratic field)、d \mathbb(\sqrt) は、d.
代数体
代数体（だいすうたい、algebraic number field）とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.
代数的閉体
数学において、体 が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、; 代数閉体）であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.
新しい！!: 代数的数と代数的閉体 · 続きを見る »
代数的整数
数論において代数的整数（だいすうてきせいすう、algebraic integer）とは、整数係数モニック多項式の根となるような複素数のことを言う。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 O は K ∩ A に等しく、また体 K の極大整環（order）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z がアーベル群として有限生成（即ち有限生成 '''Z'''-加群）であることと同値である。.
新しい！!: 代数的数と代数的整数 · 続きを見る »
代数方程式
数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.
新しい！!: 代数的数と代数方程式 · 続きを見る »
ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ（Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日）はドイツの数学者で、現代的形式の関数の定義を与えたことで知られている。.
新しい！!: 代数的数とペーター・グスタフ・ディリクレ · 続きを見る »
ノルム
解析学において、ノルム (norm, Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。.
ネイピア数
1.
新しい！!: 代数的数とネイピア数 · 続きを見る »
モニック多項式
代数学におけるモニック多項式（モニックたこうしき、monic polynomial; モノ多項式、単多項式）はが の一変数多項式を言う。変数 に関する次数 の多項式は、その一般形を c_nx^n+c_x^+\dotsb+c_2x^2+c_1x+c_0 の形に書くことができる。ただし はこの多項式の係数と呼ばれる定数で、特に係数 は最高次係数と言う。したがって -次多項式がモニックとは x^n+c_x^+\dotsb+c_2x^2+c_1x+c_0 の形に書けることである。 モニック多項式に付随する多項式方程式の性質は、係数環 に極めて依存する。.
新しい！!: 代数的数とモニック多項式 · 続きを見る »
トレース
トレース (trace) は、すでにある物をなぞること。またはなぞるべき痕跡のこと。.
ディオファントス近似
ディオファントス近似（ディオファントスきんじ、Diophantine approximation）とはある数（実数など）を別のより単純な構造を持つ数（有理数など）で近似する方法やその値、あるいはそれについて研究する数論の一分野である。アレクサンドリアのディオファントスに因む。 最初の問題は、実数が有理数によってどのぐらいよく近似できるかを知ることであった。この問題のために、有理数 が実数 の「良い」近似であるとは、 と の差の絶対値が、 を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。 与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。 これらの上下界は近似される実数の性質の依存すると思われる。有理数の別の有理数による近似に対する下界は代数的数に対しての下界よりも大きい。後者はそれ自身すべての実数に対する下界よりも大きい。したがって代数的数に対する上下界よりもよく近似できる実数はもちろん超越数である。これによりリウヴィルは1844年に最初の明示的な超越数を生み出した。後に や が超越数であることの証明が類似の方法により得られた。 ディオファントス近似は、無理数や超越数の研究と深く関連している。実際、代数的数については次数や高さに依存して近似の精度に限界があることが知られている。また、不定方程式など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、ペル方程式 y2.
新しい！!: 代数的数とディオファントス近似 · 続きを見る »
フリーマン・ダイソン
フリーマン・ダイソン（2005年） フリーマン・ジョン・ダイソン（Freeman John Dyson、1923年12月15日 - ）は、イギリス・バークシャー生まれのアメリカ合衆国の理論物理学者、宇宙物理学者、サイエンスライター。ケンブリッジ大学トリニティカレッジ卒業、コーネル大学大学院卒業。プリンストン高等研究所名誉教授。 若くしてダイソン方程式を発表、量子電磁力学の完成に大きな寄与をなした。宇宙分野では恒星の全エネルギーを利用する「ダイソン球」や、彗星を覆う巨大植物「ダイソン・ツリー」、遺伝子工学によって育てられた宇宙船「宇宙の鶏（アストロチキン）」、惑星・恒星をも移動させる装置を考案するなど、気宇壮大なアイデアを連発し、SFにも多大な影響を与えた。原子力発電の研究にも携わっている。 数学に関わる分野でもいくつかの注目すべき仕事がある。ランダム行列の研究が最も重要だが、これは後にリーマン予想の研究を活発化させる契機にもなった。1996年に証明された、「全ての偶数は高々6個の素数の和で表せる」というオリヴィエ・ラマレの定理も、フリーマンが発見した補題が重要である。 日本のドキュメンタリー映画『地球交響曲第三番』に出演している。大江健三郎とも親交がある。.
新しい！!: 代数的数とフリーマン・ダイソン · 続きを見る »
フルヴィッツの定理 (数論)
数論において，フルヴィッツの定理（Hurwitz's theorem）とは，アドルフ・フルヴィッツ (Adolf Hurwitz) の名に因んだ定理で，ディオファントス近似の上界を与える．定理の主張は以下である．任意の無理数 に対し，互いに素な整数, であって となるものが無限個存在する． が無理数であるという仮定を外すことは出来ない．さらに，定数 は最良のものである．もし を別の任意の数 に置き換え，\xi.
新しい！!: 代数的数とフルヴィッツの定理 (数論) · 続きを見る »
フィールズ賞
フィールズ賞（フィールズしょう）は、若い数学者のすぐれた業績を顕彰し、その後の研究を励ますことを目的に、カナダ人数学者ジョン・チャールズ・フィールズ (John Charles Fields, 1863–1932) の提唱によって1936年に作られた賞のことである。.
新しい！!: 代数的数とフィールズ賞 · 続きを見る »
判別式
代数学において、多項式の判別式（はんべつしき、discriminant）はその係数たちの関数であり、一般には大文字の 'D' あるいは大文字のギリシャ文字デルタ (Δ) で表記される。それは根の性質についての情報を与えてくれる。例えば、二次多項式 の判別式は である。ここで、実数,, に対して、Δ > 0 であれば、多項式は 2 つの実根を持ち、Δ.
分数
分数（ぶんすう、fraction）とは 2 つの数の比を用いた数の表現方法のひとつである。.
アドルフ・フルヴィッツ
アドルフ・フルヴィッツ（1880年から1890年頃） アドルフ・フルヴィッツ（Adolf Hurwitz, 1859年3月26日 - 1919年11月18日）はドイツのユダヤ人数学者。 整数論、代数学、代数幾何学で業績がある。はじめミュンヘン大学でクライン、次にベルリン大学でクンマー、ワイエルシュトラス、クロネッカー等の当時を代表する数学者たちの講義に出席しドイツ数学を学んだ。 クラインに師事するために、一度ミュンヘン大学に戻り、クラインがライプツィヒ大学に異動するのに伴いライプツィヒへ、そこでクラインの指導のもと楕円モジュラー関数に関する論文で博士号を取得。 ゲッティンゲン大学を経てリンデマン（円周率\piが超越数となることの証明で著名）に誘われケーニヒスベルク大学へ。 ケーニヒスベルク大学時代にダフィット・ヒルベルトとヘルマン・ミンコフスキーを育てたことも有名。その後スイス連邦工科大学チューリヒ校の教授。 業績として、リーマン面に関する基礎的な貢献、代数曲線の種数に関するリーマン・フルヴィッツの公式。フルヴィッツのゼータ関数の発見。虚数乗法を持つ楕円モジュラー関数において非常に重要な数であるフルヴィッツ数の構成など。 楕円モジュラー関数と虚数乗法論における貢献が大きい。.
新しい！!: 代数的数とアドルフ・フルヴィッツ · 続きを見る »
アイゼンシュタイン整数
ウス平面内の、正三角形を成す格子における格子点は、アイゼンシュタイン整数を表す。 アイゼンシュタイン整数（アイゼンシュタインせいすう、Eisenstein integer）とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインにちなんで名付けられた複素数の一種である。正確には、整数 a, b と1の原始3乗根 に対して a + b ω の形の複素数のことである。b.
新しい！!: 代数的数とアイゼンシュタイン整数 · 続きを見る »
オイラーの定数
イラーの定数（オイラーのていすう、）は、数学定数の1つで、以下のように定義される。 オイラー・マスケローニ定数、オイラーの とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号 を用いた。 を用いたのはである。 この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。 オイラーの定数は超越数であろうと予想されているが、無理数であるかどうかさえ分かっていない。.
新しい！!: 代数的数とオイラーの定数 · 続きを見る »
カール・ジーゲル
ール・ルートヴィヒ・ジーゲル（Carl Ludwig Siegel, 1896年12月31日 - 1981年4月4日）は、ドイツの数学者。整数論、複素関数論、保型関数論、天体力学（三体問題）などを専攻。.
新しい！!: 代数的数とカール・ジーゲル · 続きを見る »
ガロア理論
ア理論（ガロアりろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.
新しい！!: 代数的数とガロア理論 · 続きを見る »
ガウス整数
ウス整数とは、ガウス平面では格子点に当たる。 ガウス整数（ガウスせいすう、Gaussian integer）とは、実部と虚部が共に整数である複素数のことである。すなわち、（, は整数）の形の数のことである。ここで は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数（Komplexe Ganze Zahl）と呼んだが、今日ではこの呼称は一般的ではない。 通常の整数は、 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を と表し、これをガウス整数環と呼ぶ。すなわち、 である（ は有理整数環、すなわち有理整数全体の集合を表す）。その名が示すように、ガウス整数環は加法と乗法について閉じており、環としての構造を持つ。複素数体 C の部分環であるから、整域でもある。 を有理数体、すなわち有理数全体の集合とするとき、 をガウス数体という。ガウス整数環はガウス数体の整数環である。ガウス数体は、典型的な代数体であるところの円分体や二次体の一種であるので、ガウス整数環は代数的整数論における最も基本的な対象の一つである。.
新しい！!: 代数的数とガウス整数 · 続きを見る »
クラウス・フリードリッヒ・ロス
ラウス・フリードリッヒ・ロス（Klaus Friedrich Roth、1925年10月29日 - 2015年11月10日）は、ドイツ出身のイギリスの数学者。ディオファントス近似や不規則偏差理論の研究などで知られる。当時ドイツ領だったブレスラウ（現在はポーランドの都市ヴロツワフ）で生まれ、イギリスで育った。1945年にの下でケンブリッジ大学のを卒業した。 1952年、自然数の有限密度部分集合は無数の長さ3の等差数列を含むことを証明し、今日として知られているものを作り上げた。彼の最終的な結論は、今日Thue–Siegel–Rothの定理として知られているものにまとめられ、1955年にユニヴァーシティ・カレッジ・ロンドンでの講義で発表された。彼は1958年にフィールズ賞を受賞した。1961年に教授となり、1966年に学長としてインペリアル・カレッジ・ロンドンへ移り、1988年まで務めた。.
新しい！!: 代数的数とクラウス・フリードリッヒ・ロス · 続きを見る »
ゲオルク・カントール
ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール（Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日）は、ドイツで活躍した数学者。.
新しい！!: 代数的数とゲオルク・カントール · 続きを見る »
ジョゼフ・リウヴィル
ョゼフ・リウヴィル ジョゼフ・リウヴィル（Joseph Liouville,, 1809年3月24日 - 1882年9月8日）は、フランスの物理学者、数学者。リウヴィルの定理とよばれる業績を3つの分野に残し(物理学、解析学、数論)、さらに数論においては超越数の最初の例を与えた。エヴァリスト・ガロアの功績を発見し、全集を公表したことでも知られている。パ＝ド＝カレー県サントメールで生まれ、1882年、パリで死去した。.
新しい！!: 代数的数とジョゼフ・リウヴィル · 続きを見る »
冪根
冪根「冪」の字の代わりに略字の「巾」を用いることがある。（べきこん）、または累乗根（るいじょうこん）は、冪乗（累乗）に相対する概念で、冪乗すると与えられた数になるような新たな数のことをいう。数 の冪根はしばしば と書き表される。冪根 は以下の関係を満たす。 つまり、冪根 の 乗は に等しく、この意味で を の 乗根 と呼ぶ。 は指数 と呼ばれ、記号 は根号 と呼ばれる。また、根号の中に書かれた数 は時に被開平数 と呼ばれる。 根号を用いて冪根を表す場合、それは非負の値を持つ一価関数として扱われる。このような冪根を主要根 と呼び、特に 乗根の主要根を主平方根 と呼ぶ。 数 の主要根 は指数関数と結び付けられ、 という関係が成り立つ は自然指数関数、 は自然対数。。.
円分体
円分体 (えんぶんたい、cyclotomic field) は、有理数体に、1 の m(>2) 乗根 \scriptstyle\zeta(\ne\pm 1) を添加した代数体である。円分体およびその部分体のことを円体ともいう。 以下において、特に断らない限り、\zeta_n.
円周率
円周率（えんしゅうりつ）は、円の周長の直径に対する比率として定義される数学定数である。通常、ギリシア文字 （パイ、ピー、ラテン文字表記: ）で表される。数学をはじめ、物理学、工学といった様々な科学分野に出現し、最も重要な数学定数とも言われる。 円周率は無理数であり、その小数展開は循環しない。円周率は、無理数であるのみならず、超越数でもある。 円周率の計算において功績のあったルドルフ・ファン・コーレンに因み、ルドルフ数とも呼ばれる。ルドルフは、小数点以下35桁までを計算した。小数点以下35桁までの値は次の通りである。.
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
新しい！!: 代数的数と環 (数学) · 続きを見る »
無理数
無理数（むりすう、 irrational number）とは、有理数ではない実数、つまり分子・分母ともに整数である分数（比.
類体論
数学における類体論（るいたいろん、class field theory, Klassenkörpertheorie）は、有限体上の曲線の函数体や数体のアーベル拡大について、およびそのようなアーベル拡大に関する数論的性質について研究する、代数的整数論の一大分野である。理論の対象となる体は、一般に大域体もしくは一次元大域体と呼ばれるものである。 与えられた大域体の有限次アーベル拡大と、その体の適当なイデアル類もしくはその体のイデール類群の開部分群との間に一対一対応が取れるという事実によって、類体論の名がある。例えば、数体の最大不分岐アーベル拡大であるヒルベルト類体は、非常に特別なイデアル類に対応する。類体論は、大域体のイデール類群（即ち、体の乗法群によるイデールの商）によってその大域体の最大アーベル拡大のガロワ群へ作用する相互律準同型 (reciprocity homomorphism) を含む。大域体のイデール類群の各開部分群は、対応する類体拡大からもとの大域体へ落ちるノルム写像の像になっているのである。 標準的な方法論は、1930年代以降発達したで、これは大域体の完備化である局所体のアーベル拡大を記述するものであり、これを用いて大域類体論が構築される。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
鳩の巣原理
''n''.
新しい！!: 代数的数と鳩の巣原理 · 続きを見る »
足立恒雄
足立 恒雄（あだち のりお、1941年（昭和16年）11月12日 - ）は日本の数学者。理学博士。早稲田大学名誉教授。専攻は代数的整数論、数学思想史。 数学が汎宇宙的な普遍性を持つ真理の体系であり、一貫した発展を遂げているという思想に疑問を呈し、数学は人類の種としての固有の財産であり、また時代・民族・個人に大いに依存しているという観点から、『』、『』、『』等の著作を多数著わしている。.
超越数
超越数（ちょうえつすう、transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式 のにもならないような複素数のことである。有理数は一次方程式の解であるから、超越的な実数はすべて無理数になるが、無理数 2 は の解であるから、逆は成り立たない。超越数論は、超越数について研究する数学の分野で、与えられた数の超越性の判定などが主な問題である。 よく知られた超越数にネイピア数（自然対数の底）や円周率がある。ただし超越性が示されている実数のクラスはほんの僅かであり、与えられた数が超越数であるかどうかを調べるのは難しい問題だとされている。例えば、ネイピア数と円周率はともに超越数であるにもかかわらず、それをただ足しただけの すら超越数かどうか分かっていない。 代数学の標準的な記号 \mathbb で有理数係数多項式全体を表し、代数的数全体の集合を、代数的数 algebraic number の頭文字を使って と書けば、超越数全体の集合は となる。 なお、本稿では を自然対数とする。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
最小多項式 (線型代数学)
線型代数学において、体 F 係数の 行列 の F 上の最小多項式（さいしょうたこうしき、minimal polynomial）とは、F-係数のモニック多項式 p(x) であって、p(A) が零行列となるようなものの中で次数最小のものを言う。q(A).
新しい！!: 代数的数と最小多項式 (線型代数学) · 続きを見る »
数論
数論（すうろん、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.
整数
数学における整数（せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero）は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen（「数」の意・複数形）に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理（的）」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
整数環
数学において，代数体 の整数環（せいすうかん，ring of integers）とは， に含まれるすべての整な元からなる環である．整な元とは有理整数係数の単多項式 の根である．この環はしばしば あるいは \mathcal O_K と書かれる．任意の有理整数は に属し，その整元であるから，環 はつねに の部分環である． 環 は最も簡単な整数環である．すなわち， ただし は有理数体である.
整拡大
可換環論において、可換環 B とその部分環 A について、B の元 b が A 係数のモニック多項式の根であるとき、b は A 上整である（integral over A）という。B のすべての元が A 上整であるとき、B は A 上整である、または、B は A の整拡大（integral extension）であるという。 本記事において、環とは単位元をもつ可換環のこととする。.
