Ideal (theoria de anellos)

In le theoria de anellos, un ideal de un anello ${\boldsymbol {R}}=(R;+;\cdot )$ es un subinsimul (subgruppo additive) $I$ de ${\boldsymbol {R}}$ tal que es ver pro qualcunque $a,b\in I$, $r\in R$

• $0\in I$,
• $a-b\in I$,
• $a\cdot r\in I$ (ideal dextre),
• $r\cdot a\in I$ (ideal sinistre).

Si un ideal es dextre e sinistre, illo se nomina bilateral.

Ideales pote esser considerate como un generalisation del numeros.