Para cualquier par se define la operacin por * Qu propiedades se cumple la operacin

x*y=x+y+xy

Axioma Asociativo:
Si cumple, supongamos que se le asigna un valor a x=2 y Y=3
x+y+xy=x+(y+xy)
2+3+2*3=2+(3+2*3)
5+6=2+(9)
11=11
Que si tenemos que :
z+(x+y+xy)=z*(x+y+xy)= z+(x+y+xy)+z*(x+y+xy)=x+(y+z+yz)+x*(y+z+yz)
z+x+y+xy+zx+zy+zxy=x+y+z+yz+xy+xz+xyz
si asignamos valores x=2, y=3 y z=4 y sustituimos quedara:
4+2+3+2*3+4*2+4*3+4*2*3=2+3+4+3*4+2*3+2*4+2*3*4
59=59

Queda demostrado que cumple con el Axioma asociativo.

Axioma conmutativo:
x.y=y.x
x*y=x+y+xy
x+(y+xy)=y+(x+xy)
Supongamos que al igual que el anterior el valor de x=2 y Y=3
2+(3+3*2)=3+(2+2*3)
2+(3+6)=3+(2+6)
2+9=3+8
11=11
Queda demostrado que cumple con el Axioma conmutativo
Elemento neutro
Existe 1 R con 10, tal que X*1=1 para cualquier X R
x+(y+xy)=y+(x+xy)
Supongamos que x=1,y=2
1+(2+1*2)=2+(1+1*2)
1+(2+2)=2+(1+2)
1+4=2+3
5=5
Elemento inverso
Dado que x R, con x0, existe

R tal que X*

=1
x+(y+xy)=y+(x+xy)
(-x)(x+y+xy)=(-x)(y+x+xy)
(-x*x)+(y+x*y)=(-x*y)+(x+xy)
x+y+xy=y+x+xy
(x+y)+(x*y)=(y+x)+(x*y)
Sustitucin, donde x=2 y y=3
2+(3+2*3)=3+(2+2*3)
1(2+3+2*3)=1(3+2+2*3)
(1*2)+(3+2*3)=(1*3)+(2+2*3)
(2)+(3+2*3)=(3)+(2+2*3)
(2+3)+(2*3)=(3+2)+(2*3)
(5+6)=(5+6)