つまり、"x"2+1で割り切れるすべての多項式からなる部分加群を考えよう。