previous up next
Go backward to Example
Go up to Top
Go forward to Equivalent Definition
RISC-Linz logo

Modular Arithmetic

Let m in Z>0 and define the selector function

x := such a in Z: x = [a]m.
+m: Zm x Zm -> Zm
x +m y := [x+Zy]m
-m: Zm -> Zm
-m x := [-Z x]m
*m: Zm x Zm -> Zm
x *m y := [x*Z y]m

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next