Tensor products of division algebras and fields. (Q2350636): Difference between revisions

Let \(D_1\) and \(D_2\) be (associative) algebras finite-dimensional over their centres \(F_1\) and \(F_2\), respectively. Suppose that \(F_1\) and \(F_2\) contain as a subfield an algebraically closed field \(F\). As noted by the authors, the research presented in the paper under review has initially been motivated by the question of whether the tensor product \(D_1\otimes_FD_2\) is a domain. This question was posed by Schacher and studied, for instance, by \textit{G. M. Bergman} [Lect. Notes Math. 545, 32-82 (1976; Zbl 0331.16015)]. The paper gives an example where the answer is ``no'', as a part of which it obtains results of independent interest about division algebras and Brauer groups over curves; specifically, this includes a splitting criterion for certain Brauer group elements on the product of two curves over \(F\). This is preceded by a study of Picard group and Brauer group properties of \(F_1\otimes_FF_2\). At the same time, the authors show that the answer is ``yes'', provided that \(D_1=F_1\). Assuming in addition that \(F_1\) is endowed with a discrete valuation \(v\) and \(R\) is the valuation ring of \((F_1,v)\), they prove that \(D_1\otimes_FD_2\) is a domain whenever \(D_1\) is totally ramified at \(R\); in particular, this holds in case \(D_1/F_1\) has prime degree \(p\) different from the characteristic of \(F\), and \(D_1\) is ramified at \(R\).