{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T23:17:02Z","timestamp":1778800622159,"version":"3.51.4"},"reference-count":3,"publisher":"World Scientific Pub Co Pte Lt","issue":"03n04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[1999,6]]},"abstract":"<jats:p> We slightly improve the result of Klarner, Birget and Satterfield, showing that the freeness of finitely presented multiplicative semigroups of 3\u00d73 matrices over \u2115 is undecidable even for triangular matrices. This is achieved by proving a new variant of Post correspondence problem. We also consider the freeness problem for 2\u00d72 matrices. On the one hand, we show that it cannot be proved undecidable using the above methods which work in higher dimensions, and, on the other hand, we give some evidence that its decidability, if so, is also a challenging problem. <\/jats:p>","DOI":"10.1142\/s0218196799000199","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:05:54Z","timestamp":1027767954000},"page":"295-305","source":"Crossref","is-referenced-by-count":51,"title":["ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS"],"prefix":"10.1142","volume":"09","author":[{"given":"JULIEN","family":"CASSAIGNE","sequence":"first","affiliation":[{"name":"Institut de Math\u00e9matiques de Luminy, Case\u00a0907, 163, avenue de Luminy, F-13288 Marseille Cedex\u00a09, France"}]},{"given":"TERO","family":"HARJU","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Turku, FIN-20014 Turku, Finland"}]},{"given":"JUHANI","family":"KARHUM\u00c4KI","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Turku, FIN-20014 Turku, Finland"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00311-8"},{"key":"p_4","first-page":"439","author":"Harju T.","year":"1997","journal-title":"Springer Verlag"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000146"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196799000199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:55:53Z","timestamp":1565128553000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196799000199"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":3,"journal-issue":{"issue":"03n04","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[1999,6]]}},"alternative-id":["10.1142\/S0218196799000199"],"URL":"https:\/\/doi.org\/10.1142\/s0218196799000199","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}