ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
無料
ブラウザよりも高速アクセス!
 

分数と環の局所化

ショートカット: 違い類似点ジャカード類似性係数参考文献

分数と環の局所化の違い

分数 vs. 環の局所化

分数(ぶんすう、fraction)とは 2 つの数の比を用いた数の表現方法のひとつである。. 抽象代数学における環の局所化(きょくしょか、localization)あるいは分数環 (ring of fraction)、商環 (ring of quotient)ここでいう「分数環」や「商環」は、「分数体」や「商体」と同様の語法であって、剰余環の別名としての「商環」(quotient ring) とは異なる。商体や全商環は本項にいう意味での商環の特別な場合になっている(例節を参照)。 は、環に乗法逆元を機械的に添加する方法である。すなわち、環 とその部分集合 が与えられたとき、環 と から への環準同型を構成して、 の準同型像が における単元(可逆元)のみからなるようにする。さらに、 が「可能な限りで最良な」あるいは「最も一般な」ものとなるようにするということを考える(こういった状況はふつうは普遍性によって表されるべきものである)。環 の部分集合 による局所化は で表され、あるいは が素イデアル \mathfrak の補集合であるときには R_ で表される。 のことを と表すこともあるが、通常混乱の恐れはない。 局所化は完備化と重要な関係があり、環を局所化すると完備になるということがよくある。.

分数と環の局所化間の類似点

分数と環の局所化は(ユニオンペディアに)共通で15ものを持っています: 可換環同値類同値関係多項式環差集合互いに素商体全商環積閉集合素イデアル環 (数学)零因子有理数整域普遍性

可換環

数学、特に抽象代数学の一分野である環論における可換環(かかんかん、commutative ring)は、その乗法が可換であるような環をいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。.

分数と可換環 · 可換環と環の局所化 · 続きを見る »

同値類

数学において,ある集合 の元が(同値関係として定式化される)同値の概念を持つとき,集合 を同値類(どうちるい,equivalence class)たちに自然に分割できる.これらの同値類は,元 と が同じ同値類に属するのは と が同値であるとき,かつそのときに限るものとして構成される. フォーマルには,集合 と 上の同値関係 が与えられたとき,元 の における同値類は, に同値な元全体の集合 である.「同値関係」の定義から同値類は S の分割をなす.この分割,同値類たちの集合,を の による商集合 (quotient set) あるいは商空間 (quotient space) と呼び, と表記する. 集合 が(群演算や位相のような)構造を持ち,同値関係 がこの構造と適切に両立するように定義されているとき,商集合はしばしばもとの集合から類似の構造を引き継ぐ.例としては,線型代数学における商空間,位相空間論における商空間,,等質空間,商環,,など..

分数と同値類 · 同値類と環の局所化 · 続きを見る »

同値関係

