Tengo que probar que el anillo de ({0},+,⋅) es un sub-anillo de cualquier anillo de (R,+,⋅).
Deje S=({0},+,⋅) R=(R,+,⋅) S es un sub-anillo de R fib (R,+,⋅) es un anillo y S⊆R S es un anillo con las mismas operaciones.
Como sabemos S tiene un elemento de identidad de 0→0+0=0. Tiene un inverso aditivo de a 0→0−0=0. Es conmutativa y asociativa, y es distributiva sobre la suma.
Así que mi único problema es que estoy teniendo problemas para limpiar esto y ponerlo en una prueba. Tal vez usted me puede ayudar.