{"entities":{"Q1904245":{"pageid":1914987,"ns":120,"title":"Item:Q1904245","lastrevid":47377102,"modified":"2026-01-01T13:45:46Z","type":"item","id":"Q1904245","labels":{"en":{"language":"en","value":"Varieties with a difference term"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 827382"}},"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":"Q1904245$66512A91-5D81-46CB-853F-220E23B3AB29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e5be20746a6e6512096883122132911347d84e6","datavalue":{"value":{"text":"Varieties with a difference term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904245$E188B503-51E1-457F-88C1-458EA9C7F235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"540a1da94d24c69313f4878d967dd858579d0e37","datavalue":{"value":"0839.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$F2EF684B-5E82-40A3-9C22-C92B354153DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904245$AD0A9A5C-3974-4F1A-8D70-0018FFADE65C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904245$866D5D35-5076-46D6-AE1B-5955A69A5A73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"688d72ee5071c6e75f9785f557090a002fa12e4f","datavalue":{"value":"A difference term of a variety \\({\\mathcal V}\\) of algebras is a term \\(d(x,y,z)\\) which satisfies \\(d(x,x,y) = y\\) and \\(d(x,y,y) [\\theta, \\theta] x\\) for any algebra \\(\\mathbb{A} \\in {\\mathcal V}\\), where \\([-,-]\\) is the commutator and \\(\\theta\\) is any congruence of \\(\\mathbb{A}\\) containing \\((x,y)\\). In the paper, characterizations of varieties with a difference term and an outline of the commutator theory for such varieties are given. The concepts and notations of \\textit{D. Hobby} and \\textit{R. McKenzie} [The structure of finite algebra (1988; Zbl 0721.08001)] are used. The main results are the following theorems.   Theorem 1.1. Let \\({\\mathcal V}\\) be a variety such that \\(\\mathbb{F}_{\\mathcal V} (2)\\) is finite. Then \\({\\mathcal V}\\) has a difference term iff for all finite \\(\\mathbb{A} \\in {\\mathcal V}\\) it the case that (i) \\(\\mathbf{1} \\notin \\text{typ} \\{\\mathbb{A}\\}\\) and (ii) all type \\textbf{2} minimal sets of \\(\\mathbb{A}\\) have empty tail.   Theorem 1.2. A locally finite variety \\({\\mathcal V}\\) is congruence neutral iff \\(\\text{typ} \\{\\mathbb{A}\\} \\subseteq \\{\\text{\\textbf{3},\\textbf{4},\\textbf{5}}\\}\\) for all finite \\(\\mathbb{A} \\in {\\mathcal V}\\). A locally finite variety \\({\\mathcal V}\\) is congruence modular iff (i) \\(\\text{typ} \\{\\mathbb{A}\\} \\subseteq \\{\\text{\\textbf{2},\\textbf{3},\\textbf{4}}\\}\\) for all finite \\(\\mathbb{A} \\in {\\mathcal V}\\) and (ii) all minimal sets have empty tail. (The congruence identity \\([\\alpha, \\beta] = \\alpha \\wedge \\beta\\) is called neutral.)   Theorem 1.3. If \\({\\mathcal V}\\) has a difference term and \\(\\mathbb{A} \\in {\\mathcal V}\\) and \\(\\alpha, \\beta, \\gamma \\in \\text{Con} \\mathbb{A}\\) and \\(\\alpha \\geq \\gamma\\), then the interval \\(I [(\\alpha \\wedge \\beta) \\vee \\gamma,\\;\\alpha \\wedge (\\beta \\vee \\gamma)]\\) is neutral. (An interval \\(I [\\delta, \\theta]\\) in \\(\\text{Con} \\mathbb{A}\\) is neutral if whenever \\(\\delta \\leq \\mu \\leq \\nu \\leq \\theta\\) and \\(C (\\nu, \\nu; \\mu)\\) holds, we have \\(\\mu = \\nu.)\\)   Notice that Theorem 1.1 solves the problem posed by Lipparini on a local description of those locally finite varieties which have a difference term.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$B30F49B7-47AD-4E83-A63E-AC14493DF95E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$B69CECBD-C5BA-475B-9325-3E3D50596704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$8FC33388-E6EF-491A-88B2-FE0BBF13C728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c51365cbb10b9e941d86640963635178b3090aa2","datavalue":{"value":"827382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$32426017-537F-45A2-9572-57CE7063A0D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a86bfb21f90f2e7e2473d97ded5f59021d8d70a","datavalue":{"value":"Mal'tsev conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$9ACC7D7F-D984-43C8-A408-6FB5F69042F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2048306a5fbfeded241883008a6cc38fadf21389","datavalue":{"value":"congruence modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$76219611-CF76-45F5-9781-A8D47584661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7d5e23b6e3b49e0278abf4e6b824367d20e9ee","datavalue":{"value":"commutator of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$79370A1E-F745-408E-A23B-F651E6B75F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077aa42a09878eb12b0a4041aaf1adacc11f76db","datavalue":{"value":"neutral congruence identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$15280206-3A9A-427B-AB80-C1EC549D9B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe9ba545e4ea1bdc107e8b4d8b634fea270c9b0","datavalue":{"value":"tame algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$90082E9D-29CA-4856-8F23-C277B3D9D17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a402a7e923ea93be34f83fe442fbe02a5c5fdea9","datavalue":{"value":"minimal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$EEC2D056-8365-4D9D-B6B5-3E4C859F8C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797bb3ee9f4ccf54bb947d805f0cba33715acf9e","datavalue":{"value":"type of finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$BF84820C-95CC-4FD8-887F-A5BD92DF6867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d80b4fc01f989f9f680a7bb596de7b48c3f47f","datavalue":{"value":"difference term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$D9ADE9A1-2C5C-4422-AC29-13769AA99995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904245$89961B09-8771-4721-98EE-4131D3947B64","rank":"normal"}],"P16":[{"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":"Q1904245$C38A91B7-6D2E-4C55-A718-69928264C5DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904245$3DD823CC-3467-469E-979D-7BA29A6CBC2D","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":"Q1904245$89C74BAE-A10D-4378-92F4-1C7A070144F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4638ffb44ad37a5bac7aa6fc931e032f1c1a8733","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1334","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904245$06DE89A5-A4E4-49FB-BDF4-9F03E0F03FB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4ae8e3b17574c23cb379994cca0be39e201c9d","datavalue":{"value":"W1970645819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$D38A85E1-97FE-4F72-8EF7-FA19E3F66465","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e90642c7ad0cdaf83fc1067e352e436547cf84d","datavalue":{"value":"10.1006/JABR.1995.1334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904245$BFD2A0F3-9655-4294-A652-4D0F8F79ACD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf52c6b2765cb2a8e1bb0f7ec3fa79105873df8","datavalue":{"value":{"entity-type":"item","numeric-id":4222197,"id":"Q4222197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6972bb20ded26e8fd28f1da7e30b2488b97b80df","datavalue":{"value":{"amount":"+0.8555435538291931","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":"Q1904245$5C011439-86B7-48E2-B906-096396DA0142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb43aff2d8097877b29d7410d03fb38465146b2","datavalue":{"value":{"entity-type":"item","numeric-id":1208065,"id":"Q1208065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1928bf788ccbf253aec44978cd45c1d6197cfb0","datavalue":{"value":{"amount":"+0.8545308113098145","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":"Q1904245$60AB628C-FDD8-4370-85A0-2C7E77F8FAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524fa6f332d0d4d8559587ce74678902f50fbd9e","datavalue":{"value":{"entity-type":"item","numeric-id":2787967,"id":"Q2787967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41948d5647a53f009ae1e6349ddd1b35c6c65046","datavalue":{"value":{"amount":"+0.7926487922668457","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":"Q1904245$13B489EC-99AB-4590-8334-DBA72AD61E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfc19c7e3d22d5eff14b40f3b7125d3d5c46cbc","datavalue":{"value":{"entity-type":"item","numeric-id":1689296,"id":"Q1689296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee3bc3ddb7ed915b59c09252ac43ff8835a92b4","datavalue":{"value":{"amount":"+0.7914071679115295","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":"Q1904245$1AC1BE2D-748B-45A3-B1E4-D4669832DD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ae7bfaba2c156dbbf957fa772660c529faac88","datavalue":{"value":{"entity-type":"item","numeric-id":3505959,"id":"Q3505959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d654d724eb7fdbdcdfe59bd24261153d901eb4b6","datavalue":{"value":{"amount":"+0.7891522645950317","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":"Q1904245$BD0E463A-12AC-416E-9142-F6DA77B117F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1904245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1904245"}}}}}