Ferrero–Washingtons sats
Inom algebraisk talteori är Ferrero–Washingtons sats, först bevisad av  och senare av , ett resultat som säger att Iwasawas μ-invariant försvinner för cyklotomiska Zp-utvidgningar av abelska algebraiska talkroppar.

History
 introducerade μ-invarianten av en Zp-utvidgning och observerade att den var noll i alla fall som han beräknat.  använde en dator till att kontrollera den försvinner för cyklotomiska Zp-utvidgningar av rationella talen för alla primtal mindre än 4000. 
 förmodade att μ-invarianten försvinner för alla Zp-utvidgningar, men kort därefter upptäckte  exempel av icke-cyklotomiska utvidgningar av talkroppar vars μ-invariant inte försvinner, vilket bevisade att hans förmodan var falskt. Istället föreslog han att förmodan kunde gälla för alla cyklotomiska Zp-utvidgningar.

 bevisade att försvinnandet av μ-invarianten för cyklotomiska Zp-utvidgningar över de rationella talen är ekvivalent till vissa kongruenser mellan Bernoullital, och  bevisade att μ-invarianten försvinner i dessa fall genom att bevisa att kongruenserna gäller.

Källor
 

Satser inom algebraisk talteori
Inom algebraisk talteori är Ferrero–Washingtons sats , först bevisad av och senare av , ett resultat som säger att Iwasawas μ-invariant försvinner för cyklotomiska Zp-utvidgningar av abelska algebraiska talkroppar . History introducerade μ-invarianten av en Zp-utvidgning och observerade att den var noll i alla fall som han beräknat . använde en dator till att kontrollera den försvinner för cyklotomiska Zp-utvidgningar av rationella talen för alla primtal mindre än förmodade att μ-invarianten försvinner för alla Zp-utvidgningar , men kort därefter upptäckte exempel av icke-cyklotomiska utvidgningar av talkroppar vars μ-invariant inte försvinner , vilket bevisade att hans förmodan var falskt . Istället föreslog han att förmodan kunde gälla för alla cyklotomiska Zp-utvidgningar . bevisade att försvinnandet av μ-invarianten för cyklotomiska Zp-utvidgningar över de rationella talen är ekvivalent till vissa kongruenser mellan Bernoullital , och bevisade att μ-invarianten försvinner i dessa fall genom att bevisa att kongruenserna gäller . Källor Satser inom algebraisk talteori