はい

4:14 AM

抽象論として環をイデアルというもので割るとまた環ができるのですが、このイデアルが「極大イデアル」だと体になるというのがあって、それを書こうとしてできなかったですw

4:15 AM

例えば整数全体を 12 の倍数で割ると時計のような環ができるのですが、割る数が 3 とか 5 とかの素数だと（対応するイデアルが極大になって）割り算もできる体になるんです。

4:16 AM

これをプロトコルのレベルでやろうとしたのですが、できなかったです