Definition:Sphere

P-adic Numbers
The definition of an sphere in the context of the $p$-adic numbers is a direct application of the definition of an sphere in a normed division ring: