A multivariate version of Polya-Carlson theorem

Abstract

Polya-Carlson theorem asserts that if a power series with integer coefficients and convergence radius 1 can be extended holomorphically out of the unit disc, it must represent a rational function. In this note, we give a generalization of this result to multivariate case and give an application to rationality theorem about D-finite power series.