>>959
> 加法群への準同型は log |x| しかありえないでしょ。
そうしてしまったら、もう逆関数は存在しなくなるね。
今度はexpが多価だと言い出すのかな？

ここは「対数を定義する」所ではないので、それ限定の話はあまり意味が無い。
実際、(-1)^3 の話に繋げていけないみたいだし。