間違ってる。イデアルによる剰余ということが分かってないように思う。

イデアルに可逆元が含まれたら　全体に一致してしまう。