Completely multiplicative function: Difference between revisions

Content deleted Content added
Definition: I reworded the bit about being an "endomorphism", because that implies that the codomain is equal to the ___domain, which is unnecessarily restrictive.
Line 6:
Without the requirement that ''f''(1) = 1, one could still have ''f''(1) = 0, but then ''f''(''a'') = 0 for all positive integers ''a'', so this is not a very strong restriction.
 
The definition above can be rephrased using the language of algebra: A completely multiplicative function is an endomorphismhomormorphism offrom the monoid <math>(\mathbb Z^+,\cdot)</math>, (that is, the positive integers under multiplication) to some other monoid.
 
==Examples==