The Ferrero-Washington theorem is a result in algebraic number theory stating that a certain invariant introduced by Kenkichi Iwasawa, called the mu-invariant, vanishes for cyclotomic extensions of abelian algebraic number fields. It was first proved by Bruce Ferrero and Lawrence Washington in 1979, and a different proof was later given by Warren Sinnott in 1984. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
StatementIwasawa's mu-invariant is zero for cyclotomic p-adic extensions of abelian number fields. 1 Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Ferrero-Washington theorem (Wikipedia)
Sources
1. Ferrero-Washington theorem (Wikipedia)
Infobox, statement
Iwasawa's ?-invariant is zero for cyclotomic p-adic extensions of abelian number fields.
Infobox, first proof date
1979
- In Branch: Algebraic Number Theory, Lead sentence
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.