{"entities":{"Q2854030":{"pageid":2864750,"ns":120,"title":"Item:Q2854030","lastrevid":51845030,"modified":"2026-01-20T08:03:43Z","type":"item","id":"Q2854030","labels":{"en":{"language":"en","value":"Principal congruences on \\(S_1\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215988"}},"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":"Q2854030$3B0E6FD9-7E4F-4D60-A724-8155B9A9CFA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"371a0222ef224ece602afd0c46bc8fe3d61bedeb","datavalue":{"value":"1287.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$A295BC23-D605-41ED-AC1C-49F078BDC85C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00346d6eab420bf13b65b46ee3b404dd0dab0b8d","datavalue":{"value":"10.1142/S1005386713000400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$0FB5383F-6160-49BC-9617-A7842C08BD64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8990d461f64289ce59ea83dd31bfe687c480a2","datavalue":{"value":{"entity-type":"item","numeric-id":377857,"id":"Q377857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$11DD7767-6B21-480A-BBC6-ACF633136B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b14d89e9cece556daca5a3383f9116eda29498f7","datavalue":{"value":{"entity-type":"item","numeric-id":1928138,"id":"Q1928138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$05F26D55-6016-4D9C-8F38-F906C6D593D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f895ee04357a5b7a04d11bfcd0c18dce3590293e","datavalue":{"value":{"entity-type":"item","numeric-id":2711603,"id":"Q2711603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$508D9497-5D5D-4002-A5CF-B545E29B9F0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808fc247b12b30340c51bea594eefecd0658a17c","datavalue":{"value":{"time":"+2013-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2854030$61B7A8E2-A48B-45CC-95E4-FD9ED4564D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$2A16B62C-D8FD-4139-B3F5-78804EB00DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$483B5524-3780-4907-A6D2-E3C9CCC56590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c1a1970bdeaf7cd7da3135a6f3db47dbab085f0","datavalue":{"value":"6215988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$F85B7462-FAB6-4A79-92B6-CACC6B46571A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2854030$54A9CBA8-D978-490E-B8E6-E861573C11DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df8f6da83c58609deb978d37e880a87a7076943","datavalue":{"value":"\\(S_1\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2854030$BB3CEF5A-F589-4800-B184-673FA66EEC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3904b45176a5d043eddbf54195e89fb93e328c4","datavalue":{"value":"Stone algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2854030$BEDE960A-37C4-4128-9E61-C9AE77F5CE77","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":"Q2854030$F73812DC-CD58-4C52-84EB-A7BCD244F5BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff57d43a820fc0a9139eff28bfcc3e1fe1dceb11","datavalue":{"value":{"entity-type":"item","numeric-id":3325779,"id":"Q3325779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$629C719C-25F9-4837-BDA0-1939E59B3A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35882d474882a541e1545c071ad3dc1832bb8d62","datavalue":{"value":{"entity-type":"item","numeric-id":4019692,"id":"Q4019692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$DFE249EB-207B-44F9-BFB1-B5A47F45BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d69a22f90e8f5552e05e22819a5a07f9ca18c6","datavalue":{"value":{"entity-type":"item","numeric-id":914716,"id":"Q914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$F0F6F0BF-9E36-4275-81D8-BF611B674162","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2155cacf06ba396484e7f7e4daa6836dc60b92a6","datavalue":{"value":"https://doi.org/10.1142/s1005386713000400","type":"string"},"datatype":"url"},"type":"statement","id":"Q2854030$08494930-C741-487C-AD2E-0DF1D6833135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96b0878017fbdf02bcb0689cef1c103899d12660","datavalue":{"value":"W2031507367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2854030$0CABF81A-5B8B-4D65-9FED-06B6F156AD0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2943fcb14a40f68ba97ff74b6e6cc7553b0643b7","datavalue":{"value":{"text":"Principal congruences on \\(S_1\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2854030$351D6712-CD8B-4CE1-A100-784551DBB7F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eaae29d7045f41bed6431fd56fbff71aa60b2bba","datavalue":{"value":"An Ockham algebra \\((L,f)\\) is a bounded distributive lattice with a dual endomorphism \\(f\\). An \\(S_1\\)-algebra is any Ockham algebra \\((L,f)\\) fulfilling the identities \\(f=f^3\\) and \\(f(x)\\wedge f^{2}(x)=0\\) [\\textit{R. Beazer}, Glasg. Math. J. 25, 175--181 (1984; Zbl 0539.06012)].NEWLINENEWLINEFor an \\(S_1\\)-algebra \\((L,f)\\) the relation \\(\\Phi\\) defined on \\(L\\) by \\((x,y)\\in \\Phi\\) iff \\(f(x)=f(y)\\) is a congruence, called the determination congruence of \\(L\\). For every distributive lattice \\(L\\) the symbol \\(J(L)\\) denotes the poset of join-irreducible elements of \\(L\\), the lenght \\(l(P)\\) of a poset \\(P\\) is the supremum of the lengths of its chains. The main aim of the paper is to desribe those \\(S_1\\)-algebras all conguences of which are principal (this property is denoted (PC)):NEWLINENEWLINETheorem. An \\(S_1\\)-algebra \\((L,f)\\) has the (PC) property iff the determination congruence \\(\\Phi\\) is principal and \\(l(J([0]\\Phi))\\leq 1\\), \\(l(J([1]\\Phi))\\leq 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2854030$2540E757-110C-4DEB-820D-7DBE7B3EA5DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2854030$F9E7E72F-D4F4-40E5-B396-601D5B8E3B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d904b2330f0028ba0ae36719780e914f26271a0e","datavalue":{"value":{"entity-type":"item","numeric-id":914716,"id":"Q914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fba7a5b4b112576cd8f4a91b1161b25ff75e027","datavalue":{"value":{"amount":"+0.8224589824676514","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":"Q2854030$101E1621-EF0C-45A1-AA2E-37ADFB93B451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5e1af5d2f52e3a2e7ed48b1e5d53b459327756","datavalue":{"value":{"entity-type":"item","numeric-id":3445430,"id":"Q3445430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346ba8e12c37d1eb2d3770242e92016196f3e5c2","datavalue":{"value":{"amount":"+0.8171741366386414","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":"Q2854030$6381710D-B40B-4BBC-87B4-316A79893C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc5e9e27b3e918731579c8c2c0f60b7fb936845","datavalue":{"value":{"entity-type":"item","numeric-id":5382584,"id":"Q5382584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0021d5baa1c18731a453598bcc2914c579222de5","datavalue":{"value":{"amount":"+0.8135592341423035","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":"Q2854030$9B11DF5E-3F83-49BD-8B03-16A56C47C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dfe2792b45cafb470290f205a725a7df8b50f6","datavalue":{"value":{"entity-type":"item","numeric-id":5127892,"id":"Q5127892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9896f101c9a26cae348ec37e7ec17664fe053f","datavalue":{"value":{"amount":"+0.7956427931785583","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":"Q2854030$3C05095D-E8ED-4904-AA86-19D2054E356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3e0b73576498af344453bb4d1f3d742125a108","datavalue":{"value":{"entity-type":"item","numeric-id":3501198,"id":"Q3501198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9eaff9cd92b50ea60b2dd9c1aceb6d1c57b2fdd","datavalue":{"value":{"amount":"+0.7855603694915771","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":"Q2854030$C5039322-0A03-46A6-96CE-4FA7301DAF1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2854030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2854030"}}}}}