No label defined (Q4258017)

The main theorem of elimination theory is a basic result of algebraic geometry which asserts that projective spaces are complete. It is classically proved by using resultants of polynomials. This survey paper discusses the difficulties which arise when one tries to obtain a similar result for skew fields, where closed sets are given as sets of singularities of matrices. The problem of finding singular eigenvalues of a square matrix over a skew field arises as a special case. The author proves that a matrix over a complete valuated skew field has a singular eigenvalue when the matrix has entries in the valuation ring and its residue-class matrix has \(0\) as a simple eigenvalue. For the entire collection see [Zbl 0910.00039].