Go backward to Modular Arithmetic
Go up to Top
Go forward to Operational Interpretation
+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.