{"entities":{"Q535236":{"pageid":537003,"ns":120,"title":"Item:Q535236","lastrevid":62589468,"modified":"2026-04-11T07:07:15Z","type":"item","id":"Q535236","labels":{"en":{"language":"en","value":"\\(E\\omega\\)-Clifford congruences and \\(E\\omega\\)-\\(E\\)-reflexive congruences on an inverse semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886846"}},"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":"Q535236$9AD7DE04-3A2F-4BE3-B139-7189BAD49B78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb9ddee4b1b93ddf3eaf8b7decec360643619015","datavalue":{"value":{"text":"\\(E\\omega\\)-Clifford congruences and \\(E\\omega\\)-\\(E\\)-reflexive congruences on an inverse semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535236$FACCBDB6-F20B-4E6A-82A3-9A8CF766C64E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a1fa0b5a5982154805f91b5415c380c4c2b2c6e","datavalue":{"value":"1246.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$8824A8EC-DF8C-4B95-B07C-CD09855DDD6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b34b2fded6ce14cfb1caff7b0872a5627a640ec","datavalue":{"value":{"entity-type":"item","numeric-id":528375,"id":"Q528375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$AE6186D7-F565-425B-812A-F386FFB66F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70bd5c8d94d39d6e455fb8e101b87ae050aec976","datavalue":{"value":{"entity-type":"item","numeric-id":535235,"id":"Q535235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$8076A43B-BECD-489F-9329-84F4A922FAD6","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":"Q535236$9801CB45-FD49-4C94-B64E-27D39F21B34A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535236$7A441B16-DD2D-4A75-9776-5585F0E86773","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3688a17454c98a6c081f6edb63a60515ba02d8a","datavalue":{"value":"Let \\(\\rho\\) be a congruence on an inverse semigroup \\(S\\), \\(\\rho_K\\) (\\(\\rho_T\\)) denotes the least congruence on \\(S\\) having the same kernel (trace) as \\(\\rho\\). Starting from the universal congruence \\(\\omega\\), it is known that \\(\\omega_T\\), \\(\\omega_K\\), \\((\\omega_T)_K\\), \\((\\omega_K)_T\\), \\(((\\omega_K)_T)_K\\) are, respectively, the least group, semilattice, \\(E\\)-unitary, Clifford, and \\(E\\)-reflexive congruences on \\(S\\). The authors extend this list showing that \\(((\\omega_T)_K)_T\\) and \\((((\\omega_T)_K)_T)_K\\) are the least \\(E\\omega\\)-Clifford and \\(E\\omega\\)-\\(E\\)-reflexive congruences on \\(S\\), respectively. In the paper, it is also provided characterizations of both \\(E\\omega\\)-Clifford and \\(E\\omega\\)-\\(E\\)-reflexive congruences on \\(S\\) as well as a study of the lattices of all \\(E\\omega\\)-Clifford and \\(E\\omega\\)-\\(E\\)-reflexive congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$69E873BB-5EEF-483A-AEBF-6E4A8131B416","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45156d9276118c353d703acf608821bd8f325600","datavalue":{"value":{"entity-type":"item","numeric-id":305763,"id":"Q305763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$90D35339-AF74-47BE-B68E-6E6244E91B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$E7A7A27F-95F1-427E-9401-EE41A03A1645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$A86732D0-3C42-4152-B0F8-A070C6A8D4BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc2846e508fd9d348a1c083f50ae5a46915f92b","datavalue":{"value":"5886846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$4FAD9E12-40A6-49D3-BA3C-A73C8B1F2B39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$492CDAE9-BBB0-4F81-BAEC-3E6D3C3DADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f5e2fd646eda64031ca6b950028972e2c85cd7","datavalue":{"value":"Clifford semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$BCB39597-7C92-4096-BAF8-07E94C8AE0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90cec5e2221d4c7d9386420c7c55c91540aa9e69","datavalue":{"value":"reflexive semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$8013FE61-5233-45CA-AB64-1E36DD56B06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044e7682deb49c65da39789694e7fd050258ff02","datavalue":{"value":"lattices of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$44C589B3-DF69-44DF-9EB8-A5DC7B472A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$805ED92D-F27B-45B6-8BC7-B49BABC4C3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd958945adb8f971e17c53b8b72b99d29ba70053","datavalue":{"value":"kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q535236$A2E79313-DFF3-4886-98A0-5A4AE50B74B1","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":"Q535236$11597ADD-281C-4211-9384-1D5E6230F164","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a25421f6e2b5236f704275469f12ec8955fae41","datavalue":{"value":"https://doi.org/10.1007/s00233-011-9293-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q535236$1C6E3E90-0349-4008-8DBA-DC82D8893422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"582517cc727edfd4e34bf5a5fc94c603171fdc61","datavalue":{"value":"W2068409027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$85671F06-2DB3-4483-9CEE-FCA06E532C67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6836e58d8fba1cfe70b7d737147a2551937a76f","datavalue":{"value":{"entity-type":"item","numeric-id":1186839,"id":"Q1186839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$1DD597AB-BE8A-4B6D-9532-6190F41FDED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a84305d04a480477b72b181b44c0668e27c12d4","datavalue":{"value":{"entity-type":"item","numeric-id":1394314,"id":"Q1394314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$17425B84-A7EB-4857-B668-BA86C0965311","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":"Q535236$76807912-EFB0-4979-98A1-299A730B2985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989fc6b9f1a9ff2913336309341a650e60ae01c4","datavalue":{"value":{"entity-type":"item","numeric-id":5510801,"id":"Q5510801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$A47EE2A7-2763-49F9-8E81-F9D04C0351DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a375c0273832ddb35cb64696d96a6154f5c29d","datavalue":{"value":{"entity-type":"item","numeric-id":3734719,"id":"Q3734719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$4820BCBE-C8DD-4C6A-A3F2-F4516A8006B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ceadab35b740e9986c07a48e48307c900626fa","datavalue":{"value":{"entity-type":"item","numeric-id":1105702,"id":"Q1105702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$854CE90F-E431-4614-8855-BBCAC946816E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff5ef1d4c4a5f20ab21418ab3ec80c8fcb9eabd","datavalue":{"value":{"entity-type":"item","numeric-id":1255102,"id":"Q1255102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$8736564F-024C-4F4B-BB54-8B9CD0FD2FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$14416C8A-47CA-467A-BFBF-A2D3D84612D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e2999a71fbcfc9f81351e43cacc4e8a9bf2f47","datavalue":{"value":{"entity-type":"item","numeric-id":3943134,"id":"Q3943134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535236$A43A565B-981C-49DD-8FB2-E708F8817231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9335e394183e17a5380f059600161904fd71231b","datavalue":{"value":"10.1007/S00233-011-9293-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535236$28D2BD09-497B-4A79-BC47-13D8BC5EFF3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59949c505473326a33a2abb573c01e441d7dbd07","datavalue":{"value":{"entity-type":"item","numeric-id":3591112,"id":"Q3591112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79aaf45b4a7ce33603e462af1c6d2ddf8802200","datavalue":{"value":{"amount":"+0.97158605","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":"Q535236$E479D7DD-2C01-480B-ACEE-50B2DA5CB8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a2e5a2e83ebd925720153252150efafa4b85ba","datavalue":{"value":{"entity-type":"item","numeric-id":4834490,"id":"Q4834490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a92b7db36831930fa7a4f82ed4c55a6a1afd475","datavalue":{"value":{"amount":"+0.9054509","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":"Q535236$31D54C77-6C21-4A47-86DA-A4AC511AF85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc646db2ab164a3e195c7791dca0e40e1d3225d6","datavalue":{"value":{"entity-type":"item","numeric-id":5483737,"id":"Q5483737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681a426c18dc055a5fe4a0d628c02523dedbfcc8","datavalue":{"value":{"amount":"+0.90176356","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":"Q535236$C05F5C3F-D481-403C-A6A2-9FA2C9890B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"577cf1699e8efce2100d9949e4b8401e662e3d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4931962,"id":"Q4931962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437ef8264abe187b0d887b72a360ed728f4c78c0","datavalue":{"value":{"amount":"+0.88927174","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":"Q535236$3F1CE489-1C01-4D69-A4DD-F7241F112E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37a6fb98ab993d7131d265f0eae61150fdb549","datavalue":{"value":{"entity-type":"item","numeric-id":1849724,"id":"Q1849724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499b41c32063d163cedb038551e7335b395fc521","datavalue":{"value":{"amount":"+0.88878274","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":"Q535236$C7288335-4A99-491B-9892-A8F1663AA15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b28aad65e9c986ee9c34b7bade9a89445c9bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4910110,"id":"Q4910110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0957c5936dd8cc5624536edeb534e1b7f94e9c3a","datavalue":{"value":{"amount":"+0.8882071","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":"Q535236$F9CD2F62-5D19-4237-9DA4-F8390A21AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bec7669724114cfc051ed5723732718010e46b7","datavalue":{"value":{"entity-type":"item","numeric-id":4916801,"id":"Q4916801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c71e2dfcca2a0c7fce0bb80cea9d169d1c86e3","datavalue":{"value":{"amount":"+0.8832514","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":"Q535236$66270893-C5DD-44E5-BE51-7F73FA08E1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d47fa274587c729eb1d99a1ace33e24eab826ab","datavalue":{"value":{"entity-type":"item","numeric-id":3417257,"id":"Q3417257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354ee6cd607a59b82a9fec1835b9fbd7e5061bfa","datavalue":{"value":{"amount":"+0.8820759","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":"Q535236$02B7B7B5-75D0-4D9B-B3E2-FB02AB816595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6578f8c2e8093fd62c52e8b252b635795c25eecd","datavalue":{"value":{"entity-type":"item","numeric-id":4712076,"id":"Q4712076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686bbe17dc55d46c296d6917d253f6337b2dc821","datavalue":{"value":{"amount":"+0.88115335","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":"Q535236$4A18DA30-1887-4DED-8E91-4FBAF35C126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d55e7f8265bc8129c8816d5c76d42bdf028b1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3570916,"id":"Q3570916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f0499458f4f309bd00be662b60a4b90af41b55","datavalue":{"value":{"amount":"+0.876701","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":"Q535236$4DE2B0AB-86E0-4BE0-9EBA-D791E56ACF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(E\\omega\\)-Clifford congruences and \\(E\\omega\\)-\\(E\\)-reflexive congruences on an inverse semigroup.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(E%5Comega%5C)-Clifford_congruences_and_%5C(E%5Comega%5C)-%5C(E%5C)-reflexive_congruences_on_an_inverse_semigroup."}}}}}