Elementos de la Teora de Galois. Evariste Galois, un matemtico francs del siglo XVIII desarroll la teora que lleva su nombre.

Cuenta la historia que la noche antes de morir escribi una carta en la que se desarrolla esta teora. Con esta teora se logran fundir de una manera brillante el lgebra y la geometra. Primero recordaremos algunas definiciones importantes: Sea un campo. Un polinomio con coeficientes en F en la incgnita se llama reducible en si es producto de otros dos polinomios con coeficientes en F de grado menor. Si un polinimio no es reducible se dice irreducible .

El polinomio

es irreducible o no factorizable sobre es reducible en ya que

en tanto que el polinomio

Sea Si

un campo y sea es un campo y

un subcampo de un subcampo de

. Decimos que y si

es una extensin de son elementos de

. , llamaremos a de . .

el cuerpo obtenido con la adjuncin de los elementos El campo es la mnima extensin de que contiene a

Un caso particular de esta situacin se tiene al lograr extensiones del conjunto de nmeros racionales adjuntando un numero irracional a .

Considere el conjunto

definido mediante la adjuncin del nmero

Se puede probar que

con las operaciones usuales de

es tambin un campo. A su vez,

es tambin un subcampo del conjunto de los nmeros reales obtenido de la adjuncin de y que es una extensin de . El lector podr comprobar fcilmente que ambas extensiones junto con las operaciones usuales de suma y producto, forman subcampos del conjunto de los nmeros reales . El diagrama anterior representa la extensin de campos mencionada.

Una vez establecido el concepto de extensin de campos debemos recordar la definicin de numero algebraico y nmero trascendente. Sea un campo y una extensin. Sea . Si existen polinomios con coeficientes en que tienen a como raz, se llama algebraico sobre . En caso contrario se llama trascendente sobre . Algunos ejemplos de esta definicin son los siguientes:

1.

es algebraico sobre

pues satisface la ecuacin

. . La

2. En 1873 Hermite demostr que es trascendente sobre demostracin de este resultado se puede encontrar en [4] pgina 72. 3. En 1881 Lindeman demostr que el nmero puede encontrar en [4] pgina 74. 4. En 1929 Guelfand prob que es trascendente sobre

. La demostracin se

es tracendente sobre y

, un problema propuesto por es trascendental sobre .

Hilbert. En general , se prob que si

entonces

Si es algebraico sobre entonces existe un nico polinomio mnico (con coeficiente principal igual a 1), irreducible sobre que tiene a como raz y tal que cualquier otro polinomio que tenga a de en como raz, ser divisible por o sobre . . Este polinomio se llama el polinomio minimal

Se tiene ya el lenguaje matemtico necesario para enunciar un criterio de constructibilidad. Se omite su demostracin pero se remite al lector interesado a [3] para encontrar una justificacin exhaustiva. Para que un nmero real sea constructible es necesario que su polinomio mnimo sobre grado igual a una potencia de 2. tenga

Este resultado es increiblemente fuerte pues reduce el problema de comprobar la constructibilidad de un numero a la verificacin del grado de un polinomio. Se logra as un punto de unin entre el lgebra y la geometra. Adems sorprende el hecho de ver como una rama de la matemtica tan abstarcta como la teora de Galois se liga con otra totalmente grfica e intuitiva como es la geometra. El lector puede darse cuenta del porque otros autores han omitido referirse a la justificacin terica de la imposibilildad de las construcciones mencionadas. Si se toma en cuenta que se han omitido los detalles de las demostraciones de todas las afirmaciones enunciadas, puede ver que el tema no es sencillo de exponer.

No se puede cuadrar un crculo: Para construir un cuadrado de rea igual a un circulo de radio 1 , usando regla y comps, se debe poder construir el nmero anteriores, Lindeman demostr que ningn polinomio con coeficientes en sobre . En consecuencia, es tracendente sobre . Como se vio en los ejemplos . Luego, no puede ser la raz de

. Esto dice que no existe un polinomio minimal para

no puede ser constructible y como vimos que los nmeros tampoco puede ser

constructibles forman un subcampo de los nmeros reales, se tiene que constructible.

No se puede duplicar el Cubo: Razonando por contradiccin se tiene que si se pudiese duplicar un cubo de lado 1, se necesitara construir con regla y comps un cubo cuya arista midiera y cuyo volmen fuera 2. Dado que el volumen del cubo sera , se debe poder construir un numero tal que . Esto dice que debe ser raz del polinomio . Como este polinomio es

mnico e irreducible sobre

(por el teorema de races racionales), se concluye que es el polinomio es 3 y no es

minimal de en , pero esto nos produce una contradiccin ya que el grado de una potencia de 2 contradiciendo el criterio de constructibilidad mencionado.

No se puede trisecar un ngulo: De nuevo razonamos por contradiccin. Si se pudiera trisecar un ngulo cualquiera, el ngulo de debe de poderse trisecar. Esto dice que se podra construir un tringulo rectngulo tal que y .

Como

, se tendra que

es tambien constructible. Por otro lado, la para el caso en que

identidad trigonomtrica del ngulo triple indica que

de donde la ecuacin entonces

. Haciendo el cambio de variable . Como los nmeros constructibles son un campo, si tambin lo es. Pero si , se tiene que entonces es el polinomio minimal de y como sobre

, se llega a es constructible es mnico e

irreducible sobre

. Como el grado de

es 3 se tiene que no es constructible y esto es una contradiccin. Por tanto hemos encontrado un contraejemplo y en consecuencia, no se pueden trisecar ngulos.