内田と申します。

���遒気�(B(suzupmanbow.com)
の投稿(<050221093030.M0145287@readme.jp>)より

> 　&#65533;&#65533;&#65533;遒反修靴泙后&#65533;(B
> 
> 　環についての基礎的な&#65533;&#65533;遡笋覆里任垢&#65533;&#65533;&#65533;&#65533;加法の単位元0が・髟阡擦覆&#65533;&#65533;&#65533;&#65533;菲，領躙&#65533;(B
> になるのでしょう瘢雹か。岩波の数学事典では・髟阡擦気蕕蠅判颪&#65533;譴討い董&#65533;&#65533;&#65533;その説明
> がう髟阡擦蠅泙擦鵝&#65533;踉捌分でも導くことができないので・髟阡殺踉傘&#65533;&#65533;圓慮羯愼海魘弔愛踉察第で
> す。よろしくお願いします。
> 
> 

丁寧に&#65533;&#65533;斂世垢襪箸靴泙垢函&#65533;&#65533;&#65533;こんな感じになるのでしょう瘢雹か。

・瘢雹R を加法 +, &#65533;&#65533;菲&#65533;(B * からなる環とし・髟阡&#65533;(Bo を加法 +
の単位元とする。

　このとき・髟阡伺ぐ佞&#65533;(B R の元 a に対して・髟阡&#65533;(B

          a * o = o * a = o

   が成立する。
   さらに・髟阡擦發掘&#65533;&#65533;&#65533;R の元 &#65533;逅仕 が・髟阡伺ぐ佞&#65533;(B
R の元 a に対して・髟阡&#65533;(B

                   a * &#65533;逅仕 = &#65533;逅仕 * a = o

  を満たすならば・髟阡&#65533;(B
                  &#65533;逅仕 = o

　でなければならない。        

&#65533;&#65533;斂&#65533;(B)
   最初のステ・踉札肇瓮鵐箸陸苳孜明

    a を R の任意の元とする。
    o は・髟阡参男，涼碓霧気任&#65533;&#65533;&#65533;るので・髟阡&#65533;(B 

        a * o = a * (o + o).
   
    拾苳擦辰董&#65533;&#65533;&#65533;分配律より

       a * o = (a * o) + (a * o).

    R は・髟阡参男&#65533;(B + に対し群になっているので・髟阡&#65533;(Ba + o の加法による逆元
    を陸苳司佞鵬辰┐董&#65533;&#65533;&#65533;

          o = a * o.

    o * a = (o + o) * a でう髟阡擦襪里如&#65533;&#65533;&#65533;同様にして

          o * a = o.

   2番目のステ・踉札肇瓮鵐箸陸苳孜明
      
    a を R の任意の元, e を&#65533;&#65533;菲&#65533;(B * の単位元とする。

       a  = a + o = (a * e) + o.

    &#65533;逅仕 の定義より・髟阡&#65533;(Bo = a * &#65533;逅仕
が成り立つので・髟阡&#65533;(B

       a = (a * e) + (a * &#65533;逅仕).

    拾苳擦辰董&#65533;&#65533;&#65533;分配律より

       a = a * (e + &#65533;逅仕).   

    同様にして・髟阡&#65533;(B
         (e + &#65533;逅仕) * a = a.

    拾苳擦辰董&#65533;&#65533;&#65533;e + &#65533;逅仕 は・髟阡殺苳肢法 * に対する単位元となる。
    e は・髟阡殺苳肢法 * に対する単位元でう髟阡擦襪里如&#65533;&#65533;&#65533;
            e + &#65533;逅仕 = e.

   R は・髟阡参男&#65533;(B + で群なので・髟阡士&#65533;&#65533;辺に・髟阡&#65533;(Be
の加法による逆元を加えて・髟阡&#65533;(B

            &#65533;逅仕 = o.


では。

---
内田
y_uchida-lj@infoseek.jp