Zero-in-the-corner problems for matrix groups
Georgi Kocharyan ( University of Cambridge )
- 15:00 25th April 2024LTB Wolfson building
The upper-left-corner problem and upper-right-corner problem for
matrix semigroups with integer entries are known to be undecidable. Here we ask
the analogous problems for matrix groups and prove their undecidability for
rational entries, by reducing to the undecidability of the word problem for
groups. To reach this aim, we answer a question of Dixon from 1985 by proving
the undecidability of the stabilizer problem for matrix groups.