aequationes mathematicae

, Volume 40, Issue 1, pp 67–77

Algebraic independence of elementary functions and its application to Masser's vanishing theorem

  • Keiji Nishioka
  • Kumiko Nishioka
Research Papers

DOI: 10.1007/BF02112281

Cite this article as:
Nishioka, K. & Nishioka, K. Aeq. Math. (1990) 40: 67. doi:10.1007/BF02112281

Summary

Here is an improvement on Masser's Refined Identity (D. W. Masser:A vanishing theorem for power series. Invent. Math.67 (1982), 275–296). The present method depends on a result from differential algebra andp-adic analysis. The investigation from the viewpoint ofp-adic analysis makes the proof clearer and, in particular, it is possible to exclude the concept of “density” which is necessary in Masser's treatment. That is to say, the theorem will be stated as follows: Let Ω = (ωij) be a nonsingular matrix inMn (ℤ) with no roots of unity as eigenvalue. LetP(z) be a nonzero polynomial inC[z],z = (z1,⋯,zn). Letx = (x1,⋯,xn) be an element ofCn withxi ≠ 0 for eachi. Define
$$\Omega x = \left( {\prod\limits_{i = 1}^n {x_i^{\omega 1_i } ,...,} \prod\limits_{i = 1}^n {x_i^{\omega _{ni} } } } \right)$$
. IfPkx) = 0 for infinitely many positive integersk, thenx1,⋯,xn are multiplicatively dependent.

To prove this, the following fact on elementary functions will be needed: LetK be an ordinary differential field andC be its field of constants. LetR be a differential field extension ofK andu1,⋯,um be elements ofR such that the field of constants ofR is the same asC and for eachi the field extensionKi =K(u1,⋯,ui) ofK is a differential one such thatui =ti−1ui for someti−1Ki−1 orui is algebraic overKi−1. Letf1,⋯,fnR be distinct elements moduloC and suppose that for eachi there is a nonzeroeiR withe′i =f′iei. Thene1,⋯,en are linearly independent overK.

AMS (1980) subject classification

Primary 11J81Secondary 12H05

Copyright information

© Birkhäuser Verlag 1990

Authors and Affiliations

  • Keiji Nishioka
    • 1
    • 2
  • Kumiko Nishioka
    • 1
    • 2
  1. 1.NaraJapan
  2. 2.Department of MathematicsNara Women's UniversityNaraJapan