{"entities":{"Q634761":{"pageid":636609,"ns":120,"title":"Item:Q634761","lastrevid":63141093,"modified":"2026-04-11T10:52:13Z","type":"item","id":"Q634761","labels":{"en":{"language":"en","value":"On the finite basis problem for the monoids of triangular Boolean matrices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939543"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$BD344F80-B4BC-4FC0-8367-00468FC5071C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"183248f3059603bde9d05fe31aeffa1a80162652","datavalue":{"value":{"text":"On the finite basis problem for the monoids of triangular Boolean matrices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634761$78CFF61D-C61B-456D-A375-43FCF717CD0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a588f8f5caffb501ac8efc97395c3a8e3746fff0","datavalue":{"value":"1230.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$54C69BF6-8980-434F-9D16-0341447C386F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$B0A134F3-69C1-4AC7-AFAF-38FDFA3F5DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634761$BB39B175-7344-41F1-ACC9-0B6F06F880FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"861ac8b139bc78bdf20f88dc2efd701d0af446bf","datavalue":{"value":"Let \\(\\mathcal{TB}_n\\) denote the submonoid of all upper triangular Boolean \\(n\\times n\\) matrices. It was shown by Volkov and Goldberg that \\(\\mathcal{TB}_n\\) is inherently nonfinitely based for \\(n\\geq 4\\), but the cases when \\(n=2\\), \\(3\\) remained open [see \\textit{M. V. Volkov} and \\textit{I. A. Goldberg}, ``The finite basis problems for monoids of unitriangular Boolean matrices'', RIMS Kokyuroku 1366, 205-214 (2004)].   In this paper it is shown that the monoid \\(\\mathcal{TB}_2\\) is finitely based, and a finite identity basis for the monoid \\(\\mathcal{TB}_2\\) is given. Moreover, it is shown that the monoid \\(\\mathcal{TB}_3\\) is inherently nonfinitely based. Hence, the monoid \\(\\mathcal{TB}_n\\) is finitely based if and only if \\(n\\leq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$AADF5566-3E3A-4E1F-A058-27198CEC5687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$3679F870-04D5-4824-AEF9-FDB616061406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$DB848DAB-3D36-4BF0-B6C4-7A29F04DDF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$173372B2-86AF-411A-B2B2-740525D53701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$206C0277-DD63-424D-A6AC-E319AA90FAC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58011ee3fa8ebe1938f912ee03b9068d1b767191","datavalue":{"value":"5939543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$C2BBEEDC-6C81-46D6-A365-BFDA1F99E005","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$B99418AE-F8EE-4B2E-88E5-A7D451AB2CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$BA24C654-8B96-4F21-B1F8-0506D28FEABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b47e45eda23c39b66aed29c2f5705d610b7dfedf","datavalue":{"value":"monoids of triangular Boolean matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$90FA4DF4-ED66-482E-9A5A-E9519BCA974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$B8BDBBCB-B931-471C-B0B6-3EF62ADBA128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$C2D249CD-E040-4105-9EB6-79BAE424F94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e66ea799e08d4fa143be1cab8ede1fe5fd90e977","datavalue":{"value":"finitely based monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$54985E64-413D-4B21-9E1B-3F54B62D7586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q634761$58EC0284-5C75-43EB-A05D-FDA174E428FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"003793b15cb0284e590e37371bc07efe2886367a","datavalue":{"value":{"entity-type":"item","numeric-id":312575,"id":"Q312575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$4096455D-65B8-456C-A99F-A39E0DD0B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05cb9f8283990caa51aaae7ca0e146f15d9beff4","datavalue":{"value":{"entity-type":"item","numeric-id":896249,"id":"Q896249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$ABEA899D-D681-4EA7-8774-ABED6CD990D9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$D01F2BDD-D304-4018-AED5-C7A9DD788B2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb8eaa549874a5655ca4b49e2ecbecc1afc583d8","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0135-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q634761$A8045AB7-14A1-4155-858E-17B04ABBCD45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb373a829625cf19f0b7bfe945a9d852755788ec","datavalue":{"value":"W2073885278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$454BC790-B545-4682-B546-9685DAEA3426","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$908C44F1-D2F2-4813-AFD3-6C82BE58CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$42B74297-E169-4833-ADE8-A2DBCC2D6ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$B1FB6E78-13B7-4764-8286-A3AE3DA6C264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740cb886eb095d0a8c707aac801289b9db94804e","datavalue":{"value":{"entity-type":"item","numeric-id":3765976,"id":"Q3765976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$FD90963C-2C9C-41A4-99C1-BE56449D8102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d0d619725e78d8d62c35ba51dee2c8d62de95","datavalue":{"value":{"entity-type":"item","numeric-id":2740982,"id":"Q2740982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634761$B085E516-8FB8-48C3-83A8-34A529BC3999","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"257319687172980fbe42f139a66a6cc51a74ae17","datavalue":{"value":"10.1007/S00012-011-0135-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634761$10607869-C30C-4E0A-ACB0-2244FD8ACAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6bb2f5a6f6ede536b2c76e49f951e0d34e7807","datavalue":{"value":{"entity-type":"item","numeric-id":2907022,"id":"Q2907022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7751a1b962c147887bfaa401d989e4e6f5cbaf37","datavalue":{"value":{"amount":"+0.8817746639251709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634761$8F7D1E68-59C4-403F-8491-A22D9C56A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f983505d246038b8bdf2ac281a7c088382c795","datavalue":{"value":{"entity-type":"item","numeric-id":2297054,"id":"Q2297054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694c0a82ed9e2e658fa2ea637e71f9dbe126a14","datavalue":{"value":{"amount":"+0.8771185278892517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634761$454A0A2F-8451-4362-91F4-E97AEA61FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1391b6dd2c5acb2b783b72e3ff3a403f071c8286","datavalue":{"value":{"entity-type":"item","numeric-id":1987544,"id":"Q1987544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144c11c08af79d175d9d5a159cf529fb0635e21f","datavalue":{"value":{"amount":"+0.8743391036987305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634761$35D350CA-168F-4933-B94C-368125D72BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21161c9ea4752eeff0378f67f52e684cc264b87","datavalue":{"value":{"entity-type":"item","numeric-id":3449709,"id":"Q3449709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7c40d4b6ea25ab6af6dc29b0ea581412ced1c9","datavalue":{"value":{"amount":"+0.8681926727294922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634761$4BB93FFF-8E7F-4BC3-B756-02601078669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f424053e9ae65da2505d26153b60a8accdfb25","datavalue":{"value":{"entity-type":"item","numeric-id":3186380,"id":"Q3186380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980e1f75a098ec6f308ac3eccad85b2c9b5f7aac","datavalue":{"value":{"amount":"+0.837352454662323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q634761$0BA4BC8C-8D94-42BF-9474-49108BFC47C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the finite basis problem for the monoids of triangular Boolean matrices.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_finite_basis_problem_for_the_monoids_of_triangular_Boolean_matrices."}}}}}