Ideal (Teoría de anillos)

Subconjunto de elementos en un anillo, que cumplen la propiedad de que si un par de ellos pertenecen al anillo, también pertenecen al mismo su diferencia y su producto. Una parte B de un anillo A se llama un ideal cuando: 1) Para todo par a, b de elementos de B, a–b pertenecen a B. 2) Para todo a elemento de A y para todo b elemento de B se tiene que a•b y b•a pertenecen a B. Un subconjunto I {\displaystyle I} de un anillo A {\displaystyle A} es un ideal por la izquierda de A si: I es un subgrupo aditivo de A. ∀ ( a , x ) ∈ A × I : a × x ∈ I {\displaystyle \forall (a,x)\in A\times I:a\times x\in I} El producto por la izquierda de un elemento de I por un elemento de A pertenece a I. y es un...