{"entities":{"Q783295":{"pageid":785144,"ns":120,"title":"Item:Q783295","lastrevid":64342932,"modified":"2026-04-11T19:13:06Z","type":"item","id":"Q783295","labels":{"en":{"language":"en","value":"Representing subalgebras as retracts of finite subdirect powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7232925"}},"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":"Q783295$8083C204-09D0-41A0-8E1D-7E60E4EDBE1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ce2dad694b51aa5f5ded911e89fe3bef2d9820","datavalue":{"value":{"text":"Representing subalgebras as retracts of finite subdirect powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q783295$F79108F1-F593-4F7B-BD21-E44B1C0572E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2301b7583e077c380b9c3fdf0c51e5c5496355da","datavalue":{"value":"1481.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$8EDEEC5F-0ABB-4045-AB3B-5CAD51A89A83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c23811831088faca8ca958a7731c17bfb066677","datavalue":{"value":{"entity-type":"item","numeric-id":783294,"id":"Q783294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$4C753103-B5CC-4B4E-A73E-5B754A48BDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$1F6FED7A-EAB2-4271-B334-7CF8502EED64","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":"Q783295$3826D1B7-E39D-40F6-B7C4-508DBF2A56F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a0601910279d3cd6e6f45d9bc6255b7f45b2ef8","datavalue":{"value":{"time":"+2020-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q783295$21C85C62-8805-4BEA-B3AF-E904CF17873A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"206383a97b047d8014109d37727cd482997c8e57","datavalue":{"value":"https://arxiv.org/abs/2005.02461","type":"string"},"datatype":"url"},"type":"statement","id":"Q783295$F8CB5299-904F-48C2-925C-44F821344E23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15ee0520c491df9a2e0a415e987d65916df473d5","datavalue":{"value":"For a class \\(\\mathcal{K}\\) of algebras with the same function symbols, \\(H \\mathcal{K}\\) denotes the class of all homomorphic images of algebras in \\(\\mathcal{K}\\), \\(S \\mathcal{K}\\) the class of subalgebras, and \\(P_{\\text{fs}}\\) the class of finite subdirect products of members of \\(\\mathcal{K}\\). \\textit{P. M. Neumann} [Bull. Lond. Math. Soc. 2, 91 (1970; Zbl 0215.10304)] proved that for a finite nilpotent group \\(\\mathbf{A}\\), we have \\(S \\{\\mathbf{A}\\} \\subseteq H P_{\\text{fs}} \\{\\mathbf{A} \\}\\).  The present paper generalizes this result from finite groups to arbitrary algebras. For a general universal algebra, the concept of nilpotency considered here is \\textit{supernilpotency with respect to the \\(2\\)-term higher commutator} (for short, \\textit{\\(2\\)-term-supernilpotency}). A group satisfies this condition if and only if it is nilpotent.  The authors prove that for every \\(2\\)-term-supernilpotent algebra \\(\\mathbf{A}\\), we have \\(S \\{ \\mathbf{A} \\} \\subseteq H P_{\\text{fs}}  \\{ \\mathbf{A} \\}\\); in fact the homomorphic images can even be taken to be retracts. Hence, if \\(\\mathcal{K}\\) is a class of \\(2\\)-term-supernilpotent algebras with \\(H P_{\\text{fs}} \\mathcal{K} \\subseteq \\mathcal{K}\\), then \\(S \\mathcal{K} \\subseteq \\mathcal{K}\\).  As another corollary, the authors obtain that for a finite algebra \\(\\mathbf{A}\\) in a variety \\(\\mathcal{V}\\) all of whose members are \\(2\\)-term-supernilpotent, we have \\[ HSP_{\\text{fin}}  \\{\\mathbf{A}\\} \\subseteq H P_{\\text{fs}}  \\{ \\mathbf{A} \\}. \\] A second thread of results concerns what are called \\textit{axiomatic formations} of algebras: Suppose that \\(\\mathcal{K}\\) is such that every algebra in \\(\\mathcal{F} := H P_{\\text{fs}} \\mathcal{K}\\) is \\(2\\)-term-supernilpotent and \\(\\mathcal{F}\\) can be defined by a set of first-order formulae. Then \\(\\mathcal{F}\\) is a variety. Finally, the authors exhibit a six element nilpotent expanded group with \\(S \\{\\mathbf{A}\\} \\not\\subseteq H P_{\\text{fs}}  \\{\\mathbf{A} \\}\\).  An outstanding feature is that the main result makes no assumption on the algebra, such as generating a congruence modular variety or satisfying a Mal'cev condition, other than the algebra being \\(2\\)-term-supernilpotent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$AD41985F-A808-48A0-BC91-20D2C26677EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b0a0e74c5fafcb90b2e23f1d29e372b2657d95f","datavalue":{"value":{"entity-type":"item","numeric-id":258135,"id":"Q258135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$E8E16DE0-01F3-4563-B771-A35ABDF6EB9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$E6A66FA2-C425-4DBD-B42C-28F84EB29976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$300CE90C-8665-44A7-A787-0D0925EFBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$A8EE259D-564D-4679-9F36-F18921208A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d4f90129692d5b174dec18af1ba2f39b213459d5","datavalue":{"value":"20F17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$591BA059-7BBE-4779-B148-72285268149B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb165e5e9a9e9af1a77f16edfb7e53a632a1dc3c","datavalue":{"value":"7232925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$ADEF28E7-51B9-490F-9909-557B3ED122F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455a7df18ec4ae95b296ce740f6698e1a346ba32","datavalue":{"value":"formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$6A38F7C9-E8A9-4A36-8D38-F91048201665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f895afe52f6e79a5cccf55670ad2b9cc67cc507","datavalue":{"value":"higher commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$95EC437D-9D69-4D17-9B2A-A4A6A74AE614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3509b19f51d447ea20e5c8c093d7e914dadeb2d","datavalue":{"value":"nilpotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$AE07BF00-5290-46F0-9D19-BB2BC4F4B971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$B3D0B263-E7B4-441F-98A7-75AA65319D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50328b331aa4cde61eb0cba86d225c9cec8ba382","datavalue":{"value":"retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$94ED57E0-B47C-46F7-B809-401CAF5D2E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a7464f649d16f8eb4a24b662e4f466421adf27","datavalue":{"value":"subalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$1038DEA8-DDB6-4787-B17D-601407ECD1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b859d354234f63871f2a200813d0db1d6a79b4c1","datavalue":{"value":"subdirect power","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$B259D759-0078-4377-95C4-4DCA98BD20DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5ff1ad32b043ed3ce6010efd7a2d9640950689","datavalue":{"value":"supernilpotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$6336EF49-B565-4350-8043-06F3E6478A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a8550357b117f4bf006b73f068cafe14f70927","datavalue":{"value":"two term condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q783295$7B396B64-9B02-4A38-963E-7C5B0A8D846D","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":"Q783295$C2C026E5-0959-42FD-A839-574119EE1EFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13cc568f430dfc9f591c23ca69c9679a2abfd7b6","datavalue":{"value":"W3048335540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$15CCE32E-C77F-403C-9C1C-BA142D38456D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c58c4928400ccd19068ef50a785f1f0215eb9","datavalue":{"value":{"entity-type":"item","numeric-id":607465,"id":"Q607465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$47707A43-C7A7-463A-B6E6-F3E27453FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$6C37B2E4-1F88-4BBE-9BD2-8097CBE9F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$2E256232-077A-450C-977D-A02759AEE3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19825d323118e46e9551bec5805e1fc011591079","datavalue":{"value":{"entity-type":"item","numeric-id":5950764,"id":"Q5950764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$66D9D7B1-94D6-43FD-969B-1B5C29FFE924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27491482c042229dd0b71a57fc2c38e7594e7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3552306,"id":"Q3552306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$94BD7F71-FAA5-403D-B83E-4161CB3D74ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8405243a0c278d2fed518b6a28d48f54b48df6","datavalue":{"value":{"entity-type":"item","numeric-id":4354237,"id":"Q4354237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$B5671D39-0697-404D-824E-96F670141CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06eb8e83187b2f7fbd955cd2c13c3e35471c8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":2283060,"id":"Q2283060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$30C12F09-D219-4845-9701-3F5A0425ABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97606eb229516bc8e95624c5cb205f1d4bad455d","datavalue":{"value":{"entity-type":"item","numeric-id":1208065,"id":"Q1208065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$A5B3C527-C809-4078-B6DD-85719DEA76EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7378133c05f1e631f25196057faa08706a6fa6","datavalue":{"value":{"entity-type":"item","numeric-id":1786457,"id":"Q1786457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$F38CAD76-760C-4E0A-8941-D3594D9EF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43c4103960d15bd3039620f070a9de10c2aa0a0","datavalue":{"value":{"entity-type":"item","numeric-id":5617756,"id":"Q5617756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$26AD1369-D2C2-41D2-95BC-DEAA1FD3F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d65a629f0f02196ffea62a5bdb1b91d6663f68","datavalue":{"value":{"entity-type":"item","numeric-id":5589363,"id":"Q5589363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783295$B48BDC70-8F75-4240-8591-2A4637C8DA7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4d23afd373816fc70af77b05575be06c1356474","datavalue":{"value":"10.1007/S00012-020-00675-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783295$E7E233A4-8E7D-4013-AA65-985C7B47B17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f4b7e27b8278b49b34ccfaec7997a264c666cf","datavalue":{"value":{"entity-type":"item","numeric-id":1756685,"id":"Q1756685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91cbb210f0fdcee3c4f8ac82e97a7438266d0e","datavalue":{"value":{"amount":"+0.7245516180992126","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":"Q783295$E02C6294-61CC-42D8-B46E-E513726451F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f70fa28bbd06c1e8af36cf6d7ddeb6251cdde79","datavalue":{"value":{"entity-type":"item","numeric-id":2577749,"id":"Q2577749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7141c355d847815354525faaeb04188119db98ac","datavalue":{"value":{"amount":"+0.7245030403137207","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":"Q783295$F39D52F2-B63F-496B-B956-19DD2217515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71229a63921eebcf5675259a9d9b47a9abdefa2","datavalue":{"value":{"entity-type":"item","numeric-id":2238024,"id":"Q2238024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63b77dfc3a55f6a5be877dc510be3bdfc4da719","datavalue":{"value":{"amount":"+0.7226364016532898","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":"Q783295$460F031D-2E99-43BB-A353-508E24B17B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77136b2a8f40b5d98b4c395870566b7898431ff3","datavalue":{"value":{"entity-type":"item","numeric-id":2377313,"id":"Q2377313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570a6de3b3063df89187712a72153b1632297474","datavalue":{"value":{"amount":"+0.7211906909942627","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":"Q783295$35455A84-ABE8-43A9-ADE3-FD2BE8075BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd02120444ada563f03fea91fbe77515166d21d","datavalue":{"value":{"entity-type":"item","numeric-id":3424563,"id":"Q3424563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ddc14634881c083a43138251bb2d868dd56473f","datavalue":{"value":{"amount":"+0.7207039594650269","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":"Q783295$2873DB18-D232-4A36-991E-9CA665C05FD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representing subalgebras as retracts of finite subdirect powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representing_subalgebras_as_retracts_of_finite_subdirect_powers"}}}}}