{"entities":{"Q1864447":{"pageid":1875189,"ns":120,"title":"Item:Q1864447","lastrevid":73913493,"modified":"2026-04-14T17:42:54Z","type":"item","id":"Q1864447","labels":{"en":{"language":"en","value":"A combinatorial property and Cayley graphs of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1883941"}},"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":"Q1864447$8B065615-D4CD-481B-8ED6-4AA4B7DD932A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0514b7f4575bc2194c1bed0ec44cbb146d381e9e","datavalue":{"value":{"text":"A combinatorial property and Cayley graphs of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864447$3E7CF99A-7607-4C1A-90E9-340D11472296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2218e73cccc313f17df9306de33b588c395c977e","datavalue":{"value":"1016.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$2C022D9A-0B78-4A35-A1A8-1AADAC0C5EE7","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":"Q1864447$75119274-AFA0-46A4-8AF9-67D40BC74EE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f1285207007c5de1da6998ba639fea3c05ca661","datavalue":{"value":{"time":"+2003-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1864447$8978FB2D-370D-47B9-935A-AA52EAFD41A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c92d9b6072467bc82d1b849fe4e563165b0fa3d0","datavalue":{"value":"Analogously to the Cayley graphs of groups, the Cayley graphs of semigroups are studied here. Let \\(S\\) be a semigroup and let \\(T\\) be a subset. The Cayley graph \\(\\text{Cay}(S,T)\\) is the directed graph whose vertex set is \\(S\\) and in which an edge goes from \\(u\\) to \\(v\\) if and only if \\(u\\neq v\\) and \\(v=ut\\) for some \\(t\\in T\\). Now let \\(D\\) be a finite digraph. A semigroup \\(S\\) is said to be Cayley \\(D\\)-saturated with respect to a subset \\(T\\) of \\(S\\), if for each infinite subset \\(V\\) of \\(T\\) there exists a subgraph of \\(\\text{Cay}(S,T)\\) isomorphic to \\(D\\).   The main results of the paper are the following two theorems. Theorem 2.1. Let \\(D\\) be a finite graph which is not null, and let \\(S\\) be an infinite semigroup. Then the following conditions are equivalent: (i) \\(S\\) is Cayley \\(D\\)-saturated with respect to \\(S\\); (ii) \\(S\\) does not have an infinite set of pairwise incomparable principal right ideals, and if \\(D\\) has a cycle, then the number of principal right ideals in \\(S\\) is finite.   Theorem 2.2. Let \\(D\\) be a finite graph which is not null. Each infinite semigroup \\(S\\) has an infinite subset \\(T\\) such that \\(S\\) is not \\(D\\)-saturated with respect to \\(T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$F0DB7919-772C-4834-8284-B96AAA119795","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864447$A28A7B34-F905-47AF-9109-B2A520107423","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$0A25254F-0E54-4D6A-9206-8E1BA8798665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$E9FB30DC-0509-44C6-849C-1F72844E9891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$9F78DB00-3B3B-406B-A7CC-B919CC668DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$CFE399EC-7506-4584-A8A7-E0DB6BC4D211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$40B1F31A-D211-4932-846E-4F6DCC5D6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$8B7EE431-A4D7-48E8-A573-95942667CA2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ebc45dea67e69dad38c347c1489e67b6b05e77","datavalue":{"value":"1883941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$233B357F-81F4-4754-95A2-77060EB02772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b662910805c9a07e0c6c3426fb325e9e16339338","datavalue":{"value":"Cayley graphs of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$A35DBF3D-5A42-4E80-93CF-8B6E49250587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$997D42FB-343D-46D2-9F1A-5824C44DBF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"331f29dc9958656f1574e231ceab33df14b649b5","datavalue":{"value":"finite digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$C467A315-055B-4E9E-A394-1F2FB85FE561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6166f755a208fa88c0c1d169f6ac74548c25e9","datavalue":{"value":"Cayley \\(D\\)-saturated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$4142C608-2C9F-4F9C-BF73-4B69A81154FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020ea4568bd289be1d165ebd0142f10be6ca5b61","datavalue":{"value":"principal right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864447$6801A40A-0B1C-4A5E-9246-BB39720ADE63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"601cd213c15a855a9dba2c87d77c401d622edf01","datavalue":{"value":{"entity-type":"item","numeric-id":284650,"id":"Q284650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864447$1A9BC5A0-AC38-422E-8E07-AC7DDAD41DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a9ee40eeeb9aa6d5366dd84fc69fb5b4624b4f","datavalue":{"value":{"entity-type":"item","numeric-id":1683614,"id":"Q1683614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864447$92739A8A-9209-47EF-B47E-9F22F6A6C2E7","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":"Q1864447$4FCD4180-B577-4EEA-BF71-5EBFE6D62D84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270c8c5933a9be6bf148e225af8400cf4a5c1f47","datavalue":{"value":"https://doi.org/10.1007/s002330010162","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864447$1F80EF98-7918-473F-9571-E0DCD825AAA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c85db8504cc32ae26ab47559c6290910e373e9e0","datavalue":{"value":"W2003865102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$72182823-5717-4693-A322-450248DA1473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1649831c8297461720a39793d96a1955c757323","datavalue":{"value":"10.1007/S002330010162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864447$465FCA5D-7AF3-46AE-AA58-49877DD96707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf45382d5a85f9792aec94c213429a69558964bc","datavalue":{"value":{"entity-type":"item","numeric-id":2267782,"id":"Q2267782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f181b604e866161173d77700a5a62ef1606ceb","datavalue":{"value":{"amount":"+0.9370362162590028","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":"Q1864447$09168C55-CB96-4295-AF3C-C73DBB60B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9642e6ef7546705e45d2d2d7a9cbbf815d323f1","datavalue":{"value":{"entity-type":"item","numeric-id":2634961,"id":"Q2634961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6292e6598250e7f75841e626834c1270b0f9823c","datavalue":{"value":{"amount":"+0.9166721105575562","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":"Q1864447$E5A43155-4D0F-427B-A14F-47170EE32617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b11e54790cb1a19aaeb45c86cf9df92240493de","datavalue":{"value":{"entity-type":"item","numeric-id":415532,"id":"Q415532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b352b5631e892a26c8d4e5d6f9f4cff3987eb8","datavalue":{"value":{"amount":"+0.9112268090248108","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":"Q1864447$1722E225-54E1-488D-984B-BA52CAB6571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345fdad66100d4d9d5a6a33edea011b7d8bc29bf","datavalue":{"value":{"entity-type":"item","numeric-id":1869031,"id":"Q1869031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f983c6d4ede4a53a59099c9dd6aec68920bc7b5","datavalue":{"value":{"amount":"+0.9110653400421144","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":"Q1864447$DDB767EE-3678-49A1-BC76-9EA7829A94E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89543f0ab0092cf9e1be934adf04e3eef913a331","datavalue":{"value":{"entity-type":"item","numeric-id":5246024,"id":"Q5246024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221949bc625a6ecaa70adc31d56f988213fb78c2","datavalue":{"value":{"amount":"+0.8613764047622681","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":"Q1864447$4B80A58F-11B0-4CC7-B518-FFE436322B1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinatorial property and Cayley graphs of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinatorial_property_and_Cayley_graphs_of_semigroups"}}}}}