ブラウザよりも高速アクセス！
39 関係: 単項イデアル環、単項イデアル整域、可逆元、可換体、可換環、実数、主イデアルに関する昇鎖条件、代数的整数、ネーター環、モニック多項式、ユークリッド環、デデキント環、ニコラ・ブルバキ、アイゼンシュタイン整数、イデアル類群、ガウス整数、ケンブリッジ大学出版局、シュライアー整域、冪級数、商体、全単射、剰余環、積閉集合、算術の基本定理、素イデアル、素元、環の局所化、複素数、零元、GCD整域、有理数、最大公約数、最小公倍数、既約元、数学、数学的帰納法、整域、整閉整域、整数。
単項イデアル環
数学において、単項右（左）イデアル環、主右（左）イデアル環 (principal right (left) ideal ring) は環 R であってすべての右（左）イデアルがある x ∈ R に対して xR (Rx) の形であるようなものである。（1つの元で生成されたこの形の右と左のイデアルは単項イデアルである。）これが左と右のイデアル両方に対して満たされるとき、例えば R が可換環のような場合、R を単項イデアル環、主イデアル環 (principal ideal ring) あるいはシンプルに 単項環、主環 (principal ring) と呼ぶことができる。 R の有限生成右イデアルだけが単項であるならば、R は右ベズー環 (right Bézout ring) と呼ばれる。左ベズー環は同様に定義される。これらの条件は域 (domain) においてベズー域として研究される。 整域でもあるような可換単項イデアル環は単項イデアル整域 (PID) と呼ばれる。この記事において焦点は域とは限らない単項イデアル環のより一般的な概念に当てる。.
新しい！!: 一意分解環と単項イデアル環 · 続きを見る »
単項イデアル整域
代数学において単項イデアル整域（たんこうイデアルせいいき、あるいは主イデアル整域、principal ideal domain; PID）あるいは主環（しゅかん、anneau principal）とは、任意のイデアルが単項イデアルであるような（可換）整域のことである。 より一般に、任意のイデアルが単項イデアルであるような（零環でない）可換環を単項イデアル環と呼ぶ（この場合、整域とは限らない、つまり零因子をもつかもしれない）が、文献によっては（例えばブルバキなどでは）「主（イデアル）環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。.
新しい！!: 一意分解環と単項イデアル整域 · 続きを見る »
可逆元
数学、とくに代数学における可逆元（かぎゃくげん、invertible element）または単元（たんげん、unit）とは、一般に代数系の乗法と呼ばれる二項演算に対する逆元を持つ元のことをいう。.
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
可換環
数学、特に抽象代数学の一分野である環論における可換環（かかんかん、commutative ring）は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
主イデアルに関する昇鎖条件
抽象代数学において、昇鎖条件は包含関係による半順序が入った環の主左、主右、あるいは主両側イデアルの半順序集合に適用することができる。主イデアルに関する昇鎖条件 (ascending chain condition on principal ideals) （ACCP と省略される）が満たされるとは、環において与えられたタイプ（左／右／両側）の主イデアルの真の無限昇鎖が存在しないということである。あるいは別の言い方をすれば、すべての昇鎖はやがて一定になる。 片割れである降鎖条件もまたこれらの半順序集合に適用することができるが、しかし用語 "DCCP" の必要は現在は全くない、なぜならばそのような環は既に左あるいは右完全環という名前がついているからである。（下の非可換環の節を参照。） ネーター環（例えば主イデアル整域）は典型的な例であるが、いくつかの重要な非ネーター環、特に一意分解整域と左または右完全環もまた (ACCP) を満たす。.
新しい！!: 一意分解環と主イデアルに関する昇鎖条件 · 続きを見る »
代数的整数
数論において代数的整数（だいすうてきせいすう、algebraic integer）とは、整数係数モニック多項式の根となるような複素数のことを言う。代数的整数の全体 A は加法と乗法について閉じており、ゆえに複素数環 C の部分環をなす。この環 A は有理整数環 Z の C における整閉包となっている。 代数体 K の整数環 O は K ∩ A に等しく、また体 K の極大整環（order）となっている。全ての代数的整数はそれぞれ何らかの代数体の整数環に属している。x が代数的整数であることは、環 Z がアーベル群として有限生成（即ち有限生成 '''Z'''-加群）であることと同値である。.
新しい！!: 一意分解環と代数的整数 · 続きを見る »
ネーター環
数学においてネーター環（ネーターかん、Noetherian ring）は、イデアルの昇鎖条件などのある種の有限性を持つ環の一種。エミー・ネーターによって提唱された。すべてのイデアルは有限生成という条件から単項イデアル整域の一般化と見ることもできる。.
新しい！!: 一意分解環とネーター環 · 続きを見る »
モニック多項式
代数学におけるモニック多項式（モニックたこうしき、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 の形に書けることである。 モニック多項式に付随する多項式方程式の性質は、係数環 に極めて依存する。.
新しい！!: 一意分解環とモニック多項式 · 続きを見る »
ユークリッド環
数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、Euclidean domain）あるいはユークリッド環（ユークリッドかん、Euclidean ring）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。 ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。 そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。.
新しい！!: 一意分解環とユークリッド環 · 続きを見る »
デデキント環
デデキント環（デデキントかん、Dedekind ring）、あるいはデデキント整域（デデキントせいいき、Dedekind domain）とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。.
新しい！!: 一意分解環とデデキント環 · 続きを見る »
ニコラ・ブルバキ
ニコラ・ブルバキ（Nicolas Bourbaki, ブールバキとも）は架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ数学原論や、定期的に開催されるで有名。.
新しい！!: 一意分解環とニコラ・ブルバキ · 続きを見る »
アイゼンシュタイン整数
ウス平面内の、正三角形を成す格子における格子点は、アイゼンシュタイン整数を表す。 アイゼンシュタイン整数（アイゼンシュタインせいすう、Eisenstein integer）とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインにちなんで名付けられた複素数の一種である。正確には、整数 a, b と1の原始3乗根 に対して a + b ω の形の複素数のことである。b.
新しい！!: 一意分解環とアイゼンシュタイン整数 · 続きを見る »
イデアル類群
数学において，体 に対してイデアル類群（ideal class group）あるいは類群（class group）とは，商群 である，ただし は の分数イデアルの群で， は の単項イデアルからなる部分群である．代数体（あるいはより一般に任意のデデキント環）の整数環における一意分解の成り立たなさをイデアル類群によって記述することができる．この群が有限のとき（代数体の整数環の場合はそうである），その群の位数を類数（class number）と呼ぶ．デデキント環の乗法的理論はそのイデアル類群の構造と密接にかかわっている．例えば，デデキント環のイデアル類群が自明であることとその環が一意分解整域であることは同値である．.
新しい！!: 一意分解環とイデアル類群 · 続きを見る »
ガウス整数
ウス整数とは、ガウス平面では格子点に当たる。 ガウス整数（ガウスせいすう、Gaussian integer）とは、実部と虚部が共に整数である複素数のことである。すなわち、（, は整数）の形の数のことである。ここで は虚数単位を表す。ガウス整数という名称は、カール・フリードリヒ・ガウスが導入したことに因む。ガウス自身はガウス整数のことを複素整数（Komplexe Ganze Zahl）と呼んだが、今日ではこの呼称は一般的ではない。 通常の整数は、 の場合なので、ガウス整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。 数学的には一つ一つのガウス整数を考えるよりも、集合として全体の構造を考える方が自然である。ガウス整数全体の集合を と表し、これをガウス整数環と呼ぶ。すなわち、 である（ は有理整数環、すなわち有理整数全体の集合を表す）。その名が示すように、ガウス整数環は加法と乗法について閉じており、環としての構造を持つ。複素数体 C の部分環であるから、整域でもある。 を有理数体、すなわち有理数全体の集合とするとき、 をガウス数体という。ガウス整数環はガウス数体の整数環である。ガウス数体は、典型的な代数体であるところの円分体や二次体の一種であるので、ガウス整数環は代数的整数論における最も基本的な対象の一つである。.
新しい！!: 一意分解環とガウス整数 · 続きを見る »
ケンブリッジ大学出版局
ンブリッジ大学出版局（Cambridge University Press）は、ケンブリッジ大学の出版事業を手がける出版社である。1534年、ヘンリー8世により特許状が発せられたのを起こりとする世界最古の出版社、かつ世界第2の規模の大学出版局であり、聖書や学術誌の出版も手掛けている。 「出版活動を通して、大学の理念である全世界における学問、知識、研究の促進を推し進めること」を使命として掲げている。これは、ケンブリッジ大学規約中の「Statute J」に規定されている。そして、「公益のため継続的に出版活動を行い、ケンブリッジという名前の評価を高めること」を目的としている。 ケンブリッジ大学出版局は、学術、教育分野の書籍の出版を行なっており、ヨーロッパ、中東、アフリカ、アメリカ、アジア太平洋といった地域で事業を展開している。世界中に50以上の事業所を持ち、2000人近くの従業員を抱え、4万以上のタイトルの書籍を発行している。その種類は、専門書、教科書、研究論文、参考書、 300近くに及ぶ学術誌、聖書、祈祷書、英語教育教材、教育ソフト、電子出版など、多岐にわたる。.
新しい！!: 一意分解環とケンブリッジ大学出版局 · 続きを見る »
シュライアー整域
抽象代数学において、シュライアー整域 (Schreier domain) は、Otto Schreier にちなんで名づけられているが、整閉整域であって、すべての 0 でない元が primal なものである、すなわち、x が yz を割るときにはいつでも x は x.
新しい！!: 一意分解環とシュライアー整域 · 続きを見る »
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
商体
数学における整域の分数体（ぶんすうたい、field of fractions）あるいは商体（しょうたい、field of quotients）とは、与えられた整域に対してそれを部分環として含む最小の体である。整域 R の商体の元は a ≠ 0 および b なる整域 R の元によって分数 b/a の形に表される。環 R の商体が K であることを K.
全単射
数学において、全単射（ぜんたんしゃ）あるいは双射（そうしゃ）(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 f が全単射のとき、fは可逆であるともいう。.
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。.
積閉集合
抽象代数学における積閉集合（せきへいしゅうごう、multiplicatively closed set）あるいは乗法的集合（じょうほうてきしゅうごう、multiplicative set）は、（有限）積に関して閉じている集合を言う。 積閉集合は特に可換環論において重要である。そこでは積閉集合が環の局所化の構成に用いられる。.
新しい！!: 一意分解環と積閉集合 · 続きを見る »
算術の基本定理
pp.
新しい！!: 一意分解環と算術の基本定理 · 続きを見る »
素イデアル
素イデアル（prime ideal）は、環のイデアルで、ある条件を満たすものである。歴史的には、素数（素元）の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環（一般に）のすべてのゼロでない（整）イデアルは、素イデアルの有限個の積として（順序を除いて）一意的に書ける（イデアル論の基本定理）。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.
新しい！!: 一意分解環と素イデアル · 続きを見る »
素元
数学、特に抽象代数学において、可換環の素元（prime element）は整数における素数や既約多項式と似たある性質を満たす対象である。素元と既約元を区別するよう注意しなければならない。既約元はUFDにおいては素元と同じ概念であるが、一般には異なる。.
環の局所化
抽象代数学における環の局所化（きょくしょか、localization）あるいは分数環 (ring of fraction)、商環 (ring of quotient)ここでいう「分数環」や「商環」は、「分数体」や「商体」と同様の語法であって、剰余環の別名としての「商環」(quotient ring) とは異なる。商体や全商環は本項にいう意味での商環の特別な場合になっている（例節を参照）。 は、環に乗法逆元を機械的に添加する方法である。すなわち、環 とその部分集合 が与えられたとき、環 と から への環準同型を構成して、 の準同型像が における単元（可逆元）のみからなるようにする。さらに、 が「可能な限りで最良な」あるいは「最も一般な」ものとなるようにするということを考える（こういった状況はふつうは普遍性によって表されるべきものである）。環 の部分集合 による局所化は で表され、あるいは が素イデアル \mathfrak の補集合であるときには R_ で表される。 のことを と表すこともあるが、通常混乱の恐れはない。 局所化は完備化と重要な関係があり、環を局所化すると完備になるということがよくある。.
新しい！!: 一意分解環と環の局所化 · 続きを見る »
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
零元
数学において、零元（れいげん、ぜろげん）とは、.
GCD整域
数学において、GCD整域 (GCD domain) は整域 R であって任意の2つの0でない元が最大公約元 (greatest common divisor; GCD) をもつという性質をもつものである。同値なことだが、R の任意の2つの0でない元は最小公倍元 (least common multiple; LCM) をもつ。 GCD整域は一意分解整域 (UFD) を次のような意味で非ネーターの場合に一般化する。整域が UFD であることと、主イデアルについての昇鎖条件を満たすGCD整域であることは同値である。（とくに、ネーター的GCD整域はUFDである。）.
新しい！!: 一意分解環とGCD整域 · 続きを見る »
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
最大公約数
40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15.
新しい！!: 一意分解環と最大公約数 · 続きを見る »
最小公倍数
40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15.
新しい！!: 一意分解環と最小公倍数 · 続きを見る »
既約元
抽象代数学において、整域の 0 でも単元でもない元は、それが2つの非単元の積でないときに、既約（irreducible）であると言う。 既約元を素元と混同してはならない。（可換環 の0でも単元でもない元 は、 のある元 と に対して であるときにはいつでも または であるようなときに、素元と呼ばれる。）整域において、素元は既約元である素元 が既約元であることの証明。 とする。すると は素元なので または である。 であるとして、 としよう。すると となるので である。 は整域なので である。したがって は単元であり は既約である。Sharpe (1987) p.54。逆は一意分解整域に対しては正しい（あるいはより一般に、GCD整域に対しても正しい）が、一般の整域に対しては成り立たない。 さらに、素元で生成されたイデアルが素イデアルであるのに対して、既約元で生成されたイデアルは一般には既約イデアルであるとは限らない。しかしながら、 が GCD 整域であり、 が の既約元であれば、 で生成されたイデアルは の素イデアル（したがって既約イデアル）である。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的帰納法
数学的帰納法（すうがくてききのうほう、mathematical induction）は自然数に関する命題 が全ての自然数 に対して成り立っている事を証明するための、次のような証明手法である自然数の定義は を含む流儀とそうでない流儀があるが、ここでは後者を採用した。。.
新しい！!: 一意分解環と数学的帰納法 · 続きを見る »
整域
抽象代数学における整域（せいいき、integral domain）は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラングが顕著だが）整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在（零積法則）は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.
整閉整域
可換環論において、整閉整域（せいへいせいいき、Integrally closed domain）とは、商体の中で整閉な整域のことである。すなわち、整域 A の商体 K の元 x がモニックな多項式関係 x^n+a_x^+\cdots+a_0.
新しい！!: 一意分解環と整閉整域 · 続きを見る »
整数
数学における整数（せいすう、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
