{"entities":{"Q2754985":{"pageid":2765724,"ns":120,"title":"Item:Q2754985","lastrevid":79217804,"modified":"2026-05-06T13:24:48Z","type":"item","id":"Q2754985","labels":{"en":{"language":"en","value":"Equational bases for some 0-direct unions of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1668834"}},"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":"Q2754985$8F5E1D8E-CD6A-4556-B3AF-CDF18526C3E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce8018ef325ce1d0d91138aed370e62fbee023d","datavalue":{"value":"0980.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$3161F3A9-F0A7-4464-B641-BD45CB15ED8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2757aa61e850a5243e59661779bbd19b7e13d65","datavalue":{"value":{"entity-type":"item","numeric-id":2714207,"id":"Q2714207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754985$ECEAA6E0-E4BA-410F-AD84-86523B3D05E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b619a966303d6fa593d9bfbe46a08b64a9a63d","datavalue":{"value":{"time":"+2001-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2754985$87CE4806-2E6C-49A4-9A59-222E5C19EBAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$32F7560D-5386-4296-B8CE-5DF05078C086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$6AC66356-ABCD-4FFE-8547-30D782D626A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$5EFB7066-E71C-4244-BE2A-C77AFF2D1CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48000a9dc690ea3f502c61489b8ef1719a731fca","datavalue":{"value":"1668834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$05082B56-3ED2-4ECC-94C8-0C82980AF69A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97901ea3d521ddfdc66cdb6b95643a89d3d0ed67","datavalue":{"value":"0-direct unions of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754985$30F59DBE-958A-4F78-A6E7-DE705EA149BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57830cf484a11de0b8bbdb546db371c2e4b7cec9","datavalue":{"value":"involution semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754985$7BEAA1D0-F9B6-40A7-BEE2-DFBEE4C615AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1178b35afc52e08d361283ac7c78b9537b115d23","datavalue":{"value":"semigroup identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754985$90D1E4FF-DDE4-4FEE-9EEB-4D6CC4009C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754985$08457329-F4FC-47C8-992B-98D16AB4B16D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25213054239637bbfaf5bdba4d0290595880445","datavalue":{"value":{"entity-type":"item","numeric-id":309961,"id":"Q309961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754985$71B769B6-11CF-47FE-8D5E-495BDAA1CD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53947beb9dc5d675b932a5f73d81d12983fd0150","datavalue":{"value":{"entity-type":"item","numeric-id":342843,"id":"Q342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754985$16EB1EC9-A342-49B6-B729-160AE2B4DCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb832f6a65fab44d0e22ceab3900382a522b96ba","datavalue":{"value":{"entity-type":"item","numeric-id":1410437,"id":"Q1410437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754985$892D91BF-1DF7-4518-9F30-371E209814EA","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":"Q2754985$DE8A724A-7DE3-4743-AEC0-E8883B7B1746","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"434a8ba3c12af7b0e75a56929ad7afe94c77378a","datavalue":{"value":"10.1556/SSCMATH.36.2000.3-4.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2754985$1CEEF794-E5BB-4CED-85CD-E454E5E9830C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15135ba9e9a55ab17f1d3a90a479cf3fd6ac642c","datavalue":{"value":{"text":"Equational bases for some 0-direct unions of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2754985$678F11E1-C284-4D0F-98B8-59B4F140FB67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf443734807712c5c5c67cc4aa331ee900f668c8","datavalue":{"value":"An involution semigroup is an algebra \\({\\mathcal I}=(S,\\cdot,{}^*)\\) such that \\((S,\\cdot)\\) is a semigroup and \\(^*\\) is a unary operation on \\(S\\) such that the identities \\((xy)^*=y^*x^*\\) , \\((x^*)^*=x\\) hold in \\(S\\). In this paper the authors investigate the identities satisfied by \\(0\\)-direct unions of a semigroup with its anti-isomorphic copy, which serve as the standard tool for showing that an arbitrary semigroup can be embedded in an involution semigroup. Given the set of semigroup identities they satisfy, the involution defined on such \\(0\\)-direct unions can be captured by only two additional identities involving the unary operation symbol. As a corollary of a result on finiteness of equational bases for such involution semigroups, the authors present an involution semigroup consisting of \\(13\\) elements and not having a finite equational basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2754985$94A4BA47-93BF-43FA-80D9-2E3A850E21AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2754985$4AE5D363-5BAC-49FD-A395-21AAF05B15AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025d08a27e706d76bc8a985ca999ff016971df2b","datavalue":{"value":{"entity-type":"item","numeric-id":280786,"id":"Q280786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea111e43af7507f4fc54363d393e04865271c224","datavalue":{"value":{"amount":"+0.7898779511451721","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":"Q2754985$9256546F-C534-4C8C-9766-D14C263880F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c357cd97ff023c5e90d2e21ae99b36a08caf790","datavalue":{"value":{"entity-type":"item","numeric-id":1946106,"id":"Q1946106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a74f18fe61cd8a42c07fe3f83f6cf9960b11dfb","datavalue":{"value":{"amount":"+0.7886967062950134","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":"Q2754985$6A989718-C422-453E-AF1C-41EF4968B156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4408c0430599e9dda1842bcba398cfdb46a177a6","datavalue":{"value":{"entity-type":"item","numeric-id":1757281,"id":"Q1757281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3989c222f273e5dead9454588fc8095c9b04f8fb","datavalue":{"value":{"amount":"+0.7774941921234131","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":"Q2754985$CDC97581-5317-4213-B10A-4A4E3327B217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cb8a4467d37d0aeff19f3446aaea702de303dd","datavalue":{"value":{"entity-type":"item","numeric-id":5313980,"id":"Q5313980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41ecb3616b73bdc6f24bdbf7c990f73292c2fb3","datavalue":{"value":{"amount":"+0.7756156325340271","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":"Q2754985$C3BFBC43-EEB7-494E-A57A-5A2AEC33FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0248deb7a27312ffa499fc29a18b55d2bf2f04","datavalue":{"value":{"entity-type":"item","numeric-id":2267781,"id":"Q2267781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b7948ceae6d329789b3ca4e86c5fb22525d2d0","datavalue":{"value":{"amount":"+0.7703945636749268","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":"Q2754985$386B1F2C-C1B9-4A97-BEB5-67718A0DF558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational bases for some 0-direct unions of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_bases_for_some_0-direct_unions_of_semigroups"}}}}}