Teorema 9. Ideal generado.

Todo conjunto generado por un subconjunto de un anillo es ideal.

H)

Sean (A,+,.) un anillo, S={x1;x2;...;xn-1; xn} un subconjunto no vacio de A

y S= {Sum1n ai.xi;ai pert A} el conjunto generado por S.

T)
Debo probar que S (raya arriba ) es subanillo, esto es:
i) pt(x i y) pert S:x+y pert S
ii) pt (x i y) pert S:x.y pert S
iii) pt x pert S : Exite (-x) pert S/ x+(-x)=e

Debo probar que es ideal esto es:

iv) Si x pert a S encontes pt bpert A:b.x pert S
D)