{"entities":{"Q1348684":{"pageid":1359423,"ns":120,"title":"Item:Q1348684","lastrevid":68669691,"modified":"2026-04-13T01:19:05Z","type":"item","id":"Q1348684","labels":{"en":{"language":"en","value":"Representable biresiduated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1740520"}},"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":"Q1348684$EEBA8759-679C-46AB-BC05-132419A104DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c67350ee14ad94ac4e12f88bcbd34f86a2cfbe9f","datavalue":{"value":{"text":"Representable biresiduated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348684$44F1D30B-BDAD-47F5-B92F-9A4A357CBAB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58a6fa4e0cf578c8ddfbefc7d77777da8927c97e","datavalue":{"value":"1001.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$977DA188-BCFF-449C-8B16-8D273DE1644B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$002B3508-A6F1-4BE1-98B7-361F7B811F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348684$8530FB75-6072-412A-83CB-B15AAE528047","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16d19ac124e21f68ee1b9f96c5d1dc4c2c6b179e","datavalue":{"value":"A biresiduated lattice is an algebra \\({\\mathbf A}=\\langle A;\\cdot ,/,\\backslash ,\\wedge ,\\vee ,1\\rangle \\) such that \\(\\langle A;\\wedge,\\vee \\rangle \\) is a lattice in which \\(1\\) is the maximum element, and \\( /\\) and \\(\\backslash \\) are binary operations which satisfy the following ``residuation'' properties with respect to the lattice order: \\(a\\cdot c\\leq b\\) iff \\(c\\leq a\\backslash b\\); \\(c\\cdot a\\leq b\\) iff \\(c\\leq b/a\\) for all \\(a\\), \\(b\\), \\(c\\) in \\(A\\). The corresponding class is denoted by \\({\\mathcal B}\\). These algebras were first studied by Krull as abstractions of ideal lattices of rings enriched with the monoid operation of ideal multiplication. The objective of this paper is to axiomatize the class of all the biresiduated lattices that may be represented as subalgebras of products of linearly ordered biresiduated lattices (these are called representable and the corresponding class is denoted by \\({\\mathcal L}\\)). It is shown that \\({\\mathcal L}\\) is axiomatized, relative to \\({\\mathcal B}\\), by the identity  \\[ (x\\backslash y)\\vee ([w\\cdot (z\\backslash ((y\\backslash x)\\cdot z))]/w)=1  \\]  or, equivalently, by  \\[ (x\\backslash y)\\vee (w/(w/(((y\\backslash x)\\backslash z)\\backslash z)))=1.  \\] Representable cancellative and complemented biresiduated lattices are also discussed.    Finally, connections with lattice-ordered groups are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348684$AB279D1A-8F05-4332-9494-ACF95CE65BB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d60743ac9c42652ebbda2ad8eda16b00e1ecf840","datavalue":{"value":"06F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$06CB851E-6FE3-4A52-8C51-E74820FFD17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$99808A74-8D94-45C2-AB96-460904143555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bd6c922c41ebcf575f1044828bd85bb45f607c2","datavalue":{"value":"1740520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$7342E3D1-10AA-417B-A8BE-DF2CF91B91C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348684$EB515461-B946-43E5-B681-3C48E09D8AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f68396e65ae511972414b26fb715f8c701e57f","datavalue":{"value":"biresiduated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1348684$79C86FFB-7B19-4CD0-BA8A-5C035371B314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$A5384F66-A6A6-47EC-93BB-009A42D592AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$DD7AFCD0-79A0-4E5F-BDB2-EA80B3613BE2","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":"Q1348684$202C5E23-A4C2-4F1E-9371-5937F9A04BC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdeb73d73a2b5f330cfcaa532a219ed3fcbf0b22","datavalue":{"value":"https://doi.org/10.1006/jabr.2001.9039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1348684$6C715EDD-40C2-450B-BB22-72273474FFE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bcd82b7171534a939f330c60cd2e400a724657a","datavalue":{"value":"W2168541099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$E4C855A9-6D22-4EF6-BFBE-AF3B5ACFD621","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$421335F1-B7B8-454A-B62D-1D6277E4D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb5d147b81cfd54847e5a313b80f977ad2ca3e9","datavalue":{"value":{"entity-type":"item","numeric-id":2652471,"id":"Q2652471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$FD8CD0F3-7D6C-4F3B-8D95-A3C7020976A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f3830183be386e8ec478d8357e11deae4a551c","datavalue":{"value":{"entity-type":"item","numeric-id":1355602,"id":"Q1355602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$93C90C11-DE96-4B07-9B13-7210D7919DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$186AA933-79A0-477C-8BF3-40E2A07631A0","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":"Q1348684$F1B289D4-7C34-47BA-B704-C696FD951316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901dcac00de5d563686f4673dcd290e12dd17055","datavalue":{"value":{"entity-type":"item","numeric-id":1095168,"id":"Q1095168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$EC0C60DC-FB67-4F1D-B3AB-124C46E498F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930be0a1463bb3c6bc2aa9a413579c7ad972ce67","datavalue":{"value":{"entity-type":"item","numeric-id":5925363,"id":"Q5925363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$D4909A03-85AF-48BF-89C9-7DC753EB630C","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":"Q1348684$C2A13AD8-96C4-4C71-BACD-7C8A3A91441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3a4e8b4dceec56c1f07a82bf95b48c6f867bcc","datavalue":{"value":{"entity-type":"item","numeric-id":3874204,"id":"Q3874204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$A6F8F70A-EB2A-49BA-87B1-658AC880FAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e0a02802a164034a4aa7e9ffc6ae956fb2a960","datavalue":{"value":{"entity-type":"item","numeric-id":3932964,"id":"Q3932964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$F51CD0BA-EC67-41CD-9D08-0F514CE8DA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a691776c03c186065a2607261b5a1fe3745fd342","datavalue":{"value":{"entity-type":"item","numeric-id":3775561,"id":"Q3775561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$BA4DDE95-8888-4C03-90AB-C2031B6A1E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e49f392424b9baaa94092e94396694c4a6dc3","datavalue":{"value":{"entity-type":"item","numeric-id":4943158,"id":"Q4943158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348684$374810CD-AA53-4C37-BE48-512750CD6BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d49984ad7706c2bb87615a5e53d2c06561c405fc","datavalue":{"value":"10.1006/JABR.2001.9039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348684$BB02279F-475F-4445-8DAE-65DCD5BCE6EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9122a949c6351406ba0b42f784e9e948237fb94","datavalue":{"value":{"amount":"+0.8029159307479858","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":"Q1348684$A92AB7A9-EA34-462E-98FC-72B6EE0102CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c64cbf2ba807127745e342414aa40e5909a92a2","datavalue":{"value":{"entity-type":"item","numeric-id":2466509,"id":"Q2466509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f612a31a467554c902accd3ae95e6255a0607f9","datavalue":{"value":{"amount":"+0.7952166795730591","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":"Q1348684$5E8D4BB3-3CCA-47B0-982B-548C145359B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b080aa5fb5a7faa8b629e2961546e60fbc02ef","datavalue":{"value":{"entity-type":"item","numeric-id":2433109,"id":"Q2433109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e98679140bc21f59f4545db727d2ab54b0f75a0","datavalue":{"value":{"amount":"+0.7902957797050476","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":"Q1348684$F7DAE96D-C23E-4779-9F90-CC9D385744E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c28e1ac9f6a34bee8d195f64eb0fa62d975ad95","datavalue":{"value":{"entity-type":"item","numeric-id":2496161,"id":"Q2496161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884cae7665f9d9537da0113dd6aa229255b0b5f6","datavalue":{"value":{"amount":"+0.7840335965156555","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":"Q1348684$D4EFC988-8FF3-443A-90E4-ED9A5E229F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e35848d1e46e218806f6ab5c0e2ecdb37c288","datavalue":{"value":{"entity-type":"item","numeric-id":3443137,"id":"Q3443137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909ac6c1ddf2d8c1e6674fca34269cabfb810716","datavalue":{"value":{"amount":"+0.7574843168258667","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":"Q1348684$485D97F8-A5D1-4672-9086-F4B46B534605","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representable biresiduated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representable_biresiduated_lattices"}}}}}