Jump to content

Field/N and Z/Canonical mapping/Exercise

From Wikiversity

Let be a field. Show that, for every natural number , there exists a field element such that is the null element in , and is the unit element in , and such that

holds. Show that this assignment has the properties

Extend this assignment to all integer numbers , and show that the stated structural properties hold again.