First, I want to nail down a reference to the solution to the problem alluded to above: the Dirichlet ring of functions f: Z+ -> Z with pointwise addition and convolution product is a UFD. This was proved by L. Durst in his 1961 master's thesis at Rice University and independently by Cashwell and Everett. References:
Deckard, Don; Durst, L. K.
Unique factorization in power series rings and semigroups.
Pacific J. Math. 16 1966 239--242.
Cashwell, E. D.; Everett, C. J.
Formal power series.
Pacific J. Math. 13 1963 45--64.
Note that the latter is the second paper of Cashwell and Everett on the subject of factorization in Dirichlet rings. They also had a 1959 paper:
Cashwell, E. D.; Everett, C. J.
The ring of number-theoretic functions.
Pacific J. Math. 9 1959 975--985.
Ulam makes reference to the 1959 paper in his statement of the problem in the first (1960) edition of his book. In the 1964 paperback edition of his book, he announces the problem as solved by 1961 papers of Buchsbaum and Samuel.
I want to make the remark that since the original 1959 paper of Cashwell and Everett certainly makes the connection to formal power series rings, there is more to the solution of the problem than this. (Indeed, the 1961 result of Samuel, that if R is a regular UFD, then R[[t]] is again a UFD, seems to be the key.)
There is a 2001 arxiv preprint of Durst which claims a more elementary proof of the result:
http://arxiv.org/PS_cache/math/pdf/0105/0105219v1.pdf
As to whether the result has number-theoretic significance: not as far as I know. I should say that I first learned of the Cashwell-Everett theorem by reading an analytic number theory text -- Tenenbaum, Introduction to Analytic and Probabilistic Number Theory, p. 26 -- but the author seems to mention it just for culture.
Finally, remember that this is a result about factorization in the ring of formal Dirichlet series, an inherently algebraic beast. So perhaps the following result is more relevant:
Bayart, Frédéric; Mouze, Augustin Factorialité de l'anneau des séries de Dirichlet analytiques. (French) [The ring of analytic Dirichlet series is factorial] C. R. Math. Acad. Sci. Paris 336 (2003), no. 3, 213--218
No comments:
Post a Comment