{"entities":{"Q1866832":{"pageid":1877574,"ns":120,"title":"Item:Q1866832","lastrevid":71017866,"modified":"2026-04-13T18:56:19Z","type":"item","id":"Q1866832","labels":{"en":{"language":"en","value":"Hagemann's and Herrmann's characterization of strictly affine complete algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899953"}},"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":"Q1866832$FE3078FB-AA3F-4B46-9C81-8D19C055002D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d116ba4bd6ef0d1782d9207a4e2b71075df5d68","datavalue":{"value":{"text":"Hagemann's and Herrmann's characterization of strictly affine complete algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866832$30C7EB6D-1749-447E-81F2-B62D4BEC8C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eded5cf4b46d2ac9e4ad6819a4344ec2d9566b0","datavalue":{"value":"1013.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$02635E17-BF84-4B7E-9866-CC467769A342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2844a11decb2fde4c7f49827210a0bc34d984a66","datavalue":{"value":{"entity-type":"item","numeric-id":258135,"id":"Q258135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866832$CEBED56B-4617-4D2C-B781-FED970884FD9","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":"Q1866832$8CD6D90A-547B-4E1A-ABF8-967D67027D58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866832$98777B74-8532-4AA1-B4C3-D5EEB0109ED9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7067df620c6a5c92810661a567634b198fde9b63","datavalue":{"value":"An algebra \\(A\\) is strictly \\(k\\)-affine complete if for every finite subset \\(T\\) of \\(A^k\\), and for each congruence-preserving function \\(f:T\\rightarrow A\\) there is a \\(k\\)-ary polynomial function \\(p\\) over \\(A\\) such that the restriction \\(p|T\\) equals \\(f\\). J. Hagemann and C. Herrmann have characterized these algebras in 1982: \\(A\\) is strictly \\(k\\)-affine complete for all \\(k\\in {\\mathbb N}\\) if and only if the following two conditions hold:    (1) Every subalgebra of a cartesian product of finitely many copies of \\(A\\) that contains the diagonal is congruence permutable;    (2) Each congruence of \\(A\\), seen as a subalgebra of \\(A\\times A\\), has a distributive congruence lattice.    The author proves that (2) can be replaced by the condition that \\([x,y]=x\\wedge y\\) for all congruences \\(x,y\\in \\operatorname {Con} A\\) where \\([x,y]\\) denotes the term condition commutator of \\(x,y\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866832$F2BCAFD4-50E4-4DDE-85F1-42B42A6B3276","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866832$D8A709C1-B38A-4580-A30F-BB59B11CC676","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$161A98E9-61A9-46B6-AC43-3ED2219197B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$D9484567-9624-4234-872C-8803548EE751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$529AB405-7A75-4B84-B44E-BDB1C110E167","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5ca8a3755d176a2bcf1940b6350e216625e178","datavalue":{"value":"1899953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$0B47068D-7F17-4DC3-AC03-03552144F4FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f83d66de281af6b17249613e22c0cb42d11b570c","datavalue":{"value":"strictly affine complete algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866832$61CBCC66-6325-402D-A8E2-D1CF8026587F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488379a52d50f1ebe4a44d014baf47c7349f977c","datavalue":{"value":"congruence permutability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866832$F67861A5-3C51-4C90-9E96-3C03C699A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a8907e09a6fdefafda00d22f3b250cced30138","datavalue":{"value":"congruence distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866832$4E499AE6-D152-4C42-8D8A-6C6E56ECBEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3a1cf8cca6b4d19e734a9df024af8b9f50bca7","datavalue":{"value":"term condition commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866832$3B76380D-19BA-42CE-A0DA-A4549E8E98A4","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":"Q1866832$3918093C-1A64-4DBE-98A2-74854FA9017A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25cfd4e62b08ef45453f10b29764c814a394ce6","datavalue":{"value":"https://doi.org/10.1007/s000120050173","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866832$70CDAEF9-EE64-4F83-A62C-74D0A6942E8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e40b6ba83663d5ce76841d46d582ee58c14569e","datavalue":{"value":"W1991543193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$15741408-3E29-47BE-8137-54922C89355F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37811f58ab106c568e5b45b2471f5263c0ace6b4","datavalue":{"value":"10.1007/S000120050173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866832$EEAE0C6B-D2BC-4B82-BB2B-123B16F7EA94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398cdb865ad956fda68a5cde121764860f11813d","datavalue":{"value":{"entity-type":"item","numeric-id":1771927,"id":"Q1771927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d0c222e2156ce29af8d1240d98f9380118ac77","datavalue":{"value":{"amount":"+0.8344048261642456","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":"Q1866832$957B372B-C22B-4DFF-9BB1-777248040504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9a801ba80ce10f3b12d6de4c507f4655fbf749","datavalue":{"value":{"entity-type":"item","numeric-id":1100488,"id":"Q1100488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197883bf0c87d07d60ee6abe34bcaa8fb994748b","datavalue":{"value":{"amount":"+0.8132834434509277","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":"Q1866832$6D75E0A8-7893-4107-98F2-86B5D5493123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d87c4d42c93b1e721958a4727b2961d8f5e7bdb","datavalue":{"value":{"entity-type":"item","numeric-id":1966127,"id":"Q1966127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c47fecc291fa40223510091de1f83732ef12c22f","datavalue":{"value":{"amount":"+0.7941444516181946","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":"Q1866832$C8BDEEA9-F11C-460C-9F93-C258033B7C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4d7671602cfb384bb1ddac91848598bd3a0e23","datavalue":{"value":{"entity-type":"item","numeric-id":4325117,"id":"Q4325117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9341028bdd9dda9b4f886b16564722ddc2690c9e","datavalue":{"value":{"amount":"+0.7874904870986938","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":"Q1866832$70970024-37C2-45C0-BF67-F91B7DFCCA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e896c92471401930329b6eaa90c8afceb3512ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4427387,"id":"Q4427387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb37e77b193856ddcc2a6b673b5c4fee3b9dfc4","datavalue":{"value":{"amount":"+0.7671884894371033","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":"Q1866832$B19A64C5-7B54-45AB-8842-3261743EE20B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hagemann's and Herrmann's characterization of strictly affine complete algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hagemann%27s_and_Herrmann%27s_characterization_of_strictly_affine_complete_algebras"}}}}}