ブラウザよりも高速アクセス！
44 関係: 偶数、単射、反射関係、同値関係、合同算術、合同関係、対称関係、射 (圏論)、不変量、平行、二項関係、代数的構造、位相空間、位相空間論、像 (数学)、ユークリッド空間、リー群、クリーク (グラフ理論)、グラフ理論、商位相空間、商体、商写像、商線型空間、商群、全射、剰余加群、剰余環、剰余類、等質空間、素集合、線型代数学、群 (数学)、群作用、無限遠点、集合、集合の分割、除法、除法の原理、Well-defined、抽象代数学、推移関係、有理数、整域、整数。
偶数
偶数（ぐうすう、even number) とは、 を約数に持つ整数、すなわち で割り切れる整数のことをいう。逆に で割り切れない整数のことは、奇数という。 具体的な偶数の例として などが挙げられる。これらはそれぞれ に等しいため、 で割っても余りが生じず、 で割り切ることができる。 より派生して、 で割り切れるが では割り切れない整数を単偶数または半偶数という。これに対して、 で割り切れる整数を複偶数 または全偶数という。 偶数と奇数は、偶数全体、奇数全体をそれぞれ 1 つの元と見て、2 つの元からなる有限体の例を与える。.
単射
数学において、単射あるいは単写（たんしゃ、injective function, injection）とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。一対一（いったいいち、）の写像ともいう。似ているが一対一対応は全単射の意味で使われるので注意が必要である。.
反射関係
反射関係（はんしゃかんけい、reflexive relation）は、数学における二項関係の一種。二項関係には反射性 (reflexivity) のものと非反射性 (irreflexivity) のものがある。なお、ここでの（二項）関係は X × X という形式であり、集合 X からそれ自身への関係である。.
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
合同算術
数学、特に初等代数的整数論における合同算術（ごうどうさんじゅつ、modular arithmetic; モジュラ計算）は、（剰余を持つ除法の意味で））自然数あるいは整数をある特定の自然数で割ったときの剰余に注目して、自然数あるいは整数に関する問題を解決する一連の方法の総称である。合同算術の起源は、一般にはガウスが著作『Disquisitiones Arithmeticae』を出版する1801年にまで遡れるものとされる。ガウスによる合同を用いたこの新しい手法は、有名な平方剰余の相互法則を明らかにし、より抽象的な観点からウィルソンの定理などの定理の記述の簡素化に一役を買った。ガウスの研究は自然数を扱う整数論のみならず、代数学や幾何学といった数学のほかの主要な分野にまで影響を与えるものであった。 かんたんな時刻の計算は「時間」については 12 あるいは 24 を法とする、「分・秒」については 60 を法とする合同算術になっている。合同算術はあたかも法 ''n'' を「周期」として循環あるいは回転しているかのようである。 この手法の基本は、「数それ自体」ではなくそれを別な数で割った（商がいくらになるかということは無視して）「剰余だけ」を考えるということにある。こういった考え方は何か特殊で高尚なものというようなものではなく、実際に日常生活においても時刻や角度といったものの計算や単位の換算などで、ちょっとした合同算術が特別な知識無くあるいは無意識に行われているのである。 20世紀には、合同算術にまつわる状況は大きく様変わりをしている。計算機やウェブの普及に伴って情報セキュリティの観点からの暗号化アルゴリズムの開発や取り扱いといったような場面で古典的な合同算術に関する理論の工業的・商業的応用が頻繁に見られるようになった。.
合同関係
抽象代数学において、合同関係 (congruence relation)（あるいは単に合同 (congruence)）は（群、環、あるいはベクトル空間のような）代数的構造上の、その構造と協調的な同値関係である。すべての合同関係は対応する構造を持ち、その元はその関係の同値類（あるいは合同類 (congruence class)）である。.
対称関係
対称関係（たいしょうかんけい、Symmetric relation）は、数学における二項関係の一種。集合 X における二項関係 R が「対称」であるとは、X に属する全ての a および b について、aRb が成り立つなら bRa も成り立つことをいう。 数学的に記述すると次のようになる。 対称関係と反対称関係（aRb かつ bRa ならば b.
射 (圏論)
数学の多くの分野において、型射あるいは射（しゃ、morphism; モルフィズム）は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる（準同型）。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。 圏論における射はこのような概念を広く推し進め、しかしより抽象的に扱うものである。考える数学的対象は集合である必要はないし、それらの間の関係性である射は写像よりももっと一般の何ものかでありうる。 射の、そして射がその上で定義される構造（対象）を調べることは圏論の中核を成す。射に関する用語法の多くは、その直観的背景でもある（対象が単に付加構造を備えた集合で、射がその構造を保つ写像であるような圏）に由来するものとなっている。また圏論において、圏を図式と呼ばれる有向グラフによって見る立場から、射は有向辺あるいは矢印 (arrow) と呼ばれることもある。.
新しい！!: 同値類と射 (圏論) · 続きを見る »
不変量
不変量（ふへんりょう、invariant）とは、数学的対象を特徴付ける別種の数学的対象のことである。一般に、不変量は数や多項式など、不変量同士の同型性判定がもとの対象の同型性判定より簡単であるものをとる。良い不変量とは、簡単に計算でき、かつなるべく強い同型性判別能力をもつものである。.
平行
初等幾何学、特にユークリッド幾何学における平行性（へいこうせい、parallelism）は、ユークリッド平面上の直線が互いに交わらないという関係性を抽象化するものである。三次元空間において、直線と平面や平面同士についても共有点がないことを以って平行性を考えることができる。ただし、三次元空間内の直線同士の場合には、それらが互いに平行となるためにはそれらが同一平面上にあることを要請しなければならない（交わらない二直線は、それらが同一平面上にないならばねじれの位置にあるという）。 平行線はユークリッド原論における平行線公準の主対象である。 平行性は第一義にはの性質の一つであり、ユークリッド幾何学はその種の幾何学の特別な実例である。その他の幾何学においては、例えば双曲幾何学などでは、同様の（しかしまったく同じではない）特定の性質を満たすことを「平行」と言い表す。 以下、特に言及のない限り、主にユークリッド幾何学における平行性について述べる。.
二項関係
数学において、二項関係（にこうかんけい、binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 の元からなる順序対のあつまりである。別な言い方をすれば、直積集合 の部分集合を、集合 上の二項関係と呼ぶ。あるいはもっと一般に、二つの集合 に対して、 と との間の二項関係とは、直積 の部分集合のことをいう。 二項関係の一つの例は素数全体の成す集合 と整数全体の成す集合 の間の整除関係である。この整除関係では任意の素数 は、 の倍数である任意の整数 に関係を持ち、倍数でない整数には関係しないものとして扱われる。例えば、素数 が関係を持つ整数には などが含まれるが や は含まれない。同様に素数 が関係する整数として などが挙げられるが、 や はそうではない。 二項関係は数学のさまざまな分野で用いられ、不等関係、恒等関係、算術の整除関係、初等幾何学の合同関係、グラフ理論の隣接関係、線型代数学の直交関係などのさまざまな概念が二項関係として定式化することができる。また、写像の概念を特別な種類の二項関係として定義することもできる。二項関係は計算機科学においても重用される。 二項関係はn-項関係 （各 -番目の成分が関係の -番目の始集合 からとられているようなn-組からなる集合）で とした特別の場合である。 ある種の公理的集合論では（集合の一般化としての）類の上の関係を考えることができる。このような拡張は、集合論における元の帰属関係や包含関係の概念（に限った話ではないが）のモデル化を、ラッセルの逆理のような論理矛盾に陥らずに行うために必要である。.
代数的構造
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。 また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。 なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを代数的構造とよぶこともあるようである。 後者は、代数系の代数構造とも呼ばれる。 現代では、代数学とは代数系を研究する学問のことであると捉えられている。.
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
位相空間論
数学における位相空間論（いそうくうかんろん、general topology; 一般位相幾何学）または点集合トポロジー（てんしゅうごうトポロジー、point-set topology; 点集合論的位相幾何）は、位相空間の性質やその上に定義される構造を研究対象とする位相幾何学の一分野である。位相幾何学のほかの分野が多様体などの特定の構造や具体的な構造を前提とすることと異なり、現れる位相空間としては病的なものも含めた極めて広範かつ一般のものを扱い、その一般論を形成するのが位相空間論の主目的である。.
像 (数学)
'''f''' は始域 '''X''' から終域 '''Y''' への写像。'''Y''' の内側にある小さな楕円形が '''f''' の像である。 数学において、何らかの写像の像（ぞう、image）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像（ぎゃくぞう、inverse image）あるいは原像（げんぞう、preimage）は、S の元に写ってくるような始域の元全体からなる集合である。 像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。.
新しい！!: 同値類と像 (数学) · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 同値類とユークリッド空間 · 続きを見る »
リー群
リー群（リーぐん、Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.
クリーク (グラフ理論)
K5 完全グラフ。部分グラフがこのようになっている場合、その部分グラフの頂点群は大きさ5のクリークを形成している。 6個の頂点と7本の辺から成るグラフ。このグラフでは大きさ3の唯一のクリークが 1, 2, 5 である。 グラフ理論において、無向グラフ G.
新しい！!: 同値類とクリーク (グラフ理論) · 続きを見る »
グラフ理論
ラフ理論（グラフりろん、graph theory）は、ノード（節点・頂点）の集合とエッジ（枝・辺）の集合で構成されるグラフに関する数学の理論である。グラフ (データ構造) などの応用がある。.
商位相空間
位相空間論およびそれに関連する数学の各分野において、等化空間（とうかくうかん、identification space）または商位相空間（しょういそうくうかん、quotient topological space）あるいは単に商空間 (quotient space) とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの同値関係によって決定される。 このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。.
商体
数学における整域の分数体（ぶんすうたい、field of fractions）あるいは商体（しょうたい、field of quotients）とは、与えられた整域に対してそれを部分環として含む最小の体である。整域 R の商体の元は a ≠ 0 および b なる整域 R の元によって分数 b/a の形に表される。環 R の商体が K であることを K.
商写像
数学における商写像（しょうしゃぞう、quotient mapping）、自然な全射 あるいは標準全射 または自然な射影 あるいは標準射影 は、考えている集合に適当な同値関係が与えられているとき、その各元をそれが属する同値類へ送る写像で、数学の様々な分野において生じる。圏論において商対象の概念に一般化される。.
商線型空間
線型代数学において商線型空間（しょうせんけいくうかん、quotient vector space）あるいは単に商空間 (quotient space) とは、ベクトル空間 V とその部分線型空間 N に対して、N に属する全てのベクトルを 0 に「潰して」得られるベクトル空間である。これを部分空間 N による V の商空間あるいは N を法とする V の商空間といい、V/N で表す。.
商群
数学において，商群（しょうぐん，quotient group, factor group）あるいは剰余群，因子群とは，群構造を保つ同値関係を用いて，大きい群から似た元を集めて得られる群である．例えば，n を法とした加法の巡回群は，整数から，差が の倍数の元を同一視し，そのような各類（合同類と呼ばれる）に1つの実体として作用する群構造を定義することによって得られる．群論と呼ばれる数学の分野の一部である． 群の商において，単位元の同値類はつねにもとの群の正規部分群であり，他の同値類たちはちょうどその正規部分群の剰余類たちである．得られる商は と書かれる，ただし はもとの群で は正規部分群である．（これは「（ジーモッドエヌ）」と読まれる．"mod" は modulo の略である．） 商群の重要性の多くはその準同型との関係に由来する．第一同型定理は任意の群 の準同型による像はつねに のある商と同型であると述べている．具体的には，準同型 による の像は と同型である，ただし は の核 を表す． 商群の双対概念は部分群であり，これらが大きい群から小さい群を作る2つの主要な方法である．任意の正規部分群 は，大きい群から部分群 の元の間の差異を除去して得られる，対応する商群を持つ．圏論では，商群は商対象の例であり，これは部分対象の双対である．商対象の他の例は，商環，商線型空間，商位相空間，商集合を参照．.
全射
数学において、写像が全射的（ぜんしゃてき、surjective, onto）であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が（一般には複数あってもよいが）対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写（あるいは全写像）とも書く。 全射（および単射、双射）の語は20世紀フランスの数学結社ブルバキ（1935年以降『数学原論』シリーズを刊行している）により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.
剰余加群
抽象代数学において、加群と部分加群が与えられると、それらの剰余加群、商加群 (quotient module) を構成することができる。この構成は、以下で書かれるが、整数を整数 n を法として環を得る方法の類似である。合同式を見よ。剰余群や剰余環に用いられるのと同じ構成である。 環 R 上の加群 A と A の部分加群 B が与えられると、商空間 A/B は次の同値関係によって定義される。A の任意の元 a と b に対して A/B の元は同値類.
剰余環
数学の一分野、環論における商環（しょうかん、quotient ring）、剰余環（じょうよかん、factor ring）あるいは剰余類環（じょうよるいかん、residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。 注意: 剰余環は商環とも呼ばれるけれども、整域に対する商体（分数の体）と呼ばれる構成とは異なるし、全商環（商の環、これは環の局所化の一種）とも異なる。.
剰余類
数学、特に群論における剰余類（じょうよるい、residue class）あるいは傍系（ぼうけい、coset; コセット）とは、特定の種類の同値関係に関する同値類である。.
等質空間
数学、とくにリー群、代数群、位相群の理論において、群 の等質空間（とうしつくうかん、homogeneous space）は、 が推移的に作用するような空でない多様体あるいは位相空間 である。 の元は の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の が空間 の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 が等質空間であるとは、直感的には が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、 上のある「幾何学的構造」を保ち を単一の G-軌道にすると考えられるような の への群作用が存在する。.
素集合
2つの集合が交わりを持たない (disjoint) あるいは互いに素（たがいにそ、mutually disjoint）であるとは、それらが共通の元を持たぬことをいう。一般に、与えられた集合族が互いに素（pairwise disjoint）、あるいは素集合系（そしゅうごうけい、disjoint sets）であるとは、その集合族に含まれるどの2つの集合をえらんでも、それらの選び方に依らずそれらが常に共通部分を持たないことをいう。例えば、 と は互いに素である。.
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: 同値類と群 (数学) · 続きを見る »
群作用
数学における群作用（ぐんさよう、group action）は、群を用いて物体の対称性を記述する方法である。.
無限遠点
無限遠点（むげんえんてん、point at infinity）とは、限りなく遠いところ（無限遠）にある点のことである。日常的な意味の空間を考えている限り無限遠点は仮想的な概念でしかないが、無限遠点を実在の点とみなせるように空間概念を一般化することができる。そのようにすることで理論的な見通しが立てやすくなったり、空間概念の応用の幅が拡がったりする。 例えば、通常、平面上の二直線の位置関係は一点で交わるか平行であるかのどちらかであるとされている。これを、平行な二直線は無限遠点で交わるのだと考えることにすると、平面上の二直線は必ず一点で交わるという簡明な性質が得られることになる。（この例について、詳しくは非ユークリッド幾何学などを参照のこと） ユークリッド平面上の互いに平行な 2 直線の交点のことである。厳密にはこの交点はユークリッド平面の中には存在しないから、無限遠点はユークリッド平面の外に存在する。 無限遠点の全体は無限遠直線を描く。.
集合
数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系（「相互に連立する」方程式の集合）、集合族（「一定の規則に基づく」集合の集合）、加法族（「加法的な性質を持つ」集合族）など。.
集合の分割
集合を6つの部分に分割した図（オイラー図による表現） 数学において、集合 X の分割 (partition) とは、X 全体を互いに重ならない部分/ブロック/セルに分けることを言う。より形式的に言えば、それらの「セル」は分割された集合から見て相互に排他的で完全な全体集合 (MECE) となっている。.
除法
法（じょほう、division）とは、乗法の逆演算であり四則演算のひとつに数えられる二項演算の一種である。除算、割り算とも呼ばれる。 除法は ÷ や /, % といった記号を用いて表される。除算する 2 つの数のうち一方の項を被除数 (dividend) と呼び、他方を除数 (divisor) と呼ぶ。有理数の除法について、その演算結果は被除数と除数の比を与え、分数を用いて表すことができる。このとき被除数は分子 (numerator)、除数は分母 (denominator) に対応する。被除数と除数は、被除数の右側に除数を置いて以下のように表現される。 除算は商 (quotient) と剰余 (remainder) の 2 つの数を与え、商と除数の積に剰余を足したものは元の被除数に等しい。 剰余は余りとも呼ばれ、除算によって「割り切れない」部分を表す。剰余が 0 である場合、「被除数は除数を割り切れる」と表現され、このとき商と除数の積は被除数に等しい。剰余を具体的に決定する方法にはいくつかあるが、自然数の除法については、剰余は除数より小さくなるように取られる。たとえば、 を で割った余りは 、商は となる。これらの商および剰余を求める最も原始的な方法は、引けるだけ引き算を行うことである。つまり、 を で割る例では、 から を 1 回ずつ引いていき（）、引かれる数が より小さくなるまで引き算を行ったら、その結果を剰余、引き算した回数を商とする。これは自然数の乗法を足し算によって行うことと逆の関係にある。 剰余を与える演算に % などの記号を用いる場合がある。 除数が である場合、除数と商の積は必ず になるため商を一意に定めることができない。従ってそのような数 を除数とする除法の商は未定義となる（ゼロ除算を参照）。 有理数やそれを拡張した実数、複素数における除法では、整数や自然数の除法と異なり剰余は用いられず、 という関係が除数が 0 の場合を除いて常に成り立つ。この関係は次のようにも表すことができる。 実数などにおける定義から離れると、除法は乗法を持つ代数的構造について「乗法の逆元を掛けること」として一般化することができる。一般の乗法は交換法則が必ずしも成り立たないため、除法も左右 2 通り考えられる。.
除法の原理
数学の特に算術において、自然数や整数に対する通常の剰余付き除法（じょうよつきじょほう、division with remainder; 余りのある割り算）は、ユークリッド除法（ユークリッドじょほう、Euclidean division）または整除法（せいじょほう、entire division）とも呼ばれ、「被除数と除数と呼ばれる二つの自然数に対して、商と剰余と呼ばれる二つの自然数が、与えられた性質を満たして一意的に存在する」ことを主張する定理として明確に規定することができる。このような定理を「除法の原理」（じょほうのげんり、division algorithm; 除法の算法）という。即ち、その主張は「二つの自然数 n および m ≠ 0 に対してある自然数 a および b が存在して n.
Well-defined
数学における は、ある概念が数学的あるいは論理学的に特定の条件を公理に用いて定義・導入されるとき、その定義（における公理の組）が自己矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ（定義の整合性）が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。 は「状態」を表す形容詞であるが、日本語の定訳はなく慣例的に形容詞と動詞の複合語に訳されるか、そのまま形容動詞的に「 である」といった形で用いる。名詞形 などもあり、これを 性と記すことはできるが日本語訳としてこなれたものは特には存在しない（文脈によっては「定義可能性」などで代用可能である）。.
新しい！!: 同値類とWell-defined · 続きを見る »
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
推移関係
推移関係（すいいかんけい、Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。.
有理数
有理数（ゆうりすう、rational number) とは、二つの整数 a, b （ただし b は 0 でない）をもちいて a/b という分数で表せる数のことをいう。b.
整域
抽象代数学における整域（せいいき、integral domain）は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である（奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる）。別な文献では（ラングが顕著だが）整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在（零積法則）は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、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) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.
ここにリダイレクトされます：
商集合。
