イデアル (環論)
イデアルが既約 (irreducible) であるとは、それがそれを真に含むイデアルの交わりに書けないことを言う。