{"entities":{"Q759784":{"pageid":761633,"ns":120,"title":"Item:Q759784","lastrevid":48765466,"modified":"2026-01-05T19:45:22Z","type":"item","id":"Q759784","labels":{"en":{"language":"en","value":"Local completeness. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882506"}},"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":"Q759784$9715D620-5E90-4964-BFEA-1E5FA74261F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34a78fc69e9c77ddf056d9b8750712086374166a","datavalue":{"value":{"text":"Local completeness. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759784$FF8784C0-3336-4737-9EE1-5F62DE253703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e51d2b2d9f37a4278431c779d018784ae005d2d6","datavalue":{"value":"0554.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$A4302156-4455-4AA8-BB0C-60A41E180A57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b2fc27d821bdf98682fd94e9686f64e9340e883","datavalue":{"value":"10.1007/BF01203368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$53B56FD3-0D21-4395-9B68-C018B597831E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$3DAD4C27-9CFE-4615-8FC4-22A9D6008E2D","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":"Q759784$5293A350-6E74-4D2E-ABCC-CD64DCBC8075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759784$8A4AD073-C616-4A1B-935F-45C93C19BB8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"52b37d0b263d69ddaa9e91bb163d05699cc26f1b","datavalue":{"value":"An algebra \\({\\mathfrak A}=<A,F>\\) is locally complete if for every map \\(f: A^ n\\to A\\) and every finite \\(B\\subseteq A\\) there is a function g with \\(g|_{B^ n}=f|_{B^ n}\\). Thus for finite algebras local completeness reduces to primality. In an earlier paper the first author has provided a ''generic system'' of relations such that a finite algebra \\({\\mathfrak A}\\) is primal iff no relation of the system is a subalgebra of a (suitable) power of \\({\\mathfrak A}.\\)    A corresponding generic system providing a test for local completeness is given in the present paper. For every algebra \\(<A,F>\\) which is not locally complete, there is a relation \\(\\rho\\) from the system which is preserved by F. Many of the relations in the generic system are familiar from the earlier mentioned result but new types of relations had to be added. (Since the lattice of locally closed clones is not coatomic, the system must necessarily contain infinite sequences of relations.) The question of reducing the types of relations in the system is posed.    If it is known that \\({\\mathfrak A}\\) generates a permutable variety a short criterion is obtained: Theorem: Let \\({\\mathfrak A}\\) generate a permutable variety, then \\({\\mathfrak A}\\) is locally complete, iff (i) \\({\\mathfrak A}\\) has no proper subalgebras, (ii) \\({\\mathfrak A}\\) is simple, (iii) \\({\\mathfrak A}\\) has no automorphism whose cycles are either all of the same prime length or all infinite and (iv) \\({\\mathfrak A}\\) is affine with respect to no abelian elementary p-group or torsionfree and divisible group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$E1A3EF1D-56AA-4FC9-9C5C-D8112ED29DB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$5473219F-DFA0-46BC-A957-30AA555510CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$B590808D-0C69-4512-BDB4-A4B78BFA6339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$1D383BE9-35A7-4770-A6D4-0AB879A5BBEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6074187ae7ceb4c035e64cf3c067ac58cbe115e","datavalue":{"value":"3882506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$527A2CB9-693C-4087-81CF-E878545810B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed36e6e0bacf08c31f272e3a4e2d19d3c16b7681","datavalue":{"value":"local closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$205AE974-7BD4-4534-9F24-D01FFFF5BD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf99e7e794d5fa24d4939c0fd872f7339c089973","datavalue":{"value":"polymorph","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$8EA30E00-9DA9-415C-BA2B-8D504414EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4463e117d4253347b926f1ccc92570b90df798ea","datavalue":{"value":"local completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$E21A49B9-3B77-4209-82F2-02293532E089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$0E156397-8007-439D-B1C5-C50DA3E34A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb3018a1df5121e3dac79ac406ee443d5f5e215","datavalue":{"value":"permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q759784$1E28D1AF-40AF-4773-A473-2CB6EEE62CED","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":"Q759784$5F7E8257-F5ED-4F65-8AC5-E4FDF173FB54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c5130231c3b6888d8401cfff50e0b32e21a965","datavalue":{"value":{"entity-type":"item","numeric-id":599073,"id":"Q599073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$9DE72803-6A11-4B5B-84B1-742419A60FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713a08c2a6227f63db6decca74230e2bb56cd5ed","datavalue":{"value":{"entity-type":"item","numeric-id":4161377,"id":"Q4161377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$51539AE3-F8BC-4B88-AEF0-9744D60FDF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9fb13b32d10c81d1f4db4ecc1808d7853fdde6","datavalue":{"value":{"entity-type":"item","numeric-id":3890691,"id":"Q3890691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$6AB1B983-4600-4A04-9E43-F8992534FEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb60ac7e8f10faa46b0f8475c4e5e611f3808fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4168658,"id":"Q4168658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$2FD37AE8-4D4F-4561-B7DC-EBF20087CF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ebc342bc84a285ce35c626f4e5d6cd6dd1eaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5588589,"id":"Q5588589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759784$958D01E9-9654-4E24-924C-65849761D7F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"123851fcdb573ad69e3669546d3f63804025a1e3","datavalue":{"value":"https://doi.org/10.1007/bf01203368","type":"string"},"datatype":"url"},"type":"statement","id":"Q759784$2CFB2E07-8BB8-41D1-B108-7317B0DEF31E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b647e6ed67c684c80e7c96c7f080f34a4504bb20","datavalue":{"value":"W2031729318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759784$9DBAF5EC-9CD5-4489-9FBF-3D77044FE8F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"922dc6a302334ca9192bee87812696c49f6ee3df","datavalue":{"value":{"entity-type":"item","numeric-id":4514737,"id":"Q4514737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1981e681829838a503ac7a70663dc46dc52530c2","datavalue":{"value":{"amount":"+0.8184243440628052","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":"Q759784$A52A8AFD-3D85-458C-AFAB-17A2BF2E99C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e59ed824301f7f3b33095427636175ee199d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3597354,"id":"Q3597354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68854adaffc5d21fbfe814e38e92f6cd99f78f6b","datavalue":{"value":{"amount":"+0.8177993297576904","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":"Q759784$EB9B0291-71D5-468F-97EF-62569B12636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cbac7d9c5704895c038652ad0349bb2afc739b","datavalue":{"value":{"entity-type":"item","numeric-id":4353966,"id":"Q4353966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b3b47e7eabbe83fe2bcc35441617983ccd29c8","datavalue":{"value":{"amount":"+0.7861559391021729","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":"Q759784$E4898F8C-85AB-42D2-B703-472B25D63041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e822a2aa571e0be915e386cb2ba9b969c391945","datavalue":{"value":{"entity-type":"item","numeric-id":3697079,"id":"Q3697079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7593693c81b416b8502d320206eb5a36a60cc6bc","datavalue":{"value":{"amount":"+0.7859625816345215","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":"Q759784$FF24735D-DAC3-4DB3-A397-979E76CAE249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77aaaafb327daab9c5cb9e0f618061d01491c330","datavalue":{"value":{"entity-type":"item","numeric-id":4726313,"id":"Q4726313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfdbd61c37393bc760929abe6ddc62a5ffc2877","datavalue":{"value":{"amount":"+0.7793311476707458","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":"Q759784$53706F79-A3CE-460C-8E04-18CA9AEB5270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759784"}}}}}