加法群から群環は作れないのでしょうか?