{"entities":{"Q422484":{"pageid":424251,"ns":120,"title":"Item:Q422484","lastrevid":61728867,"modified":"2026-04-11T01:15:20Z","type":"item","id":"Q422484","labels":{"en":{"language":"en","value":"Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035811"}},"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":"Q422484$6DCBB20C-AB5E-4676-B21D-C8BE21D0752F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1c4db43591e3e640e18ae7256f5ac8cc34b5f63","datavalue":{"value":{"text":"Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q422484$906C6808-0973-42C4-9A9A-5FDAFCCEED5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ff76245463f7c5e3d76b5dddebca480f29f6e2d","datavalue":{"value":"1276.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$46955D33-ED92-4C59-9933-80F19A2953BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$15450CC4-7342-4108-A4E7-13C5B67E1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c4464f6c45a39b0731a4675b2e292d7fb95bb2","datavalue":{"value":{"entity-type":"item","numeric-id":616115,"id":"Q616115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$1E0ECFC5-D5B5-48C1-A853-D5963B376288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$D45E95DD-2DAC-477E-987F-AA6ED3F662D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$DD2A8523-5FD5-4638-986E-BF676837A499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q422484$0369D511-96B2-46A8-ACEB-4C7EF254E064","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"476978cb7587e056b71cdf68fa5ae2b891d228bd","datavalue":{"value":"A residuated lattice is an algebra \\({\\mathbf A}=\\langle A,\\wedge,\\vee,\\cdot,\\rightarrow,0,1\\rangle\\) of type \\((2,2,2,2,0,0)\\) such that \\(\\langle A,\\wedge,\\vee,0,1\\rangle\\) is a bounded lattice with least element \\(0\\) and greatest element \\(1\\), \\(\\langle A,\\cdot,1\\rangle\\) is a commutative monoid and for all \\(a,b,c\\in A\\) the so-called residuation condition holds: \\(a\\cdot b\\leq c\\) if and only if \\(a\\leq b\\rightarrow c\\). This residuation condition can be replaced by two equations, and therefore residuated lattices form a variety, denoted by \\(\\mathbb{RL}\\) (it is the algebraic counterpart of the full Lambek logic without contraction). The present paper studies free algebras in the variety \\(\\mathbb{RL}\\) and in some of its subvarieties, in particular in the variety \\(\\mathbb H\\) of Heyting algebras (satisfying \\(x\\cdot y=x\\wedge y\\)) and the variety \\(\\mathbb{IRL}\\) of involutive residuated lattices (satisfying \\((x\\rightarrow0)\\rightarrow0=x\\)).   The paper contains six sections. Section~1 is the introduction; in Section~2 some basic results about residuated lattices (and their implicative filters) are collected; in Section~3 some well-known facts about complemented elements in residuated lattices (and their relation to decomposability) are reviewed. The two latter sections enable also readers who are not so familiar with residuated lattices to understand the next Sections~4 and 5, the core of the article, which deal with indecomposability of free algebras. In particular, Section~4 proves the following main result: The varieties \\(\\mathbb{RL}\\), \\(\\mathbb{IRL}\\) and \\(\\mathbb H\\) have all their free algebras directly indecomposable. (It is well known that this result also holds for the variety of MV-algebras.) In the last Section~6, results of Sections~4 and 5 are extended to the corresponding \\(\\langle\\rightarrow,0,1\\rangle\\)-reducts. Finally, let us note that the paper is written quite clearly and in a very good style and contains a representative list of 19 references.","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$825F548A-0E02-4EDD-9922-E04FFBA1EFA7","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":"Q422484$AB13C7CA-B610-4553-8E97-A137CBDCF9AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$FB3A8FEE-1FF0-41E7-88E8-0B5CF3435DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$A5E6CB30-B828-4C3F-9D91-B2758E0818F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$5C22BEFC-46EE-497B-99EE-6AA3C16DB5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$55153C57-E93A-4988-AD69-42C28FEC635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$52FA7A67-4F0A-4EC5-90DC-C67B75A0E4A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d274359b690da3abb4a76289e440f6535cf8a2a","datavalue":{"value":"6035811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$A1A37D86-CE38-45E4-A188-EFCB98F292CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$9D0444CF-B201-4860-B84C-E101022657C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$7592D6A0-DA60-480C-8247-09FBAD1F8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd53b61e2c1d09da281483fda8eadf911f26ae0","datavalue":{"value":"subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$4315E526-62CC-4491-8EF6-684AADE9313D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1392ffbeb6d1d6299d464dbdbab2c4fa0553c982","datavalue":{"value":"bounded BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$DFB069A8-A8DC-4F4C-82F5-B20641FF7C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q422484$7C29CDAC-1679-40B9-A0BF-006D9E0965F8","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":"Q422484$DD0B31D0-D321-4304-86AC-AEE50CA81C1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737762f6ec3e9263badbdd25987e8c43be522511","datavalue":{"value":"https://doi.org/10.1007/s00500-010-0683-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q422484$ED8B063B-A20E-488F-A0BB-17CD9E00D94B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c7bbff2f7c3e8c0c9ce9d09e1d641cff55e2fca","datavalue":{"value":"W2028438177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$3F23EB8F-AC24-4032-A934-6E5A11E46257","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fafd70556b595d77a31de57c7ab1eaf6f9533c5","datavalue":{"value":{"entity-type":"item","numeric-id":2462673,"id":"Q2462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$6CAF181D-4289-47F7-8F5E-B0F9E8671425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$3941877E-4394-4BA4-88F0-E1E71F15AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4359de63188e9ac22aa2e99bb5c38ba9c03cf","datavalue":{"value":{"entity-type":"item","numeric-id":4459591,"id":"Q4459591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$9C9B9B47-5C87-43D0-B7CB-AF01342BA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557febfe43166275b526f096a284199bfccc929","datavalue":{"value":{"entity-type":"item","numeric-id":1407598,"id":"Q1407598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$8CBC8C11-2D0D-4508-BEF7-C5F3E3C18D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$1744EFA1-6651-415D-962E-6BEC5005E0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$B71A8522-4D15-436D-A1A3-5B75F6485414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0c7820e4f6a0840e1fc28b4670c79728ba37bd","datavalue":{"value":{"entity-type":"item","numeric-id":934913,"id":"Q934913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$A62BC568-B715-41EA-A14F-F92FA9D7E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$97EEDCE0-25F3-460E-9EA4-67630A2341BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$6D8BD2FD-D1CD-4C1C-9B4B-994A6DB0D77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$FCA0659D-961E-46C7-AA9D-5DD181E708CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$068C6E11-47CC-489B-8450-CC8D864EC4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a20ee09fbabbabf116e7e1f5072f3916a8a6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2752409,"id":"Q2752409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$7F17339A-89D8-42DF-B43B-9DF5EA82CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901a26ec9a3abaa1546b2d52170a82ccbf4ad40a","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$770F216A-E21A-4C76-AF5E-8C192603D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9435dcbbce4ddeaf4f4d7db1cf97394d4736bce","datavalue":{"value":{"entity-type":"item","numeric-id":3666901,"id":"Q3666901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$D206F198-5F79-4790-929D-0ED207F2A304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b942917ef41dceb4a6c49da9b0b1fbe6a4080b","datavalue":{"value":{"entity-type":"item","numeric-id":3666903,"id":"Q3666903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422484$7E43666C-727E-44CA-9D07-5F94894387C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56f5abcaec32c857f445ec3a5d229ce6dba52ce6","datavalue":{"value":"10.1007/S00500-010-0683-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422484$6054ED9A-30BA-4B05-9343-C95743D8E8FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4d605b3581ab2a325fd6653b101aee8609d8af","datavalue":{"value":{"entity-type":"item","numeric-id":763308,"id":"Q763308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b73e77ccb7546364a55061fd32cb6e8a19e58d","datavalue":{"value":{"amount":"+0.8380751013755798","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":"Q422484$9E4448D2-7BC5-4020-819E-05B9FD7A965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fea1d7c4ca3eb62efa2ffc55d55e2e6385f7db","datavalue":{"value":{"entity-type":"item","numeric-id":2426730,"id":"Q2426730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45307026f1bb3f03aa6b891d974e773b9f45d62a","datavalue":{"value":{"amount":"+0.8200829029083252","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":"Q422484$41AE1AD8-B2BC-4562-9E81-46298E46BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa56296b992febd53369f67c9d973b73ade4e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3639881,"id":"Q3639881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60cfbaf2e136a5d8a6631ba2e7b8f99bd47b5aa","datavalue":{"value":{"amount":"+0.796640932559967","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":"Q422484$D0E8EE0F-7213-4F8F-BD9C-6658DD9DDF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f5bda9d2584651cfc57469580b9982c207dbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2496153,"id":"Q2496153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0e018cc2e12420e6a203de7bc7ccb9f327053d","datavalue":{"value":{"amount":"+0.7888220548629761","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":"Q422484$C4CD2002-2266-43E0-B97E-84F264736446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ff2e613e899b1ed73e4cca646ffffb5c18c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2888630,"id":"Q2888630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f07f541a776f9f8409e906a9da48ae62fc6b027","datavalue":{"value":{"amount":"+0.7848679423332214","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":"Q422484$E26BBD06-1B2D-465E-AFB2-8239A6A07564","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Indecomposability_of_free_algebras_in_some_subvarieties_of_residuated_lattices_and_their_bounded_subreducts"}}}}}