Go backward to ExampleGo up to TopGo forward to Equivalent Definition |

Let `m` in **Z**_{>0} and define the selector function

:=xsuchainZ:x= [a]_{m}.

+ _{m}:Z_{m}xZ_{m}->Z_{m}x+_{m}y:= [+x_{Z}]y_{m}- _{m}:Z_{m}->Z_{m}- _{m}x:= [-_{Z}]x_{m}* _{m}:Z_{m}xZ_{m}->Z_{m}x*_{m}y:= [*x_{Z}]y_{m}

Author: Wolfgang Schreiner

Last Modification: January 12, 2000