{"entities":{"Q1814501":{"pageid":1825243,"ns":120,"title":"Item:Q1814501","lastrevid":71345634,"modified":"2026-04-13T21:36:54Z","type":"item","id":"Q1814501","labels":{"en":{"language":"en","value":"\\(S\\)-pasted sum of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10866"}},"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":"Q1814501$60732126-4B3C-47A4-9483-7A171572E6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87fe558e9e0973bc43b5818b5a8631ddf911f08a","datavalue":{"value":{"text":"\\(S\\)-pasted sum of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814501$307922F9-13D4-458E-B1F5-AB8F067E6FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee587988dceb170f8f0c62c93b217e3efb0b768f","datavalue":{"value":"0746.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$6B91FB27-B338-4FCE-B5B2-50097CF26FAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e682084d695d0a66a97e640587f4e4918dee11","datavalue":{"value":"10.1007/BF01978407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$DAFB28BD-9761-4F61-91C8-8E8E385F6332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13cbdf9aba11f26636b9993cf52099628002804c","datavalue":{"value":{"entity-type":"item","numeric-id":1814500,"id":"Q1814500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814501$B06567E6-B086-41E4-B047-640613DFB647","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814501$482113B8-8C78-4A07-8C3E-6FC3647D1E1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814501$5FC00376-9326-44DD-9B14-B4748E0DA3D8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1682b771bffeada9ffd8c556b58b3b1ee4eadde0","datavalue":{"value":"Dropping the finite length property, the author generalizes the notion of \\(S\\)-pasted system (sum) of lattices, introduced by \\textit{C. Herrmann} [Math. Z. 130, 255-274 (1973; Zbl 0275.06007)]. Using this new construction, the author characterizes the congruence lattices of connected monounary algebras with a loop. In more detail, a lattice \\(L\\) is said to be a (generalized) \\(S\\)-pasted sum of lattices \\(L_ s\\), \\(s\\in S\\), if (i) \\(S\\) is a lattice, (ii) \\(L=\\bigcup(L_ s:s\\in S)\\), (iii) \\(L_ s\\) is a convex sublattice of \\(L\\) for every \\(s\\in S\\), (iv) if \\(x,y\\in L\\) and \\(x\\in L_ s\\), \\(y\\in L_ t\\), then \\(x\\lor y\\in L_{s\\lor t}\\) and \\(x\\land y\\in L_{s\\land t}\\), (v) \\(s\\neq t\\) implies \\(L_ s\\cap L_ t\\not\\in \\{L_ s,L_ t\\}\\). A monounary algebra \\((A;f)\\) is called connected if for any \\(x,y\\in A\\) there exist nonnegative integers \\(m, n\\) such that \\(f^ m(x)=f^ n(y)\\;(f^ 0(x)=x,\\;f^{n+1}(x)=f(f^ n(x)))\\). An element \\(a\\in A\\) is said to be a loop of \\((A;f)\\), if \\(f(a)=a\\).   Main results: (1) Let \\(S\\) be a lattice and \\(M=\\{L_ s:s\\in S\\}\\) a system of lattices. Then there exists a lattice which is a generalized \\(S\\)-sum of lattices \\(L_ s\\), \\(s\\in S\\) if and only if five conditions of adhesion are satisfied. (2) Let \\((A;f)\\) be a connected monounary algebra with a loop. Then \\(\\hbox{Con}(A)\\) is a generalized \\(S\\)-sum of direct products of equivalence lattices. Moreover, \\(S=\\{\\alpha\\in \\hbox{Con}(A):(\\alpha^*)_ +=\\alpha\\}\\) is a sublattice of \\(\\hbox{Con}(A)\\) and \\(\\alpha^*=\\sup(b:b \\hbox{ covers } \\alpha)\\) or \\(\\alpha^*=\\alpha\\) whenever no cover of \\(\\alpha\\) exists. (\\(\\alpha_ +\\) is defined in a dual manner).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814501$3B86109E-B14E-45E7-832A-2405626258F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$21E0FB04-D850-43C7-8771-0FE2480C3CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$7D941259-F865-40C1-8C93-3EE059016262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$A1AAF740-8686-40B7-B0EA-313160712928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e359d53dae6d8040232d8a24d0c77efa533dcb62","datavalue":{"value":"10866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$578B9C5E-D9E4-4103-B0A2-CA0AF1CAAE25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2d1995697392904c49823eb04193c3a5e208d55","datavalue":{"value":"\\(S\\)-pasted system of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814501$D0E9865F-23A6-44D5-B07C-1E8458D3EB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814501$464E9A3D-2994-4339-9134-01DD62421AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe3393d1811c8c0f96ba5194d10da9e623e06a0","datavalue":{"value":"connected monounary algebras with a loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814501$00D4B9EB-CDE8-4228-B88A-194F7829CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f144586d53588bd9947db60db752d96d601fd4a3","datavalue":{"value":"\\(S\\)-pasted sum of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814501$8A37CD5F-6090-4592-9DE5-13D1FB37C243","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":"Q1814501$63222D23-93FE-46CF-BC67-22786251FA50","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":"Q1814501$FCAD23DC-9758-47CB-8493-273A91D30E13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94f6f91958a2ae3e133c76356850791b895b927","datavalue":{"value":{"entity-type":"item","numeric-id":2265443,"id":"Q2265443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814501$2A8ED59B-2600-4C3D-90D5-B7589EEF7781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c609c7357b3e9653f3282c91b194b890d4cb2338","datavalue":{"value":"https://doi.org/10.1007/bf01978407","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814501$FB048561-DAB8-48A8-8A32-A6FCDCC75D16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2141ce08c02ff90ed951528081d1d9bc2c351f07","datavalue":{"value":"W2003427918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814501$63595D0F-6249-4152-8391-7BC631FE17FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c6f15606806d72ef9b6b2ae99f64d3e6d27df9","datavalue":{"value":{"entity-type":"item","numeric-id":4005741,"id":"Q4005741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e3910ebfedb30ae71ed57cf0e8664eddec3bba","datavalue":{"value":{"amount":"+0.88776433","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":"Q1814501$52247B2E-8F7C-43DF-8D00-3FFB774A4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6294f7d7260f13ebb31682ecde734c491eec34a","datavalue":{"value":{"entity-type":"item","numeric-id":5286517,"id":"Q5286517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd8d30d614a39824bf27ab565f8813e5ca7315a","datavalue":{"value":{"amount":"+0.87684953","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":"Q1814501$80EEE6A8-4D45-4F96-BF04-512DB33658DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b106a603f20ce4ddd775064c378cd0fc8ec3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4443198,"id":"Q4443198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6462f1d3fb84106de7389da548f19a00b528285f","datavalue":{"value":{"amount":"+0.87684506","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":"Q1814501$1F86D550-FB53-43A5-B136-1D3B0E0FAB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd3bb3a45ed47b4bb555bbb0ea45b01865c878c","datavalue":{"value":{"entity-type":"item","numeric-id":2909075,"id":"Q2909075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c25c8e73788ba6ea27e974f2e6449a788cf4be","datavalue":{"value":{"amount":"+0.869458","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":"Q1814501$23E23C7A-66BC-4010-AB30-5AA7E49B9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e86af5f0a1221f6cb492fd2508414d5f4b3510a","datavalue":{"value":{"entity-type":"item","numeric-id":5217977,"id":"Q5217977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342a4d236e9962220a80320b3f8726290f46460a","datavalue":{"value":{"amount":"+0.8693071","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":"Q1814501$0719BDE6-A1EF-4507-8371-5A4A09ABFC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4239b50877f904c59df28f47e9b192a4321819","datavalue":{"value":{"entity-type":"item","numeric-id":5250513,"id":"Q5250513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59379d359ce1b548c1cb0e241146b48bb9e87e1","datavalue":{"value":{"amount":"+0.8659578","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":"Q1814501$9F54C705-7937-4F73-81B9-104DD364B708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a14d21cf0a80f6cf6397588ec5e8136ad287069","datavalue":{"value":{"entity-type":"item","numeric-id":810070,"id":"Q810070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46667b03ea1c1bdede91f1d31dbf43a84ebf0cb0","datavalue":{"value":{"amount":"+0.86454654","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":"Q1814501$6C7A04B8-46AE-4AF3-8649-2633DD4D6419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33131b612e3525b7a7a9ab2eefcc25d8f768ec5c","datavalue":{"value":{"entity-type":"item","numeric-id":685139,"id":"Q685139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e465ad9c9f2eae84f06a7ed79df3c74a5c5153f","datavalue":{"value":{"amount":"+0.86231345","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":"Q1814501$5CACF2DB-F2DF-4D9D-9BB3-8BE079297C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20c4a8f0c02d1170aa6d9537f9f71d1f0120852","datavalue":{"value":{"entity-type":"item","numeric-id":2720066,"id":"Q2720066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5b1dec8659c9c2828968b6e4f927317438d593","datavalue":{"value":{"amount":"+0.85909736","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":"Q1814501$F83E5584-628F-43E9-9F7F-8E1592B7E5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18249ecc4ae2e01c9cd59f2586967754750c39d3","datavalue":{"value":{"entity-type":"item","numeric-id":3779012,"id":"Q3779012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ded4def54be1dc7025652421c85771e83442f1","datavalue":{"value":{"amount":"+0.8574651","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":"Q1814501$B93BC8D5-D10A-4FF9-B5FE-E589B2594C08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(S\\)-pasted sum of lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(S%5C)-pasted_sum_of_lattices"}}}}}