{"entities":{"Q2443676":{"pageid":2454419,"ns":120,"title":"Item:Q2443676","lastrevid":44098746,"modified":"2025-11-19T22:45:14Z","type":"item","id":"Q2443676","labels":{"en":{"language":"en","value":"Varieties with equationally definable factor congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6280979"}},"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":"Q2443676$F658A328-D886-4E33-B38D-6869BFB0825D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20126915272ef309fc19e7228e7b45bf3789bd77","datavalue":{"value":{"text":"Varieties with equationally definable factor congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443676$5427BB1B-63EB-4A27-A29E-DE0B36CAEB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc2045a05fb2ea2110883c4c9be95656e039682c","datavalue":{"value":"1316.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$C95CDEF3-B32C-45F6-8518-C7FDEF8EC803","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e08e395c759e7d65f49ef8d1ab7252e3b5523d00","datavalue":{"value":{"entity-type":"item","numeric-id":2136295,"id":"Q2136295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$6156880F-9B3C-4855-A44C-C73D3BE03FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8dcc6157d8b3264437b5f505ceab65ec9020de","datavalue":{"value":{"entity-type":"item","numeric-id":1193501,"id":"Q1193501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$F5CF3DFD-46EB-49CF-A435-32F375A2D934","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":"Q2443676$1D963B38-4931-482D-BEB5-B0A8487E6A5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f9eadeb459885e3bd96056c7ce63a55a5683f1","datavalue":{"value":{"time":"+2014-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2443676$207267C2-1F85-4C2D-A969-4169620D23C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a90a991e4f17490343e5f949acf4659b51cf18a","datavalue":{"value":"The concept of \\textit{\\(\\lambda\\)-central elements} of an algebra, introduced by \\textit{D. Vaggione} [Acta Sci. Math. 62, No. 3--4, 359--368 (1996; Zbl 0880.08007)], generalize both central idempotent elements in rings with identity and neutral complemented elements in a bounded lattice. Essentially, they correspond to elements \\((0,1)\\) in direct products \\(A\\times B\\). The authors study varieties \\(\\mathcal V\\) having equationally definable factor congruences (EDFC); this property states that there exists a conjunction of equations which defines the kernel of the projection \\(\\pi_1:A\\times B\\to A\\) using the associated central element as a parameter.  They prove that this condition is equivalent to definability by an open formula and they show that the kernel of the other projection may be defined by a universal first-order formula, regardless of the cardinality of the language of \\(\\mathcal V\\). Bounded semilattices and semidegenerate congruence-modular varieties have EDFC, and the authors provide refined versions of their results in those cases, and also in the congruence-permutable case. For the latter, they prove that the class of directly indecomposables is axiomatizable by \\(\\forall\\exists\\) formulas.  Finally, they prove that several of the first-order definitions they obtain are optimal in terms of quantifier alternation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443676$34AADF61-ADFB-4D3C-9CCF-388C307A3B5D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29e26a100bc99f84fae486fe1b7470aa39867b90","datavalue":{"value":{"entity-type":"item","numeric-id":549667,"id":"Q549667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$238EE012-1FF5-4077-B60C-65A02AC0F83A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$562A0EDB-E9AB-41D0-8703-51EC77386D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$52C267FB-407F-4C02-A2EA-BC6B096C186B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$43B5EF8B-DCC8-4115-A903-AFCE8817E9C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b6c2cd7b4d30e9b61a8f0d0bd8f4a20bce13cce","datavalue":{"value":"6280979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$C0775B62-4553-4B35-8FA4-145C835CF785","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79fbc61c69f0d21a822df093cb692dde358d6c07","datavalue":{"value":"central element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443676$3170216D-D16E-4CA1-8622-BDDD18D327F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9d57b283785ce3f3b33bf7532e9f81e2392467","datavalue":{"value":"equationally definable factor congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443676$B19D1205-9622-41BA-9F2D-965B391D88CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efb3ae497c7fcf4e612e26977176b3c046415ad","datavalue":{"value":"Boolean factor congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443676$5A7D417D-3122-48E1-8700-E5472A2A43B4","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":"Q2443676$9C9FB564-39DB-453D-B1CC-7FE9EE6928E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87492821efefa62137edbdd42ed2a9fd25b28e60","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0252-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443676$B34DCDD4-5AC1-4B71-AD54-DED211666A71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38496caa8c41b638121f0eaa37329c8b86f94d76","datavalue":{"value":"W2076740756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$3D32E446-F42D-4141-B5FD-9E786B2666B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ffce5fc1fce85baf985a74e396d449d6c3c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$CB973D3F-6B9B-48BA-8D49-314723208C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$668B743D-BF9F-4161-8B85-6BF642B669B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97521024101b5320dea08df79dc91b6c744eb8c0","datavalue":{"value":{"entity-type":"item","numeric-id":3338309,"id":"Q3338309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$A6E98CC1-C1E9-43A2-A32F-BCD558DFD1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5cb0e2634e7e554b02c1dd7b44bb88250ca49fd","datavalue":{"value":{"entity-type":"item","numeric-id":1257914,"id":"Q1257914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$F93262A5-3157-41AF-9BBC-DDED667D6161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b5b457401f5a59f52763bc03d682458d4e8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4913470,"id":"Q4913470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$8BA84379-051D-4EC9-9925-893D0E0FEEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93927d6a0c4f3fbec6d261ec968b2bf41a97b231","datavalue":{"value":{"entity-type":"item","numeric-id":3182529,"id":"Q3182529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$236DDC23-5E52-41AC-B804-03C8B397145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e73bcbe223f2cb013de881e70b4e47e3e97141","datavalue":{"value":{"entity-type":"item","numeric-id":1922889,"id":"Q1922889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$9F55D55E-F6BC-4B0D-B73B-BE2F8CBFA852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9faf6378160975b80bf2c25449ce53330bc2f26e","datavalue":{"value":{"entity-type":"item","numeric-id":1272242,"id":"Q1272242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$A075213D-AF8B-4FAE-88DD-31D9B79BEFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7898bf2e332fbe50c1238154b6cbde00e36685e0","datavalue":{"value":{"entity-type":"item","numeric-id":4226276,"id":"Q4226276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$29E9ADD9-4387-4F02-9C39-0E09D8F884BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85553da918db668f5fa2b61b4727c6487258d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1969245,"id":"Q1969245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443676$68D0511F-CA03-4A2D-B923-DB9B88F84EC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b8e5650699e37aa9977aa66a10bdd3971aab6cd","datavalue":{"value":"10.1007/S00012-013-0252-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443676$DDAEB286-F93D-464A-B721-3ED37C2E924B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671657f6ad95dd917be869ca07b79a57459f9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":2136296,"id":"Q2136296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be18c612f326a3dbaffa6be5a90997cde6e47758","datavalue":{"value":{"amount":"+0.7976132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$E2A117C4-A233-4DA9-ABA6-5FFF9641EBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737183b5cc5e68c7f72186972854120356fea0a8","datavalue":{"value":{"entity-type":"item","numeric-id":3182529,"id":"Q3182529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f9159a23d7c7420bb6f800e055c61e737853c2","datavalue":{"value":{"amount":"+0.7804584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$15223E73-9A74-4AEA-B4A4-DC968C3CBD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd33bfff9e46cfde6beec010cef86b336e9cf8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4913470,"id":"Q4913470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a518517d50b1fd1b9aabe58d36818fa9e87a787","datavalue":{"value":{"amount":"+0.7656987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$3E9EFE7A-2BCF-40C2-90B2-8F74E49E309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238a836a2bc826044039a021520e1c6a42d40814","datavalue":{"value":{"entity-type":"item","numeric-id":2814678,"id":"Q2814678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6859aa536cf76f16fb89d9dc8a3e0da4cac67a7a","datavalue":{"value":{"amount":"+0.7423233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$F2D768F8-B6DC-4E12-AA1A-26EA948BD3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e384e8223795478c13e935cbc276823eb63b9ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2407971,"id":"Q2407971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62a7c0aaf4764c7724e3f47b28fc94f51665bcf","datavalue":{"value":{"amount":"+0.7239953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$EBE0405C-3308-440F-8C8A-7F10F7387473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7ac4c97713c7e097d6675cae07d3a4cdc681ea","datavalue":{"value":{"entity-type":"item","numeric-id":1969245,"id":"Q1969245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4e7c4b801aa91d41c37341b85914652f3e8acb","datavalue":{"value":{"amount":"+0.7069607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$7E2C59D6-81B1-4A55-8239-70C0E0D092B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a16ee135bc97c830e7fd055f9e043df32aed206","datavalue":{"value":{"entity-type":"item","numeric-id":2583595,"id":"Q2583595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6663b48c13f0b136abc68f0a1eacf6aa4fce7f72","datavalue":{"value":{"amount":"+0.7048051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$DF1181ED-C20E-4E45-8D73-3B24FA83543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4726e7b8828dc78b57381c7b22d08ebbe6c7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3097922,"id":"Q3097922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e539d5ea6ff1922bf6909151bf5503609d35b36a","datavalue":{"value":{"amount":"+0.700076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$FC61FD00-AD42-43DC-B0A6-86B50F5DE3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f23af5fef8aaf08ad6bb3c0de1b969088e6359f","datavalue":{"value":{"entity-type":"item","numeric-id":2577740,"id":"Q2577740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0a719818ab4ef4801edb7032e81f409d4cb937","datavalue":{"value":{"amount":"+0.698552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$545FA81B-A674-414B-BDE4-1D3B2EECF716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf39d8895dded889db70d5c672effd258bc77ad","datavalue":{"value":{"entity-type":"item","numeric-id":1084121,"id":"Q1084121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2dba6da10af37adda831d08ff8d153254500785","datavalue":{"value":{"amount":"+0.6899311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2443676$47409071-1D7D-4905-BD9D-B286A60B9629","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2443676"}}}}}