数学において、同値関係(どうちかんけい、equivalence relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.

分数と同値関係 · 同値関係と環の局所化 · 続きを見る »

多項式環

数学、殊に抽象代数学における多項式環(たこうしきかん、polynomial ring)は環に係数を持つ一変数または多変数の多項式の全体の集合が成す環である。多項式環はヒルベルトの基底定理や分解体の構成、線型作用素の理解など数学のかなり広い分野に影響をもつ概念である。セール予想のような多くの重要な予想が、他の環の研究に影響をもち群環や形式冪級数環のようなほかの環の定義にさえ影響を及ぼしている。.

分数と多項式環 · 多項式環と環の局所化 · 続きを見る »

差集合

差集合(さしゅうごう、set difference)とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 を固定して、 からその部分集合 の要素を取り去って得られる集合を の補集合という。.

分数と差集合 · 差集合と環の局所化 · 続きを見る »

互いに素

二つの整数 が互いに素(たがいにそ、coprime, co-prime, relatively prime, mutually prime)であるとは、 を共に割り切る正の整数が のみであることをいう。このことは の最大公約数 が であることと同値である。 が互いに素であることを、記号で と表すこともある。 例えば と を共に割り切る正の整数は に限られるから、これらは互いに素である。一方で と は共に で割り切れるから、これらは互いに素でない。 互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥かに高速である。 正の整数 と互いに素となる( から の間の)整数の個数は、オイラー関数 によって与えられる。 三つの整数 が互いに素であるとは、 が成り立つことをいう。また、、、 がすべて に等しいとき、 は対ごとに素(pairwise coprime)またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない(例:)。一般の 個の整数についても同様に定義される。.

互いに素と分数 · 互いに素と環の局所化 · 続きを見る »

商体

数学における整域の分数体(ぶんすうたい、field of fractions)あるいは商体(しょうたい、field of quotients)とは、与えられた整域に対してそれを部分環として含む最小の体である。整域 R の商体の元は a ≠ 0 および b なる整域 R の元によって分数 b/a の形に表される。環 R の商体が K であることを K.

分数と商体 · 商体と環の局所化 · 続きを見る »

全商環

数学における全商環(ぜんしょうかん、total quotient ring)あるいは全分数の環 (total ring of fractionsMatsumura (1989), p. 21) は、整域に対する商体の構成を、零因子をもつ可換環に対して一般化するものである。この構成は、可換環に対して、その非零因子の「逆元」を付け加えて、より大きな環を作り出す操作になっている。零因子を可逆化することはできないa が R の零元と異なる零因子で、a が R の全商環 Q の中で単元となると仮定すると、R の零元でない元 b で ab.

全商環と分数 · 全商環と環の局所化 · 続きを見る »

積閉集合

抽象代数学における積閉集合(せきへいしゅうごう、multiplicatively closed set)あるいは乗法的集合(じょうほうてきしゅうごう、multiplicative set)は、(有限)積に関して閉じている集合を言う。 積閉集合は特に可換環論において重要である。そこでは積閉集合が環の局所化の構成に用いられる。.

分数と積閉集合 · 環の局所化と積閉集合 · 続きを見る »

素イデアル

素イデアル(prime ideal)は、環のイデアルで、ある条件を満たすものである。歴史的には、素数(素元)の概念の拡張としてデデキントによって代数体の整数環に対して定義された。整数環(一般に)のすべてのゼロでない(整)イデアルは、素イデアルの有限個の積として(順序を除いて)一意的に書ける(イデアル論の基本定理)。スキームの理論は、図形の上の関数の成す環から下の空間を構成するという idea がもとになっているが、その時に、その環の素イデアルひとつひとつが、下の空間の点に対応する。.

分数と素イデアル · 環の局所化と素イデアル · 続きを見る »

環 (数学)

数学における環(かん、ring)は、台集合に「加法」(和)および「乗法」(積)と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである(これは乗法が可換だから可換環の例でもある)。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す(乗法単位元の存在を要求しない)こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは(整数環や多項式環などの)よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則(の根底にある特殊相対性)や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野(主に数論)からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する(イデアルをつかって剰余環を作り、単純環に帰着するなど)。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える(前者は代数的数論や代数幾何学の範疇に属する)。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環(斜体)が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.

分数と環 (数学) · 環 (数学)と環の局所化 · 続きを見る »

零因子

抽象代数学において、環 R の元 a は、ax.

分数と零因子 · 環の局所化と零因子 · 続きを見る »

有理数

有理数(ゆうりすう、rational number) とは、二つの整数 a, b (ただし b は 0 でない)をもちいて a/b という分数で表せる数のことをいう。b.

分数と有理数 · 有理数と環の局所化 · 続きを見る »

整域

抽象代数学における整域(せいいき、integral domain)は、零因子を持たない可換環であって、自明環 でないものをいう。整域の概念は整数全体の成す環の一般化になっており、整除可能性を調べるのに自然な設定を与える。環の定義に乗法単位元を含めない場合であっても、単に可換環あるいは整域と言ったときには乗法単位元を持つと仮定することが少なくない。即ち、整域とは単位的可換域のことをいう。 上記の如く「整域」を定めるのが広く採用されているけれども、いくらかの揺れもある。特に、非可換な整域を許すことが時としてある。しかし、「整域」(integral domain) という語を可換の場合のために用い、非可換の場合には「域」(domain) を用いることにすると約束するのがたいていの場合には有効である(奇妙な話ではあるが、この文脈では形容辞「整」の中に「可換」の意も含まれるということになる)。別な文献では(ラングが顕著だが)整環 (entire ring) を用いるものがある「整環」という用語は、代数体の整環 (order) などに対しても用いられる。。 いくつか特定の種類の整域のクラスについては、以下のような包含関係が成立する。 零因子の非存在(零積法則)は、整域において非零元による乗法の簡約律が満足されることを意味する。つまり、a ≠ 0 のとき、等式 から が結論できる。.

分数と整域 · 整域と環の局所化 · 続きを見る »

普遍性

数学の様々な分野において、ある特定の状況下にて一意に射を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性(universal property)と呼ぶ。普遍性は圏論を用いて抽象的に論考される。 結果として、我々は普遍性の一般的な扱い方を得ることになる。例えば、群の直積や直和、自由群、積位相, ストーン-チェックのコンパクト化, テンソル積, 逆極限 と 順極限, 核と余核, 引き戻し, 押し出し および イコライザ、など。.

分数と普遍性 · 普遍性と環の局所化 · 続きを見る »

上記のリストは以下の質問に答えます

分数と環の局所化の間の比較

環の局所化が61を有している分数は、58の関係を有しています。 彼らは一般的な15で持っているように、ジャカード指数は12.61%です = 15 / (58 + 61)。

参考文献

この記事では、分数と環の局所化との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »