A subring B of a division algebra D is called a valuation ring of D if x∈ B or x-1∈ B holds for all nonzero x in D. The set B of all valuation rings of D is a partially ordered set with respect to ...