{"entities":{"Q2906337":{"pageid":2917062,"ns":120,"title":"Item:Q2906337","lastrevid":42481220,"modified":"2025-06-28T15:36:27Z","type":"item","id":"Q2906337","labels":{"en":{"language":"en","value":"On congruence distributivity of ordered algebras with constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6077369"}},"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":"Q2906337$60545131-0B13-4CCD-8CA9-76898DE8FC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59f9429059087cfcc8a956ef30c7b4e84e4fe1f6","datavalue":{"value":{"text":"On congruence distributivity of ordered algebras with constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2906337$FEE2C728-BC4C-4672-9E65-B76E9BBEC296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e582c4ffdf0bed5b2a3a6a701593e86f7c9fd6e7","datavalue":{"value":"1271.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$B7F7C2F8-60EC-43DE-B730-603A1FE6EEC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7ef2fd722dde4ce860411ad984672cac6fd229d","datavalue":{"value":{"entity-type":"item","numeric-id":2906336,"id":"Q2906336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2906337$92051E86-E274-4967-982C-E86E24A21939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ab4140b9d2928be3f01c3f151f4e809a55503b9","datavalue":{"value":{"entity-type":"item","numeric-id":382893,"id":"Q382893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2906337$D86EBBCF-C8D7-4909-A376-6F7FB3F2811D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2906337$E92F5C9D-6C2F-47EB-A76D-984E56DA4C65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d73c60bc335d7b15665560742575159e0d5b6cca","datavalue":{"value":"https://semanticscholar.org/paper/17706a3d2f8de5b74441f837f27d73266e902bd4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2906337$5B607F13-84CD-4AD7-8AB9-0F7E25156A66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$6F44609A-B036-4CCC-8619-B2275CAEEAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$CB5E2640-EECE-4F18-9E27-67BD1E0A05D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$07C50EB5-BED6-4563-9C92-F2B3BE42B271","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf7e258d346e36f00e7c74fcdd407c71b8caac4f","datavalue":{"value":"6077369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$059500D1-4759-458F-A43B-DC43D13C7304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9367fed84773757c167012bbb9f0dff26ce7294a","datavalue":{"value":"ordered algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2906337$340323CB-CF12-495E-A5AF-9531D4C218BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d79330dc704d1f5b88c86a684aafc5a0a76349","datavalue":{"value":"\\(n\\)-distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2906337$A2FFDFDA-DA03-40B5-A9DF-DE8E45D9D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2906337$1C6C3A47-518B-4CB0-B926-A6013F8DC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3972b542a0c1bdd2a49e02042ba5d7b7d0ece6","datavalue":{"value":"Mal'tsev condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2906337$B407C92B-5D0E-4CF2-8107-E425E4AAB835","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":"Q2906337$54198C9B-47DB-4AFB-945D-423A9E5DC525","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b41f769b66a2858fb35a9a8f9d58e9c45b3bf74","datavalue":{"value":"W2328653943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$B8CE6590-E892-437B-93F6-C5C9E548BE93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e19025265aa342509e1fe13dc8c0bda82e0e90d4","datavalue":{"value":"10.7151/DMGAA.1174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2906337$6C1D26C8-39C1-4C50-A1F2-A6227120F9C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8def394139b09e68b52b13d66d4fbfe5c4631b6a","datavalue":{"value":{"entity-type":"item","numeric-id":794684,"id":"Q794684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0151dfb3b53a7bf8941b7ca6ae4ad5d5bffe087","datavalue":{"value":{"amount":"+0.9625462","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":"Q2906337$8067535F-C2DD-4D7D-A7E6-D8094C50EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08e3bcedad391d12de24adeb115867485cd7504","datavalue":{"value":{"entity-type":"item","numeric-id":519931,"id":"Q519931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4860cb10644d07db7de5c8d2fbc8f05d83926130","datavalue":{"value":{"amount":"+0.9243907","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":"Q2906337$1B2985F1-5A2A-4E61-B3E8-0E9EEE665DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a83d62f7ef1c2b82e6d771a1b5f076904bc079","datavalue":{"value":{"entity-type":"item","numeric-id":1320466,"id":"Q1320466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a374d61823dc77cee8d33f7dc7451b630c62e52","datavalue":{"value":{"amount":"+0.91527385","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":"Q2906337$447FE6B3-E71D-47F7-880A-A06E3CFF63E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e75652afea2be5ee63959194e56f3f179dedc61","datavalue":{"value":{"entity-type":"item","numeric-id":4723790,"id":"Q4723790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b128accae1bf7a639a0ecb63e5b40322515afff3","datavalue":{"value":{"amount":"+0.9150071","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":"Q2906337$9F4E1FCD-41B9-4DF0-AF1C-225B4235C84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8725444ab97b23c4a4865182a67fec663c58f818","datavalue":{"value":{"entity-type":"item","numeric-id":3328595,"id":"Q3328595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018d40e4c355dbf85a550e7d29871980d3580d87","datavalue":{"value":{"amount":"+0.90945226","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":"Q2906337$16C0648E-AC7F-4E1C-A5A2-2904A24DEA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb7c9c1e5a71756ca5062269b6b19fd42217fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5901958,"id":"Q5901958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0439028873bb954ca7c0810831f7070bf477ef5f","datavalue":{"value":{"amount":"+0.9070873","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":"Q2906337$F07195DB-C3B6-4554-A154-21DE992F9A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534f70cb77413fab6481df1fb9362a28c239e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3835511,"id":"Q3835511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a97a4346d5eed42d911656a771571095a55f6dd","datavalue":{"value":{"amount":"+0.90508866","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":"Q2906337$1212AFF6-6798-4993-8064-4908F861AD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b3a738358352b9c9fcc3cdcfa6031613f064d5","datavalue":{"value":{"entity-type":"item","numeric-id":911623,"id":"Q911623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a97a4346d5eed42d911656a771571095a55f6dd","datavalue":{"value":{"amount":"+0.90508866","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":"Q2906337$7894369A-7D0E-409A-82BB-46F4176AECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7182957ab38442935acb4e3144051d869c4e33","datavalue":{"value":{"entity-type":"item","numeric-id":1954291,"id":"Q1954291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7499c4696aa938cf570a1c746081fa49051781e0","datavalue":{"value":{"amount":"+0.902151","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":"Q2906337$319945C4-8F7D-432D-AC53-0CA55F3B2BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf1c3ecc1b448fbb8b5f17cc8fd2246fa647031","datavalue":{"value":{"entity-type":"item","numeric-id":3356343,"id":"Q3356343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b1ddddebf0bb248ef689faa2c197ed3e5841e5","datavalue":{"value":{"amount":"+0.8954071","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":"Q2906337$99621809-814E-4858-93B2-68A8E3BE9118","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":"Q2906337$B8AD6A02-BD98-447C-9B75-745364522A52","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d1e4325218d5526517cc753f65f942a5e2e1b3e","datavalue":{"value":"A lattice is called \\(n\\)-distributive (\\(n\\geq1\\)) if it satisfies the so-called \\(n\\)-distributive identity NEWLINE\\[NEWLINEx\\wedge(y_0\\vee y_1\\vee\\ldots\\vee y_n)=(x\\wedge(y_1\\vee y_2\\vee\\ldots\\vee y_n))\\vee(x\\wedge(y_0\\vee y_2\\vee\\ldots\\vee y_n))\\vee\\ldots\\vee (x\\wedge(y_0\\vee y_1\\vee\\ldots\\vee y_{n-1})).NEWLINE\\]NEWLINE Note that for \\(n=1\\) this is the usual distributive law. The concept of \\(n\\)-distributivity was introduced by \\textit{A.~P.~Huhn} [Colloq. Math. Soc. J\u00e1nos Bolyai 14, 137--147 (1976; Zbl 0385.06009)] and obviously generalizes distributivity.NEWLINENEWLINELet \\((A,F)\\) be an algebra and \\(\\leq\\) a partial ordering on \\(A\\). If the operations from \\(F\\) are monotone with respect to \\(\\leq\\), then \\((A,F,\\leq)\\) is called an ordered algebra. Homomorphisms between ordered algebras (of the same type) are monotone mappings preserving the operations, and order-congruences are defined as kernels of homomorphisms. These congruences form an algebraic lattice. NEWLINENEWLINENEWLINE Suppose that \\({\\mathcal K}\\) is a class of ordered algebras of type \\(\\tau\\) and \\(0\\) is a fixed nullary operation symbol in \\(\\tau\\). For \\(k\\)-ary lattice terms \\(s\\) and \\(t\\) it is said that the lattice identity \\(s=t\\) holds for order-congruences of \\({\\mathcal K}\\) at \\(0\\) if for every algebra \\((A,F,\\leq)\\) of \\({\\mathcal K}\\) and all order-congruences \\(\\Theta_1,\\ldots,\\Theta_k\\) of \\((A,F,\\leq)\\), the \\(s(\\Theta_1,\\ldots,\\Theta_k)\\)-class of \\(0\\) is equal to the \\(t(\\Theta_1,\\ldots,\\Theta_k)\\)-class of \\(0\\). If \\(s=t\\) is the \\(n\\)-distributive identity, \\({\\mathcal K}\\) is called order-congruence \\(n\\)-distributive at \\(0\\). NEWLINENEWLINENEWLINE The main result of the present paper is the following theorem: NEWLINENEWLINENEWLINE Let \\({\\mathcal K}\\) be a class of ordered algebras of type \\(\\tau\\) with a nullary operation symbol \\(0\\), and suppose that \\({\\mathcal K}\\) is closed with respect to subalgebras and direct products. Then \\({\\mathcal K}\\) is order-congruence \\(n\\)-distributive at \\(0\\) if and only if \\({\\mathcal K}\\) is order-congruence \\(1\\)-distributive at \\(0\\).NEWLINENEWLINEThe proof depends on several lemmas and a rather technical proposition. Furthermore, the authors show that their theorem is a generalization of a result of \\textit{G.~Cz\u00e9dli} and \\textit{A.~Lenkehegyi} [Acta Math. Hung. 41, 17--26 (1983; Zbl 0541.06013)]. Last but not least, they derive a Mal'tsev condition for order-congruence \\(n\\)-distributivity at \\(0\\) which generalizes a result of \\textit{I.~Chajda} [Arch. Math., Brno 22, 121--124 (1986; Zbl 0615.08005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2906337$5B1780FE-D078-4552-A3CC-AD28DA2227C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2906337$6136F038-FEE4-4315-A18A-61DEBFFE4820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2906337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2906337"}}}}}