{"entities":{"Q1886126":{"pageid":1896868,"ns":120,"title":"Item:Q1886126","lastrevid":71062875,"modified":"2026-04-13T19:13:59Z","type":"item","id":"Q1886126","labels":{"en":{"language":"en","value":"Identities of semigroups of triangular matrices over finite fields."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2115592"}},"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":"Q1886126$FCFB1C35-010F-4BF8-9A82-DF45F7C027D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0957da036c461886cd143cbadaf43773fbf57ce1","datavalue":{"value":{"text":"Identities of semigroups of triangular matrices over finite fields.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886126$E64FFF0D-41A2-41E9-9243-DDE09ED03336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1415a5862239d9a0e194acc588a314df71dac8b","datavalue":{"value":"1064.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$5459635E-3C33-4217-B40D-CCDC38AF90FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f34546ddac61808c4667c30619be17df70d1de","datavalue":{"value":"10.1023/A:1023298919061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$25E60487-1203-46A1-9557-1F4370FB03DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8cac52b9de208db6d0f1ff89d0184d0988c17b1","datavalue":{"value":{"entity-type":"item","numeric-id":1886125,"id":"Q1886125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886126$8B6974C6-A100-4EC4-8051-0F7244ECD64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886126$1DA4C4BB-89EF-4989-BDC6-CC4B453548BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886126$DE903C06-7103-4E9B-B31B-1DDD104FB372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c57fcc757cbfdf40afb4da8372fbbaeb6171f1c5","datavalue":{"value":{"time":"+2004-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886126$ABA29654-A0AD-4925-8332-9523B4576086","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f512953ece9136fb56b77fd52d848a22ca54442b","datavalue":{"value":"Ever since \\textit{P. Perkins} [J. Algebra 11, 298-314 (1969; Zbl 0186.03401)] gave the first example of a finite semigroup which did not have a finite basis for its laws, the question of precisely which semigroups are finitely based has been of great interest. A stronger property than being nonfinitely based is being inherently nonfinitely based. A locally finite variety is `inherently nonfinitely based' if every locally finite variety containing it is nonfinitely based. Since the variety generated by any finite algebra is locally finite, it makes sense to refer to a finite semigroup as being inherently nonfinitely based.   This paper proves the interesting result that the semigroup \\(T_n(K)\\) of all upper triangular \\(n\\times n\\) matrices over a finite field \\(K\\) is inherently nonfinitely based if and only if \\(|K|>2\\) and \\(n>3\\). Note that the varieties generated by these semigroups do not contain Perkin's semigroup. Sufficiency is established by using a criterion of \\textit{M. V. Sapir} [Math. USSR, Sb. 61, No. 1, 155-166 (1988); translation from Mat. Sb., Nov. Ser. 133(175), No. 2(6), 154-166 (1987; Zbl 0634.20027)] while necessity is proved by showing that \\(T_n(K)\\) can be embedded in a locally finite, finitely based variety when \\(|K|=2\\) or \\(n\\leq 3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886126$1DBA3A8A-F3D5-48BD-82D5-1D7385A5B565","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886126$15448870-CE41-44E4-A103-132AF53DCB3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$C4FAB1F4-83A5-4DB2-A092-42B65525EE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$F0FD07B5-DBE9-4522-BAB7-06B205107597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$8C04B96B-E9BC-4C76-9EAB-8C75C50D876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$C1ADF189-8484-4D65-9AA0-1BDFCD19CA77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c50ed598ef7bcf2969527e884ee3e7fc184c9308","datavalue":{"value":"2115592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$BB9A70CD-ADAE-49E5-AC65-99C235A8F3FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886126$BD3EACF4-0932-4966-9ABD-2D683FB9976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeaa1a1ea6981946566573aed7f7fc320993171","datavalue":{"value":"finite basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886126$5745C83E-A309-4FAF-AA0A-271011D893DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb97238560c2f9adce21b9932a98de91c9fa11f","datavalue":{"value":"inherently nonfinitely based varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886126$B33C94AF-0CCF-4397-985E-B2DC4B1F0DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4f1de248121c131165c3b08611080a7f17b5a4","datavalue":{"value":"finite bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886126$24B0379F-0A24-4F5B-9CA1-631964CABB2F","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":"Q1886126$C1C16A9A-2236-4BEF-8391-30ED8F778B5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6862b03a8521c3fa1f8fdbebc04f659e2a376f9a","datavalue":{"value":"https://doi.org/10.1023/a:1023298919061","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886126$020B9F71-886D-4B17-998B-C13C189D1BF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5b696f73f1b2f43926620a31ff903d1ecc459e4","datavalue":{"value":"W1533829721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886126$742BF746-23B4-43B9-9B2C-E53A2032B9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e9308469194f13c925247cb9485e5d44d1d844b","datavalue":{"value":{"entity-type":"item","numeric-id":1955762,"id":"Q1955762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f882a1becdfe4ae99c8a3520ab1dbd75fee60123","datavalue":{"value":{"amount":"+0.8888168334960938","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":"Q1886126$55B8E7B3-E199-494A-BC9E-0675B915D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea24a66214cba5acabab392e7496c91160efe3a","datavalue":{"value":{"entity-type":"item","numeric-id":1597728,"id":"Q1597728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23588d47cd7a0a7c3e0df5d0b51c1b9a43f9e7ac","datavalue":{"value":{"amount":"+0.8813760876655579","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":"Q1886126$DF841F77-42C2-4C65-807B-BE189C758DE4","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":"b81563ee21017e059ab3231d93190d2f4ec0ca5a","datavalue":{"value":{"amount":"+0.8660445809364319","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":"Q1886126$31E89E5C-1D42-4B76-B748-2302DC2E0A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aaafc82dd71a7ba65f8e229ce886c5e3526953","datavalue":{"value":{"entity-type":"item","numeric-id":3807431,"id":"Q3807431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85901eb51ba25114e62c4b5fa9f6a0e5752a7e6","datavalue":{"value":{"amount":"+0.8462951183319092","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":"Q1886126$242189FE-0B06-4366-965E-6A8F10FA6749","rank":"normal"},{"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":"699ee77b8d986756f537def8bd597b540db2425d","datavalue":{"value":{"amount":"+0.8426147103309631","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":"Q1886126$70E8616C-89ED-4EDB-A9B8-CCAC7092127B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Identities of semigroups of triangular matrices over finite fields.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Identities_of_semigroups_of_triangular_matrices_over_finite_fields."}}}}}