{"entities":{"Q791555":{"pageid":793403,"ns":120,"title":"Item:Q791555","lastrevid":64451667,"modified":"2026-04-11T19:57:47Z","type":"item","id":"Q791555","labels":{"en":{"language":"en","value":"Distributive double p-algebras whose congruence lattices are chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851170"}},"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":"Q791555$FBEF6FD9-551C-4D60-8A75-67002C842BAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf37f8a4fbc9fdd1ec4387477e4759170ccc4ef6","datavalue":{"value":{"text":"Distributive double p-algebras whose congruence lattices are chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791555$25D77C2F-27FE-4C87-825F-2DDCBECD8652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"242661b47189eccf1cc3e604d824f0e4f3f1eac6","datavalue":{"value":"0536.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$B4767703-4E6A-434C-BC1C-D104E69FC9B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7276a3b2898406efc4ae0dd8a12b185e268ce28","datavalue":{"value":"10.1007/BF01194530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$60CE7691-3E04-4735-9506-F3856FF19847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80f221c0f5c12f460e4e65da8aedab9f6783606f","datavalue":{"value":{"entity-type":"item","numeric-id":791554,"id":"Q791554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$66155181-10E0-45A8-8A42-40A053319C17","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":"Q791555$85D11057-27E2-40F1-8DDC-389B9D84B130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q791555$C94EAFCA-2B9D-486A-BE7E-900F2BA38575","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b14bb5aa6badb77d7b1827d7e67e34bce0c5ea18","datavalue":{"value":"A distributive double p-algebra \\((A,\\wedge,\\vee,^*,^+,0,1)\\) is a structure of type \\((2,2,1,1,0,0),\\) where \\((A,\\wedge,\\vee,0,1)\\) is a bounded distributive lattice and \\({}^*(\\vee)\\) denotes pseudocomplementation (dual pseudocomplementation), i.e. \\(y=x^*\\) if and only if \\(z\\wedge x=0\\) implies \\(z\\leq y\\), and \\(x^+\\) is defined dually.    The paper under review investigates the question, when \\(Con A,\\) the lattice of congruences of A, is a chain; earlier results in this direction have been obtained by \\textit{R. Beazer} [Algebra Univers. 10, 225-231 (1980; Zbl 0431.06012)] and \\textit{B. A. Davey} [ibid. 8, 73-88 (1978; Zbl 0381.06019)]. In particular, the author gives a new necessary condition for \\(Con A\\) to be a chain of cardinality 3, and shows that the condition is not sufficient. Also, several algebras A are constructed whose lattice of congruences is a five element chain; all previously known examples had smaller cardinality.    Throughout the paper, Priestley's duality [\\textit{H. A. Priestley}, Q. J. Math., Oxf. II. Ser. 26, 215-228 (1975; Zbl 0323.06013)] is applied, exhibiting the strength and beauty of this method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791555$C893A526-25C9-4331-A32E-63511971650A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$A1A5130D-B49B-49A1-ACC7-565E3888672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$7026328C-DA43-4B3B-9071-0295454FC9B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e63b506fc8f7fbeb0530e61fccdd7bef3108f8d4","datavalue":{"value":"3851170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$60532AD0-D3AB-45EB-B746-01027FF58019","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcdbcc6be172b684399bf611ebb4f465992a864","datavalue":{"value":"bounded distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q791555$E6FD14BF-28F2-49A1-9D55-C7862FC8AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q791555$622185A5-6182-431D-87C9-41E1F258DAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f1ba54db71cc0eb3ffb1a4e20193b63cbd3b3a","datavalue":{"value":"lattice of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q791555$599B77C5-FA15-4FE5-8957-AC3D1BEF65D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c307f89c8f25036210cdb4b24cf6b8defccad","datavalue":{"value":"Priestley's duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q791555$254C9E61-35DF-459E-ADDB-885DF59D64E1","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":"Q791555$3E0660C3-586E-40E5-A3E8-EE74227646D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"253d32cc2e882379f82f6c9ed665f5bbaa1be3c5","datavalue":{"value":{"entity-type":"item","numeric-id":1138005,"id":"Q1138005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$21F979BD-8794-4B97-BB65-6F9CBACD0CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a336770cf45a04dbb847ad754ebaf576b0beadb","datavalue":{"value":{"entity-type":"item","numeric-id":5906036,"id":"Q5906036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$78E16584-BC2E-4C12-A00B-26E3D095E282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$E127CEEB-68FE-4273-A39E-B371F4590622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$A64F7D11-44D4-4118-ADE0-1252EDA3282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdb2a348ac2411a485d26d1c9c10d960ed8419a","datavalue":{"value":{"entity-type":"item","numeric-id":4085774,"id":"Q4085774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$80F2DE5F-3CF2-4138-96E2-172A28619207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e161dfbe8ad9eb3f28069aeb511dd5969d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4085775,"id":"Q4085775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791555$E5542A8A-49CE-4985-BC9A-C0B16556EA5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"041428d26609c3ca2d89f3f2b66cf95bc78b3772","datavalue":{"value":"https://doi.org/10.1007/bf01194530","type":"string"},"datatype":"url"},"type":"statement","id":"Q791555$275E52D6-90AA-4D7F-869C-5EE692B60CA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"332ead4eccf5f8f8a20b12c3f3677e406e8d8a78","datavalue":{"value":"W1985461758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791555$5F8F917A-24F6-4A15-8FDB-872C4396298D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba844ab0f459f8ca01b86bb12ed1496fb10d3d8","datavalue":{"value":{"entity-type":"item","numeric-id":3982184,"id":"Q3982184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bd7faf96310ac5b2e72a7da427efca7c40c2d8","datavalue":{"value":{"amount":"+0.93050486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$6BE119EF-8522-48CE-A079-FFF4BE736590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e0a5494f283eee1fc270710426a31ca6d8072a","datavalue":{"value":{"entity-type":"item","numeric-id":1239177,"id":"Q1239177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414ccef957875dbd19ccdeb33deb8044177649b3","datavalue":{"value":{"amount":"+0.92563146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$4A88457F-771D-447B-AB21-3729FF317A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de0ccdea1555da8661bf9b3c8c16846b03adb87","datavalue":{"value":{"entity-type":"item","numeric-id":4893686,"id":"Q4893686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaeb89465d87de339a44ffbd0bb7b850dabb884","datavalue":{"value":{"amount":"+0.92033535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$D5B65A23-9F39-4372-9080-0B4405FC248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48dac031a6238b0fd053c57a194d926b129d85a2","datavalue":{"value":{"entity-type":"item","numeric-id":3363532,"id":"Q3363532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658c23deb1750190d110941b0ce1e0448a7268f3","datavalue":{"value":{"amount":"+0.91706127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$C9057D2C-7BFF-4719-8AAA-DD8BB98BB112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e45b01789ae59e1a8fb5d7b8dcabb17dc1e06fb","datavalue":{"value":{"entity-type":"item","numeric-id":4289439,"id":"Q4289439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c29ca4f61e74d7c051c4b9bea39a621a27236d","datavalue":{"value":{"amount":"+0.91280997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$1EF7B0CF-9E90-4B7B-84FB-AF7B2405F37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8352eb9877d0ed9c41bd3d62c7da8a8d008de94","datavalue":{"value":{"entity-type":"item","numeric-id":3837398,"id":"Q3837398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536ce3e489ad785464b7aa08327c248d0445c52f","datavalue":{"value":{"amount":"+0.91094327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$01EA4D3F-DEB0-48AF-8A34-B4E5B253CDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8ef48551e2caffab543f90bb83e06fac2ca685","datavalue":{"value":{"entity-type":"item","numeric-id":3701478,"id":"Q3701478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d20ea29c2a2c08fd1a42286d33672f8b07285a9","datavalue":{"value":{"amount":"+0.9104597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$0AB606AC-854A-40DC-90DD-F636FF7ED829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabe8eb829542d19f5a6dc46ac099c0cce3d121f","datavalue":{"value":{"entity-type":"item","numeric-id":4764298,"id":"Q4764298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016a69d0d920f5db58caa9d04842db8e83420290","datavalue":{"value":{"amount":"+0.9093073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$74A2D325-3D38-435F-AF89-7AB209570459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6885871a59c8fa334eeabe6039f6139c373b0954","datavalue":{"value":{"entity-type":"item","numeric-id":4005680,"id":"Q4005680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701024a587a134ec5d5fb835cdcabe8f2212fa41","datavalue":{"value":{"amount":"+0.9088285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791555$D2510A05-96EC-4FBF-97EC-D2C6494EF21F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive double p-algebras whose congruence lattices are chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_double_p-algebras_whose_congruence_lattices_are_chains"}}}}}