ブラウザよりも高速アクセス！
41 関係: 単位元、可解群、可換体、多価関数、実数、巡回群、平方根、二次方程式、代数学の基本定理、代数的閉体、代数方程式、体の拡大、体論、判別式、分解体、ガロア理論、ガロア群、ガロア拡大、クンマー理論、冪乗、元 (数学)、立方根、算術、約数、絶対値、略字、複素数、解、開平法、開立法、重根、自然対数、自然数、零元、集合、虚数単位、正の数と負の数、求根アルゴリズム、指数関数、有限体、1の冪根。
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
可解群
数学、特に群論の分野において、可解群（かかいぐん、solvable group, soluble group、Auflösbare Gruppe）は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。 歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと（アーベル–ルフィニの定理）の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
多価関数
多価関数（たかかんすう、multivalued function）とは、完全関係のひとつであり、一つの入力が与えられたときに一つあるいは複数の出力を得るものである。しかし現代的な定義での関数は写像の一種とみなされ、一つの入力があるときに出力を一つだけ得るものと定義されることが多く、この場合には多価関数を「関数」と呼ぶのは不適切となる（下記多価関数#歴史的経緯参照）。多価関数は単射でない関数から得ることができる。そのような関数では逆関数が定義できないが、逆関係 (inverse relation) はある。多価関数は、この逆関係に相当する。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
巡回群
群論における巡回群（じゅんかいぐん、cyclic group、monogenous group）とは、ただ一つの元で生成される群（単項生成群）のことである。ここで群が「ただ一つの元で生成される」というのは、その群の適当な元 g をとれば、その群のどの元も（群が乗法的に書かれている場合は）g の整数冪として（群が加法的に書かれている場合は g の整数倍として）表されるということであり、このような元 g はこの群の生成元 (generator) あるいは原始元 (primitive) と呼ばれる。.
平方根
平方根（へいほうこん、square root）とは、数に対して、平方すると元の値に等しくなる数のことである。与えられた数を面積とする正方形を考えるとき、その数の平方根の絶対値がその一辺の長さであり、一つの幾何学的意味付けができる。また、単位長さと任意の長さ x が与えられたとき、長さ x の平方根を定規とコンパスを用いて作図することができる。二乗根（にじょうこん）、自乗根（じじょうこん）とも言う。.
二次方程式
数学の特に代数学において二次方程式（にじほうていしき、quadratic equation）は、二次の多項式函数のを記述する。多変数の二次方程式については（特に実数係数のものについて）その零点集合に対する幾何学的考察が歴史的に行われ、よく知られている（二元二次方程式については円錐曲線を、一般の多変数二次方程式については二次曲面を参照するとよい）。 初等代数学における二次方程式は未知数 および既知数 を用いて ax^2+bx+c.
代数学の基本定理
代数学の基本定理（だいすうがくのきほんていり、fundamental theorem of algebra）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。.
新しい！!: 冪根と代数学の基本定理 · 続きを見る »
代数的閉体
数学において、体 が代数的に閉じているまたは代数的閉体（だいすうてきへいたい、; 代数閉体）であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.
代数方程式
数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.
体の拡大
抽象代数学のとくに体論において体の拡大（たいのかくだい、field extension）は、体の構造や性質を記述する基本的な道具立ての一つである。 体の拡大の理論において、通常は非可換な体を含む場合を扱わない（そのようなものは代数的数論に近い非可換環論あるいは多元環論の範疇に属す）。ただし、非可換体（あるいはもっと一般の環）の部分集合が、非可換体の演算をその部分集合へ制限して得られる演算により、その非可換体を上にある体として（可換な）体構造をもつとき、元の非可換体の（可換）部分体と呼び、元の非可換体を（非可換）拡大体と呼ぶことがある。 以下本項では特に断りの無い限り、体として可換体のみを扱い、単に体と呼称する。.
体論
数学において体論（たいろん、英語：field theory）とは、体の性質を研究する分野のことである。体は四則演算が定義されている数学的対象である。.
判別式
代数学において、多項式の判別式（はんべつしき、discriminant）はその係数たちの関数であり、一般には大文字の 'D' あるいは大文字のギリシャ文字デルタ (Δ) で表記される。それは根の性質についての情報を与えてくれる。例えば、二次多項式 の判別式は である。ここで、実数,, に対して、Δ > 0 であれば、多項式は 2 つの実根を持ち、Δ.
分解体
抽象代数学において、与えられた多項式の分解体（ぶんかいたい、splitting field）とは、その多項式を一次式の積に因数分解 (splitting) できるような係数体の拡大体を言う。特にそのような拡大体のうちが最小となる最小分解体 (smallest splitting field) は多項式に対して同型を除いて一意に定まるため、最小分解体のことを指して単に分解体と呼ぶことも多い。.
ガロア理論
ア理論（ガロアりろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.
ガロア群
ア群（英：Galois Group）とは、代数方程式または体の拡大から定義される群のことである。発見者であるフランスの数学者エヴァリスト・ガロアから命名された。これらの群を用い方程式などの数学的対象について研究する分野をガロア理論と呼ぶ。.
ガロア拡大
数学において、ガロア拡大（ガロアかくだい、Galois extension）は、体の代数拡大 E/F であって、正規拡大かつ分離拡大であるもののことである。あるいは同じことだが、E/F が代数拡大であって、自己同型群 Aut(E/F) によるがちょうど基礎体 F であるもののことである。ガロア拡大は、ガロア群を持ち、ガロア理論の基本定理に従うという点で、重要である。 エミール・アルティンの結果によって、ガロア拡大を次のように構成できる。E が与えられた体で、G が E の自己同型からなるある有限群で固定体が F のとき、E/F はガロア拡大である。.
クンマー理論
抽象代数学や数論で、クンマー理論(Kummer theory)は、あるタイプの体の拡大を記述する理論である。この体の拡大は基礎体の元の n-乗根の(adjunction)を持っている場合である。クンマー理論は、元々は、1840年代にフェルマーの最終定理をエルンスト・クンマー(Ernst Kummer)が開拓しようとして発見した理論である。 クンマー理論の主な結果は、体の性質に依存していなく、つまり 体の標数は n を割らない限り結果には関係はなく、従って、抽象代数学に属する。体 K の標数が n を割るときは、K の巡回拡大の理論はアルティン・シュライヤーの理論と呼ばれる。 クンマー理論は、例えば、類体論や一般のアーベル拡大を理解する上で、基本的である。クンマー理論は、充分に多くの1の根が存在するときは、円分拡大から根を引き抜くことと理解される。クンマー理論の類体論での主要な位置付けは、1の余剰な根を分け与えることで（より小さな体に分けること）、非常に重要となることがある。.
冪乗
冪演算（べきえんざん、英: 独: 仏: Exponentiation）は、底 (base) および冪指数 (exponent) と呼ばれる二つの数に対して定まる数学的算法である。通常は、冪指数を底の右肩につく上付き文字によって示す。自然数 を冪指数とする冪演算は累乗（るいじょう、repeated multiplication) に一致する。 具体的に、 および冪指数 を持つ冪 (power) は、 が自然数（正整数）のとき、底の累乗 で与えられる。このとき は の -乗とか、-次の -冪などと呼ばれる。 よく用いられる冪指数に対しては、固有の名前が与えられているものがある。例えば冪指数 に対して二次の冪（二乗） は の平方 (square of) あるいは -自乗 (-squared) と呼ばれ、冪指数 に対する三次の冪 は の立方 (cube of, -cubed) と呼ばれる。また冪指数 に対して冪 は であり の逆数（あるいは乗法逆元）と呼ばれる。一般に負の整数 に対して底 が零でないとき、冪 はふつう なる性質を保つように と定義される。 冪演算は任意の実数あるいは複素数を冪指数とするように定義を拡張することができる。底および冪指数が実数であるような冪において、底を固定して冪指数を変数と見なせば指数函数が、冪指数を固定して底を変数と見れば冪函数がそれぞれ生じる。整数乗冪に限れば、行列などを含めた非常に多種多様な代数的対象に対してもそれを底とする冪を定義することができるが、冪指数まで同種の対象に拡張するならばその上で定義された自然指数函数と自然対数函数を持つ完備ノルム環（例えば実数全体 や複素数全体 などはそう）を想定するのが自然である。.
元 (数学)
数学において元（げん、element）とは、集合を構成する個々の数学的対象のことである。ジュゼッペ・ペアノの導入した記法に従えば、対象 が集合 の元であることを と書き表す。このとき対象 が集合 に属する（ぞくする、membership）、あるいは集合 は対象 を含むとも言う。 「属する」という二項関係は、数学的対象と集合（あるいは一般にクラス）との間に定まる非対称な関係（帰属関係）である。外延性の公理により、集合はそれに属する全ての数学的対象を指定することで特徴づけられる。 通常用いられる においては基礎の公理が述べるところによって帰属関係は整礎、すなわち任意の集合は自身を元として含むことはない（帰属関係は反対称関係である）。しかし、基礎の公理の代わりにを置くではそのような制約を受けないが存在し得る。 帰属関係は推移的でない。これは集合の包含関係がそうであることと対照的である。.
立方根
立方根（りっぽうこん、cubic root、root of third power）とは、ある数が与えられた時、三乗して与えられた数となるような新たな数を指す。三乗根（さんじょうこん）ともいう。.
算術
算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.
約数
数学において、整数 の約数（やくすう、divisor）とは、 を割り切る整数またはそれらの集合のことである。割り切るかどうかということにおいて、符号は本質的な問題ではないため、 を正の整数（自然数）に、約数は正の数に限定して考えることも多い。自然数や整数の範囲でなく文字式や抽象代数学における整域などで「約数」と同様の意味を用いる場合は、「因数」（いんすう）、「因子」（いんし、factor）が使われることが多い。 整数 が整数 の約数であることを、記号 | を用いて と表す。 約数の定義を式で表すと、「整数 が の約数であるとは、ある整数 をとると が成立することである」であるが、条件「」を外すこともある（その場合、 のとき も約数になる）。 自然数（正の整数）で考えている文章では、ことわりがなくても「約数」を前提にしていることは多い。.
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
略字
略字（りゃくじ）とは漢字について本来の字体から点や画を省略したもの、あるいはある文字に代わって用いられる字画を省略した文字のことである。一部の略字はJIS X 0213やUnicodeに登録されている。 現在の日本では、概ね以下の意味に用いられる。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
解
解（かい）.
開平法
開平法（かいへいほう、extraction of square root）とは、正の数の平方根の小数表示を求めていくアルゴリズムである。開平や開平算、開平計算とも。平方根を求めることを開平するという。開法の一種。.
開立法
開立法（かいりつほう、かいりゅうほう、extraction of cubic root）は、正の実数の立方根の小数による近似値を求める方法の1つである。開立とも。立方根を求めることを開立するという。開法の一種。.
重根
重根.
自然対数
実解析において実数の自然対数（しぜんたいすう、natural logarithm）は、超越的無理数であるネイピアの定数 を底とする対数を言う。 の自然対数を や、より一般に あるいは単に（底を暗に伏せて） などと書く。 通常の函数の記法に則って引数を指示する丸括弧を明示的に付けて、 や などのように書いてもよい 定義により、 の自然対数とは の肩にそれを載せた冪が 自身に一致するような冪指数のことに他ならない。例えば、 となることは となることを理由とする。特に の自然対数は であり、 の自然対数は である。 自然対数は、任意の正数 に対して 逆数函数 の から までの間のグラフの下にある面積（ と の成立を意味する。 他の任意の対数がそうであるように、自然対数は なる意味で乗法を加法へ写す。これにより自然対数函数は正の実数の乗法群 から実数の加法群 への写像 として 群の準同型になる。 以外にも、任意の正数 に対して、それを底とする対数を定義することができるが、そのような対数は自然対数の定数倍として得ることができる（例えば二進対数は自然対数の 倍である）し、通常はそうして自然対数から定義される。対数は未知の量がほかの適当な量の冪と見なされる問題を解く際に有用で、例えば指数函数的減衰問題における減衰定数としての半減期を求めるときなどに利用できる。このように対数は、数学や自然科学の多くの分野において重要であり、また金融経済において複利を含む問題にも利用できる。 リンデマン–ヴァイアシュトラスの定理により、 でない任意の（正の）代数的数に対してその自然対数は超越数となる。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
零元
数学において、零元（れいげん、ぜろげん）とは、.
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
虚数単位
虚数単位（きょすうたんい、imaginary unit）とは、−1 の平方根（2乗して −1 になる数）である2つの数のうちの1つの数のことである（どちらかを特定することはできない）。そのような数を記号で i または \sqrt で表す。 任意の実数の2乗は0以上なので、虚数単位は実数でない。数の概念を複素数に拡張すると登場する数である。 虚数単位の記号 i は imaginary の頭文字から採られている。ただし、i を別の意味（電流など）の記号として使う場合は、虚数単位を j などで表すことがある（どの文字を用いるかは自由である。その場合にはどの文字を用いるかを初めに必ず宣言する）。 積の交換法則が成り立たないことを許容すると、異なる3個以上の虚数単位からなる数の体系（非可換体）を考えることができる。3個の虚数単位の場合は i,j,k、7つ以上の虚数単位の組には i_1,i_2,\cdots といったように一つずつ添字を付けて表すことが多い。.
正の数と負の数
正の数（せいのすう、positive number）とは、0より大きい実数である。負の数（ふのすう、negative number）とは、0より小さい実数である。.
新しい！!: 冪根と正の数と負の数 · 続きを見る »
求根アルゴリズム
求根アルゴリズムは、与えられた関数f について、f (x).
新しい！!: 冪根と求根アルゴリズム · 続きを見る »
指数関数
実解析における指数関数（しすうかんすう、exponential function）は、冪における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる（や指数関数的減衰の項を参照）。 一般に、 かつ なる定数 に関して、（主に実数の上を亙る）変数 を へ送る関数は、「a を'''底'''とする指数函数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数とは対照的である。 しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数（あるいはより明示的に「自然指数関数」）はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式 を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
1の冪根
1の冪根（いちのべきこん、root of unity）、または1の累乗根（いちのるいじょうこん）は、数学において、冪乗して 1 になる（冪単である）ような数のことである。すなわち、ある自然数 n が存在して となる z のことである。通常は複素数の範囲で考えるが、場合によっては ''p'' 進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。 自然数 n に対し、m (\zeta_n.
