¿Cómo puedo demostrar, que (R×R;+,∗) es un anillo, pero no a un campo, donde el + ∗ de las operaciones son: (a,b)+(c,d):=(a+c,b+d)(a,b)∗(c,d):=(ac,bd)?
Para la solución: por lo que tendría que muestran en primer lugar, que el (R×R;+,∗) es un anillo, tengo que demostrar que el uso de la definición de un anillo:
- (R×R;+) tiene que ser conmutativa grupo
- (R×R;∗) tiene que ser un semigroup
- ∗ debe ser distributiva + (de ambos lados)
Si 1. 2. y 3. puede ser demostrado, a continuación, (R×R;+,∗) es un anillo.
- aquí tengo que demostrar que (R×R;+) es una estructura algebraica donde + es asociativa y conmutativa; el elemento de identidad es 0 y que todos los elementos tienen una relación inversa entre la
- ∗ tiene que ser asociativo
- ? (¿Cómo puedo probar la distributividad en este ejemplo en particular?)
Ahora tengo que demostrar que (R×R;+,∗), no es un campo. (¿Cómo puedo hacer eso?) También ¿cómo puedo mostrar si o no (R×R;+,∗) es un conmutativa anillo?