{"entities":{"Q1188319":{"pageid":1199068,"ns":120,"title":"Item:Q1188319","lastrevid":46260280,"modified":"2025-12-24T10:29:13Z","type":"item","id":"Q1188319","labels":{"en":{"language":"en","value":"On a wreath product embedding and idempotent pure congruences on inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 40481"}},"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":"Q1188319$CF44C011-2513-4185-8699-6709B2737288","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31e913339e4e6849b5d2b8b03fba24ee12df56ab","datavalue":{"value":{"text":"On a wreath product embedding and idempotent pure congruences on inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188319$2C8F40AC-7C56-45FA-8090-2D4342EB4D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac7728ef5814c17bee62827e9ff6431e9d14f7e2","datavalue":{"value":"0769.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$5CC34B50-8151-4754-B787-9180FFD0558C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f8634e7c7d25c95d419be613f317c45f2c6eda9","datavalue":{"value":"10.1007/BF03025748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$DCF741DA-9CBC-405D-BA8E-24C051815D54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f839a1b894380073b8b3b9482a73fff5d8d413c","datavalue":{"value":{"entity-type":"item","numeric-id":222328,"id":"Q222328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$5D69E21C-FEA7-41BC-8EA5-22E8B3A97F95","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":"Q1188319$C366E589-4D2D-4A19-A293-F82647C5B9BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca50ef95d1c0114d462b29b2a7069fa309fbe2aa","datavalue":{"value":{"time":"+1992-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1188319$8176B931-A3BE-4D04-9522-B29C411A5C36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caac2b396543162ebc1f10956acadf0340e7caa8","datavalue":{"value":"https://eudml.org/doc/135170","type":"string"},"datatype":"url"},"type":"statement","id":"Q1188319$963321DF-9834-4EB2-901F-B8B01FD78C4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f356250a5280cefab012ad583d41712a845a376","datavalue":{"value":"The related notions of a \\(\\lambda\\)-semidirect product and of a \\(\\lambda\\)- wreath product of two inverse semigroups are introduced. It is proved that if \\(S\\) is an inverse semigroup, \\(\\rho\\) a congruence on \\(S\\) such that for each \\(\\rho\\)-class \\(s\\rho\\), the set \\(\\{x^{-1}x:x \\in s\\rho\\}\\) contains a greatest element with respect to the natural partial order, then \\(S\\) can be embedded in the \\(\\lambda\\)-wreath product of \\(\\text{Ker }\\rho\\) and \\(S/\\rho\\), where \\(\\text{Ker }\\rho = \\{s \\in S: s\\rho e\\), for some \\(e = e^ 2\\}\\).   It is proved that if \\(\\rho\\) is an idempotent pure congruence on \\(S\\) then \\(S\\) has a representation as a certain subsemigroup of a \\(\\lambda\\)- semidirect product of a semilattice and \\(S/\\rho\\). From the results given the McAlister \\(P\\)-theorem can be recovered along with O'Carroll's result that any \\(E\\)-reflexive inverse semigroup is embeddable in a strong semilattice of inverse semigroups, each of which is a semidirect product of a semilattice and a group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$1472F7AE-4FA0-40B3-BDCD-277556849EB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"054529b5e09e7b9cb181f02f83c3b0d20bf30124","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$705A22AA-C192-4A66-9AE2-0D4E60BD3483","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$565F1728-C24B-4FF7-BF58-DB1CCD7AF5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$5C2EEFA2-C8D0-4674-95F8-E709B88349FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$04971A27-3836-49B5-9462-89330F3EF833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f3fb059650533abe3d71dd6f9d626b08d7d17e1","datavalue":{"value":"40481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188319$52EA4F20-C816-414E-A2E8-E9F7D768DE65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c090a5d3439cb2e0cf9efc8674ae3022364353","datavalue":{"value":"\\(\\lambda\\)-semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$6B895596-9081-45C5-A4EB-29F52CE3B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b7ade8e1a79517c01bcd3ab483328023c20952","datavalue":{"value":"\\(\\lambda\\)-wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$A4D32A22-4297-4BD7-AB59-6337239FC9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$3A8ECFC4-20EF-4746-9743-03DE60433825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd8c4965a8f6543b234b65e83b6527b5b5472aa","datavalue":{"value":"natural partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$EC311DFE-591C-4C4C-A7F6-8908C171FFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4385b8ad36f0d19dd41e02bab0dbe1c26623e26e","datavalue":{"value":"idempotent pure congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$DED64430-DE8F-4A2E-BF32-D8FF9A440C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a9d3df5cca01eaa26dde522cc3414bf3e3c553","datavalue":{"value":"McAlister \\(P\\)-theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$EE890B7B-DEEE-4C58-962F-70B175C9D57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38450d31fbf6d487a6f57032421bf98688cc608f","datavalue":{"value":"\\(E\\)-reflexive inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$182CF23A-1F57-4D26-8145-B05FC41D5A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985ea8148fe7ac50794190eff376bd9cb8251218","datavalue":{"value":"strong semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188319$CFC25F62-31CE-407A-AAF7-081E6FCD4658","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":"Q1188319$F6740703-E1FA-4B1E-9CDD-C2B0A977356F","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":"Q1188319$EC53FC97-FE4E-413D-B3CE-27D93F39CDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820a5bbc45935cc0e1e1cc98a6cb0f67e6f2b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4106784,"id":"Q4106784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$43418127-F6F4-4C44-B823-C944F14DB7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d38e9da929649dc560476f8dd6099510bad9256","datavalue":{"value":{"entity-type":"item","numeric-id":4050802,"id":"Q4050802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$4066DC3C-9918-4795-BFB5-1DF092AB0889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4f122f1bf72d52629430dd9b5b77dc61ff612d","datavalue":{"value":{"entity-type":"item","numeric-id":4083910,"id":"Q4083910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$BD4570FD-1041-4A7F-B74F-984D7B421524","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":"Q1188319$490CFA12-C051-4EC0-B62B-DAF2E3A319CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372937975bd41911ad9dfeb060ea5e6722839b36","datavalue":{"value":{"entity-type":"item","numeric-id":1223399,"id":"Q1223399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188319$3689D267-ABD8-49EE-B445-BB4F60061828","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7bbf2b965ca6e102298bd2de83db297d39cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":1206782,"id":"Q1206782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29e17c1c174bfd018e8304af23d1444a05e52e5","datavalue":{"value":{"amount":"+0.8176454901695251","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":"Q1188319$43BA56AE-7187-4B17-AB45-A1C467FAB2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc05c5894002979cdc92845dc24396dab355b2e6","datavalue":{"value":{"entity-type":"item","numeric-id":3129218,"id":"Q3129218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca9cc4cd9a66bd71908f6162bcf8b95b39b1796","datavalue":{"value":{"amount":"+0.813772976398468","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":"Q1188319$E111D6AA-2139-430E-B81A-5679CE6AC693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74eba9e37e05e455edf22b97735cc1695994c831","datavalue":{"value":{"entity-type":"item","numeric-id":3123894,"id":"Q3123894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c50795c4877dac77316a0ff20ceba2ea0fbd5c2","datavalue":{"value":{"amount":"+0.799618661403656","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":"Q1188319$2B5869E9-04ED-47C1-9DC7-9AECAD918183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e276ea56cc029e4c5aeba49f8b97a583ddc855","datavalue":{"value":{"entity-type":"item","numeric-id":2416499,"id":"Q2416499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95704ecb674e9d4ac14b7886cf458b3925914fab","datavalue":{"value":{"amount":"+0.7993564605712891","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":"Q1188319$B15A7D4B-D8E7-4F09-9143-474C8BFE7385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1188319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1188319"}}}}}