Unless I'm missing something, the definition of H_division is misleading. The co-domain (image) set is really {0, ..., M - 1}, which _is_ surely a subset of [0, M), although definitely very different in size. Usually it's written as Z/qZ where q = M.
Neat article otherwise. It reminded me of mappings to real numbers which I always found interesting during my undergrad.
Neat article otherwise. It reminded me of mappings to real numbers which I always found interesting during my undergrad.