¿Cómo puedo demostrar, que $(\mathbb R×\mathbb 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 $(\mathbb R×\mathbb R;+,*) $ es un anillo, tengo que demostrar que el uso de la definición de un anillo:
- $(\mathbb R×\mathbb R;+)$ tiene que ser conmutativa grupo
- $(\mathbb R×\mathbb R;*)$ tiene que ser un semigroup
- $*$ debe ser distributiva $+$ (de ambos lados)
Si 1. 2. y 3. puede ser demostrado, a continuación, $(\mathbb R×\mathbb R;+,*) $ es un anillo.
- aquí tengo que demostrar que $(\mathbb R×\mathbb 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 $(\mathbb R×\mathbb R;+,*) $, no es un campo. (¿Cómo puedo hacer eso?) También ¿cómo puedo mostrar si o no $(\mathbb R×\mathbb R;+,*) $ es un conmutativa anillo?