{"entities":{"Q1194436":{"pageid":1205185,"ns":120,"title":"Item:Q1194436","lastrevid":66831396,"modified":"2026-04-12T13:08:58Z","type":"item","id":"Q1194436","labels":{"en":{"language":"en","value":"Bilateral semidirect products of transformation semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64380"}},"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":"Q1194436$888279A7-588D-4825-A036-EAA914083505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"401ac3ff77056d256336366dd28208c6a795d3a7","datavalue":{"value":{"text":"Bilateral semidirect products of transformation semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194436$354BE569-5632-4995-A2D1-D2CB7C67D933","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4e15c2e4c36dd32326bed5a2a04df30524856af","datavalue":{"value":"0776.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$7095A02F-14E4-4FDE-A4BA-C6BE626DA164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5126fa5f4c2574a1a420b86c3d09a2816816dc71","datavalue":{"value":"10.1007/BF03025758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$83C5F5E8-9C82-41F2-94C2-47BEA03DF945","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$84FE9E4E-846A-4549-B3DE-E507BA3AA76A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194436$D2541099-EBA0-4F53-A2FB-983FCBCE37F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"386fad846d51c5c44d2c8aa18a667232dcf80033","datavalue":{"value":"https://eudml.org/doc/135180","type":"string"},"datatype":"url"},"type":"statement","id":"Q1194436$E964F4B5-7366-4623-A776-58648B6A7B21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"384ae8545837eb5974e49283c43e3b78723e09ee","datavalue":{"value":"For a set \\(X\\) denote by \\({\\mathcal T}(X)\\) the full transformation semigroup on \\(X\\). A semigroup \\((S\\times T,\\circ)\\) is called a bilateral semidirect product of semigroups \\((S,\\cdot)\\), \\((T,\\cdot)\\), a homomorphism \\(\\varphi: (S,\\cdot)\\to {\\mathcal T}(T)\\), and an antihomomorphism \\(\\delta: (T,\\cdot)\\to {\\mathcal T}(S)\\) if \\((s_ 1,t_ 1)\\circ(s_ 2,t_ 2)=(s_ 1\\cdot\\delta(t_ 1)(s_ 2),\\varphi(s_ 2) (t_ 1)\\cdot t_ 2)\\) for any \\(s_ 1,s_ 2\\in S\\), \\(t_ 1,t_ 2\\in T\\) when \\(\\varphi\\) and \\(\\delta\\) satisfy \\(\\varphi(s)(t_ 1\\cdot t_ 2)=\\varphi(\\delta(t_ 2)(s))(t_ 1)\\cdot \\varphi(s)(t_ 2)\\), and \\(\\delta(t)(s_ 1\\cdot s_ 2)=\\delta(t)(s_ 1)\\cdot\\delta(\\varphi(s_ 1)(t))(s_ 2)\\) for every \\(s,s_ 1,s_ 2\\in S\\), \\(t,t_ 1,t_ 2\\in T\\). We say that a transformation semigroup \\((X,H)\\) is a bilateral semidirect product of semigroups \\((S,\\cdot)\\) and \\((T,\\cdot)\\) if \\((H,\\circ)\\) is isomorphic to a bilateral semidirect product of \\((S,\\cdot)\\) and \\((T,\\cdot)\\). For any finite chain \\(C\\), the transformation semigroup \\(\\text{End}(C)\\) of all order preserving mappings of \\(C\\) into itself is a homomorphic image of bilateral semidirect products of several semilattices, and \\({\\mathcal T}(C)\\) is a homomorphic image of a bilateral semidirect product of the symmetric group on the set \\(C\\) and \\(\\text{End}(C)\\). Thus every finite semigroup divides a bilateral semidirect product of a group and an aperiodic semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$BC6D639B-FD5F-473D-A970-6963EDF1BA7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$6A3C49BF-2196-411A-A6B2-BF05D21AF896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$AEA2EAB1-BEA4-47CF-A607-26E5FF24E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$5AA14A0E-A7BD-431F-B1C6-9EB16A3504A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5cdd5bc7f1396854c44d656be4fa933b05a53b7","datavalue":{"value":"64380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194436$429913C9-A754-4BD2-8C36-337F1A3CC893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc629cb5c992a1646ddbd9eb0c0d4a75fa8d141","datavalue":{"value":"full transformation semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$6A732E2D-52A0-4CBD-B323-27E7FF16FA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea88982b2a09df59f5168a6cdf6da6e82aaf8ec","datavalue":{"value":"bilateral semidirect product of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$E2054862-1552-43CB-B34C-8160E57B52B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb5835a749ad65b784bb3f6de64e3b83e10bb28","datavalue":{"value":"finite chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$778B0F9F-2D6B-4E19-B3E0-2D5125FC0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e68ba81db08355577ecba42eb693b3ed5d053d","datavalue":{"value":"order preserving mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$204C5CCB-1893-47B3-9A02-E00E916874CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$34CBAC63-33FE-4457-8C20-060984B65B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$8D798CC2-573A-407C-AE83-3184E0FFD1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fcdb76a6b8180a3b839661dff45bbfa7b7c30e","datavalue":{"value":"aperiodic semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194436$EF5EB29E-12A7-4C49-A20A-9B75449C759D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71cf5a5d4d98b784b7b8922d8dd40d25e8e18a0","datavalue":{"value":{"entity-type":"item","numeric-id":685445,"id":"Q685445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$FFC1AE4A-85DC-44E9-BC4E-E6CFE7C50FBE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$9AA63A42-E197-4210-87CF-AEE94EAF56F0","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":"Q1194436$573C2ACD-31A0-42BB-9FE6-96CE7AD2B715","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"683877d9a9b474affdfd0551250a5de2b2b54cc9","datavalue":{"value":{"entity-type":"item","numeric-id":5721233,"id":"Q5721233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$8E29A174-9ED8-40F0-AA65-E50BB68BFF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff02eca66ac99a9e1441884d48f0e5560f91e2","datavalue":{"value":{"entity-type":"item","numeric-id":1087650,"id":"Q1087650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$D82D9406-8C88-4AAE-B7D5-10C84D9B3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$D28704DF-9ECF-44C4-B80A-9E5FD04CC48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be659f691346cc2d1d4e02d050e4e58ac593725a","datavalue":{"value":{"entity-type":"item","numeric-id":5895501,"id":"Q5895501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$F8220568-6944-48D9-BE98-7A5FA0D841CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edaa2535a00a6e8ea37a540bdfdf4b6f7d0a36d1","datavalue":{"value":{"entity-type":"item","numeric-id":770308,"id":"Q770308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$67BFDCE2-C0FA-4C81-AC28-15DFBB5099F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3803a393431be7c5901e850a7261e1f0d62c9301","datavalue":{"value":{"entity-type":"item","numeric-id":1194436,"id":"Q1194436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$189BB8B4-1479-4D95-9835-22A4C9A6EA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54f16c91b83860818dad4cf02ca57168fdc1e07","datavalue":{"value":{"entity-type":"item","numeric-id":793158,"id":"Q793158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$9AD106E8-5072-4136-830B-2E6B69906A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ac96a40a38e114bac68f0f93b4e426de019ce5","datavalue":{"value":{"entity-type":"item","numeric-id":584533,"id":"Q584533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$CA0D9E1E-67B9-43D3-A885-966C3AB38060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3461c9783b79ebef90caed8ab6bfcaf1cc5c25","datavalue":{"value":{"entity-type":"item","numeric-id":912218,"id":"Q912218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$DB9A7D54-CD96-4C95-95B2-DDCAE6C93F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c0d231944e6c7ec9c335930d439b00969f7b77","datavalue":{"value":{"entity-type":"item","numeric-id":1825289,"id":"Q1825289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$C7F623BD-053A-48E4-9559-4A36186DE916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194436$8EF0050B-92EC-4DA7-A389-F2DAED8A5976","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f66f88756c757008183b36bfbc2ac78b2aa7ea1","datavalue":{"value":{"entity-type":"item","numeric-id":535232,"id":"Q535232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8784bf56c928a97615043f8d7b61bbb4d5e1a3","datavalue":{"value":{"amount":"+0.8289080262184143","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":"Q1194436$ED9DC1C4-BA2D-4833-8834-EC1E5B0B80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4157c82a32be968035ac9b5d588191b059d445","datavalue":{"value":{"entity-type":"item","numeric-id":685446,"id":"Q685446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0dc4315e408a67e2776a243d19dcb9ab37580e","datavalue":{"value":{"amount":"+0.7989311814308167","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":"Q1194436$B138A50C-B96C-4B25-81B1-5882AAB7D7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97e64f83b48f0ace84dc88e5d0199ece38660e5","datavalue":{"value":{"entity-type":"item","numeric-id":2812595,"id":"Q2812595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b407b255f10c7f6db814dfa1acf0bc5c41cdd6c","datavalue":{"value":{"amount":"+0.7955922484397888","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":"Q1194436$F1AA19C2-DEF1-4B36-B633-41CA5E4B6B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc57e127064f942ab5e9752cfcd8d7be9946278","datavalue":{"value":{"entity-type":"item","numeric-id":4347973,"id":"Q4347973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba6f696ebe9cb7686e05df0b2dc41ed3ccf6a6e","datavalue":{"value":{"amount":"+0.7796831727027893","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":"Q1194436$94E9504F-C7C2-407A-B0AE-32FA6168D00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3368e2fdb1c8c65bcbe4ae1531dbede8ae5d7f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5016966,"id":"Q5016966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f587cca5f29dd5edae0cb8b5effe3f1a652891a","datavalue":{"value":{"amount":"+0.7392106652259827","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":"Q1194436$99F0FD55-EA80-4192-B05C-1A6C8DB4CA5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bilateral semidirect products of transformation semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bilateral_semidirect_products_of_transformation_semigroups"}}}}}