{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T03:40:04Z","timestamp":1756438804775,"version":"3.44.0"},"reference-count":16,"publisher":"World Scientific Pub Co Pte Ltd","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:p> The upper-left-corner problem and upper-right-corner problem for matrix semigroups with integer entries are known to be undecidable. Here we study 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 goal, we answer a question of Dixon from 1985 by proving the undecidability of the stabilizer problem for matrix groups. Our results can also be interpreted as showing the undecidability of the multi-matrices analogue of the classical Skolem problem. <\/jats:p>","DOI":"10.1142\/s0218196725500286","type":"journal-article","created":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T23:40:28Z","timestamp":1749771628000},"page":"939-951","source":"Crossref","is-referenced-by-count":0,"title":["Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups"],"prefix":"10.1142","volume":"35","author":[{"given":"Emmanuel","family":"Breuillard","sequence":"first","affiliation":[{"name":"Mathematical Institute, Oxford OX1 3LB, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6237-008X","authenticated-orcid":false,"given":"Georgi","family":"Kocharyan","sequence":"additional","affiliation":[{"name":"St Catharine\u2019s College, Cambridge, CB2 1RL, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2025,7,15]]},"reference":[{"key":"S0218196725500286BIB001","doi-asserted-by":"publisher","DOI":"10.1215\/00127094-1443493"},{"key":"S0218196725500286BIB002","series-title":"Leibniz International Proceedings in Informatics","first-page":"1","volume-title":"47th Int. Symp. Mathematical Foundations of Computer Science","volume":"241","author":"Bilu Y.","year":"2022"},{"key":"S0218196725500286BIB003","first-page":"521","volume":"6","author":"Borisov V. V.","year":"1969","journal-title":"Mat. Zametki"},{"key":"S0218196725500286BIB005","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/4.2.145"},{"key":"S0218196725500286BIB006","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1985-015-4"},{"key":"S0218196725500286BIB007","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2001.11919796"},{"key":"S0218196725500286BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3"},{"key":"S0218196725500286BIB010","series-title":"McGraw-Hill Computer science series","volume-title":"Mathematical Theory of Computation","author":"Manna Z.","year":"1974"},{"key":"S0218196725500286BIB011","doi-asserted-by":"publisher","DOI":"10.1070\/SM1968v004n02ABEH002788"},{"key":"S0218196725500286BIB012","series-title":"Annals of Mathematics Studies","volume-title":"On Group-Theoretic Decision Problems and their Classification","volume":"68","author":"Miller C. F.","year":"1971"},{"key":"S0218196725500286BIB013","doi-asserted-by":"publisher","DOI":"10.1515\/jgth-2014-0022"},{"key":"S0218196725500286BIB014","doi-asserted-by":"publisher","DOI":"10.1002\/sapm1970491105"},{"key":"S0218196725500286BIB015","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110724"},{"key":"S0218196725500286BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4176-8"},{"key":"S0218196725500286BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8594-1"},{"key":"S0218196725500286BIB018","doi-asserted-by":"publisher","DOI":"10.2307\/1969481"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196725500286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T03:09:04Z","timestamp":1756436944000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218196725500286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,15]]},"references-count":16,"journal-issue":{"issue":"06","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["10.1142\/S0218196725500286"],"URL":"https:\/\/doi.org\/10.1142\/s0218196725500286","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"type":"print","value":"0218-1967"},{"type":"electronic","value":"1793-6500"}],"subject":[],"published":{"date-parts":[[2025,7,15]]}}}