{"entities":{"Q1866798":{"pageid":1877540,"ns":120,"title":"Item:Q1866798","lastrevid":73917192,"modified":"2026-04-14T17:43:38Z","type":"item","id":"Q1866798","labels":{"en":{"language":"en","value":"On subtractive varieties. V: Congruence modularity and the commutators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899925"}},"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":"Q1866798$6DAAD479-B4FA-4972-9669-9718698909E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0bc6280bb3d97ebcbb5c894ce4b61a04b202219","datavalue":{"value":{"text":"On subtractive varieties. V: Congruence modularity and the commutators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866798$6741164C-E023-4003-B440-0B489651A950","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"656ac830462feadd794666bf644ce5a4b4c42624","datavalue":{"value":"1012.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$3C205345-C481-4360-8A2E-00E95ED66B51","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":"Q1866798$3AA1ED0D-6C15-4839-A5D9-A41B3119E71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866798$C44074AD-4299-4A99-A0A7-C6532B136A31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e967b0f1c7115c44bd3f097fdc6d65fcea1988de","datavalue":{"value":"The paper is a continuation of a long series of the papers having the first part of the title in common (see Zbl 0799.08010, Zbl 0902.08010, Zbl 0906.08005 and Zbl 0934.08002). The author previously introduced the concept of ideal in universal algebra and showed that, in a subtractive variety \\(\\mathcal V\\), every ideal is a congruence kernel. Recall that \\(\\mathcal V\\) is subtractive if there is a binary term \\(s\\) such that \\(\\mathcal V\\) satisfies \\(s(x,x) = 0\\) and \\(s(x,0) = x\\). In another paper of this series he introduced the concept of commutator of ideals. For an ideal \\(I\\) of an algebra \\(\\mathcal A\\) the smallest congruence on \\(\\mathcal A\\) having the kernel \\(I\\) is denoted by \\(I^{\\delta }\\) and the largest one with this property by \\(I^{\\epsilon }\\). For a congruence \\(\\Theta \\in \\operatorname {Con} \\mathcal A\\), its kernel is denoted by \\(0/ \\Theta \\). In a congruence modular subtractive variety there are both the commutator \\([I,J]\\) of ideals \\(I,J\\) and that of congruences. It is proved that \\([I,J] = 0/ [I^{\\delta },J^{\\delta }]\\). In general, the identity \\([0/ \\alpha , 0/ \\beta ] = 0/ [\\alpha , \\beta ]\\) for \\(\\alpha , \\beta \\in \\operatorname {Con}\\mathcal A\\) does not hold, but several sufficient conditions for it are derived. The author deals also with equationally definable principal commutators in a subtractive variety and with the extension property of commutators of ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$1B7FD61D-8265-4A85-AECB-C7DFE0EF46A0","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":"Q1866798$5A969A0E-062C-4768-AD68-1A5620B50F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$5B0D13F3-EA4A-4E97-8742-925A4D6057F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$CFEAB952-652E-485A-8C44-4B334DCEB4BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8cb1dbda4b6d1d0eee3b944dd32961b6163526c","datavalue":{"value":"1899925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$D297E6C6-0CA4-40E3-B094-74BD01EF6CFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$01927A6D-CDB4-43C1-96C8-A8FEC3CAE5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524b83579c40a94e2b229635fd081b50d10399f9","datavalue":{"value":"commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$8D0FA895-7339-4676-B9EF-945A1E0E9C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ea66ce136f817672690abf5b71b7ba4ef568a","datavalue":{"value":"subtractive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$FE64145E-450A-475A-A367-4AE6CDDC5B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0495c85691d83fcd51a0b9b826df2c1103fb8259","datavalue":{"value":"congruence kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$F992AAE2-777F-4B53-A378-5625E7D092DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5801949df1a914fbff7ef3b789425b663a74a970","datavalue":{"value":"extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866798$C9E53F13-3B49-47EE-A0CF-FE05F1C87E49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359dab3691ed34dc0a2d2adfba0e5ddfb5566eb6","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866798$8EC3FBD5-19DA-4BA9-A6E6-D7C4D1DE403B","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":"Q1866798$5F41BF37-DA8D-4105-B2B4-BD9568BAAFFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a826a9510230c0fb37b39ad3a54b729588a03aa2","datavalue":{"value":"https://doi.org/10.1007/s000120050145","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866798$CEB0676B-206C-41FB-ABA4-96CE1B8D9DA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbe7afcbaa2711af33ca31269545dd5881a25054","datavalue":{"value":"W1979596078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$C2D710CC-0EE0-4C70-B112-5BEBF0FC62A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34732aac37484fc9603170b5ad541d6dc00f3b60","datavalue":{"value":"10.1007/S000120050145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866798$9BDFA51C-7A3E-4F7B-9417-F1CB5C575B5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9a91e10619b3a500b90a59c6a6e8fd6b09fc51","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6928d6fc5861f7e1579e9aefb95b3be0bb35b48e","datavalue":{"value":{"amount":"+0.9254647493362428","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":"Q1866798$81EAFAE0-C964-460E-9C55-B09A75BEC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a6a902a1e1ba60177416d8b33470a86a5fffaa","datavalue":{"value":{"entity-type":"item","numeric-id":4644495,"id":"Q4644495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a656e8f14fbe9b0e239734b27dd10bf0eee8a74","datavalue":{"value":{"amount":"+0.923923671245575","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":"Q1866798$CEB776F8-44F7-4CA1-A2AD-16628142897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c926aae72f9f26224773b9fd7d3682fabfa6a2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272207,"id":"Q1272207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1438b578b6666ccf92532e5e6bc73c5be4be318f","datavalue":{"value":{"amount":"+0.9054017663002014","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":"Q1866798$EDC09606-05C5-4969-94E9-3941E75A3910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f7d64416ec983356f3a1ba0e3544129f16c99","datavalue":{"value":{"entity-type":"item","numeric-id":3701489,"id":"Q3701489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b8d211bf0813938a1eae9294e1f6560bd4faef","datavalue":{"value":{"amount":"+0.9044814109802246","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":"Q1866798$3716D0BE-2C69-4F46-8194-CBFF1644231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed97108b0e418177b5f3aca9de0b40074eeab49","datavalue":{"value":{"entity-type":"item","numeric-id":1272112,"id":"Q1272112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6017c48583bd5f81d69049bebd1c8c7764fc326","datavalue":{"value":{"amount":"+0.8536065816879272","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":"Q1866798$D52483C2-BFBF-4EF3-B349-809FF05EF41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On subtractive varieties. V: Congruence modularity and the commutators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_subtractive_varieties._V:_Congruence_modularity_and_the_commutators"}}}}}