{"entities":{"Q804714":{"pageid":806562,"ns":120,"title":"Item:Q804714","lastrevid":64508841,"modified":"2026-04-11T20:21:29Z","type":"item","id":"Q804714","labels":{"en":{"language":"en","value":"The congruence extension property for algebraic semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202595"}},"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":"Q804714$2F8012FA-E3BE-4D58-B7F0-511C562F47FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"203f96a3218f1700e1cc9172035036c06c728115","datavalue":{"value":{"text":"The congruence extension property for algebraic semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804714$AF5DDBBD-2012-41D6-B569-A98B789292A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2e80bef580ed1fd5de088800a0c984f353d31e","datavalue":{"value":"0728.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804714$8051205B-79F1-4EB6-8B3B-067D6EB6A3C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1037fc74be25978237c8d76d8ca4ba27090b6716","datavalue":{"value":"10.1007/BF02574246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804714$0CA35A52-994C-431B-9830-436085DA35C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3ba25e03be216ee580bb0fba7173583ab6eb073","datavalue":{"value":{"entity-type":"item","numeric-id":804713,"id":"Q804713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804714$B8CB3CBA-955F-4629-A575-4D9A1919D70C","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":"Q804714$A85A1DCA-616A-46EB-B6EE-F9CC22EBEBD6","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":"Q804714$9127D667-403F-4F2E-8B31-1C981CA6B8A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee4bf054da1eabc9c1f70c3e11e45fe6da4c0f3c","datavalue":{"value":"https://eudml.org/doc/135090","type":"string"},"datatype":"url"},"type":"statement","id":"Q804714$0E744946-F90B-4B3F-9424-FE3EE29317F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35400bfedef4430e4698aa69fff5c7bfc5d8d9a1","datavalue":{"value":"An algebra A has the congruence extension property (CEP) if each congruence relation on each subalgebra extends to a congruence on A. CEP plays an important role in the study of amalgamation and related properties. \\textit{B. Bir\u00f3, E. W. Kiss} and \\textit{P. P\u00e1lfy} [in Universal Algebra, Colloq. Math. Soc. J\u00e1nos Bolyai 29, 129-151 (1982; Zbl 0483.08005), wrongly referenced in the paper] determined which varieties of semigroups have CEP, in the sense that they consist of semigroups with CEP. But characterization of CEP for individual semigroups remains open. The paper under review provides some necessary conditions and a few sufficient ones. For instance, a rectangular group has CEP if and only if its maximal subgroups do (considered as semigroups).    \\{Reviewer's remark. (1) The first open question has a negative answer. (2) The ``semigroup'' of Example 3.3 is not associative. However, a later example fulfils its role.\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q804714$28255E9B-4C1E-4D1D-99AC-C4FF0749EF3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804714$2ACBC3B4-0901-4818-BAA1-79801E206A76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804714$02E26125-44EC-49B1-84E9-AEE66639A58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804714$EC669645-7104-4A09-A17E-95218B1ABA42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53960d48ee429529e43fb7280757cf50ab8d1375","datavalue":{"value":"4202595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804714$F600CD05-C284-4A69-A5D0-E1D479924D7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q804714$D6EE198D-F3B3-4DE2-974F-53ACC2DE2D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q804714$F91424A7-CFE4-4D98-95A9-2F11796A8DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847bd0db8fc79266ea09307397606830fa2d0c87","datavalue":{"value":"semigroups with CEP","type":"string"},"datatype":"string"},"type":"statement","id":"Q804714$5D4452DF-E463-4BA9-9F24-34E95AA65FC2","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":"Q804714$A6DD827C-50FD-4CA9-A02B-92A3F0E09D2B","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":"Q804714$ED15092B-DE6E-44D8-8377-0951613BBCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804714$C0F512DC-C856-46B4-BF47-1C49956D0823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228f09035972f46bd93f85e5c628d3ceaf555393","datavalue":{"value":{"entity-type":"item","numeric-id":5648591,"id":"Q5648591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804714$94137CD7-0228-4F9D-B968-F1B0519DAE01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533cacf5d3229fb561e61b041799335c97058e69","datavalue":{"value":{"entity-type":"item","numeric-id":4311862,"id":"Q4311862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7db15e20bd141a44465b1be4012c45a88041cb","datavalue":{"value":{"amount":"+0.95987123","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":"Q804714$FCF1E942-9867-484F-BF55-B68B593C7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff736be693c8da9805322af841cf2dd95ec8d41e","datavalue":{"value":{"entity-type":"item","numeric-id":4700481,"id":"Q4700481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c8f9f7bed80c80588219e5f7ff108c9a405c83","datavalue":{"value":{"amount":"+0.951941","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":"Q804714$CA7B6B60-0210-4733-A314-596A21F8F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19afbc09fe45f98bbed1b7eacd31cccc1526f41","datavalue":{"value":{"entity-type":"item","numeric-id":1383304,"id":"Q1383304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695323524572107f283cefb55e36bdf5e508c03a","datavalue":{"value":{"amount":"+0.9476467","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":"Q804714$74B9F39E-13A8-450D-A3B3-797AE62178C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd06dc975ef5e6caee2441b7e1f7991548297be","datavalue":{"value":{"entity-type":"item","numeric-id":4034363,"id":"Q4034363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1feb39fe8b28dab121d7dc538854edfebd39081","datavalue":{"value":{"amount":"+0.93294775","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":"Q804714$C97D4F7A-DED9-4C80-88DB-15457B79EF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585bf5a320ffda3b84befa21074321821ec4bdd5","datavalue":{"value":{"entity-type":"item","numeric-id":1910642,"id":"Q1910642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f651356852e63adf396c761e16e5d06d95a0f356","datavalue":{"value":{"amount":"+0.9310096","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":"Q804714$D5F6CC8F-EDFA-42F7-ACD9-5820DB042CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6cc81ac9d8a82725f6f016e4bcbf0a4ad55703","datavalue":{"value":{"entity-type":"item","numeric-id":4527170,"id":"Q4527170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61ab197a1f5e0a40aaa3df06469004813f6886f","datavalue":{"value":{"amount":"+0.929988","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":"Q804714$2EDE8E08-3882-4936-B6E6-E641744BD645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b40e510bf991b738c56446d456d5d4bc4c15e5a","datavalue":{"value":{"entity-type":"item","numeric-id":750629,"id":"Q750629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2bfd39306e8116d966c206a6e83148067f2f44","datavalue":{"value":{"amount":"+0.9296432","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":"Q804714$85B86A5C-8674-46B6-BEF8-D99B39C60DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff85b7b5922d642a3970e711d18cd013fc3a2fd","datavalue":{"value":{"entity-type":"item","numeric-id":3837147,"id":"Q3837147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ef8a9e9d292182ae5e22174127d4a3e821b8ac","datavalue":{"value":{"amount":"+0.9206742","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":"Q804714$2CA4FBA2-3F7D-4F8E-872E-58E5C7B05BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e457155884dbbac167339d2946085d0f7131ac","datavalue":{"value":{"entity-type":"item","numeric-id":5694654,"id":"Q5694654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc559f8d569d7c91e5d704bc9ec72f875f995eed","datavalue":{"value":{"amount":"+0.9198201","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":"Q804714$7742A132-9517-40BD-875D-B793BC7701CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The congruence extension property for algebraic semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_congruence_extension_property_for_algebraic_semigroups"}}}}}