Aを可換環とする。 IをAの真のイデアルとする。 このとに、剰余環の定義は、以下のようになりますか？

Aを可換環とする。
IをAの真のイデアルとする。

このとに、剰余環の定義は、以下のようになりますか？

A/I={a+I|a∈A}

ネットに全く載っていないので、質問しています。

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2020/07/17 14:43

それで良いとは思うのですが...

その書き方だと、a+I の定義がちゃんとできてるかどうか不安なので、
付記したほうが良いかもしれません。
A/I = { a+I | a∈A },
a+I = { a+x | x∈I }.
です。

この回答へのお礼

ありがとうございました

お礼日時：2020/07/17 21:17