Category:Definitions/Normed Division Rings