今日テレビを見ていて「あ、東京タワーツリーだ」と言ってしまった。息子はもちろんそのままインプット。こうして少しずつ父権が失われていくんだろうな。肩車頑張らなくっちゃ。

0の定義は、加法の単位元であること、つまりa+0=aとなる元ということである。この定義からa*0=0を導いてみる。 (証明) Rを環、a∈R、写像fをf:R→R、x→a*xとすると、f(b+c)=a*(b+c)=a*b+a*c=f(b)+f(c)よりfは加法の準同型写像。f(0)=f(0+0)=f(0)+f(0)よりf(0)=…