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.