Teoría de Iwasawa

Este grupo, normalmente escrito como Γ en la teoría y con notación multiplicativa, puede ser obtenido como un subgrupo de los grupos de Galois de extensiones de campo infinitas (las cuales son por su naturaleza grupos profinitos)., donde p es un número primo definido yLo cual puede ser expresado de otra forma utilizando la dualidad de Pontryagin como: Γ es dual al grupo discreto de todas las-potencia raíces de la unidad en los números complejos.es el cuerpo generado por una raíz primitiva, y esto da lugar a un sistema inverso.al límite inverso, se tiene entonces que, y es conveniente tener una descripción de esta acción.ya había sido identificado por Kummer como el principal obstáculo para la demostración directa del último teorema de Fermat.La originalidad del enfoque de Iwasawa 'es escapar hacia infinito' en una nueva dirección.es un módulo sobre el anillo de grupoEste es un anillo bien comportado (regular y de dos dimensiones), lo que implica que es perfectamente posible clasificar módulos sobre él.Desde sus comienzos hacia 1950, la teoría ha crecido hasta tomar relevancia.Se detectó una conexión fundamental entre la teoría del módulo, y las funciones L p-ádicas que fueron definidas por Kubota y Leopoldt hacia 1960.Entonces quedó claro que la teoría tenía perspectivas de progresar finalmente desde los resultados primitivos de Kummer relacionados con los números primos regulares.La conjetura principal de la teoría de Iwasawa fue formulada como una afirmación que los dos métodos de definir las funciones L p-ádicas (mediante teoría del módulo, y por interpolación) debían ser coincidentes, siempre y cuando la misma fuera bien definida.Esto fue demostrado por Barry Mazur y Andrew Wiles para Q, y por Andrew Wiles para todos los campos de números totalmente reales.Estas demostraciones fueron basadas en la demostración de Ken Ribet del teorema de Herbrand alternativo (llamado teorema de Herbrand-Ribet).Más recientemente, Chris Skinner y Eric Urban basados en el método de Ribet, han anunciado la prueba de la conjetura principal para GL(2).Una prueba más simple del teorema de Mazur-Wiles puede ser obtenida utilizando los sistemas de Euler como lo desarrolló Kolyvagin (ver libro de Washington).Otras generalizaciones de la conjetura principal demostradas utilizando el método de sistema de Euler han sido obtenidas por Karl Rubin.