Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Asociatividad:
((a,b) ∗ (c,d)) ∗ (e,f) = (ac,bd) ∗ (e,f)
= ((ac)e, (bd)f)
= (a(ce), b(df))
= (a,b) ∗ (ce,df)
= (a,b) ∗ ((c,d) ∗ (e,f))
⇒ ∗ es asociativa.
Existencia de neutro:
Queremos encontrar (x,y) ∈ R2 tal que:
∀ (a,b) ∈ R2, (a,b) ∗ (x,y) = (a,b) ∧ (x,y) ∗ (a,b) = (a,b)
pero como ∗ conmuta, basta con probar sólo una de las igualdades anteriores. Veamos:
∀ (a,b) ∈ R2, (a,b) ∗ (x,y) = (a,b) ⇔ ∀ (a,b) ∈ R2, (ax,by) = (a,b)
⇔ ∀ a ∈ R, ax = a ∈ R ∧ ∀ b ∈ R, by = b
⇔x=y=1
Por lo tanto, el elemento neutro es (1,1).
Existencia de inversos:
Sea (a,b) ∈ R2 queremos ver si existe (a , b ), tal que (a,b) ∗ (a , b ) = (1,1) (recordar que ∗ conmuta)
⇔ a a = 1 ∧ bb = 1
Por lo tanto (a,b) tendrá inverso si y sólo si a y b son distintos de cero y éste será (a−1,b−1), donde
x−1 es el inverso multiplicativo de x en R.
a∗z = a ∗ (a ∗ b)
= (a ∗ a) ∗ b (∗ asoc.)
=e∗b (hipótesis)
entonces (a ∗ z) ∗ z = (e ∗ b) ∗ z, pero
(a ∗ z) ∗ z = (e ∗ b) ∗ z ⇒ a ∗ (z ∗ z) = b ∗ z (∗ asoc.)
⇒ a ∗ e = b ∗ z (hipótesis)
⇒a=b∗z
⇒ b ∗ a = b ∗ (b ∗ z)
⇒b∗a=e∗z⇒b∗a=z
⇒b∗a=a∗b
es decir, ∗ conmuta.