  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.
