{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T03:28:10Z","timestamp":1763436490949},"reference-count":32,"publisher":"World Scientific Pub Co Pte Lt","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2016,12]]},"abstract":"<jats:p> The consistency problem for a class of algebraic structures asks for an algorithm to decide, for any given conjunction of equations, whether it admits a non-trivial satisfying assignment within some member of the class. For the variety of all groups, this is the complement of the triviality problem, shown undecidable by by Adyan [Algorithmic unsolvability of problems of recognition of certain properties of groups. (Russian) Dokl. Akad. Nauk SSSR (N.S.) 103 (1955) 533\u2013535] and Rabin [Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958) 172\u2013194]. For the class of finite groups, it amounts to the triviality problem for profinite completions, shown undecidable by Bridson and Wilton [The triviality problem for profinite completions, Invent. Math. 202 (2015) 839\u2013874]. We derive unsolvability of the consistency problem for the class of (finite) modular lattices and various subclasses; in particular, the class of all subspace lattices of finite-dimensional vector spaces over a fixed or arbitrary field of characteristic [Formula: see text] and expansions thereof, e.g. the class of subspace ortholattices of finite-dimensional Hilbert spaces. The lattice results are used to prove unsolvability of the consistency problem for (finite) rings with unit and (finite) representable relation algebras. These results in turn apply to equations between simple expressions in Grassmann\u2013Cayley algebra and to functional and embedded multivalued dependencies in databases. <\/jats:p>","DOI":"10.1142\/s0218196716500697","type":"journal-article","created":{"date-parts":[[2016,11,25]],"date-time":"2016-11-25T04:26:06Z","timestamp":1480047966000},"page":"1573-1595","source":"Crossref","is-referenced-by-count":4,"title":["On the consistency problem for modular lattices and related structures"],"prefix":"10.1142","volume":"26","author":[{"given":"Christian","family":"Herrmann","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Darmstadt, FB4 Schlo\u00dfgartenstr. 7, 64289 Darmstadt, Germany"}]},{"given":"Yasuyuki","family":"Tsukamoto","sequence":"additional","affiliation":[{"name":"Hakuryo High School, 2260 Amida-cho Amida, Takasago-shi, Hyogo 676-0827, Japan"}]},{"given":"Martin","family":"Ziegler","sequence":"additional","affiliation":[{"name":"KAIST, School of Computing, 291 Daehak-ro, Yuseong-gu, 34141, Daejeon, Republic of Korea"}]}],"member":"219","published-online":{"date-parts":[[2016,12,20]]},"reference":[{"key":"S0218196716500697BIB002","first-page":"533","volume":"103","author":"Adyan S. I.","year":"1955","journal-title":"Dokl. Akad. Nauk SSSR (N.S.)"},{"key":"S0218196716500697BIB003","first-page":"231","volume":"6","author":"Adyan S. I.","year":"1957","journal-title":"Trudy Moskov. Mat. Ob\u0161\u010d"},{"key":"S0218196716500697BIB004","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1215\/ijm\/1256053966","volume":"12","author":"Artmann B.","year":"1968","journal-title":"Illinois J. Math."},{"key":"S0218196716500697BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-015-0578-8"},{"key":"S0218196716500697BIB006","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0531987-8"},{"key":"S0218196716500697BIB007","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1979-0542881-0"},{"key":"S0218196716500697BIB008","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1980-0576864-X"},{"key":"S0218196716500697BIB009","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1979-0542080-8"},{"key":"S0218196716500697BIB010","volume-title":"Algebraic Theory of Quasivarieties","author":"Gorbunov V. A.","year":"1998"},{"key":"S0218196716500697BIB011","doi-asserted-by":"publisher","DOI":"10.4171\/JEMS\/257"},{"key":"S0218196716500697BIB013","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-008-9853-4"},{"key":"S0218196716500697BIB014","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9270-x"},{"key":"S0218196716500697BIB015","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483938"},{"key":"S0218196716500697BIB016","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1984-0743743-8"},{"issue":"1","key":"S0218196716500697BIB017","first-page":"93","volume":"51","author":"Herrmann C.","year":"1987","journal-title":"Acta Sci. Math."},{"key":"S0218196716500697BIB018","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1148"},{"key":"S0218196716500697BIB020","doi-asserted-by":"publisher","DOI":"10.1145\/2869073"},{"key":"S0218196716500697BIB021","volume-title":"Model Theory","author":"Hodges W."},{"key":"S0218196716500697BIB022","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10377"},{"key":"S0218196716500697BIB023","doi-asserted-by":"publisher","DOI":"10.2307\/1993545"},{"key":"S0218196716500697BIB024","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"S0218196716500697BIB025","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000227"},{"key":"S0218196716500697BIB026","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1974-0364040-2"},{"key":"S0218196716500697BIB027","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.11.002"},{"key":"S0218196716500697BIB028","doi-asserted-by":"publisher","DOI":"10.2307\/2268172"},{"key":"S0218196716500697BIB029","series-title":"Princeton Mathematical Series","volume-title":"Continuous Geometry","volume":"25","author":"von Neumann J.","year":"1960"},{"key":"S0218196716500697BIB030","doi-asserted-by":"publisher","DOI":"10.2307\/1969933"},{"issue":"4","key":"S0218196716500697BIB031","first-page":"1","author":"Skolem Th.","year":"1920","journal-title":"Skr. Vidensk. Krist."},{"key":"S0218196716500697BIB032","volume-title":"Algorithms in Invariant Theory","author":"Sturmfels B.","year":"2008"},{"key":"S0218196716500697BIB033","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06413-0_8"},{"key":"S0218196716500697BIB034","doi-asserted-by":"publisher","DOI":"10.1007\/BF01187242"},{"key":"S0218196716500697BIB035","doi-asserted-by":"publisher","DOI":"10.1007\/BF01476158"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196716500697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T19:04:07Z","timestamp":1565118247000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196716500697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":32,"journal-issue":{"issue":"08","published-online":{"date-parts":[[2016,12,20]]},"published-print":{"date-parts":[[2016,12]]}},"alternative-id":["10.1142\/S0218196716500697"],"URL":"https:\/\/doi.org\/10.1142\/s0218196716500697","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}