>>501
そもそものこのスレの問題は0^0＝1と定義出来るか否かだろ。>>496の
>このとき代入と呼ばれる準同型 φ~_a : R[X] -> R ; Σ c_nx^n |-> Σ c_nφ_a(x)^n が得られる。
って多項式環R[X]についての代入原理の話だろ。そういう前に半群準同型が考えられてというか別にそんなの考えなくとも、
0^0∈Rが定義されたとして0^0・0^0＝0^0さえ認めれば、0^0＝0か0^0＝1に限られることなんてすぐ分かる。
いっとくが、Rは実数体扱いしているからな。