イデアル (環論)とはなんですか？

A. イデアルとは、環（整数や有理数、実数や複素数などの元を環の元としたもの）の部分集合で、その部分集合が環全体の演算（和、差、積）に関して閉じているものをいいます。具体的には、環AのイデアルIとは、Aの部分集合I={a1, a2,..., an}で、a1, a2,..., an∈Aかつa1+a2=a3, a1-a2=a4, a1×an=a5が成立するものです。つまり、Iが環Aの部分

参考URL:https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB%20%28%E7%92%B0%E8%AB%96%29