{"entities":{"Q1817568":{"pageid":1828310,"ns":120,"title":"Item:Q1817568","lastrevid":71351259,"modified":"2026-04-13T21:39:45Z","type":"item","id":"Q1817568","labels":{"en":{"language":"en","value":"Finite algebras of finite complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1382636"}},"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":"Q1817568$41E57295-A1AC-42A6-AF20-2D6E02648562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b43e67fa87980e5cb1da794b3e08dd94c5075102","datavalue":{"value":{"text":"Finite algebras of finite complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817568$49345C56-54B9-4C56-A595-0142D58F519B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4546f370ef04aaab09399c3d5e9ececa0fd14366","datavalue":{"value":"0935.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$987B49C6-6C05-4315-9C1C-7494FE9B3990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"226208d56e241bb4c4b0b34a73e5110b87bb8db1","datavalue":{"value":"10.1016/S0012-365X(99)00042-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$3C20CD60-C166-45B8-9BC4-ABBB19F228C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8269bbad2156ddb882186edd29590aa0956b0f6","datavalue":{"value":{"entity-type":"item","numeric-id":331017,"id":"Q331017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817568$F9AD8FC1-4CB3-497E-BC2B-0BEFA3043803","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":"Q1817568$15DCF7C6-F0D8-4C99-BB38-E15691FBF262","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817568$41B78037-59FF-4C9A-9D36-6EBD869DB6EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817568$D8FA9350-AF4D-475D-AD8E-56971667DF02","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db159515b08dd33536c7a181253f88aeaec4fa6f","datavalue":{"value":"Let \\(L\\), \\(R\\) be symmetric relations of an algebra \\(A\\), \\(\\delta \\in\\text{Con} A\\), \\(t\\) be an arbitrary polynomial and \\(a, b, c, d\\) be vectors of elements of \\(A\\). \\(L\\) rectangulates \\(R\\) modulo \\(\\delta\\), in symbols \\({\\mathcal R} (L,R,\\delta)\\), if \\(aLb\\), \\(cRd\\) and \\(t(a,c)\\delta t(b,d)\\) imply that all \\(t(a,c)\\), \\(t(a,d)\\), \\(t(b,c)\\), \\(t(b,d)\\) are \\(\\delta\\)-related. An algebra \\(A\\) is rectangular if \\({\\mathcal R}(1_A,1_A,0_A)\\) holds, where \\(0_A\\) and \\(1_A\\) denote the least and the greatest congruence of \\(A\\), respectively. An algebra \\(A\\) has finite complexity if every of its terms is equivalent to one whose composition tree has depth less than an integer \\(N\\).   Main results: Theorem 4.4. For a finite algebra \\(A\\), the following are equivalent: (1) \\(A\\) has finite essential complexity; (2) \\(A\\) is of locally finite essential arity; (3) \\(A\\) is strongly nilpotent. Theorem 5.3. Let \\(A\\) be a rectangular algebra. Then each term operation of \\(A\\) depends on fewer then \\(|A|\\) variables.   It is proved that a locally finite locally strongly nilpotent variety is residually small iff it is rectangular. Hence, a locally finite rectangular variety is residually small. This yields an algorithm deciding whether a finite strongly nilpotent algebra in a finite language generates a residually small variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$60069F4A-0955-473F-8829-C7C1A8072D46","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":"Q1817568$6ACFD45D-C840-4BEB-9EFA-BA633324ABD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$FFD47FFE-339C-4AE5-849C-79861D2068C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$161BD6EA-FA9C-4946-8CCF-F613961629B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0634132399391d4bd1d2535b0b539b74d96503ee","datavalue":{"value":"1382636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$D9670DC1-086E-4DBF-8EF7-0B321BBA2CDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4f02b6a49c9f62d45f96d089f48cd21d0d10dd","datavalue":{"value":"finite complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$15B396B5-D82A-4732-8DBB-E0C7413D8E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91914f863d1c19ee9c2f665efd4890fd1f3e1a8","datavalue":{"value":"rectangular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$6AF737EB-AB51-4654-A107-6DF1CE581CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65592ad517cf8461ef07f11fdf852981e8465506","datavalue":{"value":"strongly nilpotent variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$669460F3-940A-4731-BE77-78A4C69057EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d437457c1b84b4d2e00f2bbeb92fea187b6f93c","datavalue":{"value":"rectangular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$8E054A8C-8A1A-411C-A68D-E22A1A7BE405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$66878E54-28E6-413D-A6D0-AECB7E612120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51a6aeb039192bb898e2f1001ce4235e01bbe865","datavalue":{"value":"strongly nilpotent algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$E68BEBD5-6CDA-4F53-A8BA-83E4841AF68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8588e648366241b1a515fc79c184a4fa8c7bd7","datavalue":{"value":"residually small variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817568$35D73CC4-0DA3-477F-959E-B6786F2D1D65","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":"Q1817568$237A0501-2793-4C62-AFA6-00D8AD24D66C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1294489fed2ad129e62650987a77a9766ba0ab7","datavalue":{"value":"https://doi.org/10.1016/s0012-365x(99)00042-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1817568$36A86970-0C7A-48C7-A82F-FF4E34E65B2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"771fa17b27e573fba803282350145890ba8a45e2","datavalue":{"value":"W2086302789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817568$1DE8159A-1C80-4890-999A-E10E5D2D64A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747571ec7d447f4fa2b7c709279862b80c475620","datavalue":{"value":{"entity-type":"item","numeric-id":5946833,"id":"Q5946833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbd09ce58dbee529add03237ff5498f00622811","datavalue":{"value":{"amount":"+0.7977227568626404","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":"Q1817568$3424C1EA-489D-45DA-BF9D-FE22A4513261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9864b8ddd5c149240372105a9bc39ba45216864a","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f0e7d3a6c62d6f0ac0a8a08b944c592e4399ae","datavalue":{"value":{"amount":"+0.7751346826553345","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":"Q1817568$A2F5E385-923A-470D-B122-E46E8145BB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e434402edc3f6f2f3f3362be17b2d38ea7524080","datavalue":{"value":{"entity-type":"item","numeric-id":3043627,"id":"Q3043627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff66d45221a3665ffaf9ac2b54643aab70ffc6a","datavalue":{"value":{"amount":"+0.7736566066741943","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":"Q1817568$945C875A-78A2-4023-BF40-C9D1778E6DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c55e9d4d48276042fc88c90ab1f6fd6ebea25f","datavalue":{"value":{"entity-type":"item","numeric-id":3140291,"id":"Q3140291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7425650bdb06a9c91f59ff6638860b35f15aacf6","datavalue":{"value":{"amount":"+0.7599847316741943","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":"Q1817568$5F216D18-16F8-4C79-B825-06A904F337F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite algebras of finite complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_algebras_of_finite_complexity"}}}}}