{"entities":{"Q2343345":{"pageid":2354088,"ns":120,"title":"Item:Q2343345","lastrevid":57864684,"modified":"2026-04-02T20:53:38Z","type":"item","id":"Q2343345","labels":{"en":{"language":"en","value":"Simplicial geometry of unital lattice-ordered abelian groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6433035"}},"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":"Q2343345$B73FCE17-D7AA-43D2-BE6E-A93F0AEEFA9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f19f82d5848447e015b1671b2d2fc52616509842","datavalue":{"value":{"text":"Simplicial geometry of unital lattice-ordered abelian groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2343345$0ECDB20A-FE28-4A0F-B572-0AD894856D9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daa9731159baf0cb196b4fa5cf3afb31613abb9d","datavalue":{"value":"1330.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$DE0E96F2-C859-4F38-874D-BBBF1553AD96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343345$69A16331-E38F-46F9-B1B3-5CC7199ADE04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d052ea9878f7453f8cc5fa5227d90acb57531e2","datavalue":{"value":{"entity-type":"item","numeric-id":254046,"id":"Q254046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343345$A90D7426-4036-4A3F-8E95-847892AC7F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ee931328ffe6b9b8476337dc8c853504e049ee3","datavalue":{"value":{"time":"+2015-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2343345$40948DF3-4465-4616-9D56-3B02C572CD75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b17644911cebba1704d67697f20bb88cc2a9479","datavalue":{"value":"https://arxiv.org/abs/1202.5947","type":"string"},"datatype":"url"},"type":"statement","id":"Q2343345$ABAB8E79-CBFE-429E-B3E1-B8F8BC10965A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fd095820b8bb313afc0cccd4a7fd6cbe161e759","datavalue":{"value":"This paper is concerned with unital \\(\\ell\\)-groups, that is, lattice ordered abelian groups with a distinguished order unit. These groups are related with \\(C^*\\)-algebras via Grothendieck's \\(K_0\\) functor, and with MV-algebras via Mundici's \\(\\Gamma\\) functor.   The category \\(U_{fp}\\) is given by finitely presented unital \\(\\ell\\)-groups with unital \\(\\ell\\)-homomorphisms. This category (Theorem 2.7) is dual to a category \\(P_{\\mathbb Z}\\) of compact rational polyhedra, where morphisms are piecewise linear functions called \\(\\mathbb Z\\)-maps. Theorem 3.1 describes Cartesian products and equalizers in \\(P_{\\mathbb Z}\\), and Theorem 3.2 describes monomorphisms and epimorphisms. Theorem 3.3 characterizes isomorphisms.   By using these characterizations, a Cantor-Bernstein-Schr\u00f6der Theorem is given for polyhedra (Theorem 3.7) and unital \\(\\ell\\)-groups (Corollary 3.8). In Theorem 3.10 it is shown that \\(P_{\\mathbb Z}\\) has finite coproducts and a restricted kind of pushouts. As a corollary 3.11, \\(U_{fp}\\) is closed under fibered products. Section 4 deals with exact unital \\(\\ell\\)-groups, that is, those whose image under \\(\\Gamma\\) is an exact MV-algebra in the sense of De Jongh: a finitely presented MV-algebra embeddable in a free finitely generated MV-algebra. Exact unital \\(\\ell\\)-groups are characterized geometrically in Theorem 4.10 as groups of piecewise linear functions on polyhedra having a restricted kind of triangulation, then algebraically in Theorem 4.15, in terms of bases, and logically in Theorem 4.18, in terms of admissible rules in \u0141ukasiewicz logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$DDDC8621-CD0C-4F73-BC0A-0E2772EA0D91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a35dbfeed057011082c6d14b6c008c45f168595","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2343345$242EEB1B-FFA7-48D4-9750-DEA6E4998B04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$5D24E4CE-D4F9-4932-B20F-07463156B85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$F54823C8-D01F-435B-85F1-DF55CD5935EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$DB1BBF66-CD52-4318-A9ED-B0C1EE446823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e669b60521e14398c1f2263792cea32c3a9da254","datavalue":{"value":"05E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$C7C78CF0-BEC9-49F2-B634-068CEEB7D26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798eea1f37baf19c7c9678fe1fc9dd8eadfa6f52","datavalue":{"value":"52B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$CB9A15E0-7843-4F41-86BE-A1753FBAB050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$3660623E-617F-4B4A-A732-137F24E41338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d441cca05a352782e8c8e9c285fa1f8dd5752682","datavalue":{"value":"55U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$5645CD79-A3C4-4DF0-8AD2-6ED139F79D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$5CE3F19D-41C6-4914-A88B-0B365DA0F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cd55e37faed400f27c01e5bfb5d6bb41ead1f10","datavalue":{"value":"57Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$412DADE3-343C-4549-84A9-864064473590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44befc2425ad96040219f583cbc4e7beeb67b8ba","datavalue":{"value":"6433035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$193A8D0E-5DD4-4482-8E8D-248020AD5E61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5107a30be31d46a19eb7b4096bf1ad1ee22252a0","datavalue":{"value":"lattice-ordered Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$F564E0EC-F5A4-436C-B973-0D1A60C869C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc2e0760f9d60395648631a2edb1a0a889856e6","datavalue":{"value":"unital lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$42882044-CA66-441C-AA32-3D698AE035FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5992813773e673b670c8abd9822bd1da93c1d99","datavalue":{"value":"finitely presented \\(\\ell\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$4E567054-4B5C-4262-8563-2771F54E3B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68e652124fc9073b6656e26a26b08d40f0619455","datavalue":{"value":"rational polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$859FFE07-5B0D-4F22-BC51-6354AB63881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea8f6965a54461d574aadcf9cecf5ec24ae9303","datavalue":{"value":"exact formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$D310F10B-539A-4BB8-A7A5-7BBB11A81BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d03f86d4cbf7e113dc7a1ed8f1ad28047a100700","datavalue":{"value":"projective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$42148991-5F46-40AC-99C8-BB46EEFF5095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680f882044f303355bd49cce276b0050cf98d094","datavalue":{"value":"finitely presented MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2343345$2E63C6A9-053D-4D03-89D7-F5DAC0A1F24B","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":"Q2343345$5F136638-2510-4B76-9C5D-5513A0601A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2eec8478495b658b95ca0c778444d4a453acf1b","datavalue":{"value":"W2962946583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$F2C71427-D559-4DED-81CE-B224FAEBA500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29e0bb0a564efa11c78a62c7e80c2465827c1d3e","datavalue":{"value":"10.1515/FORUM-2011-0131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2343345$01E1C3E0-65BD-477D-A48E-B3325422ED4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e29762402a46fcd60d33794fb26d8083e623c2","datavalue":{"value":{"entity-type":"item","numeric-id":2905288,"id":"Q2905288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dab910ed165897f9e989f94b52343fc27a690b0","datavalue":{"value":{"amount":"+0.807118833065033","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":"Q2343345$F045A88C-41BB-4FF1-B1DE-418C180EB169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2dc1616dcefe7b0c54fcb196c68d90cab1d44e0","datavalue":{"value":{"entity-type":"item","numeric-id":5388203,"id":"Q5388203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d351278dc2194ddfcf247cb2486dc87dd0c086","datavalue":{"value":{"amount":"+0.7863836288452148","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":"Q2343345$E8C7F980-B3BA-4CEA-9601-46477A699A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7253f3fc06c75aab52a480cb4cca500211bde0","datavalue":{"value":{"entity-type":"item","numeric-id":976753,"id":"Q976753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a867bf5e3ce4abfb77d6e3e3cb77b5ce97a6abd","datavalue":{"value":{"amount":"+0.778986930847168","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":"Q2343345$61C325E4-1461-4E3D-B5F3-66089D292786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39693ccf92cd8a3a13224be29361299b519b223","datavalue":{"value":{"entity-type":"item","numeric-id":2449457,"id":"Q2449457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4fb7d129496e3f5ff6bf28aa13298dd03987a3","datavalue":{"value":{"amount":"+0.7710644006729126","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":"Q2343345$AB6C2581-3F38-4DAB-AB86-A909ED4ECEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed1a3995547ef4ceb36b4fec5f155a9c0862453","datavalue":{"value":{"entity-type":"item","numeric-id":1732804,"id":"Q1732804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0528137a33ba308d76e8f72e2fb89edd2aac72f","datavalue":{"value":{"amount":"+0.7692064046859741","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":"Q2343345$8376E268-1B73-466F-BE49-7E0B3FF2C3A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2343345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2343345"}}}}}