Extraordinarios principal

En matemáticas, más particularmente dentro de la Teoría de anillos, un "ideal principal" es un ideal generado por un único elemento.
Para todo entero k, k\mathbb Z=\{k. x|x\in\mathbb Z\} es un ideal principal de \mathbb Z.
Un ideal no tiene porqué ser siempre principal. Por ejemplo, sea \mathrm A2 \mathbb Z \times \left \{ 0 \right \} e \mathrm I_2 \mathrm I_1 + \mathrm I_2 también es un ideal, aunque éste no es principal....