{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T11:03:39Z","timestamp":1777115019354,"version":"3.51.4"},"reference-count":42,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2003,8]]},"abstract":"<jats:p>A residuated lattice is an ordered algebraic structure [Formula: see text] such that &lt;L,\u2227,\u2228&gt; is a lattice, &lt;L,\u00b7,e&gt; is a monoid, and \\ and \/ are binary operations for which the equivalences [Formula: see text] hold for all a,b,c \u2208 L. It is helpful to think of the last two operations as left and right division and thus the equivalences can be seen as \"dividing\" on the right by b and \"dividing\" on the left by a. The class of all residuated lattices is denoted by \u211b\u2112<\/jats:p><jats:p>The study of such objects originated in the context of the theory of ring ideals in the 1930s. The collection of all two-sided ideals of a ring forms a lattice upon which one can impose a natural monoid structure making this object into a residuated lattice. Such ideas were investigated by Morgan Ward and R. P. Dilworth in a series of important papers [15, 16, 45\u201348] and also by Krull in [33]. Since that time, there has been substantial research regarding some specific classes of residuated structures, see for example [1, 9, 26] and [38], but we believe that this is the first time that a general structural theory has been established for the class \u211b\u2112 as a whole. In particular, we develop the notion of a normal subalgebra and show that \u211b\u2112 is an \"ideal variety\" in the sense that it is an equational class in which congruences correspond to \"normal\" subalgebras in the same way that ring congruences correspond to ring ideals. As an application of the general theory, we produce an equational basis for the important subvariety \u211b\u2112<jats:sup>C<\/jats:sup>that is generated by all residuated chains. In the process, we find that this subclass has some remarkable structural properties that we believe could lead to some important decomposition theorems for its finite members (along the lines of the decompositions provided in [27]).<\/jats:p>","DOI":"10.1142\/s0218196703001511","type":"journal-article","created":{"date-parts":[[2003,11,21]],"date-time":"2003-11-21T08:49:01Z","timestamp":1069404541000},"page":"437-461","source":"Crossref","is-referenced-by-count":232,"title":["THE STRUCTURE OF RESIDUATED LATTICES"],"prefix":"10.1142","volume":"13","author":[{"given":"KEVIN","family":"BLOUNT","sequence":"first","affiliation":[{"name":"Department of Mathematics, Sacred Heart University, Fairfield, CT 06432, USA"}]},{"given":"CONSTANTINE","family":"TSINAKIS","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Vanderbilt University, Nashville, TN 37240, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2871-8"},{"key":"rf3","volume-title":"Distributive Lattices","author":"Balbes R.","year":"1974"},{"key":"rf4","first-page":"529","volume":"228","author":"Benado M.","journal-title":"C. R. Acad. Sci., Paris"},{"key":"rf5","volume-title":"Lattice Theory","volume":"25","author":"Birkhoff G.","year":"1967"},{"key":"rf7","volume-title":"Residuation Theory","volume":"102","author":"Blyth T. S.","year":"1972"},{"key":"rf8","series-title":"A Course in Univeral Algebra","volume-title":"Graduate Texts in Mathematics","volume":"78","author":"Burris S.","year":"1981"},{"key":"rf9","series-title":"Algebraic Foundations of Many-Valued Reasoning","volume-title":"Trends in Logic","volume":"7","author":"Cignoli R. L. O.","year":"1999"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1961-0121405-2"},{"key":"rf11","doi-asserted-by":"crossref","first-page":"101","DOI":"10.21136\/CMJ.1965.100656","volume":"15","author":"Conrad P.","journal-title":"Czech. Math. J."},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370141"},{"key":"rf13","volume-title":"Introduction to Lattices and Order","author":"Davey B. A.","year":"1990"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1938-06736-5"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1939-0000230-5"},{"key":"rf17","volume-title":"Partially Ordered Algebraic Systems","volume":"28","author":"Fuchs L.","year":"1963"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67678-9"},{"key":"rf20","series-title":"Multiplicative Ideal Theory","volume-title":"Queen's Papers in Pure and Applied Mathematics","volume":"12","author":"Gilmer R. W.","year":"1968"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1142\/3811"},{"key":"rf22","series-title":"Lattice-Ordered Groups","volume-title":"Mathematics and Its Applications","author":"Glass A. M. W.","year":"1989"},{"key":"rf23","volume-title":"Lattice Theory: First Concepts and Distributive Lattices","author":"Gr\u00e4tzer G.","year":"1971"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191491"},{"key":"rf26","series-title":"Metamathematics of Fuzzy Logic","volume-title":"Trends in Logic","volume":"4","author":"H\u00e1jek P.","year":"1998"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1994-1211409-2"},{"key":"rf28","author":"Hart J. B.","journal-title":"Int. J. Algebra Comput."},{"key":"rf29","first-page":"399","volume":"10","author":"Holland W. C.","journal-title":"Michigan Math. J."},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1080\/00927879408824863"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10850"},{"key":"rf33","first-page":"47","volume":"56","author":"Krull W.","journal-title":"Sitzungsberichte der physikalischmedicinischen Societ\u00e4t. zu Erlangen"},{"key":"rf34","series-title":"Pure and Applied Mathematics","volume-title":"Multiplicative Theory of Ideals","volume":"43","author":"Larsen M. D.","year":"1971"},{"key":"rf35","first-page":"63","volume":"27","author":"McCarthy P. J.","journal-title":"Acta. Sci. Math. (Szeged)"},{"key":"rf36","volume-title":"Algebras, Lattices and Varieties","author":"McKenzie R. N.","year":"1987"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1007\/BF02039527"},{"key":"rf40","doi-asserted-by":"publisher","DOI":"10.1080\/00927878908823857"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2283-9_12"},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1946-0015126-6"},{"key":"rf43","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190765"},{"key":"rf44","first-page":"90","volume":"6","author":"Ursini A.","journal-title":"Boll. Un. Mat. Ital."},{"key":"rf45","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-37-00351-X"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.2307\/1968634"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.24.3.162"},{"key":"rf48","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1939-1501995-3"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196703001511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,13]],"date-time":"2021-06-13T04:42:55Z","timestamp":1623559375000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196703001511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":42,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2003,8]]}},"alternative-id":["10.1142\/S0218196703001511"],"URL":"https:\/\/doi.org\/10.1142\/s0218196703001511","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}