The zero ideal or trivial ideal of a ring is the two-sided ideal that consists entirely of the zero element. It may be denoted , , or simply (since it is the zero element of the rig of ideals?).
We may generalize to a rig, including the special case of a distributive lattice (in which the zero element is the bottom element), then generalize further to any poset with a bottom element , in which the trivial ideal is .
The trivial ideal of is the intersection of all of the ideals of . (If is a poset without a bottom element, then we may still consider the intersection of all of its ideals, but I'm not sure if this deserves the name.)
Last revised on November 8, 2017 at 00:29:27. See the history of this page for a list of all contributions to it.