nonideals

Nonideals are subsets of algebraic structures that fail to satisfy the defining properties of an ideal. In ring theory and module theory, an ideal is a subset that is an additive subgroup and is absorbed by multiplication with any ring element (two-sided ideals in rings, or left/right ideals in noncommutative contexts). A nonideals, then, are subsets that do not meet these criteria. The term is largely descriptive rather than denotes a particular mathematical object, and it can refer to any subset that is not an ideal.

In rings, the distinction is often illustrated by simple examples. In the ring of integers Z, the set of even integers 2Z is an ideal. By contrast, the subset {0, 2} is not an ideal because it is not closed under addition: 2 + 2 = 4, which is not in {0, 2}. More generally, many randomly chosen subsets fail to be additive subgroups or to be absorbing under multiplication by arbitrary ring elements; such subsets are nonideals. In noncommutative rings, one can consider left or right ideals, and a subset that fails to be closed under the appropriate absorption property is a nonideal in that context as well.

Nonideals are ubiquitous because the vast majority of subsets of a ring are not ideals. Studying ideals helps organize and understand the ring’s structure through the lattice of all ideals, while nonideals illustrate what properties an ideal must satisfy. The concept extends to related structures, such as modules, where submodules play the role of ideals, and to order-theoretic notions such as ideals in posets.

See also: ideals, prime ideals, maximal ideals, lattice of ideals, ring theory.