擬環のソースを表示

[[抽象代数学]]において'''必ずしも単位元を持たない環''' ('''rng''') あるいは'''擬環'''（ぎかん、{{lang-en-short|''pseudo-ring''}}）、'''非単位的環'''（ひたんいてきかん、{{lang-en-short|''non-unital ring''}}）は、[[乗法単位元]]の存在以外の[[環 (数学)|環]]の公理をすべて満たすような[[代数的構造]]を言う。英語では少しおどけて、「単位元」（'''i'''dentity, これをしばしば 1 で表す）の無い「環」 (ring) だからということで、「rng」と呼称することもある。

環の公理に乗法単位元の存在を含めない文献もあり、この文脈では本項に云う概念は単に「環」と呼称される<ref>{{Cite book  | last = Dummit
  | first = David S.  | coauthors = Foote, Richard M.  | title = Abstract Algebra 3E  | publisher = Wiley  | date = July 14, 2003   | isbn = 978-0-471-43334-7}}, {{Cite book  | last = Herstein
  | first = I.N.  | title = Abstract Algebra 3E  | publisher = Wiley  | date = January 1, 1996   | isbn = 978-0-471-36879-3}}</ref><ref>{{MathWorld|urlname=Ring|title=Ring}}</ref><ref>{{PlanetMath|urlname=Ring|title=ring}}</ref>。また、修飾辞「非単位的」は「必ずしも単位的でない」という意味で用いられるが、本項ではその意味では専ら「擬環」を（あるいは直接的に「必ずしも」を付けて）用い、単独の「単位的」・「非単位的」を単位元の有無を強調する意味でのみ用いる（つまり、非単位的であるといった場合には実際に単位元を持たない）。

== 定義 ==
'''必ずしも単位的でない環'''とは、[[集合]] ''R'' に二つの[[二項演算]]、加法 "+" と乗法 "&lowast;" が定義されていて、
* (''R'', +) は[[アーベル群]]、
* (''R'', &lowast;) は[[半群]]、
* 乗法は加法に対して[[分配法則|分配的]]である
という条件を満足するものである。必ずしも単位的でない環としての[[準同型]]（擬環準同型）は、[[環準同型|単位的環準同型]]と同様だが、単位元を保つという条件 "''f''(1) = 1" を要求しない。つまり、必ずしも単位的でない環の間の（擬）環準同型 ''f'': ''R'' → ''S'' とは、''R'' の任意の元 ''x'', ''y'' に対して
* ''f''(''x'' + ''y'') = ''f''(''x'') + ''f''(''y'')
* ''f''(''xy'') = ''f''(''x'')''f''(''y'')
を満たすものを言う。

しかし、''R'', ''S'' が単位元を持つ環のとき、擬環準同型 ''f'': ''R'' → ''S'' が ''R'' の単位元 1 を ''S'' の単元 ''s'' へ写すならば、''s'' = 1 となることは示せる。さらにこのとき、擬環準同型が ''R'' の任意の非零元を非零因子へ写すことは、1 が 1 に写ることから従う。系として、「擬環準同型が単元を単元へ写すならば、''R'' の単位元は ''S'' の単位元へ写る」ことを得る。

== 例 ==
もちろん、任意の単位的環は必ずしも単位的でない環の特別の場合である。単位的環にならないという意味での非単位的環の簡単な例としては、[[偶数|偶整数]]の全体に整数の通常の加法と乗法を入れたものを考えればよい。あるいは、一番下の行ベクトルが零ベクトルであるような 3-次実[[正方行列]]全体の成す環なども例となる。両者ともに、擬環の任意の[[イデアル (環論)|イデアル]]が擬環になるという一般に成り立つ事実を利用した例になっている。

任意の[[アーベル群]] ''A'' において、群演算をそのまま加法 "+" とし、新たに乗法として自明な演算すなわち任意の二元 ''a'', ''b'' に対して ''ab'' = 0 を満たすようなものを与えれば、''A'' は擬環になる。一般に、擬環 (''R'', +, &lowast;) は、''R'' の任意の二元の積が加法単位元 0 に等しいとき、零環（[[零擬環]]）と呼ばれる。零環が単位元を持つ（単位的零環）ならば必ず[[自明環]]であり、故に零環の概念が特に意味を持つのは単位的環でないときである。

