剰余環のソースを表示

{{redirect|商環|環に分数を付加する方法|全商環}}
{{otheruses|環の構成法の一種|有理整数環の合同類|剰余類環}}
[[数学]]の一分野、[[環論]]における'''商環'''（しょうかん、{{lang-en-short|''quotient ring''}}）、'''剰余環'''（じょうよかん、{{lang-en-short|''factor ring''}}）あるいは'''剰余類環'''（じょうよるいかん、{{lang-en-short|''residue class ring''}}）とは、[[群論]]における[[剰余群]]や[[線型代数学]]における[[商線型空間]]に類似した環の構成法およびその構成物である<ref>{{citation | last1=Dummit | first1=David S. | last2=Foote | first2=Richard M. | title=Abstract Algebra | publisher=[[:en:John Wiley & Sons|John Wiley & Sons]] | year=2004 | edition=3 | isbn=0-471-43334-9}}</ref><ref>{{citation | last=Lang | first=Serge | authorlink=Serge Lang | title=Algebra | publisher=[[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref>。すなわち、はじめに[[環 (数学)|環]] ''R'' とその[[両側イデアル]] ''I'' が与えられたとき、剰余環 ''R''/''I'' と呼ばれる新しい環が、''I'' の全ての元が零元に潰れる（''I'' による[[違いを除いて|違いを「無視」する]]ともいえる）ことで得られる。

注意: 剰余環は商環とも呼ばれるけれども、[[整域]]に対する[[商体]]（分数の体）と呼ばれる構成とは異なるし、[[全商環]]（商の環、これは[[環の局所化]]の一種）とも異なる。

== 厳密な剰余環構成 ==
環 ''R'' とその両側イデアル ''I'' が与えられたとき、''R'' 上の[[同値関係]] ~ を
:''a'' ~ ''b'' [[必要十分条件|⇔]] ''b'' − ''a'' &isin; ''I''
で定める。''a'' ~ ''b'' が成立することを「''a'' と ''b'' はイデアル ''I'' を法として合同である」という。イデアルの性質から、これが[[合同関係]]を定義することを確かめるのは難しくない。

''R'' の元 ''a'' の属する[[同値類]]は
: <math>[a] = a + I := \{a + r \mid r \in I\}</math>

で与えられる。この同値類は ''a'' mod ''I'' とも書き、「''a'' を ''I'' で割った剰余類」{{lang|en|("residue class of ''a'' modulo ''I''")}} と呼ばれる。

このような同値類全体の成す集合を ''R''/''I'' で表せば、これは
: <math>\begin{align}
  (a + I) + (b + I) &:= (a + b) + I;\\
  (a + I)(b + I) &:= (ab) + I
\end{align}</math>
を演算とする環となる（これが[[well-defined|矛盾無く定義できる]]ことは確認すべきことである）。これを ''R'' を ''I'' で割った'''商環'''、あるいは'''剰余環'''という。剰余環 ''R''/''I'' の[[加法単位元|零元]]は 0 + ''I'' = ''I'' であり、[[乗法単位元]]は 1 + ''I'' で与えられる。

環 ''R'' から剰余環 ''R''/''I'' への[[全射]]な[[環準同型]] &pi; が
: <math>\pi(a):=a+I</math>
とおくことによって定まる。これは'''自然な射影'''や'''標準準同型'''などとも呼ばれる。

== 例 ==
* もっとも極端な剰余環の例は、環 ''R'' の極端なイデアル（つまり、{0} および ''R'' 自身）で割ることで得られる。剰余環 ''R''/{0} は ''R'' に[[自然同型]]であり、剰余環 ''R''/''R'' は[[自明な環]] {0} に自然同型である。これは、簡単に言うと「より小さなイデアル ''I'' で割ったほうが剰余環 ''R''/''I'' はより大きくなる」という一般的な法則に、適合している。''I'' が ''R'' の真のイデアル（つまり ''I'' &ne; ''R''）ならば ''R''/''I'' が自明な環になることはない。
* [[整数]]全体の成す環 '''Z''' と[[偶数]]全体の成すイデアル 2'''Z''' を考えれば、剰余環 '''Z'''/2'''Z''' は偶数全体と奇数全体というただ二つの元からなる。これは[[有限体|二元体]] '''F'''<sub>2</sub> に自然同型である（なんとなれば、偶数全体を 0, 奇数全体を 1 と考えればよい）。[[合同算術]]とは本質的に剰余環 '''Z'''/''n'''''Z''' における算術のことである。
* [[実数]]に係数を持つ、不定元 ''X'' に関する[[多項式]]全体の成す環 '''R'''[''X''] と、そのイデアル ''I'' = (''X''<sup>2</sup> + 1) を考える（''I'' は多項式 ''X''<sup>2</sup> + 1 の倍元の全体が成すイデアル）。剰余環 '''R'''[''X'']/(''X''<sup>2</sup> + 1) は[[複素数]]体 '''C''' に自然同型である。特に剰余類 [''X''] が[[虚数単位]] ''i'' の役割を果たす。直観的には、''I'' で割ることは「強制的に」''X''<sup>2</sup> + 1 = 0 とすることに相当するから、つまり ''X''<sup>2</sup> = −1 という ''i'' を定義する性質を ''X''（の剰余類）が持つことになる。
* すぐ上の例と同様、一般に剰余環は[[体の拡大]]を構成することにもよく用いられる。''K'' が[[可換体|体]]で、''f'' が ''K''[''X''] に属する[[既約多項式]]ならば ''L'' = ''K''[''X'']/(''f'') は ''K'' 上の[[最小多項式 (体論)|最小多項式]]が ''f'' であるような元による体の拡大とみなせる。また、これは ''K'' や ''x'' = ''X'' + (''f'') を含む体である。
* 同様の例として、剰余環は[[有限体]]の構成においても重要である。三元体 '''F'''<sub>3</sub> = '''Z'''/3'''Z''' の場合、多項式 ''f''(''X'') = ''X''<sup>2</sup> + 1 は '''F'''<sub>3</sub> 上で既約である（実際、'''F'''<sub>3</sub> に根を持たない）。剰余環 '''F'''<sub>3</sub>[''X'']/(''f'') を構成すれば、これは 3<sup>2</sup> = 9 個の元を持つ体であり、'''F'''<sub>9</sub> で表される。他の有限体も同様の方法で構成できる。
* [[代数多様体]]の[[座標環]]は[[代数幾何学]]における剰余環の重要な例である。簡単な場合として、実代数多様体 ''V'' = {(''x'',''y'') | ''x''<sup>2</sup> = ''y''<sup>3</sup>} を実平面 '''R'''<sup>2</sup> の部分集合とみる。''V'' 上で定義される実数値多項式函数の全体が成す環は剰余環 '''R'''[''X'',''Y'']/(''X''<sup>2</sup>&nbsp;−&nbsp;''Y''<sup>3</sup>) に同一視されて、これを ''V'' の座標環とみなす。これにより代数多様体 ''V'' を調べることが、この座標環を調べることに帰着される。
* ''M'' が C<sup>∞</sup>-[[可微分多様体|多様体]]で ''p'' が ''M'' の元とするとき、''M'' 上定義された C<sup>∞</sup>-級函数全体の成す環 ''R'' = C<sup>∞</sup>(''M'') と、そのような函数 ''f'' のうちで点 ''p'' の適当な[[近傍 (数学)|近傍]] ''U'' で（''U'' は ''f'' ごとに異なってもよい）恒等的に消えているようなもの全体からなるイデアル ''I'' を考えると、剰余環 ''R''/''I'' は点 ''p'' における ''M'' 上のC<sup>∞</sup>-級[[函数の芽]]全体の成す環となる。
* ''F'' を[[超実数]]体 *'''R''' の有限な元からなる環とする。これは標準実数とは無限小の寄与の分だけ異なる超実数全体からなる。言い換えれば、''F'' は標準整数 ''n'' を十分大きく取れば −''n'' &lt; ''x'' &lt; ''n'' とできるような超実数 ''x'' 全体からなる。また集合 ''I'' を *'''R''' の無限小の全体に 0 を合わせて得られるものとすると、これは ''F'' のイデアルとなり、剰余環 ''F''/''I'' は標準実数体 '''R''' に同型となる。この同型は ''F'' の各元 ''x'' に ''x'' の[[標準部分 (超準解析)|標準部分]]（''x'' に無限に近い標準実数）st(''x'') を対応させることによって導かれる。実は、環 ''F'' を有限超準有理数（[[超準整数]]の比）の全体が成す環としても同じやり方で同じく '''R''' を得ることができる。

=== 異種複素平面 ===
剰余環 '''R'''[''X'']/(''X''), '''R'''[X]/(''X'' + 1), '''R'''[''X'']/(''X'' − 1) はどれも '''R''' に同型だから、さほど面白いことにはならないが、剰余環 '''R'''[''X'']/(''X''<sup>2</sup>) は幾何代数において[[二重数]] {{lang|en|(dual number)}} と呼ばれる二次元の対象を定める。これは '''R'''[''X''] の元を ''X''<sup>2</sup> で割った「余り」としての線型二項式のみからなる。このような異種複素平面が生じることは、二重数の存在を際立たせるのに十分である。

さらに剰余環 '''R'''[''X'']/(''X''<sup>2</sup> − 1) は二つの剰余環 '''R'''[''X'']/(''X'' + 1) および '''R'''[''X'']/(''X'' − 1) に分解するので、これを[[分解型複素数]]環といい、しばしば[[環の直和]] '''R''' &oplus; '''R''' と同一視される。
その一方で、これにより双曲線上へ複素数構造を持ち込むことができ、通常の複素数が[[回転]]を表現するのと同様に分解型複素数の演算と双曲的回転が結びつくので、[[双曲的回転]]の平面線型代数が自然に行える。

=== 四元数とその変種 ===
ハミルトンの[[四元数]]は1843年に
: '''R'''[''X'',''Y'']/(''X''<sup>2</sup> + 1, ''Y''<sup>2</sup> + 1, ''XY'' + ''YX'').
として与えられた。''Y''<sup>2</sup> + 1 を ''Y''<sup>2</sup> − 1 に置き換えれば[[分解型四元数]]の環が得られる。二つの + を両方とも &minus; に置き換えてもやはり分解型四元数を得る。[[反交換性]] YX = −XY から ''XY'' の平方が

: (''XY'')(''XY'') = ''X''(''YX'')''X'' = −''X''(''XY'')''Y'' = − ''XXYY'' = −1

となることが従う。三種類の[[複四元数]]も、三つの不定元を持つ環 '''R'''[''X'',''Y'',''Z''] と適当なイデアルを考えれば、剰余環として表すことができる。

== 性質 ==
明らかに、''R'' が[[可換環]]ならば剰余環 ''R''/''I'' もそうである。しかし、逆は一般には正しくない。

''R'' から ''R''/''I'' への自然射影 {{mvar|&pi;}} の[[核 (代数学)|核]]は ''I'' である。環準同型の核は常に両側イデアルであるから、任意の両側イデアルを何らかの環準同型の核になるものとして扱うことができる。

環準同型とその核、および剰余環の間にある密接な関係を以下のように述べることができる。
: 剰余環 ''R''/''I'' 上で定義される環準同型を考えることと、''R'' 上で定義される環準同型で、''I'' 上消えている（自明である、すなわち常に零元にうつる）ものを考えることとは本質的に同じである。
{{imagestack|
<math>\begin{matrix}
R &  & \\
& \searrow {}^f & \\
{}^\pi\downarrow & & S \\
 &  \nearrow {}_g & \\
R/I & &
\end{matrix}</math>
}}
より具体的に書けば、''R'' の両側イデアル ''I'' と環準同型 ''f'': ''R'' → ''S'' で ker(''f'') が ''I'' を含むものが与えられたとき、環準同型 ''g'': ''R''/''I'' → ''S'' で ''g''&pi; = ''f'' を満たすようなものがただひとつ存在する。すなわち写像 ''g'' が ''R'' の任意の元 ''a'' に対して ''g''([''a'']) = ''f''(''a'') とおくことによって[[well-defined|矛盾無く定まる]]。実際、このような[[普遍性]]を持つものとして、剰余環および自然な射影を「定義」することもできる。

上記の帰結として、
: 任意の環準同型 ''f'': ''R'' → ''S'' は剰余環 ''R''/ker(''f'') と像 im(''f'') の間の[[環同型]]を誘導する（[[準同型定理]]を参照）
という基本的な主張を得る。

環 ''R'' のイデアルと剰余環 ''R''/''I'' のイデアルの間には密接な関係がある（[[対応定理]]）。すなわち、自然な射影を考えることにより、''R'' の ''I'' を含む両側イデアルと ''R''/''I'' の両側イデアルとの間に[[全単射|一対一対応]]がつく（「両側イデアル」を「左イデアル」や「右イデアル」にいっせいに取り替えても同じことが成り立つ）。このイデアルの間の対応関係は対応する剰余環の間の対応関係に拡張することができる。すなわち、''M'' を ''I'' を含む ''R'' の両側イデアルとし、これに対応する ''R''/''I'' のイデアルを ''M''/''I''(= &pi;(''M'')) と書けば、写像
: <math>a + M \mapsto (a+I) + M/I</math>
は[[well-defined|矛盾無く定まり]]、剰余環 ''R''/''M'' と (''R''/''I'')/(''M''/''I'') は自然同型となる。

[[可換代数学]]および[[代数幾何学]]において以下のような言及がよく用いられる。''R''(≠ {0}) は[[可換環]]とするとき、''I'' がその[[極大イデアル]]ならば剰余環 ''R''/''I'' は[[可換体]]であり、''I'' が[[素イデアル]]ならば ''R''/''I'' は[[整域]]である。イデアル ''I'' の性質から決まる剰余環 ''R''/''I'' の性質について、同様なものがいくつか知られている。

[[中国の剰余定理]]の主張は、イデアル ''I'' がどの二つもに互いに素なイデアル ''I''<sub>1</sub>, ..., ''I''<sub>''k''</sub> の交わりになっている（あるいは同じことだが、積になっている）ならば剰余環についての同型
: <math> R/I \simeq R/I_1 \times\cdots\times R/I_k</math>
が成り立つということである。

== 関連項目 ==
* [[剰余体]]: 極大イデアルによる商
* [[全商環]]・[[環の局所化]]
* [[商体]]

== 脚注 ==
{{Reflist}}

== 関連文献 ==
* F. Kasch (1978) ''Moduln und Ringe'', translated by DAR Wallace (1982) ''Modules and Rings'', [[:en:Academic Press|Academic Press]], page 33.
* Neal H. McCoy (1948) ''Rings and Ideals'', §13 Residue class rings, page 61, Carus Mathematical Monographs #8, [[:en:Mathematical Association of America|Mathematical Association of America]].
* {{citation|author=Joseph Rotman | title =Galois Theory (2nd edition)| publisher=Springer|pages=21–3| year=1998 | isbn=0-387-98541-7}}
* [[ファン・デル・ヴェルデン|B.L. van der Waerden]] (1970) ''Algebra'', translated by Fred Blum and John R Schulenberger, Frederick Ungar Publishing, New York. See Chapter 3.5, "Ideals. Residue Class Rings", pages 47 to 51.

== 外部リンク ==
* [http://www.math.niu.edu/~beachy/aaol/rings.html#ideals  Ideals and factor rings] from John Beachy's ''Abstract Algebra Online''
* {{planetmath reference|id=470|title=Quotient ring}}

{{DEFAULTSORT:しようよかん}}
[[Category:環論]]
[[Category:数学に関する記事]]