Conjetura de Schanuel

En matemáticas, específicamente en teoría de números trascendentes, la conjetura de Schanuel es una conjetura propuesta por Stephen Schanuel en los años 60 respecto al grado de trascendencia de ciertas extensiones del cuerpo de los números racionales.

Enunciado

La conjetura es la siguiente:

Dados z 1 , . . . , z n {\displaystyle z_{1},...,z_{n}} números complejos linealmente independientes sobre los números racionales ℚ, la extensión de campo ( z 1 , . . . , z n , e z 1 , . . . , e z n ) {\displaystyle (z_{1},...,z_{n},e^{z_{1}},...,e^{z_{n}})} tiene grado de trascendencia de al menos n {\displaystyle n} sobre ℚ.

La conjetura puede ser encontrada en Lang (1966).[1]

Consecuencias

La conjetura, si resulta cierta, generalizaría resultados conocidos en teoría de números trascendentes. El caso especial donde los números z 1 , . . . , z n {\displaystyle z_{1},...,z_{n}} son algebraicos es el Teorema de Lindemann-Weierstrass. Si, por otro lado, los números están escogidos de manera que e x p ( z 1 ) , . . . , e x p ( z n ) {\displaystyle exp(z_{1}),...,exp(z_{n})} sean algebraicos entonces uno probaría que logaritmos linealmente independientes de números algebraicos son algebraicamente independientes, una versión más fuerte del teorema de Baker.

El teorema de Gelfond-Scheneider resulta de esta versión del teorema de Baker, así como la aún desconocida conjetura de los cuatro exponentes.

Referencias

  1. Introduction to Transcendental Numbers. Addison–Wesley. 1966. pp. 30-31. 
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q1579982
  • Wd Datos: Q1579982