{"entities":{"Q803290":{"pageid":805138,"ns":120,"title":"Item:Q803290","lastrevid":49499971,"modified":"2026-01-07T08:25:45Z","type":"item","id":"Q803290","labels":{"en":{"language":"en","value":"On congruences of \\({\\mathcal G}_ X\\)-normal semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4200496"}},"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":"Q803290$07EEF596-0AA2-417D-A521-F383C35CD4CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7a12a93b747a23fd291019ea3f61d27dff01260","datavalue":{"value":{"text":"On congruences of \\({\\mathcal G}_ X\\)-normal semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q803290$E63E7634-D157-435B-B02D-AF630959CF6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b069e4d9e66e4d6b344898409a24065b3f144ba8","datavalue":{"value":"0727.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$EDF3083F-F71A-4ABA-9F8B-0BA07D914372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"979a8e0029de97ecd812d7973cfba3a075f021c1","datavalue":{"value":"10.1007/BF02574255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$71A7009D-D5D1-443B-8FF7-A5F09DA6EB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca0423dca6905b18135d4d0d35769c6b93012d7","datavalue":{"value":{"entity-type":"item","numeric-id":688964,"id":"Q688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$5DC61852-A85E-49B8-9A37-D292E96FBABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace5882b49f6820f8c74cef85b79460c6f9a32a3","datavalue":{"value":{"entity-type":"item","numeric-id":688965,"id":"Q688965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$1A47A5B2-5A09-44CA-90FB-6FD40F92909E","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":"Q803290$81D3BE57-0736-400F-A84D-9DBB6455E7E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q803290$0ED5EAED-AF8B-4B45-9111-873DF0BC7FF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1b667712292e0295a3c4f53dc5966411434f46f","datavalue":{"value":"https://eudml.org/doc/135099","type":"string"},"datatype":"url"},"type":"statement","id":"Q803290$F2C54489-8F3F-4CC3-8058-AD01F8E5C520","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3f66e36f75516ae708bbaef09edea09ab20c2a1","datavalue":{"value":"Let X be a set and let \\({\\mathcal G}_ X\\) denote the symmetric group on X. A semigroup S of transformations on X is said to be \\({\\mathcal G}_ X\\)-normal if it is invariant under conjugation by elements of \\({\\mathcal G}_ X\\). The defect of a selfmap f of X is defined to be \\(| X\\setminus f[X]|\\). In this paper, S is any \\({\\mathcal G}_ X\\)-normal semigroup of injective transformations with infinite defects. The authors completely describe the congruences on S and they show that the lattice, Con S, of all congruences on S is both semidistributive and distributive over distributive. The latter means that there is a congruence \\(\\mu\\) on Con S such that (Con S)/\\(\\mu\\) is distributive and each \\(\\mu\\)-congruence class is a distributive lattice as well. They also obtain a number of additional results. For example, they describe both the cancellative congruences and the group congruences and they show that if \\(\\theta\\) is any congruence on S such that S/\\(\\theta\\) is isomorphic to S, then \\(\\theta\\) is the diagonal. In other words, every epimorphism of S is an automorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$BAF99813-0A81-4B95-8B4D-785E7AAD44B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$D0012DDF-3919-467E-A12B-938D55C4496E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$4E8689D6-C841-4003-8F1D-7538F776F77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$18A806FA-19B8-4779-AEE2-D480084BBD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$90792B89-80D5-4559-ACB1-282ABAF27FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$3049D5B8-2447-4494-B343-AC436C033DFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d2c0f678ae6b184cb8caca561f460614e9fd784","datavalue":{"value":"4200496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$613E7D7A-2915-4A7C-BA1F-617B5DD0836B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f1ba54db71cc0eb3ffb1a4e20193b63cbd3b3a","datavalue":{"value":"lattice of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$ACE8F405-D978-4995-85F8-98E137B0DC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8413091a6d9987a29c53894ca732bd69cc715b","datavalue":{"value":"semigroup of transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$4E1FDB6E-A189-4206-A0CE-59CE99F15C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$93ED41FB-F945-4900-B98E-4D29C9D3CE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5800e70574a10da19414420857c5f3f05e799750","datavalue":{"value":"\\({\\mathcal G}_ X\\)-normal semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$6E261CF2-640E-46C3-A35E-1368D3716EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a75a13b35880be1c6d03de41022cf5d4d756cde","datavalue":{"value":"injective transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$BFDF9060-7814-4439-BAEC-43BDC4690D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0afb64c780aea47936e7fce63192182339403bd9","datavalue":{"value":"defects","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$C9BCA355-6D5E-4B66-8A05-11F01437FECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$7CA90A8A-7F5F-4EFA-874D-D7D795096880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f4224eec8219db8f803d9747861d28c11417a4","datavalue":{"value":"cancellative congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$33230C03-C21D-4E53-A44E-9C2C6E4969EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef81fc2b35cfdfdeee12763eeac5bbf321dd617","datavalue":{"value":"group congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q803290$EEA85E84-0808-4813-BD55-1EDBB13B0CEE","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":"Q803290$C2AA6E2D-5F30-424C-815F-B582F7907B19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$3876C4AE-C24E-414A-A836-E89794FC1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12713f7346349eff6df0cdccaa76546f34a8721","datavalue":{"value":{"entity-type":"item","numeric-id":3478625,"id":"Q3478625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$59154F9D-8111-4058-9CF5-65C2D0236E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3407d8d5231656d0680e0dc017b66d576e0ae597","datavalue":{"value":{"entity-type":"item","numeric-id":3216810,"id":"Q3216810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$1172758B-FD4E-442D-ACA7-F771F676F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3084b393ce4382d65a2b7fc37a80c2251ddf99","datavalue":{"value":{"entity-type":"item","numeric-id":4731380,"id":"Q4731380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$94C03FEC-E314-476D-92FE-93AD110EC4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e60ffce1b5fdd7aab234be8330709a06eb502f","datavalue":{"value":{"entity-type":"item","numeric-id":1223496,"id":"Q1223496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$758DEFEA-7584-459E-9F61-1652940C73DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$6F3C0FA6-233A-4E79-BF45-D8CD0861032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe4f044c1037449858671670a1c218f45ac6ca6","datavalue":{"value":{"entity-type":"item","numeric-id":2550834,"id":"Q2550834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$309522B8-CEF7-4DD8-AA0E-B5B7FE2C701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b780b41ecaad0c63697de8f689e04191286021e","datavalue":{"value":{"entity-type":"item","numeric-id":4767916,"id":"Q4767916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$70BF40FD-E402-4C8E-A55F-95A62643847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a707feb493ae0bde61f3249af7eb97dcdd7e60e1","datavalue":{"value":{"entity-type":"item","numeric-id":1213981,"id":"Q1213981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$F8DD3F6E-ECAC-4AF6-A895-791B4A9ECAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805f4126210994e7bf28f7e993a6de8dbc84a6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5675915,"id":"Q5675915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803290$15AAC1FA-441E-4AC0-9CE5-16AF8576801B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bc8f0da6292729c59755eda276e0c3762a62945","datavalue":{"value":"W2913660594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803290$7BC439AB-3F2E-4B27-BAA7-59870589D9BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77a74327c3025e5b9824dfd3c4150ed006644c1","datavalue":{"value":{"entity-type":"item","numeric-id":1188317,"id":"Q1188317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960ba183eae34ac80152f8ea4f397735745e4922","datavalue":{"value":{"amount":"+0.8646801710128784","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":"Q803290$8E3E8929-8618-45C3-8B4D-8976FE50457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fee2e60408599f0ea29982cf68c230599dba44","datavalue":{"value":{"entity-type":"item","numeric-id":4324833,"id":"Q4324833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9aa363f2d2ec08eb11a7cfbc9ffe9a6ef63223","datavalue":{"value":{"amount":"+0.8644239902496338","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":"Q803290$E2C22E2D-B42F-46C3-91D1-BEF47F79A294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77af166278dc8b0c0bda3ab540144e8e1a7a83db","datavalue":{"value":{"entity-type":"item","numeric-id":3361047,"id":"Q3361047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a99fc315684fb0ec246642fdf29f7d0784f674","datavalue":{"value":{"amount":"+0.8642755150794983","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":"Q803290$7A3468BA-021F-428F-97FB-57D822594AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e8121a672543cd9e171326a63aac17de3fa248","datavalue":{"value":{"entity-type":"item","numeric-id":3216810,"id":"Q3216810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9373458586826d53d3254f83fac63622810196","datavalue":{"value":{"amount":"+0.8589932322502136","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":"Q803290$DBAC7634-C39C-438C-8B96-9F3B285EE69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92a2c750cd1fc7b5184b54246795cf9075ccdf2","datavalue":{"value":{"entity-type":"item","numeric-id":4303218,"id":"Q4303218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6539e5976a9b76d06f26bc1575fc38882136570","datavalue":{"value":{"amount":"+0.8489714860916138","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":"Q803290$4D25AD7D-C060-4342-9D30-71536F7D99F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:803290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:803290"}}}}}