Gras gissningar

I algebraisk talteori relaterar Gras-förmodan (Gras 1977) p - delarna av Galois -egenrymden i en idealklassgrupp till gruppen av globala enheter modulocyklotomiska enheter . Det bevisades av Mazur & Wiles (1984) som en följd av deras arbete med Iwasawa-teorin . Kolyvagin (1990) gav senare ett enklare bevis med Euler-system .

•    Gras, Georges (1977), "Class d'idéaux des corps abéliens et nombres de Bernoulli généralisés" , Annales de l'Institut Fourier , 27 (1): 1–66, ISSN 0373-0956 , MR 0450238
•    Kolyvagin, VA (1990), "Euler systems", The Grothendieck Festschrift, vol. II , Progr. Math., vol. 87, Boston, MA: Birkhäuser Boston, s. 435–483, doi : 10.1007/978-0-8176-4575-5_11 , ISBN 978-0-8176-3428-5 , MR 1106906
•    Mazur, Barry ; Wiles, Andrew (1984), "Class fields of abelian extensions of Q ", Inventiones Mathematicae , 76 (2): 179–330, doi : 10.1007/BF01388599 , ISSN 0020-9910 , MR 0742855