If we can write where and are the primes in increasing order.

Thus, I think the natural map is .

Of course, the infinite product is really finite and the infinite sum is really finite because

almost all terms are 1 in the infinite product and almost all terms are zero in the infinite sum.

Now of course since addition of exponents is adding the exponents.

This happens to be one-to-one and onto.