Atlas/Number/Valuations and local fields
1/4
A local field is a complete nonarchimedean field with finite residue field. ℚₚ is the prototype.