LA ADICIN EN Q

DEF. Sean racionales, donde

a c , b d dos nmeros

a , b, c, d Z y b, d 0 a c El nmero b d se define como:

a c ad bc b d bd

PROPIEDADES TEOREMA.
i)
Para todo x , y , z Q :

x yQ

ii ) x ( y z ) ( x y ) z iii ) x y y x iv) si x z y z , entonces x y v) x 0 x vi ) x Q tal que x ( x) 0