Wikipediaによるとイデアルとは環 R の部分集合 I が、加法群としての部分群であり、R のどの元を左（右）からかけても、また I に含まれるとき、I を左（右）イデアルという。言い換えると、R の部分集合 I が左（右）イデアルであるとは、I が R の左（右…