Talk:Ideal quotient

If memory serves, the equality $Z(I:J)={\text{cl}}(Z(I)\backslash Z(J))$ only holds when $I$ is reduced. --Linus44 (talk) 15:24, 16 July 2013 (UTC)[reply]

In the opening paragraph, what is K? — Preceding unsigned comment added by 119.82.204.99 (talk) 14:13, 22 February 2015 (UTC)[reply]

I put the correct definition of $I:J^{\infty }$ and removed the nonsense $J^{\infty }=J+J^{2}+\cdots$ . — Preceding unsigned comment added by 128.210.4.87 (talk) 00:41, 3 November 2015 (UTC)[reply]

@128.210.4.87 Defining

J^{\infty }=\sum _{i=1}^{\infty }J^{i}

was surely wrong. Maybe it would be good to also mention

J^{\infty }=\bigcap _{i=1}^{\infty }J^{i}

? At least, I have seen this in other contexts, and I assume that the order reversing property of the ideal quotient in the right entry agrees with this. Rschwieb (talk) 21:49, 3 November 2015 (UTC)[reply]

Ring identity

Presumably this article assumes rings to have multiplicative identities? (otherwise several of the listed properties would not hold) - If so, this should be mentioned in the introduction. Joel Brennan (talk) 17:28, 28 March 2022 (UTC)[reply]