a^0=1が定理でなく定義なのは
a^0が群環体じゃないということなんでしょうか?