{"entities":{"Q818945":{"pageid":820793,"ns":120,"title":"Item:Q818945","lastrevid":64572336,"modified":"2026-04-11T20:47:48Z","type":"item","id":"Q818945","labels":{"en":{"language":"en","value":"A tight inverse semigroup which is not bisimple."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014173"}},"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":"Q818945$A5BA8997-062B-42FC-8FBC-EE4DE7050034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33686a6d976ce415c3fe2f6a5a9bc0c7829ed456","datavalue":{"value":{"text":"A tight inverse semigroup which is not bisimple.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818945$623085AA-86CE-4C79-B1CF-8B76A54E93B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d54fa69645d0acb6fe6f628f71c99893e654fe","datavalue":{"value":"1089.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818945$4E8EA8EE-DB4E-409D-BCB7-5F62B28DA526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7800c9e8adc2a76d1a1cf6136c8e8036fbeeafc","datavalue":{"value":{"entity-type":"item","numeric-id":818944,"id":"Q818944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818945$BAB3421F-D03F-4273-9528-1E6CB6F1D27D","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":"Q818945$060E30DC-858C-4FAB-9ADC-4252E3676177","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q818945$02C9894A-05A1-45D2-B50A-E2244EE02417","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00729ce58484aca2a3e4fcf2d7e25623f94951ea","datavalue":{"value":"It was proved in the reviewer's paper [\\textit{G. I. Zhitomirskij}, Mat. Sb., N. Ser. 73(115), 500-512 (1967; Zbl 0183.30703), English translation: Math. USSR, Sb. 2, No. 4, 445-456 (1967)] that every bisimple inverse semigroup \\(S\\) is tight, that is, every congruence relation \\(\\varepsilon\\) in \\(S\\) is uniquely determined by each of its \\(\\varepsilon\\)-classes. Tight inverse semigroups that are neither bisimple nor congruence-free are constructed by \\textit{B. M. Schein} and \\textit{H. Y. Wu} [Semigroup Forum 67, No. 3, 432-442 (2003; Zbl 1057.20044)]. The author gives one more example of such an inverse semigroup. This example is constructed on the base of a bicyclic semigroup, which itself is bisimple.","type":"string"},"datatype":"string"},"type":"statement","id":"Q818945$2BC7EAC3-5A5D-41C2-BE0E-769F2643A3D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818945$7F2E413C-2EF0-426F-B771-A06F73F022DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a046aed87e9d109c688e0e25e5ae03dd4eeb6c","datavalue":{"value":"5014173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818945$5C72F939-B69D-4D6A-9041-0CCED2BA693B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818945$011E4077-DC1F-4F6C-A564-27F660C66E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q818945$A3875745-6124-4961-8A0E-29CEC9B71D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da837a2bafe82670e2e58d3e8d5629601ffa83f","datavalue":{"value":"bisimple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818945$B1A80CFE-FA8E-42DB-A753-8B3C61B7FFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927c6f96f17fc7f4c2402b7b295163f5953bccb5","datavalue":{"value":"bicyclic semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818945$DC2309F8-CDF7-43D4-8263-E1AE52A43ED1","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":"Q818945$00787FEE-0F3D-4178-A297-E35569731457","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":"Q818945$A4DC1EBE-6F88-41C4-980A-FC334577D429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e659db8a9cc0cd011e6349767dd0085535b180a","datavalue":{"value":"https://doi.org/10.1007/s00233-005-0509-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q818945$90EB72C5-477F-47EB-B24E-858CD3F08426","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30043774e1abb19984a28dd4b2bb5c2496311ff7","datavalue":{"value":"W1987725905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818945$CB915F66-70CC-4784-9BA8-424B0B19EB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa442e21d88d4b12ae21f291ca0f5c8cb552882d","datavalue":{"value":"10.1007/S00233-005-0509-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818945$8962A97B-C042-4E9E-866D-6A6EFF08BC59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab437da2c49144af3a15109cdaace6d0a785915","datavalue":{"value":{"entity-type":"item","numeric-id":1434265,"id":"Q1434265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1513b2b1c3a0739cb8a74c2726423879740f99","datavalue":{"value":{"amount":"+0.9590228796005248","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":"Q818945$92BCA3B9-F126-4CFA-AB2B-0960E1D91988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62b7cddf24dbfe8e097d5cf2a773835c53a9b50","datavalue":{"value":{"entity-type":"item","numeric-id":4438311,"id":"Q4438311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f526e5dd2ccd0fa0d010dd736f5d911c4ed8c8c9","datavalue":{"value":{"amount":"+0.9341221451759338","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":"Q818945$87131E13-9690-4071-A3DB-2E99707FFDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88956840f37de58b914a82eb2803e5075e0642ec","datavalue":{"value":{"entity-type":"item","numeric-id":3423077,"id":"Q3423077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e4e08e03b83b3ef120be7cf0cf1b9e2c323535","datavalue":{"value":{"amount":"+0.7800191044807434","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":"Q818945$E6232C8C-FDD0-4026-8276-01131B9FEA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a956c208164fad4eb4d95f1d092cb2e807105a","datavalue":{"value":{"entity-type":"item","numeric-id":3988156,"id":"Q3988156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8408fdfda49b9458afc10d065990d9629ab05e76","datavalue":{"value":{"amount":"+0.7564894556999207","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":"Q818945$E1572538-F734-47CD-A0F7-3E57A03B14B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912e202eaf8861b4ed8480f4c1c70f60cbb9a543","datavalue":{"value":{"entity-type":"item","numeric-id":284675,"id":"Q284675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c297ce3673ab898465bdede429868fe34251cc6","datavalue":{"value":{"amount":"+0.7536531686782837","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":"Q818945$C801955D-FDA4-4DED-99D0-034BCCF6AEF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tight inverse semigroup which is not bisimple.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tight_inverse_semigroup_which_is_not_bisimple."}}}}}