Some consequences of Schanuel's conjecture (Q1019848): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Jing-Jing Huang / rank | |||
Property / author | |||
Property / author: Jing-Jing Huang / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962798346 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0804.3550 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123146323 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5520004 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2770573 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:05, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some consequences of Schanuel's conjecture |
scientific article |
Statements
Some consequences of Schanuel's conjecture (English)
0 references
28 May 2009
0 references
Schanuel's Conjecture states that for \(x_1,\dots,x_n\) \({\mathbb Q}\)--linearly independent complex numbers, the transcendence degree of the field \({\mathbb Q}(x_1,\dots,x_n, e^{x_1},\dots,e^{x_n})\) is at least \(n\). According to [\textit{S.~Lang}, Introduction to transcendental numbers. Reading, Mass. etc.: Addison-Wesley (1966; Zbl 0144.04101)] this conjecture implies the following statement. Define \(E_0={\mathbb Q}\), and, for \(n\geq 1\), let \(E_n\) be the algebraic closure of the field generated over \(E_{n-1}\) by the numbers \(e^x\) where \(x\) ranges over \(E_{n-1}\). Then the number \(\pi\) is not in the field \(E\) which is the union of \(E_n\) for \(n\geq 0\). The authors prove a much more general consequence of Schanuel's Conjecture. Define \(L_0={\mathbb Q}\), and, for \(n\geq 1\), let \(L_n\) be the algebraic closure of the field generated over \(L_{n-1}\) by the numbers \(y\), where \(y\) ranges over the set of complex numbers such that \(e^y\in L_{n-1}\). Let \(L\) be the field which is the union of \(L_n\) for \(n\geq 0\). Then Schanuel's Conjecture implies that the fields \(E\) and \(L\) are linearly disjoint. As a consequence, assuming again Schanuel's Conjecture, the numbers \(\pi,\log\pi,\log\log\pi,\dots\) are algebraically independent over \(E\), and the numbers \(e, e^e, e^{e^e},\dots\) are algebraically independent over \(L\).
0 references
Schanuel
0 references
Linear disjointness
0 references
Freeness
0 references
algebraic independence
0 references