{"entities":{"Q305770":{"pageid":307537,"ns":120,"title":"Item:Q305770","lastrevid":60957465,"modified":"2026-04-10T20:14:29Z","type":"item","id":"Q305770","labels":{"en":{"language":"en","value":"The structure of a graph inverse semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620657"}},"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":"Q305770$6294E44B-A98D-4BA4-9546-B2355A7887CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c49e98becd4340720de8bb6d60285dcb2eaf4f51","datavalue":{"value":{"text":"The structure of a graph inverse semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q305770$3F86A743-943D-4A81-865E-92230FE85391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6a1a200932b3109c23886fb59266ea1edd8733","datavalue":{"value":"1354.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$5A25C716-4EE3-4B4F-B235-D8C8B4B6D31E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a811e5ecff619455bb2096a1513a92ca7069bc01","datavalue":{"value":{"entity-type":"item","numeric-id":305768,"id":"Q305768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$A99DC59C-E302-477D-B1A7-0C12D636B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1537c45749fde170b34adb6bf2e936507286bc92","datavalue":{"value":{"entity-type":"item","numeric-id":343473,"id":"Q343473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$A0AB8832-8D39-4BDE-994A-D0107A2AC24C","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":"Q305770$9AC10869-11A3-4281-AF3A-8E3575D6A3FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q305770$246CF5F2-09D3-49E9-AC6E-A3CCF6392B9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3408ba6fd420de6fbbd0b8adfabe8ffee412c79f","datavalue":{"value":"https://arxiv.org/abs/1409.4380","type":"string"},"datatype":"url"},"type":"statement","id":"Q305770$E341D7F1-F1D5-449A-9C13-8F1CF6A2594F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a38a0fc781b99c4f701038b312b84c36a47245a9","datavalue":{"value":"Let \\(E = ({E^0},{E^1},{\\operatorname{r}},{\\operatorname{s}})\\) be a directed graph with the set of vertices \\({E^0}\\), the set of edges \\({E^1}\\) and the edge's source and range functions \\({\\operatorname{s}},{\\operatorname{r}}:{E^1} \\to {E^0}\\). The graph inverse semigroup \\(G(E)\\) of \\(E\\) is the semigroup generated by the set \\({E^0} \\cup {E^1} \\cup \\{ {e^{ - 1}}\\mid e \\in {E^1}\\} \\) satisfying, for all \\(v,w \\in {E^0}\\) and \\(e,f \\in {E^1}\\), the identities (\\(\\delta \\) is the Kronecker symbol): \\(vw = {\\delta _{v,w}}v\\); \\({\\operatorname{s}}(e)e = e{\\operatorname{r}}(e) = e\\); \\({\\operatorname{r}}(e){e^{ - 1}} = {e^{ - 1}}{\\operatorname{s}}(e) = {e^{ - 1}}\\); \\({e^{ - 1}}f = {\\delta _{e,f}}{\\operatorname{r}}(e)\\). Here, congruences and corresponding images of graph inverse semigroups are investigated. The authors describe non-Rees congruences on \\(G(E)\\), show that quotient of a Rees congruence is another graph inverse semigroup and show that a homomorphism of directed graphs can be extended to a homomorphism of corresponding graph inverse semigroups preserving zero iff it is injective. From this, it follows that the automorphism group of a graph is isomorphic to the automorphism group of the graph's inverse semigroup and that every group is isomorphic to the automorphism group of some graph inversive semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q305770$64CAF8DE-94D9-4FC1-BCB3-5D3827F13B7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$C57CE076-1626-4802-8E0E-225A5A235042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$56203EE8-5E9C-482D-9EDD-50C7638F76DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$008F2A68-D2AD-402B-A507-0902713FE065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$4E49B301-0E6C-4EB9-AA0C-31A17FCD93D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76cd04a1a08a80893cc59991d2f05a8fdd77def5","datavalue":{"value":"6620657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$ED8662CC-8181-4F81-B024-502B7A2568FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q305770$1DF0C872-9699-4D95-BB48-6BF3BD6A86C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf023653318cc5b8c727563611596d2cf1a818a","datavalue":{"value":"directed graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q305770$C46E056C-E065-4DC0-BC4A-79FA9DF4ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3738f832cdc0542e78f4e41c5b78dedafedf04","datavalue":{"value":"graph inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q305770$62F0891B-72F6-40CC-8130-8D810476842F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1880db0aa3e513c029c26676134ba49e79e6ec2b","datavalue":{"value":"semigroup congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q305770$F52187DF-30EA-4136-BEB4-8FBDD6F65485","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$CD01D0D7-BBB8-4AEF-B843-BBE1EAA111FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72949cb78a9e4fe9e307f97e777ed946202f0d51","datavalue":{"value":{"entity-type":"item","numeric-id":23813,"id":"Q23813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$21AF2B61-080C-4177-A9B3-87BFB7A681DA","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":"Q305770$368F2428-202F-4970-BFDE-6FA1316628D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc4bcaee69c4adcce4d5e6b592c183f17918a1e8","datavalue":{"value":"W3098240331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$3799F9B2-5AD4-4D9E-BC8F-612BE12BA871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dc43d4157746a4fbf7a12656128619ebbe8316","datavalue":{"value":{"entity-type":"item","numeric-id":2369954,"id":"Q2369954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$4C692719-FE40-463C-8E61-FFE638B9F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff364a9e7f2020c5ca11308c513126e337bb238a","datavalue":{"value":{"entity-type":"item","numeric-id":1228842,"id":"Q1228842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$F8F0180F-5E70-4230-BD4F-026487F0C97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0ae375e734015729836d932e95bdb62cf91b6e","datavalue":{"value":{"entity-type":"item","numeric-id":2808038,"id":"Q2808038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$16F5B438-7009-471C-81D8-CE51B63232FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a13d21c3e045cf91c34c22abde152c2cf7d294","datavalue":{"value":{"entity-type":"item","numeric-id":3737673,"id":"Q3737673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$DE436544-E620-4674-B60D-05748B8776A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73faa74cc7c9e5b812e6afb23eff7f7da17c0a6b","datavalue":{"value":{"entity-type":"item","numeric-id":5771659,"id":"Q5771659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$87496478-8C1E-4090-A5D0-C656B942ACD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$688792B5-5D3B-4585-802C-58748083E7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5290f9423484d00c5b14d717e5d7eacf635783","datavalue":{"value":{"entity-type":"item","numeric-id":403077,"id":"Q403077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$DB8DA64B-3F61-4302-928A-E23DBE4CC85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc2eac292e6b8213c7c93961085f95eec67b92f","datavalue":{"value":{"entity-type":"item","numeric-id":5483940,"id":"Q5483940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$C87A4743-EC1F-4928-9FC4-857839893CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6e5918a7e0b87bf355da963b065e6f323679f9","datavalue":{"value":{"entity-type":"item","numeric-id":676206,"id":"Q676206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$23775EE5-133C-4DBD-A1BB-FACA7C2A471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e91bfc94c6b9e8514e7f367d5733ec6006e40fc","datavalue":{"value":{"entity-type":"item","numeric-id":1127812,"id":"Q1127812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$EB796A8B-E09A-4FD0-BD7A-62D54FFD5BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$0728E6B8-F247-4D48-B9B0-0703784F28CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461c7aeaa94abc5407d69fce96c4f5cb3f75f87","datavalue":{"value":{"entity-type":"item","numeric-id":290622,"id":"Q290622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$88F8C6DC-1027-4DF1-9647-4F0C50086665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180962d47a0f35e67a2a812c5974d5b78379001d","datavalue":{"value":{"entity-type":"item","numeric-id":4422044,"id":"Q4422044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$F2B9E4D9-F76A-4A84-95DC-02D280C66D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad802a99c6d7faf6dfebc1ddfe208ac1c527d89","datavalue":{"value":{"entity-type":"item","numeric-id":5606625,"id":"Q5606625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305770$397E92AF-17E4-4A06-A674-B424EA449C09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e980c37ef6a2ad9370405d09b3f8bfb9fde08d7","datavalue":{"value":"10.1007/S00233-016-9793-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305770$46F55D0A-2450-440E-A5F5-9B3C6552B760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebbfd86a39b6469be8b1cdc78c3a3feab6b2af2","datavalue":{"value":{"entity-type":"item","numeric-id":2227631,"id":"Q2227631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4070c1b54a29e2367f075fbfb8907ff71331dc","datavalue":{"value":{"amount":"+0.8486067652702332","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":"Q305770$997F95D0-447A-4F6F-BA37-5E475ED20CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb892cb5fc7452eb0b2615fb30c6c526a49c549","datavalue":{"value":{"entity-type":"item","numeric-id":3677788,"id":"Q3677788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f6832539f6b9a5956ebebf597c100c128232f5","datavalue":{"value":{"amount":"+0.8469100594520569","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":"Q305770$C60A3AE9-2DEA-4849-8BD2-A38C547A2510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9d4a433b9a10d3663317be39c9d5ac667dbdb3","datavalue":{"value":{"entity-type":"item","numeric-id":2012528,"id":"Q2012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e993b4d5aa72482643d33d01b41e2c3d642a32","datavalue":{"value":{"amount":"+0.8333725333213806","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":"Q305770$77B0F83F-5452-441C-9DCE-4CBCA6C3979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4821502b5afc2d3aea10f7a89e93649ed229368","datavalue":{"value":{"entity-type":"item","numeric-id":2323001,"id":"Q2323001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55e163300c983a79546ba671107799b21afd4a7","datavalue":{"value":{"amount":"+0.8163112998008728","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":"Q305770$82CD0D58-34BA-4B8B-99D2-82A2DAD67D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15556cbe58bc93c09ece5cdc016b54fee732a9b6","datavalue":{"value":{"entity-type":"item","numeric-id":2312851,"id":"Q2312851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb492174adead39c5791d6f47f09d071f79d98f","datavalue":{"value":{"amount":"+0.8162592053413391","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":"Q305770$F2CD48AD-25AF-41C6-A271-71037E375D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The structure of a graph inverse semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_structure_of_a_graph_inverse_semigroup"}}}}}