{"entities":{"Q1076816":{"pageid":1087568,"ns":120,"title":"Item:Q1076816","lastrevid":48942742,"modified":"2026-01-06T06:37:59Z","type":"item","id":"Q1076816","labels":{"en":{"language":"en","value":"Naturally ordered transformation semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3955248"}},"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":"Q1076816$5073AC5F-6E88-498D-B0EA-AD6851CCB230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d03a1c5b57df9c21392fa34c4e1a1948d90e8f6f","datavalue":{"value":{"text":"Naturally ordered transformation semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076816$BF2BD749-D846-4F32-83C0-0F18C46D4626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6161c4a718395f5d72485ae33b6aa7bde62e1922","datavalue":{"value":"0594.20062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076816$321FD288-F1CB-4E4A-B40A-4DCE49735133","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dcb673d5ad096e463aa35b292dd803fdd9c4571","datavalue":{"value":"10.1007/BF01490204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076816$35E06F2D-E541-46A0-BCAF-E05365D065CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$EA4C630C-2841-4316-9718-69839A7F4A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1076816$DC81440A-3B5D-4351-98C1-C99027158EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43da56ed1843272bded4777f05b99cff6a5047be","datavalue":{"value":"https://eudml.org/doc/178293","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076816$1F12AF7E-D3D5-4307-86A2-9D2E44DF18B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0a927d3392ce532dd274cae828bac36333fc119","datavalue":{"value":"The full transformation semigroup \\((T_ X,\\circ)\\) on the set X is studied with respect to the natural partial order: \\(f\\leq g\\) iff \\(f=i\\circ g=g\\circ j\\) for some idempotents \\(i,j\\in T_ X\\), which is defined on every regular semigroup (see: \\textit{R. Hartwig} [Math. Jap. 25, 1-13 (1980; Zbl 0442.06006)] and \\textit{K. S. S. Nambooripad} [Proc. Edinb. Math. Soc., II. Ser. 23, 249-260 (1980; Zbl 0459.20054)]). A characterization of this ordering in terms of images and kernels of mappings is given. The maximal and minimal elements of \\((T_ X,\\leq)\\) are found to be the injective or surjective maps and the constant functions, respectively. For every \\(f\\in T_ X\\) not maximal (minimal), upper (lower) covers are constructed and, in case that X is finite, the number of covers for minimal and maximal elements is given. Lower and upper bounds for two elements in \\(T_ X\\) are investigated and necessary resp. sufficient conditions for their existence are given. Further, infima and suprema are located in \\((T_ X,\\leq)\\) and a criterion for the existence of sup\\(\\{\\) f,g\\(\\}\\) is proved. The question for inf\\(\\{\\) f,g\\(\\}\\) remains an open problem in the general case. Finally, for \\(| X| =n\\) and \\(f,g\\in T_ X\\) with \\(| Im f\\cup Im g| <n-1\\) it is shown that the existence of the supremum of \\(f,g\\in T_ X\\) implies that of inf\\(\\{\\) f,g\\(\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$A1E05117-6702-4E1B-A03F-406E0FC4C99A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076816$45E0150B-6D2A-4437-A72C-BD70BAD55264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076816$4C694A03-713B-4AFA-9BFD-0113E4E9F574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4a1b4dea915cc5a11c9883e1b01d78d84526d9","datavalue":{"value":"3955248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076816$C328C8F8-D36B-4C22-BF10-6824D2BC02D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc629cb5c992a1646ddbd9eb0c0d4a75fa8d141","datavalue":{"value":"full transformation semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$7A429F80-13EC-419B-A11A-DCC8954989C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$A5F08BD3-9D68-46A3-B025-B360ABC8205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$F88556AB-A559-4D56-8299-A5DC098C5D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$2B1E034B-4E6A-4173-9E1C-475A4357E574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35f6b490ac92deea30ca80978daf5a6ff14dd8a","datavalue":{"value":"minimal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$DF735EA2-CF0A-4D43-90AB-7D983628BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b913a431c9ba1b6ac51a3311d0f33de70ca685","datavalue":{"value":"number of covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$AC423863-06E8-4206-9754-339863826A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5052c3f6c62873eabc44cf2905cf1b33029c221c","datavalue":{"value":"maximal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076816$1B3D65A9-358E-4C77-B268-57F688395BB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77b3e2b1c71f8d80e036603956496a979c3c9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":587958,"id":"Q587958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$89E933FF-CEDE-4654-9331-5366730B6AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2ba3e9491fc0c5caca012f1cdfa8185cfc340b5","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$9AB72DCD-E115-433E-9FE7-371D5AED54BD","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":"Q1076816$44987FBA-8AEC-4FCE-9A89-AE45DAC790D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4e5c5730e63525f35e29b780086c25be359398","datavalue":{"value":{"entity-type":"item","numeric-id":4750028,"id":"Q4750028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$0A7416F5-E058-49A3-80F6-489E32A800F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$DCA83962-8E64-4392-8A0E-B58D906A7D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854f94271ba1f6fbcee9d868aa05a3f4e7881bff","datavalue":{"value":{"entity-type":"item","numeric-id":3037669,"id":"Q3037669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$808418C8-1C9F-419A-B6C5-4164DFB348F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec836561148afa4f96289a07ef9622f2f70c103","datavalue":{"value":{"entity-type":"item","numeric-id":3884160,"id":"Q3884160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$2862AA1E-9F90-4F71-8EA7-D494BD1008DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea0b279aff67795908abcb76031d53e1716115b","datavalue":{"value":{"entity-type":"item","numeric-id":5522981,"id":"Q5522981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$6A5C3722-7A01-4981-8A1E-233505EA9468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6cdf023295859f2c3ce5551b80872eb2c3535c","datavalue":{"value":{"entity-type":"item","numeric-id":5904565,"id":"Q5904565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$98D34271-EAD7-42A8-AC47-FE7E5194AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf295311c114eaef39ff8163bafa84114f6c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5632799,"id":"Q5632799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$BEC4F420-955F-42EF-85BF-BD8D272DE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8094430cdf4280777d25dde3bccefee62815144","datavalue":{"value":{"entity-type":"item","numeric-id":3215161,"id":"Q3215161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$6A50D807-6745-4D46-9E4C-8AF393844D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b7c3b5aa727370765147c50d260fe86bd64333","datavalue":{"value":{"entity-type":"item","numeric-id":3215262,"id":"Q3215262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$678D57BB-DAB1-4983-8CE8-9FED4043613F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822fe2328bf0193249275bb452ed9fd84598fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3909232,"id":"Q3909232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076816$6F2054FC-2CBD-499A-9356-93213C14F95B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f690d846a1ce25e54626720b8775e013398edd8","datavalue":{"value":{"entity-type":"item","numeric-id":1416730,"id":"Q1416730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a847470d969cf23da9daae5b11ce694e2b35e235","datavalue":{"value":{"amount":"+0.8617040514945984","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":"Q1076816$EC68588C-3199-41F2-AF56-790404399269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e598b270e800fe2b0503fb571d731e5239e7db","datavalue":{"value":{"entity-type":"item","numeric-id":5409879,"id":"Q5409879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa3f6fd8288f1c04e59f31d86fddc5c88b78ef2","datavalue":{"value":{"amount":"+0.8605934977531433","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":"Q1076816$DA58B3C4-1974-40F6-BFB8-1AF5423C72B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f914e990e50aed7e20b1e380958dea24309826","datavalue":{"value":{"entity-type":"item","numeric-id":3534781,"id":"Q3534781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91db262b0eb575b2213a4e3a5a13cae03af6a824","datavalue":{"value":{"amount":"+0.857935905456543","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":"Q1076816$143DD246-142E-44AB-AD7D-7E605D0AFE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b78e70264a684c79b024be88665990af43912aa","datavalue":{"value":{"entity-type":"item","numeric-id":4900477,"id":"Q4900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aaae3386c10fc4a3f01a2a2ed605ef692a306a","datavalue":{"value":{"amount":"+0.8518247008323669","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":"Q1076816$EC67A6C4-3C0D-45D3-8C36-4248CC3AFF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b870a674fd66b9fbdc00734722d558244d6e164","datavalue":{"value":{"entity-type":"item","numeric-id":2196449,"id":"Q2196449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a950dd872246ececf42fd6aa94792351d22250","datavalue":{"value":{"amount":"+0.8467437624931335","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":"Q1076816$B047F511-6262-46F5-A55A-D674D27EB430","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1076816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1076816"}}}}}