Racional: 5/4

(Q,*,∆) ¿Que estructura tiene?

Demostrar que (Q,*) es abeliano

1) Ley de composición interna

a*b= a+b+(5/4); ∀ a,b ∈ Q
Podemos decir de *, y que la suma en los racionales es ley de composición interna en Q
∀ a,b : a ∈ Q ∧ b ∈ Q ⇒ a*b ∈ Q
Conclusión: El par (Q,*) con Q≠0, * es ley de composición interna en Q, Implica (Q,*) es un
monoide
2) Asociatividad
∀a,b,c ∈ Q: (a*b)*c = a*(b*c)
(a*b)*c= (a+b+5/4)*c a*(b*c)= a*(b+c+5/4)
(a*b)*c= (a+b+5/4)c+1 a*(b*c)=a+1(b+c+5/4)
(a*b)*c= a+b+c+5/4+1 a*(b*c)=a+b+c+5/4+1
(a*b)*c= a+b+c+5/2 a*(b*c)=a+b+c+5/2

Conclusión: Es asociativa en los Q; dado que * es asociativa en Q, (Q,*), es un semigrupo.

3) Conmutatividad
∀a,b ∈ Q: a*b=b*a
a*b=a+b+1 b*a=b+a+1
b*a=a+b+1
Conclusión: Es conmutativa en los Q
4) Existencia de elemento negativo
∀a∈Q, ∃ e ∈ Q: a*e= e*a=a
a*e= a. -5/4*a=-5/4+a+5/4
a+e+1=a. -5/4*a=a
e=a-a-5/4
e= 5/4
Conclusión: 5/4 Es el elemento Neutro en los Q respecto de *
5) Existencia del inverso
∀a∈Q, ∃ a' ∈ Q : a*a'=a'*a=e
a*a'=e a'*a=(-a-5/4)*a
a*a'=5/4. a'*a=(-a-5/4)+a+5/4
a+a'+1=5/4. a'*a=-a-5/4+a+5/4
a'=-a+5/4-1. a'*a=-a+a-5/4+5/4
a'=-a-5/4. a'*a=-5/4
Conclusión: * cumple con las leyes de Asociatividad, conmutatividad, elemento neutro y
elemento inverson en Q; (Q,*) es un grupo.

Demostrar que (∆,Q) es un semigrupo

 1) Ley de composición interna
En Q se se define ∆ como
a∆b= •5/4ab; ∀ a,b ∈ Q
Por tanto, por definición de ∆, y que la suma en los racionales ley de composición interna,
entonces ∆ también es ley de composición interna en ∆.
∀a,b: a∈Q ∧ b ∈ Q ⇒a∆b∈Q
Conclusión: El par (∆,Q) con Q≠0, ∆ es ley de composición interna en Q, implica que (∆,Q) es
un monoide.
2) Asociatividad
∀a,b,c ∈ Q : (a∆b)∆c=a∆(b∆c)
(a∆b)∆c=(5/4ab)∆c a∆(b∆c)= a∆(5/4bc)
(a∆b)∆c=(5/4)(5/4ab)c a∆(b∆c)=(5/4)(a)(5/4bc)
(a∆b)∆c=25/16 abc a∆(b∆c)=25/16abc
Conclusión: ∆ es asociativa en Q

3) Distributiva
a∆(b*c)=a∆b*a∆c
∀a,b,c ∈ Q { (b*c)∆a=b∆a*c∆a

a∆(b*c)=5/4a(b*c)
a∆(b*c)=5/4a(b+c-5/4)
a∆(b*c)=5/4ab-5/4ac+(25/16a)

(b*c)∆a=5/4(b*c)(a)
(b*c)∆a=5/4(b+c-5/4)(a)
(b*c)∆a=5/4ba-5/4ca+(25/16a)
(b*c)∆a=5/4ab-5/4ac+(25/16a)

Conclusión: ∆ es distributiva en Q; dado que es distributiva en Q, (Q,∆) es un semigrupo. De lo

anterior la terna (Q,*,∆) es un anillo pero un semianillo de (R,*,∆).