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

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