Is there a notation for the set of all ideals of a particular ring?
Solution 1:
There does not seem to be a standard notation, but something I-ish sounds reasonable. This is what a quick search gave me:
- $\mathcal I_R$, $\mathcal I(R)$ $\qquad$ R.Y. Sharp, Steps in Commutative Algebra, starting from remark 2.39; some other papers and lecture notes.
- $\mathcal{ID}(F)$ $\qquad$ Hertling, Hoffman et al., Reliable Implementation of Real Number Algorithms: Theory and Practice, from above Lemma 9, p. 209
- $\operatorname{Id} L$ $\qquad$ (more generally for lattices), Gierz, Hofmann et al., A Primer on Complete Lattices, definition 1.3
One also encounters $I$ for the set of fractional ideals, so this notation is not free of ambiguity.
Basically, it seems that "the set of all ideals" is not used often enough to have its widespread standard notation, unlike $\operatorname{Spec}$ and $\operatorname{Max(Spec)}$. That said, you are free to introduce new notations in your work, and there's no harm in repeating every now and then what it stands for, as in "we conclude that the set of all ideals $I(R)$ satisfies ..."