ideal

An ideal is a special subset of a ring that acts like a “black hole” for multiplication: multiply anything in the ideal by any element of the ring, and the product is sucked back into the ideal. The even integers are the model example inside the integers — multiply any even number by any integer and the result is still even. This absorbing property is what makes ideals so useful.

Formally, a subset I of a ring R is an ideal if it is a subgroup under addition (closed under addition and negatives, containing 0) and it absorbs multiplication: for every r in R and every a in I, both r · a and a · r lie in I. The absorbing condition is far stronger than just being closed within itself — it reaches out and pulls in products with the whole ring.

Ideals are the ring-theory analogue of normal subgroups: they are exactly the subsets you can “quotient by” to build a smaller ring R/I, in the same way you reduce integers modulo n. The multiples of n form the ideal that produces the integers mod n. Ideals also encode divisibility and factorization, which is why they are central to both algebra and number theory.