Vermutlich habt ihr ja unter den gemachten Voraussetzungen definiert :
x p/q = y  <=>   xp = yq 
Sei  also     y =  (ab)p/q ==>   yq= (ab)p  
Um zu zeigen, dass    y = arbr  nehmen wir an 
a p/q = x    und  b p/q = z und haben zu zeigen y = x*z
Es ist yq  =  (ab)p  = ap * bp = xq * zq  = (xz)q 
Und weil alles positiv ist folgt  y = xz.