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)

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

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)


 * @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)

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)