ブラウザよりも高速アクセス！
53 関係: 単射、単位区間、単位元、可逆元、可換体、可換環、合成数、多項式環、実数、一意分解環、代数多様体、代数体、体、フロベニウス自己準同型、アルティン環、イデアル (環論)、ウェダーバーンの小定理、ガウス整数、ケンブリッジ大学出版局、シュプリンガー・サイエンス・アンド・ビジネス・メディア、ジョン・ワイリー・アンド・サンズ、サージ・ラング、剰余環、剰余類環、算術の基本定理、簡約律、素イデアル、素元、素数、環準同型、違いを除いて、非可換整域、領域 (解析学)、行列、複素平面、複素数、解析関数、開集合、零因子、零環、連続 (数学)、連結空間、GCD整域、P進数、抽象代数学、標数、正則局所環、正則関数、準素分解、有理数、...、有限体、既約元、整数。 インデックスを展開 (3 もっと) »
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
単位区間
数学において、単位区間（たんいくかん、unit interval）とは、閉区間, つまり 0 以上 1 以下の全ての実数からなる集合である（0 と 1 を含む）。しばしば I と表記される。実解析での役割に加えて、単位区間は位相幾何学におけるホモトピーの研究でも使われる。 書籍によっては、上記の定義以外の単位区間（0 と 1 を含むか含まないか）を使う場合もあり、(0, 1、.
単位元
数学、とくに抽象代数学において、単位元（たんいげん, ）あるいは中立元（ちゅうりつげん, ）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
可換環
数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。.
合成数
合成数（ごうせいすう、Composite number）は、自然数で、1とその数自身以外の約数を持つ数である。2つ以上の素数の積で表すことのできる自然数と定義してもよい。たとえば15は1と15自身以外に3と5を約数に持つ（または 3×5 と素数の積で表される）ので合成数である。9や25など素数を2乗した数は1つしか素因数をもたないが、9.
多項式環
数学、殊に抽象代数学における多項式環（たこうしきかん、polynomial ring）は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
一意分解環
数学における一意分解環（いちいぶんかいかん、unique factorization domain,UFD; 一意分解整域）あるいは素元分解環（そげんぶんかいかん）は、大雑把に言えば整数に対する算術の基本定理の如くに（特別の例外を除く）各元が素元（あるいは既約元）の積に一意的に書くことができるような可換環のことである。ブルバキの語法にしたがってしばしば分解環 (anneau factriel) とも呼ばれる。 環のクラスの中で、一意分解環は以下のような包含関係に位置するものである。.
代数多様体
代数多様体（だいすうたようたい、algebraic variety）は、最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。代数幾何学の最も主要な研究対象であり、デカルトによる座標平面上の解析幾何学の導入以来、多くの数学者が研究してきた数学的対象である。主にイタリア学派による射影幾何学的代数多様体、代数関数論およびその高次元化に当たるザリスキおよびヴェイユによる付値論的抽象代数多様体などの基礎付けがあたえられたが、20世紀後半以降はより多様体論的な観点に立脚したスキーム論による基礎付けを用いるのが通常である。 本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするのため特に断らない限り体 k は代数的閉体であると仮定する（体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照）。.
代数体
代数体（だいすうたい、algebraic number field）とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。 K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。 このとき θ は n 次の代数的数であるので、K を \mathbb 上のベクトル空間とみたとき、\ は基底となる。.
体
体（體、躰、躯、身体、からだ）、身体（しんたい）は、生物学的かつ文化的に規定された、有機体としての人間や動物の構造を指す。人間は身体を通じて世界を経験し、世界を構成する。.
フロベニウス自己準同型
可換環論や体論では、フロベニウス自己準同型 (フロベニウス写像、Frobenius endomorphism, Frobenius map) （フェルディナント・ゲオルク・フロベニウスの名前にちなむ）は、有限体を含む重要なクラスである素数の標数 をもつ可換環の特別な自己準同型のことを言う。この自己準同型写像は、各元を 乗する。ある文脈においては、自己同型となるが、一般にこれは正しくない。.
新しい！!: 整域とフロベニウス自己準同型 · 続きを見る »
アルティン環
アルティン環（アルティンかん、Artinian ring、アルチン環とも）とは、降鎖条件から定まるある種の有限性をもった環のこと。名称はエミール・アルティンにちなむ。.
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.
新しい！!: 整域とイデアル (環論) · 続きを見る »
ウェダーバーンの小定理
数学において、ウェダーバーンの小定理 (Wedderburn's little theorem) はすべての有限域が体であることを述べるものである。言い換えると、において、域、斜体、体の違いはない。 はこの定理を交代環へと一般化する： すべての有限単純交代環は体である。.
新しい！!: 整域とウェダーバーンの小定理 · 続きを見る »
ガウス整数
ウス整数とは、ガウス平面では格子点に当たる。 ガウス整数（ガウスせいすう、Gaussian integer）とは、実部と虚部が共に整数である複素数のことである。すなわち、（, は整数）の形の数のことである。ここで は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数（Komplexe Ganze Zahl）と呼んだが、今日ではこの呼称は一般的ではない。 通常の整数は、 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を と表し、これをガウス整数環と呼ぶ。すなわち、 である（ は有理整数環、すなわち有理整数全体の集合を表す）。その名が示すように、ガウス整数環は加法と乗法について閉じており、環としての構造を持つ。複素数体 C の部分環であるから、整域でもある。 を有理数体、すなわち有理数全体の集合とするとき、 をガウス数体という。ガウス整数環はガウス数体の整数環である。ガウス数体は、典型的な代数体であるところの円分体や二次体の一種であるので、ガウス整数環は代数的整数論における最も基本的な対象の一つである。.
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: 整域とケンブリッジ大学出版局 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（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）」。.
新しい！!: 整域とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
ジョン・ワイリー・アンド・サンズ
ョン・ワイリー・アンド・サンズ（John Wiley & Sons、略称: Wiley、）は、1807年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.
新しい！!: 整域とジョン・ワイリー・アンド・サンズ · 続きを見る »
サージ・ラング
ージ・ラング（Serge Lang, 1927年5月19日 - 2005年9月12日）は、フランスパリ生まれのアメリカの数学者。イェール大学名誉教授。10代の頃に家族でアメリカへ移住し、1946年カリフォルニア工科大学を卒業、1951年プリンストン大学にて博士号を取得。1955年からシカゴ大学教授、コロンビア大学教授、イェール大学教授を歴任した。整数論分野の仕事および多くの教科書の執筆者として知られる。ニコラ・ブルバキのメンバー。.
新しい！!: 整域とサージ・ラング · 続きを見る »
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。.
剰余類環
数学において、自然数 を法とする合同類環（ごうどうるいかん）あるいは剰余（類）環（じょうよかん、n, n）は、整数を で割った「剰余」を抽象的な類別として捉えたものである。 本項は剰余類環 の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。.
算術の基本定理
pp.
新しい！!: 整域と算術の基本定理 · 続きを見る »
簡約律
数学において、簡約律 (かんやくりつ、 英:cancellation property) の概念は可逆 (invertible) の概念の一般化である。消去律（しょうきょりつ）、消約律（しょうやくりつ）の訳が充てられることもある。 マグマ の元 a が左簡約性質 (left cancellation property) をもつ（あるいは左簡約可能 (left-cancellative)である）とは、M のすべての b と c に対して、 は常に を意味するということである。 マグマ の元 a が右簡約性質 (right cancellation property) をもつ（あるいは右簡約可能 (right-cancellative)である）とは、M のすべての b と c に対して、 が常に を意味するということである。 マグマ の元 a が両側簡約性質 (two-sided cancellation property) をもつ（あるいは簡約可能 (cancellative)である）とは、左右両方簡約可能であるということである。 マグマ が左簡約性質をもつ（あるいは左簡約可能である）とは、マグマのすべての元 a が左簡約可能であるということであり、同様の定義は右簡約あるいは両側簡約に対しても適用する。 左可逆元は左簡約可能であり、右と両側についても同様である。 例えば、すべての、したがってすべての群では簡約律が成り立つ。.
素イデアル
素イデアル（prime ideal）は、環のイデアルで、ある条件を満たすものである。歴史的には、素数（素元）の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環（一般に）のすべてのゼロでない（整）イデアルは、素イデアルの有限個の積として（順序を除いて）一意的に書ける（イデアル論の基本定理）。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.
素元
数学、特に抽象代数学において、可換環の素元（prime element）は整数における素数や既約多項式と似たある性質を満たす対象である。素元と既約元を区別するよう注意しなければならない。既約元はUFDにおいては素元と同じ概念であるが、一般には異なる。.
素数
素数（そすう、prime number）とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される（そこでは反数などの同伴なものも素数に含まれる）。このため、有理整数環 \mathbb Z での素数は有理素数（ゆうりそすう、rational prime）と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.
環準同型
論や抽象代数学において、環準同型（ring homomorphism）は2つの環の間の構造を保つ関数である。 きちんと書くと、R と S が環であれば、環準同型は以下を満たす関数 である。.
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
非可換整域
数学の特に環論と呼ばれる抽象代数学の一分野における（非可換）整域あるいは域（いき、domain）とは、右または左零因子を持たない（つまり ならば または が成り立つ、を満たすとも言われる）環のことを言う。しばしば自明でない（一つよりも多くの元を持つ）ことを仮定するが、域が乗法単位元を持つならば、この仮定は と同値であり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。1(≠ 0) を持つ可換域は（可換）整域と呼ばれる。; 定理 (Wedderburn): 有限域は自動的に有限体になる。 零因子について（少なくとも可換環の場合には）位相幾何学的な解釈をすることができる。環 が可換整域となるための必要十分条件は、 が被約環（つまり冪零元を持たない環）であり、かつそのスペクトル が既約位相空間となることである。前者の性質はある種の無限小の情報を保有しているとしばしば考えられ、対して後者はより幾何学的な情報を与えている。例えば、体 上の環 は整域でない（ および の属する類が零因子を与える）が、これは幾何学的にはこの環のスペクトルが既約でない（実際に、二つの既約成分である直線 と の和となる）ことに対応する。.
領域 (解析学)
数学の解析学の分野における領域（りょういき、）とは、有限次元ベクトル空間の開部分集合で連結なもののことを言う。例えば偏微分方程式論やソボレフ空間論などにおいて、定義域（domain of definition）の意味で領域 (domain) という語を用いることがあるが、それとは異なる。 領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。例えば、積分定理（グリーンの定理やストークスの定理）やソボレフ空間の性質、あるいは境界上の測度やの空間（境界上で定義される滑らかな関数の空間）を定義するために、そのような要求がなされる。広く扱われている領域としては、連続な境界を備える領域、リプシッツ領域、''C''1-級の境界を備える領域などがある。 有界領域（bounded domain）とは有界集合であるような領域のことを言い、対して有界領域の補集合の内部のことを外部（exterior）あるいは外部領域（external domain）と言う。 複素解析の分野における複素領域（complex domain）あるいは単純に領域（domain）とは、複素平面 内の任意の連結開部分集合のことを言う。例えば、複素平面全体も複素領域であり、開単位円や開上半平面なども複素領域である。正則関数に対しては、しばしば、複素領域が定義域の役割を担うことがある。 多変数複素関数の研究においては、 の任意の連結開部分集合を含むように、定義域の拡張が行われる。.
新しい！!: 整域と領域 (解析学) · 続きを見る »
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
複素平面
複素平面 数学において、数平面（すうへいめん、Zahlenebene）あるいは複素数­平面（ふくそすう­へいめん、Komplexe Zahlenebene, complex plane）は、数直線あるいは実数直線 (real line) を実軸 (real axis) として含む。 が実数であるとき、複素数 を単に実数の対とみなせば、平面の直交座標 の点に対応付けることができる。xy-平面上の y-軸は純虚数の全体に対応し、虚軸 (imaginary axis) と呼ばれる。-平面上の点 に複素数 を対応させるとき、-平面とも言う。 1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる。一方、それに先立つ1806年に も同様の手法を用いたため、アルガン図 (Argand Diagram) とも呼ばれている。さらに、それ以前の1797年の の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる。 英語名称 complex plane を「直訳」して複素平面と呼ぶことも少なくないが、ここにいう complex は「複素数上の—」という意味ではなく複素数そのものを意味している（複素数の全体を "the complexes" と呼んだり、" is a complex" などのような用例のあることを想起せよ）。したがって、語義に従った complex plane の直訳は「複素数平面」と考えるべきである（実数全体の成す real line についても同様であり、これは通例「実数直線」と訳され、実直線は多少異なる意味に用いられる）。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
解析関数
複素変数 z の複素数値関数 f(z) が1点 z.
開集合
開集合（かいしゅうごう、open set）は、実数直線の開区間の考えを一般化した抽象的な概念である。最も簡単な例は距離空間におけるものであり、開集合をその任意の点に対しそれを（元として）含む開球を（部分集合として）含むような集合（あるいは同じことだが境界点を全く含まないような集合）として定義できる。例えば、数直線上で不等式 2 < x < 5 によって定まる開区間は開集合である。この場合の境界とは数直線上の点 2 と 5 であって、不等式を 2 ≤ x ≤ 5 としたものや 2 ≤ x < 5 としたものは、境界を含んでいるので開集合ではない。また、 2 < x < 5 によって定まる開区間内のどの点に対しても、その点の開近傍として十分小さなものを選べば、それがもとの開区間に含まれるようにできる。 しかしながら、開集合は一般にはとても抽象的になりうる（詳しくは位相空間の項を参照されたい）。開集合とは全体集合を形成する基本要素達のようなものであり、位相の特殊な定義の仕方によっては、例えば実数において（普通の意味での）境界上を含む集合が“開集合”と呼ばれることになる場合もある。極端な例では、すべての部分集合を開集合としたり（離散位相）、開集合は空集合と空間全体だけとしたり（密着位相）することもできる。.
零因子
抽象代数学において、環 R の元 a は、ax.
零環
数学の分野である環論において、零環（the zero ring）または自明環 (trivial ring) は1つの元からなる（同型を除いて）唯一の環である。（あまり一般的ではないが、“零環 (zero ring)”という用語は任意の rng of square zero, すなわちすべての x と y に対して であるような rng を指すために使われることもある。この記事では1つの元からなる環の意味で使う。） 環の圏において、零環は終対象である。始対象は有理整数環 Z である。.
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: 整域と連続 (数学) · 続きを見る »
連結空間
位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、connected space）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.
GCD整域
数学において、GCD整域 (GCD domain) は整域 R であって任意の2つの0でない元が最大公約元 (greatest common divisor; GCD) をもつという性質をもつものである。同値なことだが、R の任意の2つの0でない元は最小公倍元 (least common multiple; LCM) をもつ。 GCD整域は一意分解整域 (UFD) を次のような意味で非ネーターの場合に一般化する。整域が UFD であることと、主イデアルについての昇鎖条件を満たすGCD整域であることは同値である。（とくに、ネーター的GCD整域はUFDである。）.
P進数
p 進数（ピーしんすう、p-adic number）とは、1897年にクルト・ヘンゼルによって導入された、数の体系の一つである。文脈によっては、その体系の個々の数を指して p 進数と呼ぶこともある。有理数の体系を実数や複素数の体系に拡張するのとは別の方法で、各素数 p に対して p 進数の体系が構成される。それらは有理数のつくる空間の局所的な姿を記述していると考えられ、数学の中でも特に数論において重要な役割を果たす。数学のみならず、素粒子物理学の理論などで使われることもある（例えば ''p'' 進量子力学を参照）。 「p 進数」とは「2進数」や「3進数」の総称に過ぎないので、文字 p がすでに他の場所で用いられている場合、q 進数や l 進数などと表現されることもある。 なお、自然数や実数を 0 と 1 で表現する方法（2進法）やその結果得られる記号列（2進列）も「2進数」と呼ぶ場合があるが、本項の意味での「2進数」とは異なる。.
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
標数
標数（ひょうすう、characteristic）は、環あるいは体の特徴を表す非負整数のひとつ。整域の標数は 0 または素数に限られる。.
正則局所環
可換環論において、正則局所環（せいそくきょくしょかん、regular local ring）とは、ネーター局所環 (A, \mathfrak) であって、剰余体 k.
正則関数
複素解析において、正則関数（せいそくかんすう、regular analytic function）あるいは整型函数（せいけいかんすう、holomorphic function）とは、ガウス平面あるいはリーマン面上のある領域の全ての点で微分可能であるような複素変数のことである。.
準素分解
数学において，ラスカー・ネーターの定理は，任意のネーター環はラスカー環 (Lasker ring) であること, すなわち，任意のイデアルが有限個の準素イデアル (primary ideal) の共通部分として分解できる（準素分解，primary decomposition）ことを述べている．（準素イデアルは，素イデアルの冪と関連するが，全く同じというわけではない．定理は最初に多項式環と収束冪級数環という特別な場合に対して によって証明され， によって完全に一般的に証明された． ラスカー・ネーターの定理は算術の基本定理の，あるいはより一般の有限生成アーベル群の基本定理の，すべてのネーター環への拡張である．ラスカー・ネーターの定理は，すべての代数的集合は既約成分の有限個の和集合に一意的に分解できると述べることによって，代数幾何学において重要な役割を果たす． 加群への直截な拡張がある：ネーター環上の有限生成加群のすべての部分加群は準素部分加群の有限交叉である．これは環を自身の上の加群したがってイデアルを部分加群と考えて環に対する場合を特別な場合として含んでいる．これはまた主イデアル整域上の有限生成加群の構造定理の準素分解形を一般化し，体上の多項式環と言う特別な場合に対して，それは代数的集合の（既約）多様体の有限和への分解を一般化する． 標数 0 の体上の多項式環に対する準素分解を計算する最初のアルゴリズムはネーターの学生 によって出版された．分解は非可換ネーター環に対しては一般には成り立たない．ネーターは準素イデアルの交叉ではない右イデアルを持つ非可換ネーターの例を与えた．.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
有限体
有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.
既約元
抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（irreducible）であると言う。 既約元を素元と混同してはならない。（可換環 の0でも単元でもない元 は、 のある元 と に対して であるときにはいつでも または であるようなときに、素元と呼ばれる。）整域において、素元は既約元である素元 が既約元であることの証明。 とする。すると は素元なので または である。 であるとして、 としよう。すると となるので である。 は整域なので である。したがって は単元であり は既約である。Sharpe (1987) p.54。逆は一意分解整域に対しては正しい（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては成り立たない。 さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が の既約元であれば、 で生成されたイデアルは の素イデアル（したがって既約イデアル）である。.
整数
数学における整数（せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