[[次元 (線型代数学)|無限次元]][[ベクトル空間]]上の[[線型作用素]]を扱う[[函数解析学]]では、単位的でない環の概念がしばしば登場する。例えば無限次元ベクトル空間 ''V'' 上の有限[[階数 (線型代数学)|階]]（つまり dim&thinsp;''f''(''V'') &lt; &infin;）の線型作用素 ''f'': ''V'' → ''V'' 全体の成す集合に、通例の如く点ごとの和と[[写像の合成|作用素の合成]]を積として入れたものは、擬環にはなるが単位的でない（単位元がもしあるならそれは恒等写像でなければならないが、恒等写像はこの空間に入っていない）。また、
0 に収斂する実[[数列]]全体の成す集合に、項ごとの演算を入れたものも、単位的でない擬環の例になる。

他にも、[[シュワルツの超関数|シュヴァルツ超函数論]]で用いられる[[試験函数]]の空間の多くは、[[シュヴァルツ空間]]のように無限遠に零点を持つ減少函数からなり（加法と乗法は点ごとの和と積で入れる）、したがって点ごとの積に関して単位元となりうる唯一の函数である「各点で値 1 をとる函数」はこの空間に入らないから、これらは非単位的である。また特に、何らかの[[位相空間]]上で定義されたコンパクト台付き実数値[[連続函数]]全体の成す集合に点ごとの和と積を入れたものは擬環になるが、台となる位相空間が[[コンパクト空間|コンパクト]]でない限り単位的環にならない。

== 性質 ==
擬環に対するイデアルや[[剰余環]]の概念は単位的環の場合と同じ仕方で定義される。擬環のイデアルに対してそれを含む[[極大イデアル]]が必ずしも存在しないなど、[[環論|単位的環論]]の定理は少なからず擬環に対して成立しないものがあるので、単位的環の場合と比べて擬環のイデアル論はより複雑である。

== 単位元の添加 ==
任意の非単位的環 ''R'' に「単位元の添加」を行って単位的環 ''R''^ にすることができる。これを実現するもっとも一般的な方法は、''R'' に形式的な単位元 1 を追加して、1 と ''R'' の元との整係数線型結合の全体を ''R''^ とすることである。つまり、''R''^ の元は適当な整数 ''n'' と ''R'' の元 ''r'' に対する
:''n''&middot;1 + ''r''
の形をしている。乗法は線型に
: (''n''<sub>1</sub> + ''r''<sub>1</sub>)&middot;(''n''<sub>2</sub> + ''r''<sub>2</sub>) = ''n''<sub>1</sub>''n''<sub>2</sub> + ''n''<sub>1</sub>''r''<sub>2</sub> + ''n''<sub>2</sub>''r''<sub>1</sub> + ''r''<sub>1</sub>''r''<sub>2</sub>
で定める。

より厳密を期すならば、台集合 ''R''^ として[[直積集合]] '''Z''' &times; ''R'' を取り、加法と乗法を
:(''n''<sub>1</sub>, ''r''<sub>1</sub>) + (''n''<sub>2</sub>, ''r''<sub>2</sub>) = (''n''<sub>1</sub> + ''n''<sub>2</sub>, ''r''<sub>1</sub> + ''r''<sub>2</sub>),
:(''n''<sub>1</sub>, ''r''<sub>1</sub>)&middot;(''n''<sub>2</sub>, ''r''<sub>2</sub>) = (''n''<sub>1</sub>''n''<sub>2</sub>, ''n''<sub>1</sub>''r''<sub>2</sub> + ''n''<sub>2</sub>''r''<sub>1</sub> + ''r''<sub>1</sub>''r''<sub>2</sub>)
で定める。このとき ''R''^ の乗法単位元は (1, 0) で与えられる。また ''j''(''r'') = (0, ''r'') で定義される自然な単射擬環準同型 ''j'': ''R'' → ''R''^ が存在して、以下の[[普遍性]]を示す。
: 「任意の単位的環 ''S'' と任意の擬環準同型 ''f'': ''R'' &rarr; ''S'' が与えられたとき、単位的環準同型 ''g'': ''R''^ &rarr; ''S'' で ''f'' = ''g'' ∘ ''j'' を満たすものがただ一つ存在する」
この写像 ''g'' は ''g''(''n'', ''r'') = ''n''·1<sub>''S''</sub> + ''f''(''r'') とおけば得られる。この普遍性の意味で ''R''^ は ''R'' を含む「もっとも一般の」環である。

また、(''n'', ''r'') を ''n'' へ写す自然な全射単位的環準同型 ''R''^ → '''Z''' が存在して、その[[核 (代数学)|核]]は ''R''^ における ''R'' の像となるが、''j'' が単射ゆえ ''R'' が ''R''^ に（両側）[[イデアル (環論)|イデアル]]として埋め込まれること、および[[剰余環]] ''R''^/''R'' が '''Z''' に同型となることが確かめられる。即ち、
: 「任意の擬環はある単位的環のイデアルであり、単位的環の任意のイデアルは擬環である」。

