previous up next
Go backward to Modular Arithmetic
Go up to Top
Go forward to Operational Interpretation
RISC-Linz logo

Equivalent Definition

+m: Zm x Zm -> Zm
[a]m +m [b]m : = [a+Zb]m
-m: Zm -> Zm
-m [a]m := [-Z a]m
*m: Zm x Zm -> Zm
[a]m *m [b]m : = [a*Z b]m

Because of congruence properties, functions are uniquely defined.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next