>>23
ああだから
単射の対偶は一般に偽の仮定になる
すなわち
∃a,b∈R:環
f:任意の写像

f(a)=a
f(b)=b

f(a)=f(b) ⇒ a=b

こんなもの何処にも存在しない
まあ偽の仮定を認めるのなら別だけどね
俺はこれで抽象代数学を諦めたよ