We describe a solution of the word problem in free fields (coming from non-commutative polynomials over a commutative field) using elementary linear algebra, provided that the elements are given by minimal linear representations. It relies on the normal form of Cohn and Reutenauer and can be used more generally to (positively) test rational identities. Moreover we provide a construction of minimal linear representations for the inverse of non-zero elements.
|Number of pages||24|
|Journal||arXiv.org e-Print archive|
|Publication status||Published - 12 Jan 2017|
- 16K40, 03B25 (Primary), 16S10, 15A22 (Secondary)