{"entities":{"Q690095":{"pageid":691944,"ns":120,"title":"Item:Q690095","lastrevid":47206723,"modified":"2026-01-01T00:22:00Z","type":"item","id":"Q690095","labels":{"en":{"language":"en","value":"Finite-valued algebraic lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446952"}},"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":"Q690095$4F80BC6D-2E0E-4635-A7AA-E44151F6EDA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d4b3568cab8ac2b9acee7dd59e47da11b4c72e","datavalue":{"value":{"text":"Finite-valued algebraic lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690095$C58D4756-2B45-48A3-B49A-A0264A21EAA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0055c0c59a9daa385c8190af49f0a582175bb10a","datavalue":{"value":"0806.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690095$14CB17BB-B765-4D5E-B038-37A936BF9263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2157a6564d14ec5025a45b2b4630472b76bfd313","datavalue":{"value":"10.1007/BF01190439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690095$9BB5C6BE-D487-478A-8719-96D701C02AA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d04c8e2b5333a124f1e73cc8ddb52e9c53ee248","datavalue":{"value":{"entity-type":"item","numeric-id":690092,"id":"Q690092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$7EF6FEFB-73A4-44A8-A1FD-7D0D7D87E982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f0c4a313f015fa954509557f72ec43cb13c42e","datavalue":{"value":{"entity-type":"item","numeric-id":284972,"id":"Q284972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$E707C35E-ADB8-4CCF-ABC2-8DAD44236264","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":"Q690095$B38F9F56-6EC4-446D-A96A-7162C5E07BCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690095$73608073-2A52-41EE-AC5C-FC6356C2A6EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c03bc6dd42de61ecd7d763aad4680a5ce7fc7c7f","datavalue":{"value":"Let \\(L\\) be a distributive algebraic lattice. Then \\(L\\) is said to be finite-valued if for every compact element \\(c\\in L\\), the poset of meet- irreducible elements not exceeding \\(c\\) has finitely many maximal elements. It is a classical result that a bialgebraic (= algebraic and dually algebraic) distributive lattice is finite-valued. The converse does not hold in general [see \\textit{J. Martinez}, Proc. Am. Math. Soc. 33, 213-220 (1972; Zbl 0241.06007)].   The principal result of the paper under review says that the converse of the above classical result is possible under some additional assumptions. More precisely, let \\(L\\) be an algebraic distributive lattice whose compact elements form a sublattice of whose meet-irreducible elements form a root-system. (A root-system is a poset for which the principal order-filter \\([p)=\\{x\\in P\\): \\(p\\leq x\\}\\) is a chain for all \\(p\\in P\\).) Let \\(L\\) be finite-valued. Then \\(L\\) is bialgebraic. As a corollary of this result one can derive the following known theorem [see \\textit{P. Conrad}, Czech. Math. J. 15, 101-123 (1965; Zbl 0135.063)]: The congruence lattice \\(\\text{Con}(L)\\) of an \\(l\\)-group \\(L\\) is finite-valued if and only if each positive element of \\(L\\) is a finite product of pairwise orthogonal elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$2AFD9C76-3E46-42D2-AE33-0A0F98890D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690095$D3C17A47-B7BF-460C-9713-DA8C43DB52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690095$642D7B01-92F2-4D17-A96D-C317838BBBBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ff8cf88cce393c5a25afa7cf86afd3d198431c4","datavalue":{"value":"446952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690095$BC146ED3-365F-40D1-940B-48ACB6C0A926","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3723aba5ccf26d6be5dc673b8493c20cec02f9b1","datavalue":{"value":"relatively normal lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$B9B082C9-E482-4DD6-B3C7-32A7CC11129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310bcedcb486f44248521f7d0f4f5803d94f1b9b","datavalue":{"value":"bialgebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$5394EBA9-8F41-45F1-BA23-DDA73E66C7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a5e3ac5da4558a54ed427bcc49f7efd6b6452","datavalue":{"value":"algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$376A704A-FA1D-4FB6-8EDF-7977DD569F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0dca8521dae91805e8fea81b1ff5f6a914ccae","datavalue":{"value":"meet- irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$81A61C61-4179-4290-9AEB-8A9EC8BC2D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$E41ED959-551F-4F33-B849-6AB6A9CCC334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f22937a07c3308d28069f1c436fe5cc024ce18","datavalue":{"value":"root-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q690095$D95D72CB-838A-4759-B212-083C25156BE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$B98450CA-CF4C-43BB-A3FF-672528E900A1","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":"Q690095$E60ED589-6205-4B66-A4F2-911352E2FFE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4cca440f5c10a728769119bee0fffd0577a91d","datavalue":{"value":{"entity-type":"item","numeric-id":5827041,"id":"Q5827041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$C118BA64-2794-449B-B285-C64EFDF7AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481e3900575b24a6f9fc146b5b6cf61e076b78c3","datavalue":{"value":{"entity-type":"item","numeric-id":5507659,"id":"Q5507659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$40D34D1D-088A-46B1-926D-8FC7CF8FB07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e7c97872806830c474a767499bc68954ef2f274","datavalue":{"value":{"entity-type":"item","numeric-id":5659602,"id":"Q5659602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$AFFBFBFD-A8FE-4A7C-BADE-ADCE1F917838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372697e99b1a50ef3668f86411a297448cf5f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5650425,"id":"Q5650425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$8A0D0D75-9E3F-45C2-A121-EB2207840811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$F0B5F81D-3775-406B-B7F0-C7B0E5BC3821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b87ef1ead832c7ee19331bee71dcdb0e99a890","datavalue":{"value":{"entity-type":"item","numeric-id":2542730,"id":"Q2542730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$92BFFD5A-5ADC-4E20-9800-1E52DE18B78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$18B92894-2FF5-45DC-9C12-AFA8EF73BF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c93c6bb404b01c74615e5b97f03e140e97f6b4","datavalue":{"value":{"entity-type":"item","numeric-id":2546564,"id":"Q2546564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$8DD8DBFA-F976-4C8C-903D-99B9149048AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627c4f6f12750e50d88173529c4c19870661fec8","datavalue":{"value":{"entity-type":"item","numeric-id":3669960,"id":"Q3669960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690095$5A12E95A-1407-4E5C-A421-D63F23573BDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc3e8a8a76bf255661c8522a27b1deddcb91128","datavalue":{"value":{"entity-type":"item","numeric-id":3781152,"id":"Q3781152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32add7d4186d4e284e46af90a1fc2928503ec2ff","datavalue":{"value":{"amount":"+0.7897119522094727","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":"Q690095$676E228C-8BEE-449D-BB39-35B1D41844B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39175b1eef64bb96247555fc33f25bca887fde6a","datavalue":{"value":{"entity-type":"item","numeric-id":2764486,"id":"Q2764486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30f634fbc7e77f7dd6d5084a64d526ee5f96094","datavalue":{"value":{"amount":"+0.771373450756073","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":"Q690095$CE4F0F49-52C4-4574-A044-91EB62C43A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600fce8f9f3540a8fd0d2b8433cf24b56c69a90d","datavalue":{"value":{"entity-type":"item","numeric-id":4792046,"id":"Q4792046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fbd72a0a18e6914969939cf0acc5632706c74d","datavalue":{"value":{"amount":"+0.7713733911514282","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":"Q690095$8523DB0E-72B0-4C8B-9DA3-1EF319722252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aae6f04e4449afc1bf6bf0703bb218cef209ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3765831,"id":"Q3765831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffb8024ba759044eac9227559fad867e8a42f8a","datavalue":{"value":{"amount":"+0.76836758852005","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":"Q690095$BFC80B4B-0295-4AFE-AB8D-5C8DB1595D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a492fd949d1bee3df15c3b230e238af0b2bf093","datavalue":{"value":{"entity-type":"item","numeric-id":4368818,"id":"Q4368818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b64f9ab1bb2ba5203b190680dbd81cd5bbf4ca","datavalue":{"value":{"amount":"+0.7609498500823975","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":"Q690095$CCC7930D-0981-40E9-981E-BC342B3A9F5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690095"}}}}}