{"entities":{"Q1065940":{"pageid":1076692,"ns":120,"title":"Item:Q1065940","lastrevid":66070890,"modified":"2026-04-12T07:20:18Z","type":"item","id":"Q1065940","labels":{"en":{"language":"en","value":"Isomorphism problem of power semigroups of completely 0-simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922983"}},"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":"Q1065940$C72872A6-EE0D-4BA3-B537-6DFFCD6EA24D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"960da56b9949b9fef672632f694a78ef2fb338c9","datavalue":{"value":{"text":"Isomorphism problem of power semigroups of completely 0-simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065940$A0410410-727E-44AC-A7FC-EE335A4E5285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9674a1994d66fff72b9bada9c489a13c839f97dc","datavalue":{"value":"0577.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$41BB72B6-5A4C-4093-BE0A-1C41FCF64086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b85516b4d1087a8331e0ed5c42edfbb8697871db","datavalue":{"value":"10.1016/0021-8693(86)90002-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$DD720458-8184-41E7-8B9E-C41C4EC17558","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c18f32c209a764a533f4b1e1cfdcd4bcfc2bc30","datavalue":{"value":{"entity-type":"item","numeric-id":589105,"id":"Q589105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$EFC901D2-EB68-47F4-8941-A7A4C2A1DC53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$768BFB98-923B-4508-9F6F-9485B2427750","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":"Q1065940$603C924E-32CB-4B57-9326-7F162A5EACC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a6b27bf6214cfb43be8ef94b0e39a2d23af0adc","datavalue":{"value":"Let S be a semigroup. The power semigroup of S, denoted by \\({\\mathcal P}(S)\\), is defined to be the family of all nonempty subsets of S with the operation defined by \\(AB=\\{ab:\\) \\(a\\in A\\), \\(b\\in B\\) (A,B\\(\\in {\\mathcal P}(S)\\}\\). If \\({\\mathcal P}(S_ 1)\\simeq {\\mathcal P}(S_ 2)\\) it is not necessarily true that \\(S_ 1\\simeq S_ 2\\). The author proves that if \\(S_ 1\\) and \\(S_ 2\\) are completely 0-simple semigroups then isomorphism of their power semigroups does imply that \\(S_ 1\\simeq S_ 2.\\)    The proof is very difficult, and proceeds by introducing two concepts, invariant under isomorphism, of a 0-minimal ideal of \\({\\mathcal P}(S)\\) and a maximal ideal of (\\({\\mathcal P}(S))^ 4\\). The combinatorial homomorphic images and the left and right reductive homomorphic images play an important part. The corresponding results for completely simple semigroups can be recovered from the general discussion, or can be obtained directly.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$725B9039-28B5-4150-9151-B38D29FBFC66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$BED28FD1-A2CF-4072-8B14-C952C116DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$B87CE5CA-D86E-4178-A0D7-A660FDB08F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$50AC75B4-15B4-4E07-9A0F-092C3452DF04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53d077b3d821a20d5d5bc4640f5af99b61d5deb3","datavalue":{"value":"3922983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$A6A0CAEC-5F64-4494-A49C-266FE9AFF79E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79738e15c877f48e56276bee113ed90f909d8a42","datavalue":{"value":"completely 0-simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$42F9D938-AC38-456C-A909-ECCC8EEC4E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2985a943b5b6c8c0ce3a86864f237a517007b9","datavalue":{"value":"power semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$B331C11F-400A-4812-BA0B-65CD8076B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10530bde3294a768164f56601ee2917877b602ac","datavalue":{"value":"0-minimal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$879C96B5-9A7D-416F-A6FB-3526F49D304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1c6c913bddc092cf968730c52151910e3da835","datavalue":{"value":"maximal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$795BEB18-A722-4EED-9F5E-2B1B570259F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128ab0f0d1abd24e4e9e17951ba8da83b12f7961","datavalue":{"value":"reductive homomorphic images","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$F4E8535A-D364-4655-BF8C-2E9EE5803E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065940$3D609D33-AB01-464F-8B39-E12F12E702A4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$451352DC-2101-421A-B8AC-96F576575359","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":"Q1065940$1F1FA919-CD52-4783-9077-623F82E33D2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"841fd0b21d412dd2755f0a2e28c431d1583dc831","datavalue":{"value":"https://doi.org/10.1016/0021-8693(86)90002-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065940$B16DA1F1-BAA2-4AF7-8106-814237AC7853","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4de4965a21625cde79b17c068ac5e5f0842a4bde","datavalue":{"value":"W2077819936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065940$67CD320A-276D-452E-9F3B-C0E78387F330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74faa1ffcfdd4b9bdbe19f4f728147e08fe100a9","datavalue":{"value":{"entity-type":"item","numeric-id":5522979,"id":"Q5522979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$A263C88E-481F-48C5-ABB4-82228DADD22D","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":"Q1065940$02B2F91F-984F-4B6D-8E44-702543223515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd1bd8b807f19a88f0491f1b7fe145c451c3067","datavalue":{"value":{"entity-type":"item","numeric-id":5820578,"id":"Q5820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$1F40C08B-5D2A-4F97-A45A-871B63F92E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c62ac18b05a8fe7363ab24e8d2beaa38ed0017","datavalue":{"value":{"entity-type":"item","numeric-id":786932,"id":"Q786932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$F58D054F-1F1C-4AF2-92E5-F33148F9F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c419243afad31356ec29509672172e3ae5b952c","datavalue":{"value":{"entity-type":"item","numeric-id":2562936,"id":"Q2562936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$40C076A2-F4CC-444A-8F1B-49DB5F8AFF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$5F88BED8-3FA6-409F-B9B5-B2E4D51FADD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4a1618856ee8ec44eb6d1cf1ae1f8a0a0eefd7","datavalue":{"value":{"entity-type":"item","numeric-id":1246470,"id":"Q1246470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$87E67BE0-1499-4CEF-9B97-644395A35D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa36a2d11df49030c68473bd7b143fa217b68d6","datavalue":{"value":{"entity-type":"item","numeric-id":4150465,"id":"Q4150465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$1285EE83-1404-4910-8E55-C7DC2F625DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcae550e64a51fe850602c05b26761699b99f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3274187,"id":"Q3274187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$37DBB764-DFB3-4A18-B3CA-2380F804E266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99fce07c82b57848683ad98d6493b1ad543942c","datavalue":{"value":{"entity-type":"item","numeric-id":5583883,"id":"Q5583883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$D3EC140B-E0D9-445E-92C6-9B01F440305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c200c23310238e002e82bee9c37f251bc72cb25e","datavalue":{"value":{"entity-type":"item","numeric-id":3969123,"id":"Q3969123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$7F7A4D59-AC70-4B0E-A2F2-1B9AA349CEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a4e99020f4024caeb584386620c71265938c5f","datavalue":{"value":{"entity-type":"item","numeric-id":3222376,"id":"Q3222376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065940$5C2AF0F8-252B-4EEA-926B-C2B38084C6A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014a94b4575895e0e068899b39d551c86d87de17","datavalue":{"value":{"entity-type":"item","numeric-id":3358950,"id":"Q3358950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4fd3de6ea3a1298d4dc646a662e92e3c2b4684","datavalue":{"value":{"amount":"+0.8856400847434998","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":"Q1065940$0A0665D9-9B4B-4005-90EB-88894BDDF7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2925fb69bcea58c31d164deafcc1208d1e77480","datavalue":{"value":{"entity-type":"item","numeric-id":3760741,"id":"Q3760741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3ea0ce8fa7d2f04e398fb3d96e6046de7d7fa0","datavalue":{"value":{"amount":"+0.8272536396980286","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":"Q1065940$C63858EA-D486-40BB-B6DC-A45B867CC139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa8607b7d25c55ad4a2d5e4a1e39bd7332c5424","datavalue":{"value":{"entity-type":"item","numeric-id":3513481,"id":"Q3513481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4278b2351c6aa7119b004d15dd8fa87638cf9cbc","datavalue":{"value":{"amount":"+0.8035796284675598","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":"Q1065940$DA44D5FC-E73A-4B29-AC1D-CCB00FC06A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68411ab96d6133b0bdb2e1e80d8cb5ba4a4ef6dd","datavalue":{"value":{"entity-type":"item","numeric-id":3677934,"id":"Q3677934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac3744423c40ce1ebc1a03f475f573a3a57896e","datavalue":{"value":{"amount":"+0.7984975576400757","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":"Q1065940$BEDB4DCC-C261-4F4D-B362-B1C2DE9D41EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfa3cb2ef6905da43021092c0684741f7a8f779","datavalue":{"value":{"entity-type":"item","numeric-id":3798887,"id":"Q3798887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07311d34bf9e7af455b4e14b5e9179fba9273203","datavalue":{"value":{"amount":"+0.7965657114982605","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":"Q1065940$2B142D77-9B14-46F9-8EA7-C7957E2746E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphism problem of power semigroups of completely 0-simple semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphism_problem_of_power_semigroups_of_completely_0-simple_semigroups"}}}}}