{"entities":{"Q6607776":{"pageid":14218933,"ns":120,"title":"Item:Q6607776","lastrevid":57118716,"modified":"2026-03-26T16:52:09Z","type":"item","id":"Q6607776","labels":{"en":{"language":"en","value":"\\(E\\)-unitary and \\(F\\)-inverse monoids, and closure operators on group Cayley graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7915667"}},"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":"Q6607776$BFAB2C16-7A2E-4581-976C-DACB955AA1BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ee204a44301f5a5b9f7ee88ca5b275936ac425","datavalue":{"value":{"text":"\\(E\\)-unitary and \\(F\\)-inverse monoids, and closure operators on group Cayley graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6607776$C726FA31-92D9-46DD-8E49-6D2599A181B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c12a74e199755604110d1524d1b6e6d94c98cac4","datavalue":{"value":{"entity-type":"item","numeric-id":250197,"id":"Q250197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6607776$FDFB3E69-8AF5-4C04-95C6-94693155F0A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6607776$8365E2D3-B3F9-4194-BF12-46ADDA9A5B17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c1d820a73b34e5ff6fe8014a847229a5453a149","datavalue":{"value":{"time":"+2024-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6607776$1FE76C6D-8BE3-4492-97B7-EA2E4CA93937","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f131096f3917c4f3f9e46da648a55ab2d1c4fb94","datavalue":{"value":"An algebra \\(S\\) is called \\(X\\)-generated via the map \\(\\iota: X \\to S\\) if \\(S\\) is generated by \\(\\iota (X)\\). Let \\(S_1,S_2\\) be two \\(X\\)-generated algebras via the maps \\(\\iota_1: X \\to S_1\\) and \\(\\iota_2: X \\to S_2\\). A homomorphism \\(\\psi: S_1 \\to S_2\\) is called canonical, if \\(\\iota_2 = \\psi \\circ \\iota_1\\). For an inverse semigroup \\(M\\), let \\(\\sigma\\) denote the minimum group congruence of \\(M\\). An inverse semigroup \\(M\\) is called E-unitary if every element greater than an idempotent is idempotent as well and \\(M\\) is called F-unitary if each \\(\\sigma\\)-class has a greatest element (with respect to the natural partial order on \\(M\\)).\\par The categories \\(\\mathcal{E}(X,G)\\) and \\(\\mathcal{F}(X,G)\\) of \\(X\\)-generated E-unitary and respectively F-unitary inverse monoids \\(M\\) are considered where \\(G\\) is greatest group image of \\(M\\) considered up to canonical isomorphism, and the morphisms are canonical inverse monoid homomorphisms.\\par For an \\(X\\)-generated inverse monoid \\(S\\) (in particular, a group), the Cayley graph \\(\\Gamma_X\\) of \\(S\\) is defined. Let Sub\\(\\Gamma_X\\) and CSub\\( \\Gamma_X\\) be the set of all subgraphs and the set of all connected subgraphs of \\(\\Gamma_X\\) respectively. The main theorem of the paper says that for an X-generated group G (1) the category \\(\\mathcal{E}(X,G)\\) is equivalent to the category \\(C(X,G)\\) of \\(G\\)-invariant, finitary closure operators on (CSub\\(\\Gamma_X,\\subseteq)\\) and (2) the category \\(\\mathcal{F}(X,G)\\) is equivalent to the category \\(S(X,G)\\) of \\(G\\)-invariant, finitary closure operators on (Sub\\(\\Gamma_X,\\subseteq)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$0E75EF77-6053-4B9F-8632-AC72E7FEBFE4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6607776$762B9753-9A8A-4DE5-8CB8-0902353A93B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6607776$76C32781-F392-4AB2-875F-71F629C1055A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6607776$08A7AF50-2867-4CCA-A84C-9B2F8D4DB51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6607776$3714CD09-E631-4CC9-BB47-7AC62C42415C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b9b8a16d946c9f0f9b8f5423ac0800b9747d041","datavalue":{"value":"7915667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6607776$103E6EAA-B0CA-4CA1-BF9B-B08279EAF8A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$4D551C2B-1A99-44BF-9A84-870ED011CD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a7cc0d656d735cd3799a3a56a504f96d21d719","datavalue":{"value":"\\(E\\)-unitary inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$CEA4B12A-604B-425E-B6D2-5DAC41217A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c10196d9719eca3dd1e0ab85604ce0c6657452c","datavalue":{"value":"\\(F\\)-inverse monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$50AA71F9-D854-4451-B46C-1E1E8C379A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f046045effe4d96bd7d28b79a6e3ca55890681","datavalue":{"value":"Cayley graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$7AD7C7A3-7C12-4BFC-B7AE-8ED150981F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6607776$518A180E-236D-4E21-BA30-544AA8D3B44E","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":"Q6607776$A121343C-092B-4AD7-B2C2-A8EB008C6581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"403f5359adc1fd2514dbe3ed60e08c7bfdd6acb8","datavalue":{"value":"10.1007/S10474-024-01443-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6607776$2D38C87F-D082-4D65-A5F4-A558F172CA7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5931ac5480ea9960401e06a4f899419597565285","datavalue":{"value":{"entity-type":"item","numeric-id":1122663,"id":"Q1122663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dad300f4819556fc3cde89165339effab4ce964","datavalue":{"value":{"amount":"+0.8420764207839966","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":"Q6607776$0B7F8C2A-84A0-47A2-B919-7737F6D590E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfd5d3a57b255d4bbbadfee169f038ec67fead9","datavalue":{"value":{"entity-type":"item","numeric-id":4407426,"id":"Q4407426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623449a30b3a2b7d02fc42dd4df968224a25fa84","datavalue":{"value":{"amount":"+0.7655265927314758","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":"Q6607776$D1922014-3FC9-4040-9886-BDFC728891AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc85859c8b85b08c7e1659bdb71e5b7ea5ffa65","datavalue":{"value":{"entity-type":"item","numeric-id":6626467,"id":"Q6626467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e138166a7fb9ce438130f9359af5a94765a503d3","datavalue":{"value":{"amount":"+0.7644942402839661","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":"Q6607776$6033C8C7-4712-455E-A675-0D285A7CAF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27781a9f2a275d0d4b53ec9dbc39cad067ded4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934081,"id":"Q4934081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af2e1d37cbbb3d341f541a8cc89b0fdd0f454b3","datavalue":{"value":{"amount":"+0.7633121609687805","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":"Q6607776$446A71CD-1A35-4B50-894D-282B4610F49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f260e9409a666a9f20e533e134cb8fa6151c91","datavalue":{"value":{"entity-type":"item","numeric-id":579419,"id":"Q579419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015f7935a1498dd052242109d6358f23c697f543","datavalue":{"value":{"amount":"+0.7442112565040588","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":"Q6607776$A85CB4E4-056D-4F96-AD57-D9B906CB9E30","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6607776$21E1E7BC-E9A5-4B82-BC31-69815F98118F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6607776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6607776"}}}}}