{"entities":{"Q535113":{"pageid":536880,"ns":120,"title":"Item:Q535113","lastrevid":56853831,"modified":"2026-03-23T20:12:48Z","type":"item","id":"Q535113","labels":{"en":{"language":"en","value":"Rigidity of unary algebras and its application to the \\({\\mathcal {HS} = \\mathcal {SH}}\\) problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886751"}},"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":"Q535113$726F8E03-36F4-43E7-AB9D-0121D1664BE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5e23fe8b67dac089f36a776f238032a6dfd6d5e","datavalue":{"value":{"text":"Rigidity of unary algebras and its application to the \\({\\mathcal {HS} = \\mathcal {SH}}\\) problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535113$E25E5F66-8AA6-4D7F-94DD-6624D9A099F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2d2a5ceb236dc21fee9263a25df1d21ec3b885a","datavalue":{"value":"1221.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$4CE94A61-CA4C-4135-B645-66E6E840B995","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e53d9c503aecdbbddb8e33b24fad81735f2bbc","datavalue":{"value":{"entity-type":"item","numeric-id":535112,"id":"Q535112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$C9B01A28-3AAC-430C-9211-8BA92442D923","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":"Q535113$2F6B068A-0525-478A-ADDB-CBFBC5D98595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535113$0B833DDC-C346-4F90-BC25-B25D0EED714C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f397c589248c5bf80b1b9e1ee9b8cd8a8005674","datavalue":{"value":"\\textit{H.~P. Gumm} and \\textit{T. Schr\u00f6der} [Algebra Univers. 53, No.~2--3, 229--252 (2005; Zbl 1086.08002)] showed that if a functor \\(T:\\) {Set} \\(\\to\\) {Set} preserves preimages, then \\({\\mathcal{H}}{\\mathcal{S}}(K)={\\mathcal{S}}{\\mathcal{H}}(K)\\) is valid for any class \\(K\\) of \\(T\\)-algebras. The present author applies a construction of rigid unary algebras to prove that \\({\\mathcal{H}}{\\mathcal{S}}\\neq{\\mathcal{S}}{\\mathcal{H}}\\) for a class of {Set}-endofunctors not preserving non-empty preimages. For related results cf. also papers by \\textit{T. Brengos} and \\textit{V. Trnkov\u00e1} [Algebra Univers. 63, No.~2--3, 283--301 (2010; Zbl 1220.03011)] and \\textit{V. Trnkov\u00e1} [Commentat. Math. Univ. Carol. 10, 323--352 (1969; Zbl 0183.30401); ibid. 12, 143--174 (1971; Zbl 0232.18004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q535113$7ED50632-1A35-47B5-A745-2E1BF2631EFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$ECDBCB12-5FC6-45BD-98E1-4A462309A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$6E8B0A99-9781-450D-9524-4B68A6DACC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$82409E7B-DC26-43A4-915D-E44AF76B0F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$4E1D8EBB-205D-4F6E-AF23-52E9344B28A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$3A23483C-80B2-44ED-B93F-036F298B6D97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b167694ae27a08d6062ce0576515898ed4f0a607","datavalue":{"value":"5886751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$2015228F-9A95-4F78-8A8C-C24C7B2D718B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q535113$66FC626D-8E21-4D24-90E2-23B07F2F5565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008ca53e4306f3143b0eb1df5e48b9105d31d10d","datavalue":{"value":"preimage preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q535113$9CC4D032-F1FC-46A6-A3F4-244EF91DBC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q535113$9744D771-78FF-4AC8-A0CA-58E2059A0667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q535113$AB5B6AA9-AAC2-4B7B-B2CE-3C0357BA7E62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$A472607F-16F6-49FC-9EB1-A716A589C137","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":"Q535113$AD45C6A8-95E9-422E-8FE3-325459069143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e24ba7662e2408a39244890407d4069e0484991","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0118-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q535113$AD5117A9-4BCE-4176-A313-B0DB9CFF4903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f11faa622604017e7c32e73eb94dc6a8a5c2c536","datavalue":{"value":"W2023386710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$F60F2C39-2399-4716-9030-DB2831F70346","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27429883829f96d7af88f3bf34ca8690c586c020","datavalue":{"value":{"entity-type":"item","numeric-id":607460,"id":"Q607460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$B44190E3-98FD-44FE-8630-56657C78A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b9de43b6556886fe1ad42f6617817fa4fb8fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2577729,"id":"Q2577729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$365CBB35-D2F9-409D-A25E-E61012ACD615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$5B89F7E0-2C8F-4CA4-87EF-BF40232B9A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$106E584E-6910-4FD1-B867-1F849C14019A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$69C7616C-50F6-436C-B2CE-19CD05C5004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f16b45b00354967757a40d4dba93e73628e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5639842,"id":"Q5639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$2B5A9283-4A51-4341-BD34-50A37FAA6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b99d7a3053e03a83588894a430582775df19ab","datavalue":{"value":{"entity-type":"item","numeric-id":2752015,"id":"Q2752015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$399E5961-36C1-49B2-96AF-6620AD371114","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"528bc3fbe312bbf9e254f55a2c5ffcb685f44eb6","datavalue":{"value":"10.1007/S00012-011-0118-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535113$D09A98FA-0E70-4315-836C-81F46CA58633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a62e53f8a6c525af4b553dd81dc626e6f1937f1","datavalue":{"value":{"entity-type":"item","numeric-id":607460,"id":"Q607460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e7c6b0a3924879d9f64ce7b013a39b9fac62f4","datavalue":{"value":{"amount":"+0.8013157844543457","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":"Q535113$A6827E11-3466-4D2A-954A-9EF8CDD64ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5a9093614eae335d7cf4c3796dd75bd5cbf9d6","datavalue":{"value":{"entity-type":"item","numeric-id":2822871,"id":"Q2822871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cacffc6243e1cde33b85e8e74995d6739e4b9645","datavalue":{"value":{"amount":"+0.7954357266426086","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":"Q535113$2DF959F8-1DD5-49AC-9E36-EBEE5EF5D16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bacfeb404a1a1e8563d662a89a395a04d7ec74","datavalue":{"value":{"entity-type":"item","numeric-id":804614,"id":"Q804614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d65555b6c12350babecfcda3eacfad914aff482","datavalue":{"value":{"amount":"+0.7398743033409119","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":"Q535113$10191A0D-52FE-492A-B3F2-F5D9E42390D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9e536903332b463dfc29ba0553ddf20a7b39aa","datavalue":{"value":{"entity-type":"item","numeric-id":3808145,"id":"Q3808145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c0e8395631787d5e8be43b86bbe624183ad8c0","datavalue":{"value":{"amount":"+0.6993868350982666","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":"Q535113$3F74F868-2B40-428E-9F33-D6D2B28BAEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de7b7b7b1fc8908f69f20eb38d6de54f3d03853","datavalue":{"value":{"entity-type":"item","numeric-id":2857823,"id":"Q2857823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a58e3293e4eae56d2102ba5e9d30ee6ae5f5a62","datavalue":{"value":{"amount":"+0.6925047039985657","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":"Q535113$2D8B2FBF-C3B5-4C7C-AA2A-AC11FD0CDC85","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535113$9297F7E4-21D2-45C0-B98E-F629190A1DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:535113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:535113"}}}}}