Normal function of euclidian integers
This is to show that the normal function of euclidian integers preserves the multiplicative property. To start lets define the euclidian integers:
Then the normal function is defined as
Now to prove the corresponding homomorphism preserves multiplication:
And from the other side