>>172
Macだと簡単に出せるんですか。自分はコピペするしかないのか〜
反例の方ですが、環が単位元を持たないので>>174の条件は成り立たないですが
結局 (R⊗R)^* = R と (R^*)⊗(R^*) = {定数項と1次の項が0の多項式全体} となって
次数を1下げる写像でR同型になるんじゃないかと思います。
どうも有難うございました〜