A right ideal in is a subset such that:
A two-sided ideal in is a subset that is both a left and right ideal; that is:
This generalises to:
Notice that all three kinds of ideal are equivalent for a commutative ring.
We can make this look more algebraic if is a (bounded) join-semilattice:
If is indeed a lattice, then we can make this look just like the ring version:
The concept of ideal is dual to that of filter. A subset of that satisfies the first two of the three axioms for an ideal in a proset is precisely a directed subset of ; notice that this is weaker than being a sub-join-semilattice even if is a lattice.
There are some common situations where these two kinds of ideal might seem to clash but fortunately do not:
A distributive lattice is both a lattice and a commutative rig; the two concepts of ideal are the same, as can be seen by comparing the definition for rigs to the last definition for lattices.
A Boolean algebra is a both a distributive lattice and a Boolean ring; again, the two concepts of ideal are the same (partly because the multiplication operators are the same, although there is still some checking to do regarding closure under addition).
On the other hand, every poset is a poset in an opposite way, and this does not give the same concept of ideal; an ideal in one is a filter in the opposite one. We are lucky that the convention for interpreting a Boolean ring as a lattice goes in the correct direction, or the two notions of ideal in a Boolean algebra would not match; or perhaps it is not a matter of luck, but the convention for which way to define ideals in a lattice was chosen precisely to match the conventions for Boolean algebras!
There is a notion of ideal in a monoid (or even semigroup), or more generally in a monoid object in any monoidal category , which generalises the notion of ideal in a ri(n)g or in a (semi)lattice. That is, if is Ab, then a monoid in is a ring; if is Ab Mon, then a monoid in is a rig; and a semilattice is a commutative idempotent monoid in Set. See ideal in a monoid.
This generalizes all of the above notions of ideal except for ideals in prosets that are not (possibly unbounded) join-semilattices.
Ideals form complete lattices where arbitrary meets are given by set-theoretic intersection. In other words, ideals form a Moore collection of subsets of if is a rig, or of if is a lattice. This implies we have an ideal generated by any subset: the intersection of all ideals containing the subset. A subset that generates a given ideal may be called a subbase of ; then is a base if every element of is a multiple (in a rig) or a predecessor (in an order) of some element of . (In particular, every singleton subset is a base of its generated ideal.) See also filter base and dualize for more about bases and subbases of ideals in lattices and other posets.
Certain kinds of ideals are often characterized by the roles they play in ideal lattices, or in terms of the Moore closure operator. Some examples follow.
The top element of an ideal lattice is called the improper ideal. That is to say, an ideal is the improper ideal if for every (which follows if for the case of rigs, or for the case of bounded lattices). An ideal is proper if it is not the improper ideal: if there exists an element such that . So in a rig, is proper iff ; in a (bounded) lattice, is proper iff .
An ideal is a maximal ideal if it is maximal among proper ideals. A maximal ideal in a rig (including in a distributive lattice, but not in every lattice) is necessarily prime; a prime ideal in a Boolean algebra is necessarily maximal.
An ideal is principal if it is generated by a singleton. This means there exists an element such that is a multiple of (in a rig) or (in an ordered set) whenever ; we say that is generated by . Thus every element generates a unique principal ideal, the set of all left/right/two-sided multiples of (, , or if we are talking about left/right/two-sided ideals in a rig) or the downset of (in an an order). Clearly, every ideal is a join over all the principal ideals generated by the elements of .
As discussed at ideals in a monoid, there is for two-sided ideals an operation of ideal multiplication, making the ideal lattice a quantale (cf. Day convolution). Namely, if are ideals, then their product is the ideal generated by all products with in the case of rigs. Similarly, in the case of lattices, we could define to be the ideal generated by all meets – but in this case the result is the same as . In any case, we say that an ideal is prime if for any ideals , the condition implies or .
In the commutative case, we can characterize an ideal as prime if it is proper and it satisfies a binary condition corresponding to the nullary condition that is properness:
For noncommutative rigs, however, a two-sided ideal is prime if it satisfies a weaker binary condition: . For example, in a matrix ring? over a field , the zero ideal is prime under our definition (really because a matrix ring is a simple ring, where the zero ideal is a maximal ideal), but does not imply or . When the stronger binary condition is satisfied, we say is completely prime.
A maximal ideal is prime.
Because the ideal lattice is a quantale, multiplication of ideals distributes over ideal joins. Suppose for two ideals . If neither is contained in , then (the improper ideal) since is maximal. Then
where all four summands are contained in ( by supposition, and the other containments hold since is an ideal). Thus their join is contained in , so we have proved , contradiction.