A note on algebraic independence of logarithmic and exponential constants

ABSTRACT

This paper gives a corollary to Schanuel's conjecture that indicates when an exponential or logarithmic constant is transcendental over a given field of constants. The given field is presumed to have been built up by starting with the rationals Q with π adjoined and taking algebraic closure, adjoining values of the exponential function or of some fixed branch of the logarithmic function, and then repeating these two operations a finite number of times.

REFERENCES

• 1: {EPS 78} Epstein, H. I. and B. F. Caviness, <u>A Structure Theorem for the Elementary Functions and Its Application to the Identity Problem</u>, Inter. J. of Comp. and Info Sciences <u>7</u>, #4 (1978) (to appear).
• 2: {HER} Hermite, C. "Sur la fonction exponentielle," in <u>Oeuvres</u>, Vol. III, pp. 150--181.
• 3: {KAP 57} Kaplansky, I. <u>An Introduction to Differential Algebra</u>, Hermann, Paris, 1957.
• 4: {LAN 71} Lang, S. <u>Transcendental Numbers and Diophantine Approximations</u>, Bulletin of the American mathematical Society, Vol. 77, No. 5, September 1971, pp. 635--677.
• 5: {LIN 82} Lindemann, F. <u>Über die Zahl π</u>, Math. Ann. <u>20</u> (1882), 213--225.
• 6: {RIS 69} Risch, Robert H. <u>The Problem of Integration in Finite Terms</u>, Trans. Amer. Math. Soc., <u>139</u> (May 1969), pp. 167--189.
• 7: Michael Rothstein, Aspects of symbolic integration and simplification of exponential and primitive functions., 1976