{"entities":{"Q1849637":{"pageid":1860379,"ns":120,"title":"Item:Q1849637","lastrevid":73661934,"modified":"2026-04-14T16:49:45Z","type":"item","id":"Q1849637","labels":{"en":{"language":"en","value":"Semigroups which have a minimum primitive inverse congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837341"}},"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":"Q1849637$017362E0-50C8-4C1C-85C5-7A42FA07C1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d02b5c43aedda7e927f6c3fdedd3e181cdafe6","datavalue":{"value":{"text":"Semigroups which have a minimum primitive inverse congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849637$1FBF0EB7-35BA-484B-997C-C3DFD525AACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3ec56b80785ff58ab0c503591fa172a4e69bf1","datavalue":{"value":"1009.20066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$6D7C1BDF-7093-428D-8495-3B6B92C3995D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c927e35c7a1dafc5015e86be595f39c484c7b77f","datavalue":{"value":{"entity-type":"item","numeric-id":467517,"id":"Q467517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849637$7E3ADFF8-701F-433E-9F4E-F077F5784526","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":"Q1849637$9E065B92-22AF-40F1-9C46-944F82950A6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849637$2F792AD2-E35C-4DD1-A9CE-DFBD8F706790","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f9249668e09908df550719375a89d583ba62787","datavalue":{"value":"Let \\(S\\) be a semigroup with zero. Then \\(S\\) is called categorical, if for all \\(a,b,c\\in S\\), if \\(abc=0\\) then \\(ab=0\\) or \\(bc=0\\); \\(S\\) is \\(E^*\\)-dense if for every \\(a\\in S\\setminus 0\\) there exists \\(x\\in S\\) such that \\(ax\\in E(S)\\setminus 0\\); \\(S\\) is an \\(E\\)-semigroup if \\(E(S)\\) forms a subsemigroup of \\(S\\). A congruence \\(\\rho\\) on \\(S\\) is called primitive inverse of \\((S/\\rho,\\cdot)\\) is a primitive inverse semigroup (i.e., every nonzero idempotent covers \\(0\\) in the natural partial order). Results of \\textit{J. Fountain} and \\textit{G. M. S. Gomes} [Proc. Edinb. Math. Soc., II. Ser. 43, No. 2, 395-413 (2000; Zbl 0952.20046)] and \\textit{J. Fountain}, \\textit{J. E. Pin} and \\textit{P. Weil} [``Covers for monoids'' (to appear)] are sharpened or generalized. They are used to give necessary and sufficient conditions for a categorical semigroup having a primitive inverse congruence to admit a least such congruence. A description of the least \\(0\\)-restricted primitive inverse congruence on a categorical \\(E^*\\)-dense \\(E\\)-semigroup is given: \\(a\\sigma b\\) if and only if \\(a=b=0\\) or \\(W(a)\\cap W(b)\\neq\\{0\\}\\), where \\(W(a)=\\{x\\in S\\mid x=xax\\}\\). In the particular case that the idempotents of \\(S\\) commute, it is shown that: \\(a\\sigma b\\) if and only if \\(a=b=0\\) or \\(ea=eb\\neq 0\\) for some \\(e\\in E(S)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$65718637-93E6-431C-9217-17EB7427A683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$770DE76A-0B39-4A1D-9B6F-3C7B0F74117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$C81376FA-C04C-4255-8885-2C5EF1BBBBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$4DFFEA35-ED4D-48A2-ADBD-0C80F4D484A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c72324ca13261c1d5afb759765ea98c0c9a8b489","datavalue":{"value":"1837341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$BDC193B6-C937-460A-B751-04706495997D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c9c4f3fe46fd795f92c764c74e06477d3763e8","datavalue":{"value":"primitive inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$76E4A238-D85D-4C67-8441-24CEC45C78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$B21A605D-FAD1-4D10-BF94-8EA94174A1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52bae91209044684da1f76422365a4628d7235a5","datavalue":{"value":"categorical semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$2154C601-32BD-47AE-88DF-FB731ACA66AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9cea4c88e61d6630f2a693bcddaf9cb75703b3b","datavalue":{"value":"primitive inverse congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$8E47148A-E8EC-4FD6-83D7-C1F3D7C4B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ef367e845f93a0c452f80657a93e182dea7be9","datavalue":{"value":"\\(E^*\\)-dense \\(E\\)-semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849637$9613AC48-2BBE-402A-BA89-D4C3505BC704","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":"Q1849637$5602728F-2C50-438A-BF0C-A0E9B1D296A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61855b07552ff365302e6352e3a440fce0a39cca","datavalue":{"value":"https://doi.org/10.1007/s002330010110","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849637$815F5DBC-96B5-4DA7-BEBA-0199D8C12151","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0873e61e19ce4bcbdc3e9e8f88b84f2f8e67003","datavalue":{"value":"W1998357042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$7CB47F54-67D0-42CD-BBEC-636B0BEE3D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30d8addc4ac07965660363402baf50d4ac10a5cb","datavalue":{"value":"10.1007/S002330010110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849637$2574795C-C466-4F56-B1EA-809F9BBF037B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8dba36b9a848fbd0d1de77f966e06e95663212f","datavalue":{"value":{"entity-type":"item","numeric-id":4015896,"id":"Q4015896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51508ee32764737f7bbb3a39d9bfd1a60fc043cf","datavalue":{"value":{"amount":"+0.9013938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$EDF2C4D7-854B-4E12-B105-F83215A6429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1455166ffe0c6fa32673170184cca43cbf760a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4951260,"id":"Q4951260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff1f6d6d0de676e21290ceaa77061aa23aca4fe","datavalue":{"value":{"amount":"+0.8963256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$DB7EF5B3-9050-4AB2-9920-B945F3A0618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f09abe4b178e765033956765feb47e44296f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5464408,"id":"Q5464408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f99b6f13a8af59b75c10ecbdc77f7d3f383a0b","datavalue":{"value":{"amount":"+0.8922963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$47F7BD27-54B7-4E23-9A19-4BB001669D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3442c05fb54dcc35f9489d83ea4a996f089848e0","datavalue":{"value":{"entity-type":"item","numeric-id":3807434,"id":"Q3807434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0919c4301f254d53d01f645cf7d296e505d11f4","datavalue":{"value":{"amount":"+0.89214826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$98271D9C-0B93-4D05-8367-443FB29D79A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d513dd6face790fc2c55613bf59a572975c2723","datavalue":{"value":{"entity-type":"item","numeric-id":3705617,"id":"Q3705617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3caadde3775575ee3191d23c5310d691f9b364d","datavalue":{"value":{"amount":"+0.8893781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$F5F34B07-C47E-4458-8689-854022B3CF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6643b982aaf2a0aba2e757306a20b3c779abcd20","datavalue":{"value":{"entity-type":"item","numeric-id":5476277,"id":"Q5476277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e58153fb55cd775cd8ff8a3ea9158db0a12e1","datavalue":{"value":{"amount":"+0.8892442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$12F6816E-D052-4C0F-BE82-ECEB1A64D975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34820d453d4aa8d7ab2ad8e9318ade9027f9d8f","datavalue":{"value":{"entity-type":"item","numeric-id":530177,"id":"Q530177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8ae3845ed6ad1b293cff0f563b61e7fae7406d","datavalue":{"value":{"amount":"+0.8869802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$58C161F7-DDFD-41F1-AAD9-06D3BE96DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae97e3cc71989315446fc5faaeb7ec15825643a","datavalue":{"value":{"entity-type":"item","numeric-id":1312271,"id":"Q1312271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2809f35947038758a04b02f864cf460cf562ea9c","datavalue":{"value":{"amount":"+0.883765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$E98289C1-1C33-4898-80A8-11A22338328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed398e936093be90f8a9656ad926fb68f8f308ce","datavalue":{"value":{"entity-type":"item","numeric-id":2070988,"id":"Q2070988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024625025ae7e92dfcd50740f0b31b8d64d4c8f7","datavalue":{"value":{"amount":"+0.8834237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1849637$2CDB4C71-853A-4C68-A13B-9BA223DD7D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semigroups which have a minimum primitive inverse congruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semigroups_which_have_a_minimum_primitive_inverse_congruence"}}}}}