Lindemann-Weierstrass theorem (Q2131409)

Let \(\tau\), \(N\), \(\nu\) and \(m\) be a positive numbers, let \(K\) be a finite extension of rational numbers of order \(\nu\) and let \(\sigma(t)\) be a function determined for all positive values of \(t\) monotonously increasing beginning from some point, and unbounded such that \(\lim_{t\to\infty} \frac {\sigma(t+1)}{\sigma(t)}=1\). Assume that \(\overline\omega =(\omega_1,\dots ,\omega_m)\in\mathbb C^m\setminus \{ 0\}\) and \(L_N(\overline x)\) is a sequence of linear forms with integer coefficients from the field \(K\) satisfying the conditions \(\ln\overline{\mid L_N\mid}\leq \sigma(N)\) for all \(N>N_0\) and \(\lim_{N\to\infty} \frac {\ln\mid L_N(\overline\omega\mid}{ \sigma(N)}=-\tau\). Then the author proves that among the numbers \(\omega_1,\dots ,\omega_m\) there are at least \(\frac \tau\nu\) numbers linearly independent over \(K\). The proof is in the spirit of \textit{T. Rivoal} [C. R. Acad. Sci., Paris, Sér. I, Math. 331, No. 4, 267--270 (2000; Zbl 0973.11072)]. As a consequence we obtain Lindemann-Weierstrass theorem that if \(n\) is positive integer and \(\alpha_1,\dots ,\alpha_n\) are different algebraic numbers then \(e^{\alpha_1},\dots ,e^{\alpha_n}\) are linearly independent over the algebraic numbers.