En la teoría algebraica de números , la conjetura de Gras ( Gras 1977 ) relaciona las p -partes de los espacios propios de Galois de un grupo de clases ideal con el grupo de unidades globales módulo unidades ciclotómicas . Mazur y Wiles (1984) lo demostraron como corolario de su trabajo sobre la conjetura principal de la teoría de Iwasawa . Kolyvagin (1990) luego dio una demostración más simple usando sistemas de Euler .