加法群と乗法群が群同型となる単位的可換環の例
とする.
ただし, は で生成される のイデアル.
このとき, アーベル群として
が成立.
また, は以外の冪等元を持たない.
実際, は, 有限和
と一意的に書けて, に注意すれば, 冪等元は のみ.
また,
が群同型を与える.
とする.
ただし, は で生成される のイデアル.
このとき, アーベル群として
が成立.
また, は以外の冪等元を持たない.
実際, は, 有限和
と一意的に書けて, に注意すれば, 冪等元は のみ.
また,
が群同型を与える.