The Henselization of a valued division algebra (Q1122642)

Let \(F\) be a valued field and \(F_ h\) its henselization. Given a division algebra \(D\), finite-dimensional over its centre \(F\), the author shows that the valuation of \(F\) extends to \(D\) if and only if \(D_ h=D\otimes_ FF_ h\) is a division algebra. Moreover the extension is unique. [This extends a result of the reviewer, Stud. Sci. Math. Hung. 16, 65-70 (1981; Zbl 0488.16015), of which the author seems unaware.] For the proof he uses a condition for a tensor product of valued division rings to be again a division ring: the tensor product of the residue class rings must be a division ring, the value groups intersect in the value group of the ground field and at least one of the rings must be defectless over the ground field (i.e. the degree is equal to the ramification index times the residue degree). Examples are given where these conditions hold, and other to show that they cannot be omitted.