{"entities":{"Q1102990":{"pageid":1113742,"ns":120,"title":"Item:Q1102990","lastrevid":69647145,"modified":"2026-04-13T08:26:29Z","type":"item","id":"Q1102990","labels":{"en":{"language":"en","value":"On the behaviour of congruence-functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051704"}},"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":"Q1102990$4F8A10D9-60FA-40A3-988D-7E1398DE255F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a5a144c4ab678435e49f2d5989ebb464e67baba","datavalue":{"value":{"text":"On the behaviour of congruence-functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102990$32A86C9C-32B6-4E92-ADD8-84B615B8F2B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b97be05c7bce4481e2162442597abb377234659","datavalue":{"value":"0645.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$F45B362E-3E78-4045-B0FB-14AC4B91EC23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1958c8c07a899808dbf873f62a8460936c248e6","datavalue":{"value":"10.1007/BF01188396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$7F1EDD6E-36C3-434D-A225-3AA65389FAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102990$9791A080-250E-4E40-9A05-112FF867A036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102990$49EFC88F-3FF1-45FD-98E1-E2E4A4C75DC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"468b79faaa6a7f731193b67d1e1c4ea88d31f869","datavalue":{"value":"Let Comp \\({\\mathfrak A}\\) be the semilattice of all compact congruences of the algebra \\({\\mathfrak A}\\). Any homomorphisms \\(\\phi\\) : \\({\\mathfrak A}\\to {\\mathfrak B}\\) of algebras of a variety K induces a homomorphism Comp \\(\\phi\\) by the identity (Comp \\(\\phi)\\)(\\(\\Theta)\\)(a,a')\\(=\\Theta (\\phi (a),\\phi (a'))\\). It is proved that the functor Comp has the following properties: it preserves products iff the principal congruences can be defined in K by a finite set of equations; it always preserves surjectivity; it preserves injectivity iff K satisfies the Congruence Extension Property; it preserves products and injectivity iff the equation above contains only the four elements which are involved in the congruence; it never preserves coproducts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$BFD24576-B662-4BD5-B8AA-0B1068011D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$D9B9B9FF-9759-4174-8791-E6C3803FDC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$141470B0-E497-460C-93D3-A5C86B24178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c648e268c28ec150fb5ed45778a818ce497d91f","datavalue":{"value":"08A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$26791CCE-9670-49C1-8094-97CEE0D558DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f8629c9c6f74f4dcb78adbe3e6917f7f5c56579","datavalue":{"value":"4051704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$8C5193EE-E625-4B17-99F9-B7973AE46880","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36477d9b90f338173ed6f60ef5cd50dc23b4b9a","datavalue":{"value":"compact congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$698D691E-89C0-4096-AA25-7528A19B5EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd12956df3bb29181af2c38ee6da9b42967012c9","datavalue":{"value":"products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$7CE90B3F-6F38-42FD-83FD-8F06A222CF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bae003673a6393309268cd9d0629e842ca49774","datavalue":{"value":"surjectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$3E350B22-A6F8-4885-95AD-2CA2D4570998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38cae683841be176f7930e9d9f31e6dc31d87fa","datavalue":{"value":"injectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$BD2C4C8C-7008-4D61-A377-D3BFC799B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0124d0db1ad0d028766b29e83b6037cdfac43dfd","datavalue":{"value":"Congruence Extension Property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$4E199887-07C4-41CD-B753-FE4183C6DC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102990$6B4FC24F-CECE-4EDB-B0A1-3385971079EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93c46659410a2551e2625578830df596db0e0115","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102990$55EEE711-86D6-4D94-9963-12EFE9930545","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e47f1890de08a8bb753968ab80ecae8a536a9f0e","datavalue":{"value":{"entity-type":"item","numeric-id":616132,"id":"Q616132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102990$B6724965-EC70-48F4-A178-A2366604D841","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":"Q1102990$39DDCA0C-7961-4D2C-AD0F-6CFC830A4FEF","rank":"normal"}],"P223":[{"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":"Q1102990$2F1C7B29-333E-4A51-B231-ACFCC5BACEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102990$41F4E381-2A95-4957-95A7-FFC878F11FEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06044e7cc8d9487e65c890686c4720e4d5391857","datavalue":{"value":"https://doi.org/10.1007/bf01188396","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102990$9635ED09-93C9-47B2-A980-ADA9957F929B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d07f03563e14bc9c4e0dd1067bef8be016ee54b","datavalue":{"value":"W1994823439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102990$6D9D0C83-8EC6-4985-94DF-FA272B5126B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e812ee19f1b4e7348df098bfa41510b9c1d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4490827,"id":"Q4490827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2706e4fb90215e8193624a050edcfef7af893a56","datavalue":{"value":{"amount":"+0.7444819808006287","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":"Q1102990$91B495A6-D8A0-4817-83A5-439E9D41E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4333bddf57ebebeaa6c233dd8613d6b1e048b7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5919224,"id":"Q5919224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746c624d03883b644eb6af550e3fcda0822cd6f2","datavalue":{"value":{"amount":"+0.7444813847541809","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":"Q1102990$5AB785C7-CFA6-45F0-8100-8BC1F6A34F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c8ab41581937dfdc7cbfae3bdc886c62e3430a","datavalue":{"value":{"entity-type":"item","numeric-id":1771890,"id":"Q1771890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f470d7fac6e5edc53054f5a4942528515aab51e6","datavalue":{"value":{"amount":"+0.7427207827568054","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":"Q1102990$37EF00EE-EAFF-47C6-A8FB-157E02F340E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6ae3a05c050aef495496eb53a78c741f46fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3528855,"id":"Q3528855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7abd27adbe3eecc4f57e7b7ed492449ea68d462","datavalue":{"value":{"amount":"+0.7413199543952942","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":"Q1102990$2820A726-7C19-4F31-BAA7-227882551E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8f1bcfaae4812a334f631b759b4f86982416a3","datavalue":{"value":{"entity-type":"item","numeric-id":5039130,"id":"Q5039130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf8ce8b67444979b311d13c342caec358b92fe2","datavalue":{"value":{"amount":"+0.7409785985946655","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":"Q1102990$DCF3CA73-B1A9-4718-AA26-55C539BC5C29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the behaviour of congruence-functors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_behaviour_of_congruence-functors"}}}}}