{"entities":{"Q2773036":{"pageid":2783774,"ns":120,"title":"Item:Q2773036","lastrevid":83184953,"modified":"2026-05-07T06:33:11Z","type":"item","id":"Q2773036","labels":{"en":{"language":"en","value":"Balanced congruences."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1709164"}},"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":"Q2773036$17F5DCEB-6FA7-4A7C-9A54-6E3568E23CAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa484037f979915a54c3fdd9a6c65d5452114b7c","datavalue":{"value":"1065.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$E6ED1FBF-DD2B-42D6-BE56-3F49DA144AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c9ab22c868888a953590f5da189029592df45d8","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773036$DA79BBE1-017C-47F2-B54C-7046C982906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773036$FD0ECC09-BC4F-42A7-B25E-320E7DC8A051","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ace5781d14ecf75d42ee9c3dff2c13074619ad7f","datavalue":{"value":{"time":"+2002-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2773036$39986D84-0BD1-41BD-8FC8-4E5EC6D0731A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$856D434D-6387-48B7-B3EF-15B4E537819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$C7204B19-E67D-4E74-87BB-3B8FBA3A2B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$9ECF6334-DA5F-46C6-9E75-E30F5AD38F0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a20a2e22356ee78ddd701c78b173e5088e57f2","datavalue":{"value":"1709164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$7F3BF386-BE2D-44B4-B46D-8AAE303AE7E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3713030d470916ad41e5e171402f750864efdfd0","datavalue":{"value":"balanced congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773036$3FD1BBC1-23A6-46DA-8F13-681B8D727C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c75dedacd168802ad45288cf4bd5359cf83d96b","datavalue":{"value":"balanced algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773036$C607A9D2-4005-4DF5-A533-21812AB26415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b458cd303325c3203ff938db93211c4663cf2d","datavalue":{"value":"balanced variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773036$BDE089F5-4D91-4F1F-A068-9EC7F6F44750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3972b542a0c1bdd2a49e02042ba5d7b7d0ece6","datavalue":{"value":"Mal'tsev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773036$BFA3014B-20E4-45B0-9483-3FBB94397CF5","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":"Q2773036$3CE310F6-6F0B-4AE3-B8DE-5413A44A587D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b5a59362085b4248f09fbf81dffc304ca7515e8","datavalue":{"value":"https://doi.org/10.7151/dmgaa.1031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2773036$D6443FB3-F889-48F3-BA25-DF1D38436087","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e8858018e6d25007db9abb763b768d7397635a3","datavalue":{"value":"W4236263663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$0FFA40BB-E6E1-4FED-8989-58671B885F3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cb9499387ffa8fab3383d130f055667a19e217c","datavalue":{"value":"10.7151/DMGAA.1031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2773036$772E3631-8ADD-468B-B543-792575D461FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1fae150e8062bd817322d728478b6ef4e25d76f","datavalue":{"value":{"text":"Balanced congruences.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2773036$C5BB6642-D7EE-4DE0-A319-E7F6A0566C4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bbeb607de1fbc1e46674d4f75432920e58d69109","datavalue":{"value":{"entity-type":"item","numeric-id":6591366,"id":"Q6591366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773036$DE5460E4-98B8-465A-9E33-02F8D04D26FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd834c3fbeb706a9c35560372e90b414bb786a62","datavalue":{"value":"If \\(\\mathfrak{A}\\) is an algebra then \\(\\text{Con}({\\mathfrak A})\\) is the set of all congruences on \\({\\mathfrak A}\\). If \\(\\Phi\\in \\text{Con}({\\mathfrak A})\\), \\(x\\in{\\mathfrak A}\\), then \\([x]\\Phi=\\{t\\in{\\mathfrak A}\\mid (x;t)\\in\\Phi\\}\\). If \\(M\\subseteq{\\mathfrak A}\\) then \\(\\Theta(M)\\) is the least congruence on \\({\\mathfrak A}\\) containing the relation \\(M\\times M\\). An algebra \\({\\mathfrak A}\\) with two distinct nullary operations \\(0\\) and \\(1\\) is called balanced if for all \\(\\Phi,\\Psi\\in \\text{Con}({\\mathfrak A})\\) we have \\([0]\\Phi=[0]\\Psi\\) if and only if \\([1]\\Phi=[1]\\Psi\\). A variety \\({\\mathfrak V}\\) with two distinct nullary operations \\(0\\) and \\(1\\) is called balanced if every \\({\\mathfrak A}\\in{\\mathfrak V}\\) is balanced. The paper consists of three paragraphs. Balanced congruences on bounded lattices are considered in first paragraph. Let \\({\\mathfrak L}=\\langle L;\\vee,\\wedge,0,1\\rangle\\) be a bounded lattice with least element \\(0\\) and greatest element \\(1\\). For \\(\\Phi\\in \\text{Con}({\\mathfrak L})\\) put \\(I=[0]\\Phi\\) and \\(F=[1]\\Phi\\). We say that \\(\\Phi\\) is balanced if \\([0]\\Phi=[0]\\Theta(F)\\) and \\([1]\\Phi=[1]\\Theta(I)\\). We say that \\({\\mathfrak L}\\) is a \\(d\\)-lattice if for each \\(a,b,c,d\\in L\\) the following holds: NEWLINE\\[NEWLINE (a;0)\\in\\Theta(\\{c;1\\})\\Rightarrow a\\wedge c=0, NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE (b;1)\\in\\Theta(\\{d;0\\})\\Rightarrow b\\vee d=1. NEWLINE\\]NEWLINE Theorem 1. Let \\({\\mathfrak L}\\) be a \\(d\\)-lattice and \\(\\Phi\\in \\text{Con}({\\mathfrak L})\\). Then \\(\\Phi\\) is balanced if and only if NEWLINE\\[NEWLINE [0]\\Phi=\\{a\\in L:c\\wedge a=0\\text{ for some }c\\in[1]\\Phi\\} NEWLINE\\]NEWLINE and NEWLINE\\[NEWLINE [1]\\Phi=\\{b\\in L:d\\vee b=1\\text{ for some }d\\in[0]\\Phi\\}. NEWLINE\\]NEWLINE Balanced algebras with two nullary operations are the subject of the second paragraph. Let \\(\\tau\\) be a type containing two distinct nullary operations denoted by \\(0\\) and \\(1\\).NEWLINENEWLINETheorem 2. Let \\({\\mathfrak V}\\) be a variety of type \\(\\tau\\) containing two distinct nullary operations \\(0\\) and \\(1\\). \\({\\mathfrak V}\\) is balanced if for each \\({\\mathfrak A}\\in{\\mathfrak V}\\) and every \\(\\Phi\\in \\text{Con}({\\mathfrak V})\\) the following property holds: \\([0]\\Phi\\) is a singleton if and only if \\([1]\\Phi\\) is a singleton.NEWLINENEWLINE A characterization of balanced varieties by a Mal'tsev condition is obtained in the third paragraph.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2773036$96643258-0FE0-4E39-8725-8A5D7761B30E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d5e6ead8092646c74575316ddaa011eaf12ac2b","datavalue":{"value":{"entity-type":"item","numeric-id":1414037,"id":"Q1414037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2773036$0427FE29-ECE2-44B8-8574-268F556D89B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc3f819244e2a632c628b128bb0cad898aba66f","datavalue":{"value":{"entity-type":"item","numeric-id":4430908,"id":"Q4430908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a29eb4231f1f56cd41ce134e98e0e324ad4f3e","datavalue":{"value":{"amount":"+0.835296630859375","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":"Q2773036$739745D8-7E55-469F-8523-BBAA410C589A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b68906f907fd6d38adbf4037b79d97738db33f","datavalue":{"value":{"entity-type":"item","numeric-id":2759826,"id":"Q2759826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483349bb037326aaa437a850f31d8433fb81d87b","datavalue":{"value":{"amount":"+0.8144009709358215","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":"Q2773036$88983199-8990-4681-9591-CBBBD1108AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ffc78bc56c9bf0e9db8cd7674036359869f715","datavalue":{"value":{"entity-type":"item","numeric-id":4907233,"id":"Q4907233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e5334413bfb6d7b20a2d9951f578e5b8efee67","datavalue":{"value":{"amount":"+0.7837202548980713","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":"Q2773036$AD7953CA-E25F-444E-8CC4-96B0F67AE196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59538bafb2ae21af2244e2a11b0c0841dabd6041","datavalue":{"value":{"entity-type":"item","numeric-id":3731652,"id":"Q3731652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f9e58b6d6b5c609a2e2f0bdce3097c74093648","datavalue":{"value":{"amount":"+0.7799448370933533","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":"Q2773036$5DC536F2-AD3B-4537-9C14-B56538AE1229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1584e77725de132567aa1b812b2a0af94fef6c0","datavalue":{"value":{"entity-type":"item","numeric-id":3712359,"id":"Q3712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212a06d1442f9f648a4cfc42f971ba6b5bbc6ea4","datavalue":{"value":{"amount":"+0.7733323574066162","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":"Q2773036$CB00581E-D2BB-491C-B2A8-0BDBB600CDE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Balanced congruences.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Balanced_congruences."}}}}}