乗法群の単位元って1…ですよね…？
んで、加法群の単位元って0ですよね？

f^-1(1)が加法群となるのは何故ですかね？
なんか勘違いしてる？