{"entities":{"Q792463":{"pageid":794311,"ns":120,"title":"Item:Q792463","lastrevid":64374345,"modified":"2026-04-11T19:26:09Z","type":"item","id":"Q792463","labels":{"en":{"language":"en","value":"The least inverse and orthodox congruences on a completely regular semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853365"}},"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":"Q792463$A74C9054-D71B-40DE-A662-AE0774188C97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd690ce62ea5fb6b1cd6131a9e3185575296eb8","datavalue":{"value":{"text":"The least inverse and orthodox congruences on a completely regular semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792463$1401E977-486B-4989-8751-DBFA5641F6FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f74fc31f2163e98b452908c053d84f9bb6e1097b","datavalue":{"value":"0537.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792463$F8296B41-F102-45CA-AA02-55AB8DDA1064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9587b57c8bdee267e27f9e398b1398b104533df4","datavalue":{"value":"10.1007/BF02572750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792463$BE1DA720-EF01-4ACC-9EB2-4D83CAEEA5F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c40aafef06bbd819d0df867fa7c575377297c30","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$80403B82-D43D-4951-BFD8-B6C0460630A4","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":"Q792463$46875911-F498-4AF1-BA43-8ADE100EF0D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q792463$81B3611E-7111-4724-B79B-551E832D16CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15c2ab027e827145a064ee1037921c4ddb91c2cb","datavalue":{"value":"https://eudml.org/doc/134634","type":"string"},"datatype":"url"},"type":"statement","id":"Q792463$591BF807-44F6-42A4-ACD4-0A4C8EC6DF28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44c49f14d571bd8e3b5c263a5c0a36f44c0c1b5b","datavalue":{"value":"The congruences mentioned in the title are described based on the fact that every completely regular semigroup \\(S\\) is a semilattice \\(Y\\) of completely simple semigroups \\(S_{\\alpha}\\), \\(\\alpha\\in Y\\). Denote by \\(\\nu\\), \\(o\\) and \\(\\sigma\\) the least inverse, orthodox and group congruences on \\(S\\) and by \\(\\nu_{\\alpha}\\), \\(o_{\\alpha}\\), \\(\\sigma_{\\alpha}\\) those on each \\(S_{\\alpha}\\), \\(\\alpha\\in Y\\). Let \\(E(S)\\) be the set of idempotents of \\(S\\), and \\(\\ker\\rho\\) be the kernel of a congruence \\(\\rho\\), i.e. the union of its idempotent \\(\\rho\\)-classes.    Theorem. (i) \\(\\ker o=\\ker\\nu =\\cup_{\\alpha \\in Y}\\ker \\sigma_{\\alpha}\\),   (ii) \\(\\nu =\\cup_{\\alpha \\in Y}\\sigma_{\\alpha}\\),   (iii) \\((a,b)\\in o \\Leftrightarrow aa^{-1}\\pi bb^{-1}\\) \\& \\(a\\sigma_{\\alpha}b\\), where \\(a,b\\in S_{\\alpha}\\) and \\(\\pi =o|_{E(S)}.\\)    It is known that each \\(\\sigma_{\\alpha}\\) can be described in terms of any Rees matrix representation for \\(S_{\\alpha}\\). Let \\(F\\) (resp. \\(F_{\\alpha}\\)) be the least full self-conjugate subsemigroup of \\(S\\) (resp. \\(S_{\\alpha}\\)). It is known that \\(\\ker o=F\\). The author obtains \\(F=\\cup_{\\alpha \\in Y}F_{\\alpha}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$93341264-AE7A-461C-9DE4-D4264A1B0667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792463$CB57B526-5404-46F2-ADB8-9854D576F975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792463$00827D55-9940-4482-B874-3223E254CB7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aff1106b8bcf3334bcd985bac0b4d04c7023c55","datavalue":{"value":"3853365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792463$FB318706-6386-4730-86AB-4AF101B0B5A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83963cd0b05c51110db21bed018ea960e34ba79","datavalue":{"value":"completely regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$1FCA4C9F-CF08-489F-9FE0-2A2AA736A5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$5722018A-A0CF-41D2-832D-3552F91ACF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef81fc2b35cfdfdeee12763eeac5bbf321dd617","datavalue":{"value":"group congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$65F13DCD-A646-4575-B8D5-BFEEE653A2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$82B031E1-7A31-4B9C-8BCE-F2B066187446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aaf5a07249064ff6c7cfc14b31ee360b1d9cd2e","datavalue":{"value":"Rees matrix representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q792463$12130820-C275-40C8-8B4F-D673498CF0B8","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":"Q792463$6BFA1E5D-3609-45B7-B903-22264B390AF6","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":"Q792463$583ECDA4-46EF-45B6-80CF-510E784ACFE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$51698D66-ACAF-4F6A-9723-8ED923A154EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44436b721673691f4b73cbb7152c0876916cdb1f","datavalue":{"value":{"entity-type":"item","numeric-id":1139133,"id":"Q1139133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$5B00B8BD-F68C-4DA1-BBD6-3235BBF802B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2568387e8a51ba2ead403de0de66af2c3ee38092","datavalue":{"value":{"entity-type":"item","numeric-id":2560900,"id":"Q2560900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$D53500EA-1603-4288-94C8-C8494A622224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5031e7ccd983add33f9fa74ac48fbec92e081604","datavalue":{"value":{"entity-type":"item","numeric-id":4075104,"id":"Q4075104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$82BD442C-3D7F-46FD-91E0-099B4495BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f22de07603819d8f7c2e89b35486dc85dbc0976","datavalue":{"value":{"entity-type":"item","numeric-id":3946351,"id":"Q3946351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$9362CF01-7B11-4D2A-A744-CB072713BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95717d16a394115338b77d9b72c19f906ed4c7f9","datavalue":{"value":{"entity-type":"item","numeric-id":3699027,"id":"Q3699027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792463$A7A60BDD-8D56-496F-BF5C-0C8BACB49091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bdb344c8a25d1626e9e5e9cf49ff010de1a848","datavalue":{"value":{"entity-type":"item","numeric-id":4296349,"id":"Q4296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0648d6c776213533cbd538009aa2a3983dc52630","datavalue":{"value":{"amount":"+0.8849191069602966","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":"Q792463$1B88F18D-CBE4-45D1-A778-B4C6BD424C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487598f50ba391c3eef41b550f0f51452cbd5d96","datavalue":{"value":{"entity-type":"item","numeric-id":3094825,"id":"Q3094825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323bdede09018e672067a421f64ecd211edcee05","datavalue":{"value":{"amount":"+0.8818716406822205","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":"Q792463$FD255C93-EBFD-44BB-83E2-8006C442F647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e239d763df63bcb81dc27bcfb5e2d420a67e7dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3699027,"id":"Q3699027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18abe64fa119bad09c6190d7eea5569c2d004e7e","datavalue":{"value":{"amount":"+0.8752191066741943","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":"Q792463$FB205347-51F9-4F03-A694-7FE81D626E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a70d33fa59c09b6395076235df41b558439801b","datavalue":{"value":{"entity-type":"item","numeric-id":4228147,"id":"Q4228147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe06e246eda75a7b329b237bb621cf8d374729c","datavalue":{"value":{"amount":"+0.8737064599990845","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":"Q792463$49B31128-2191-4748-AB69-8325199054C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2c33e1d9632fa05dc001c042eed9e63cf5bdf8","datavalue":{"value":{"entity-type":"item","numeric-id":5382976,"id":"Q5382976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5c3f6952e514519681f0066d456db0bd171470","datavalue":{"value":{"amount":"+0.8694416284561157","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":"Q792463$66D3735A-A115-4D4D-AB51-08630A3A0146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The least inverse and orthodox congruences on a completely regular semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_least_inverse_and_orthodox_congruences_on_a_completely_regular_semigroup"}}}}}