ここで ''j'' 決して全射にならないことに注意が必要である。これはつまり、''R'' がもともと単位元を持つ環であったとしても、得られる単位的環 ''R''^ というのは ''R'' のものとは異なる新しい単位元を持ったより大きな環になる（''R'' の単位元は ''R''^ においてはもはや単位元でない）ということを意味する。

擬環に対する単位元の添加の過程を[[圏論]]的に定式化することもできる。すべての単位的環と単位的環準同型のなす圏（単位的環の圏）を '''Ring''', すべての擬環と擬環準同型の成す環（擬環の圏）を '''Rng''' で表せば、環の圏 '''Ring''' は擬環の圏 '''Rng''' の（充満でない）[[部分圏]]で、上記 ''R''^ の構成（単位元添加）は[[包含函手]] ''I'': '''Ring''' → '''Rng''' の[[左随伴]]になる。これはつまり、単位的環の圏 '''Ring''' は反射子 ''j'': ''R'' → ''R''^ を備えた '''Rng''' の[[反射的部分圏]]であるということである。

== 単位元類似の概念 ==
擬環を扱う文脈において、単位元を持つという条件よりは弱いが同等程度に一般な性質というのがいくつか存在する。例えば、
; 冪等元を十分豊富に持つ環: 擬環 ''R'' が「冪等元を十分豊富に持つ」とは、''R'' の冪等元からなる部分集合 ''E''（つまり ''E'' の各元 ''e'' は ''e''<sup>2</sup> = ''e'' を満たす）で、''E'' は直交系（つまり ''E'' の二元 ''e'', ''f'' が ''e'' &ne; ''f'' ならば ''ef'' = 0）かつ<div style="margin: 1ex 2em;"><math>R = \bigoplus_{e \in E} eR = \bigoplus_{e \in E} Re</math></div>となるようなものが取れることを言う。
; 局所単位元を持つ環: 擬環 ''R'' が「局所単位元 (local unit) を持つ」とは、''R'' の如何なる有限集合 ''r''<sub>1</sub>, ''r''<sub>2</sub>, …, ''r''<sub>''t''</sub> に対しても、''e''<sup>2</sup> = ''e'' を満たす ''R'' の元 ''e'' が存在して、各 ''i'' に対して ''er''<sub>''i''</sub> = ''r''<sub>''i''</sub> = ''r''<sub>''i''</sub>''e'' となるときに言う。
; ''s''-単位的な環: 擬環 ''R'' が「''s''-単位的」であるとは、''R'' の任意の有限集合 ''r''<sub>1</sub>, ''r''<sub>2</sub>, …, ''r''<sub>''t''</sub> ごとに、各 ''i'' に対して ''sr''<sub>''i''</sub> = ''r''<sub>''i''</sub> = ''r''<sub>''i''</sub>''s'' を満たす ''R'' の元 ''s'' が取れることをいう。
; 堅固な環: 擬環 ''R'' が「堅固」(firm) であるとは、''r'' &otimes; ''s'' &#x21a6; ''rs'' で定まる標準準同型<div style="margin: 1ex 2em;"><math>R \otimes_R R \to R</math></div>が同型となることを言う。
; 冪等環: 擬環 ''R'' が「冪等環」(irng) であるとは、''R''<sup>2</sup> = ''R'' を満たすことを言う。つまり、''R'' の各元 ''r'' に対して<div style="margin: 1ex 2em;"><math>r = \sum_i r_i s_i</math></div>を満たす ''R'' の元 ''r''<sub>''i''</sub>, ''s''<sub>''i''</sub> が取れることをいう。
などを挙げることができる。これらが単位元を持つことよりも弱い性質であることや、後へ行くほどより緩い制約条件となっていることを確かめることは難しくない。
* 単位的環が十分豊富に冪等元を持つことは ''E'' = {1} とすればよい。
* 冪等元を十分豊富に持つ非単位的環には例えば、有限個の例外を除く全ての成分が 0 であるような体上の無限次行列全体の成す環が挙げられる。主対角成分のただ一つの成分だけが 1 で他は全部 0 であるような行列がこの環の直交冪等系になる。
* 冪等元を十分豊富に持つ環が局所単位元を持つことは、直交冪等系の有限和が局所単位元の定義を満たすことを見ればよい。
* 局所単位元を持つ環が ''s''-単位的であること、''s''-単位的環が堅固であること、堅固な環が冪等環であることはいずれも明らかであろう。

== 参考文献 ==
<references />

== 関連項目 ==
* [[半環]]

{{DEFAULTSORT:きかん}}
[[Category:環論]]
[[Category:代数的構造]]
[[Category:数学に関する記事]]