目次
24 関係: 可逆元、可換体、二項演算、代数的構造、ネイピア数、モデル理論、フロベニウス自己準同型、分配法則、アーベル群、群準同型、環 (数学)、順序体、順序指数体、複素数、零写像、標数、決定可能性、指数関数、指数閉体、数学、数論、整数、0、1。
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。
見る 指数体と可逆元
可換体
抽象代数学において可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロア理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル-ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。
見る 指数体と可換体
二項演算
数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。
見る 指数体と二項演算
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。
見る 指数体と代数的構造
ネイピア数
1。
見る 指数体とネイピア数
モデル理論
モデル理論（もでるりろん、英: Model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ、集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与えるとしてのモデルである。もし言語のモデルがある特定のまたは（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。
見る 指数体とモデル理論
フロベニウス自己準同型
可換環論や体論では、フロベニウス自己準同型 (フロベニウス写像、Frobenius endomorphism, Frobenius map) （フェルディナント・ゲオルク・フロベニウスの名前にちなむ）は、有限体を含む重要なクラスである素数の標数 をもつ可換環の特別な自己準同型のことを言う。この自己準同型写像は、各元を 乗する。ある文脈においては、自己同型となるが、一般にこれは正しくない。
分配法則
分配法則（ぶんぱいほうそく、Distributive property）は、数学の法則の一つ。 集合 S に対して、積 × と和 + が定義されている時に、。
見る 指数体と分配法則
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。
見る 指数体とアーベル群
群準同型
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。
見る 指数体と群準同型
環 (数学)
数学における環（かん、ring）とは、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系のことである。 最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。したがって、台集合は加法の下「加法群」と呼ばれるアーベル群を成し、乗法の下「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。
見る 指数体と環 (数学)
順序体
数学における順序体（じゅんじょたい、ordered field）とは、全順序をもつ体で、その順序が体の演算と両立するもののことである。 順序体は標数 でなければならず、任意の自然数 は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体には順序を定義することができない。 順序体の任意の部分体は、元の体の順序に関してそれ自身順序体を成す。任意の順序体は有理数体に同型な部分順序体を含む。任意の順序体は実数体に同型である。順序体において平方元は非負でなければならない。従って複素数体には（虚数単位 の平方が だから）順序を定義することはできない。任意の順序体は実体である。 歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々に公理化が進められ、1926年に順序体および（形式的）実体に関するによって結実する。
見る 指数体と順序体
順序指数体
数学における順序指数体（じゅんじょしすうたい、ordered exponential field）は、順序体であって（実数全体の成す順序体上の指数函数の概念を一般化する）適当な条件を満たす函数を備えたものを言う。
見る 指数体と順序指数体
複素数
2。
見る 指数体と複素数
零写像
数学における零写像（れいしゃぞう、ゼロしゃぞう、zero mapping）は、零元を持つ適当な代数系への写像であって、その定義域の全ての元を終域の零元へ写すものを言う。殊に、解析学における零函数 (zero function) は、変数の値によらず函数値が常に零となるような函数を言う。また、線型代数学におけるベクトル空間の間の零（線型）写像 (zero map) または零（線型）作用素 (zero operator) は、全てのベクトルを零ベクトルに写す。 零写像は多くの性質を満足し、数学において例や反例としてしばしば用いられる。零写像は斉次線型微分方程式や積分方程式などの数学の一連の問題において、自明なになる。
見る 指数体と零写像
標数
標数（ひょうすう、characteristic）は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。
見る 指数体と標数
決定可能性
決定可能（けっていかのう、decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定可能性（けっていかのうせい、decidability）は、そのような属性を指す。命題論理のような形式体系は、論理的に妥当な論理式（または定理）の集合のメンバーシップを実効的に決定できるなら、決定可能である。ある決まった論理体系における理論（論理的帰結で閉じている論理式の集合）は、任意の論理式がその理論に含まれるか否かを決定する実効的方法があれば、決定可能である。そうでなければ、である。
見る 指数体と決定可能性
指数関数
実解析における指数関数（しすうかんすう、exponential function）は、冪乗における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる（指数関数的成長や指数関数的減衰の項を参照）。 一般に、 かつ なる定数 に関して、（主に実数の上を亙る）変数 を へ送る関数は、「a を'''底'''とする指数関数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪函数とは対照的である。
見る 指数体と指数関数
指数閉体
数学における指数閉体（しすうへいたい、exponentially closed field; 指数的に閉じた体） とは、 は順序指数体 —すなわち、 は順序体で、なおかつ「指数函数」と呼ばれる の加法群から の正元の成す乗法群の上への準同型 を持つ体（指数体）であって、 が順序写像となるもの— であって、その「指数函数」 が群同型かつ適当な自然数 に対して を底に持つ指数函数をとれる。
見る 指数体と指数閉体
数学
数学（すうがく）とは、数・量・図形などに関する学問であり、理学の一種。「算術・代数学・幾何学・解析学・微分法・積分法などの総称」とされる。 数学は自然科学の一種にも、自然科学ではない「形式科学」の一種にも分類され得る。
見る 指数体と数学
数論
数論（すうろん、number theory）は、数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。
見る 指数体と数論
整数
整数（mathbb Z）は有理数（mathbb Q ）の一部であり、自然数（mathbb N）を含む。 数学における整数（せいすう、integer; whole number、Ganze Zahl、nombre entier、número entero）は、1 とそれに 1 ずつ加えて得られる自然数 (1, 2, 3, 4, …) 、これらに−1を乗じて得られる負数 (−1, −2, −3, −4, …) 、および 0 の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は、一般に太字の mathbf Z または黒板太字の mathbb Z で表す。これはドイツ語"Zahlen"（ツァーレン。「数」の意・複数形）に由来する。
見る 指数体と整数
0
文字 0 によって表されるものは、おもに「何もないこと」に対応する基数（自然数0 を自然数に含めるかどうかは扱う対象によって異なる。例えば初等数論では含めないことが多く、集合論や数学基礎論では含めることが多い。本項では 0 も自然数に含める（例外的に 0 を自然数と見なさない場合には都度断りをいれる）。）であり、1 の直前の序数（順序数）であって、最小の非負整数である。また、−1 の次の整数でもある。零（れい、ぜろ）、ゼロ（zero）、セロ（cero）、ヌル（Null）、ノート（nought）、ニヒル（nihil）などと読まれる。また、文字の形状から、稀にまるあるいはオーなどのように呼ばれることもある。なお、日本の通話表においては、0 は「数字のまる」と送られる。
見る 指数体と0
1
「一」の筆順 1（一、壱、壹、弌、いち、ひと、ひとつ）は、最小の正の整数である。0 を自然数に含めない流儀では、最小の自然数とも言える。整数の通常の順序において、0 の次で 2 の前の整数である。1 はまた、実数を位取り記数法で記述するための数字の一つでもある。 「無」を意味する 0 に対して、1 は有・存在を示す最原初的な記号なので、物事を測る基準単位、つまり数や順序を数える際の初めである。 英語では、基数詞でone、序数詞では、st、first となる。 ラテン語では unus（ウーヌス）で、接頭辞 uni- はこれに由来する。
見る 指数体と1