{"entities":{"Q1040652":{"pageid":1042500,"ns":120,"title":"Item:Q1040652","lastrevid":50834189,"modified":"2026-01-15T08:35:07Z","type":"item","id":"Q1040652","labels":{"en":{"language":"en","value":"Hereditarily finitely based monoids of extensive transformations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638420"}},"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":"Q1040652$0323D2BC-9DA7-42AA-A670-6348B106CB23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c57ea425a6d9e2ac2d4a97bcabd984c80f32bf6","datavalue":{"value":{"text":"Hereditarily finitely based monoids of extensive transformations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040652$38D3709B-623E-430A-8FD0-8315FB59BD1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"793e1abdc490fc0747f1e1744495446d6db72aa8","datavalue":{"value":"1184.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$875D04AE-0C88-4F6D-AE00-08DF122DFDAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebcad4e01ddbdedb9fe3356fbbed98a9a4465d6","datavalue":{"value":{"entity-type":"item","numeric-id":280785,"id":"Q280785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$CE64A492-9CAD-411E-AEF9-371AB7318A46","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":"Q1040652$43ECBE55-7288-454B-B31A-8E4DF1ECB33E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040652$DE377087-5DF8-4080-9DEF-F71C671CB5B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c0b296a782e084f26ac314be8f730f73c167334","datavalue":{"value":"Let \\(E_n\\) denote the monoid of `extensive' transformations of the ordered set \\(\\{1,2,\\dots,n\\}\\), that is, the transformations \\(\\alpha\\) with the property that \\(i\\alpha\\geq i\\) for all \\(i\\). The author proves that \\(E_n\\) is hereditarily finitely based if and only if \\(n\\leq 3\\).   By far the most difficult part of the proof is to show that \\(E_3\\) is hereditarily finitely based. The author notes that \\(E_n\\) is itself not finitely based, for \\(n>4\\), by a recent result of \\textit{I. A. Goldberg} [in Semigroups and formal languages. Proceedings of the international conference in honour of the 65th birthday of Donald B. McAlister, Lisboa, Portugal, 2005. Hackensack, NJ: World Scientific. 101-110 (2007; Zbl 1131.20043)]. Whether \\(E_4\\) is finitely based was undetermined at the time the paper was written.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$42D8746C-5CC2-4A62-85AE-A48BACEFE31F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$4937CD86-3B03-47B0-9433-B3B047BC3E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$C512DD7B-F7DF-427E-890C-40A970CF3D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$2CC4D39D-7ABB-4D66-A849-90AB3FD1FB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$8CD330B0-D3BD-43A4-91F8-1ADF0BBD4B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$37ADF4AB-3737-41EE-87F0-F32B656F48C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12596c731527bc8f1747afdc060a9fab89fc0ccd","datavalue":{"value":"5638420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$2C84E606-D338-42C0-8EBB-DA9C045C56CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7dfa40a586b3b443e1224a5c68b637f4a90120","datavalue":{"value":"hereditarily finitely based monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$6240467B-4145-4ACC-B6C1-26E18EA33952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$B5ED4654-4753-4D24-B372-74F53724F194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d2daa3ea08f38e55719c41fb9ace3b73e6ef78","datavalue":{"value":"partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$3E5A0318-BE8F-4C4E-B63C-8C7ABCF3A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b5c6e9d23e633ab62436550103484d66664d77d","datavalue":{"value":"extensive transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$62B3C4D1-BD6B-49D2-816C-6E317DC77E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b133c2a617576bd04be1a65984c43dd665cc7f8b","datavalue":{"value":"order preserving transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$60E5CD69-86CC-42C8-901A-0F4DDD86A4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeaa1a1ea6981946566573aed7f7fc320993171","datavalue":{"value":"finite basis property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$FE992785-07DA-4F0A-8448-BC98494DBAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040652$6142D3CD-4802-4717-B2E1-9129F250C98F","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":"Q1040652$068D9603-C047-4DC5-8457-7A0820F79953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dacb8d7467b49650682dbfe11ede12c425c2d20","datavalue":{"value":"https://doi.org/10.1007/s00012-009-0001-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040652$5EACD4D4-8C6E-4CEB-940E-4B46947B291B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5312fa934170fcfbf8d2b8ff76f4f23f3b961385","datavalue":{"value":"W1977695021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$0E00D5F2-7264-44A7-9C07-0033587CDE56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$EE86DCFA-482E-452A-9A5B-A8EE828BE3E4","rank":"normal"},{"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":"Q1040652$59928897-8028-4643-9C3D-4E22468FC440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bd324bacd50de3f878213bad2042040463d201","datavalue":{"value":{"entity-type":"item","numeric-id":1246047,"id":"Q1246047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$FD22178A-D6C2-49D2-9A9A-5440480AA16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187f248d8745efd95e77c46a6bf423575ee180e8","datavalue":{"value":{"entity-type":"item","numeric-id":1147233,"id":"Q1147233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$3212A2FC-2414-4894-B917-25BBEB01816E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ac4285ec05bc58c30a70c16eb9cf8e3dc9c537","datavalue":{"value":{"entity-type":"item","numeric-id":5429969,"id":"Q5429969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$060E9061-1F3A-4060-A25D-1637C48D53A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b080df349552f9ba7601a6932ebf94565585f7","datavalue":{"value":{"entity-type":"item","numeric-id":1570360,"id":"Q1570360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$DD08AA4E-2304-4127-A2E8-22AA440CC542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d424781b2af73e33608edadb068b8ff4f9cab392","datavalue":{"value":{"entity-type":"item","numeric-id":1882658,"id":"Q1882658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$B3310A88-2961-4788-8C9A-B943602BBA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5160c2ecba753a6b8dc76ee5416dfffb8d128feb","datavalue":{"value":{"entity-type":"item","numeric-id":5483470,"id":"Q5483470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$C06FFC48-5086-4326-BAE7-2E4CB1E34589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d80f5f4247f003fee4b360fdfe77893a5f7126","datavalue":{"value":{"entity-type":"item","numeric-id":5756479,"id":"Q5756479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$6088843A-821C-4C55-9BCC-5A630C9E7FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2240a57ffebbb1ea482aac4fd0cfb8461962e497","datavalue":{"value":{"entity-type":"item","numeric-id":3528861,"id":"Q3528861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$84DD1C1B-EC9A-4B83-BD67-49D38279275B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b746d7200469dab014173828fb98be1a78323e","datavalue":{"value":{"entity-type":"item","numeric-id":5429973,"id":"Q5429973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$4E99CACE-7C9E-4EE3-A888-3E4D83FC662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$7C3F9A65-1C32-4A79-A578-B1420F0A4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0081a8bf2bff6493d3f1b8d180ee045f2f4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":1170362,"id":"Q1170362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$2ACC8590-0DED-4D23-A3DD-B1CC9B104278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eacc313f0d4ef569afd893b0d0cdb704390bed59","datavalue":{"value":{"entity-type":"item","numeric-id":3699023,"id":"Q3699023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040652$A812752F-5F16-4E90-BF88-5F7F3BCD48EA","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":"Q1040652$1D0AB704-8BBF-447F-9300-4FA45E1DBD8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32274a46011c8cc85cbd55b1b32aad9b49571636","datavalue":{"value":"10.1007/S00012-009-0001-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040652$47D24B45-905E-4A76-B9F3-169F593DE19D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8b02bcad8b17a807359240f6897ef445b29b9f","datavalue":{"value":{"entity-type":"item","numeric-id":3162710,"id":"Q3162710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7112aec05cf36e7a69216b4e45481971ef44568e","datavalue":{"value":{"amount":"+0.9143842458724976","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":"Q1040652$86617553-D185-45C3-A5C5-EB31C7E5DD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d489092c61bc81c4909dfd85337dff28ac8cda","datavalue":{"value":{"entity-type":"item","numeric-id":5429969,"id":"Q5429969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee1caa2162690997d835ea4d5ece796c32191e4","datavalue":{"value":{"amount":"+0.8772571682929993","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":"Q1040652$5B89CC2E-1F84-4950-B9DD-1177211A893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbb237392f91a023e31b313fc3c5b98b74a3a46","datavalue":{"value":{"entity-type":"item","numeric-id":2634963,"id":"Q2634963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b034d305bc204e011f79e05cf806e85220e9010","datavalue":{"value":{"amount":"+0.8311293125152588","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":"Q1040652$24F5C4A7-4508-4B60-9F2A-AD734048579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78cf7b464767d2019b7cada2295122dcd0e6167","datavalue":{"value":{"entity-type":"item","numeric-id":5070908,"id":"Q5070908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87cc32d17494c9bc12fd9da4e844a0394ae8cfa","datavalue":{"value":{"amount":"+0.8308252692222595","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":"Q1040652$54A693D1-AA40-43C0-8D0B-201528094A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8543a9a30de04d04a44b869a71a3bb86374a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3560590,"id":"Q3560590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7526128188d7ac8f9d14c74d973875e3cad80e9","datavalue":{"value":{"amount":"+0.8293588161468506","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":"Q1040652$91799373-F77B-4732-93AE-15741CEAD202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1040652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1040652"}}}}}