Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups
arXiv:2403.14875
Abstract
The show that the upper-left-corner problem and upper-right-corner problem for matrix groups with rational entries are undecidable. To reach this aim, we answer a question of Dixon from 1985 by proving the undecidability of the stabilizer problem for matrix groups.
10 pages, comments welcome!