The Hasse norm theorem is a result in number theory stating that for a cyclic extension of number fields L over K, a nonzero element of K that is a local norm at every completion of K is in fact a global norm, meaning it is the relative norm of some element of L. The theorem is an example of a local-global principle, and it no longer holds in general when the extension is abelian but not cyclic; Hasse himself gave a counterexample, and Serre and Tate later gave another. The full theorem is due to Helmut Hasse in 1931, building on earlier special cases proved by Hilbert in 1897 and by Furtwangler in 1902. 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
StatementIf L/K is a cyclic extension of number fields and a nonzero element of K is a local norm everywhere, then it is a global norm. 1 Classification
Statement FormCharacterization Theorem 1 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.
In Branch
Source Hasse norm theorem (Wikipedia)
Proved By
Source Hasse norm theorem (Wikipedia)
Sources
1. Hasse norm theorem (Wikipedia)
Introduction, first sentence
if L/K is a cyclic extension of number fields, then if a nonzero element of K is a local norm everywhere, then it is a global norm
Introduction, fifth paragraph
Hasse (1931)
In Branch: Number Theory, Lead sentence
In number theory, the Hasse norm theorem states that if L/K is a cyclic extension of number fields, then if a nonzero element of K
Proved By: Helmut Hasse, Lead paragraph
In number theory, the Hasse norm theorem states that if L/K is a cyclic extension of number fields, then if a nonzero element of K is a local norm everywhere,
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.