Iwasawateori

Inom talteori är Iwasawateori en teori för Galoismoduler av idealklassgrupper. Teorin påbörjades på 1950-talet av Kenkichi Iwasawa som en del av teorin om cyklotomiska kroppar. På 1970-talet undersökte Barry Mazur generaliseringar av Iwasawateorin till abelska varieteter.

Iwasawa utgick från observationen att det inom algebraisk talteori finns följder av utvidgningskroppar som har Galoisgrupp som är isomorf med den additiva gruppen av p-adiska heltal.

Formulering

Iwasawa undersökte så kallade ${\mathbb{Z}}_p$-utvidgningar: oändliga utvidgningar av en algebraisk talkropp $F$ med Galoisgrupp $\mathrm{\Gamma }$ isomorfisk till den additiva gruppen av p-adiska tal för något primtal p. Varje sluten delgrupp av $\mathrm{\Gamma }$ är av formen ${\mathrm{\Gamma }}^{p^n}$, så enligt Galoisteori är en ${\mathbb{Z}}_p$-utvidgning $F_{\mathrm{\infty }}/F$ samma sak som en oändlig serie kroppar $F=F_0\subset F_1\subset F_2\subset \dots \subset F_{\mathrm{\infty }}$ så att $\text{Gal}(F_n/F)\cong \mathbb{Z}/p^n\mathbb{Z}$. Iwasawa undersökte klassiska Galoismoduler över $F_n$ genom att ställa frågor om strukturen av moduler över $F_{\mathrm{\infty }}$.

Mer allmänt ställer Iwasawateori frågor om strukturen av Galoismoduler över utvidgningar vars Galoisgrupp är en p-adisk Liegrupp.

Se även

• Ferrero–Washingtons sats
• Huvudförmodan inom Iwasawateori