[math-fun] Abelian group puzzle

Let P denote the direct product of countably many copies of the integers Z. E.g., the set {f: Z+ --> Z | f is a function} under addition of functions. Puzzle: Is P a free abelian group? Prove your answer. --Dan