You are on page 1of 37



Asignaturas optativas del area de Algebra 

Algebra conmutativa

Grupos de Lie

L
ogica

El algebra en el siglo XIX .

Lagrange .

Abel .

Galois .

Galois Dada una ecuaci on con ra ces 1 . 2. : : : . . toda funci on de las ra ces determinable racionalmente es invariable por estas sustituciones. rec procamente. ncon las siguientes propiedades: 1. n . : : : . Llamaremos grupo de la ecuaci on al grupo en cuesti on. siempre habr a un grupo de permutaciones de 1 . toda funci on de las ra ces invariable por las pemutaciones de este grupo es racionalmente conocida.

Cauchy .

Cayley .

Sylow .

Jordan .

Klein .

Lie .

org/e8plane.liegroups. projected from 8 dimensions down to 2. http://www. GRUPOS DE LIE This is a picture of the root system of type E8.html .

Gauss .

n > 2 .Gauss y Fermat x n + y n = z n .

n > 2 2 2 2 x + y = z .Gauss y Fermat x n + y n = z n .

n > 2 2 2 2 x + y = z 2 (x + iy )(x iy ) = z .Gauss y Fermat x n + y n = z n .

n > 2 . Kummer x n + y n = z n .

Kummer x n + y n = z n . n > 2 p p p x + y = z .

Kummer x n + y n = z n . n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p .

n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p . Dirichlet x n + y n = z n .

Kronecker x n + y n = z n . n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p .

Dedekind x n + y n = z n . n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p .

Noether x n + y n = z n . n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p .

n > 2 p p p x + y = z (x + y )(x +  y )(x + 2 : : : y) (x + p 1 y) = z p . Artin x n + y n = z n .

 ALGEBRA CONMUTATIVA  Problemas atractivos de formulaci on elemental.  Sistemas de ecuaciones polin omicas.  Problemas abiertos .

1930 .

Hilbert .

. G odel (y Einstein) \. he came to the Institute merely [. .] to have the privilege of walking home with G odel..." .

G odel .

G odel y Turing .

Turing y Church .G odel.

.  Razonamiento autom atico.  Computaci on.  LOGICA  Lenguajes formales ! lenguajes de programaci on. algoritmia. complejidad computacional.

Galois. sans vouloir charger ni moi ni personne de le faire. je n'aurai rien  a y faire que de vous indiquer le moyen de r epondre  a votre question. et que vous d esiriez connaitre si elle est ou non r esoluble par radicaux. En un mot les calculs sont impraticables. (E.Si maintenant vous me donnez une  equation alg ebrique que vous aurez choisie  a votre gr e. 1831) .

Si maintenant vous me donnez une  equation alg ebrique que vous aurez choisie  a votre gr e. 1831) . En un mot les calculs sont impraticables. et que vous d esiriez connaitre si elle est ou non r esoluble par radicaux. Galois. sans vouloir charger ni moi ni personne de le faire. je n'aurai rien  a y faire que de vous indiquer le moyen de r epondre  a votre question. (E.