Malcev-Neumann series and the free field (Q1970307): Difference between revisions

Let \(R=k\langle X\rangle\) be the free associative algebra in \(X\) over a field \(k\) and \(F\) the skew field of all Malcev-Neumann series in the free group \(\Gamma\) on \(X\) over \(k\). There is a natural embedding of \(R\) in \(F\) and \textit{J. Lewin} has shown [Trans. Am. Math. Soc. 192, 339-346 (1974; Zbl 0307.16009)] that the subfield of \(F\) generated by the image of \(R\) is just the universal field of fractions of \(R\). Lewin's proof used a result of \textit{I. Hughes} [Commun. Pure Appl. Math. 23, 181-188 (1970; Zbl 0214.05401)]. Here the author gives an independent proof, by associating a graph with \(\Gamma\) and using it to analyse a row vector over \(F\) which annihilates a matrix over \(R\).