Inom matematiken är Gras förmodan en förmodan som relaterar p-delarna av Galoisegenrummen av en idealklassgrupp till gruppen av globala enheter modulo cyklotomiska enheter. Den bevisades av som ett korollarium av deras arbete om huvudförmodan inom Iwasawateori. gav senare ett enklare bevis genom att använda Eulersystem.
Källor
Kategori:Satser inom algebraisk talteori Kategori:Förmodanden