Gras förmodan

Inom matematiken är Gras förmodan (Gras 1977) en förmodan som relaterar p-delarna av Galoisegenrummen av en idealklassgrupp till gruppen av globala enheter modulo cyklotomiska enheter. Den bevisades av Mazur & Wiles (1984) som ett korollarium av deras arbete om huvudförmodan inom Iwasawateori. Kolyvagin (1990) gav senare ett enklare bevis genom att använda Eulersystem.

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Gras conjecture, 21 januari 2015.Gras, Georges (1977), ”Classes d'idéaux des corps abéliens et nombres de Bernoulli généralisés”, Université de Grenoble. Annales de l'Institut Fourier 27 (1): 1–66, ISSN 0373-0956, http://aif.cedram.org/item?id=AIF_1977__27_1_1_0 

• Kolyvagin, V. A. (1990), ”Euler systems”, The Grothendieck Festschrift, Vol. II, Progr. Math., "87", Boston, MA: Birkhäuser Boston, s. 435–483, doi:10.1007/978-0-8176-4575-5_11, ISBN 978-0-8176-3428-5 
• 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