{"entities":{"Q976753":{"pageid":978601,"ns":120,"title":"Item:Q976753","lastrevid":51012095,"modified":"2026-01-16T05:14:58Z","type":"item","id":"Q976753","labels":{"en":{"language":"en","value":"Projective MV-algebras and rational polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5721487"}},"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":"Q976753$D5094DCD-AD18-4804-8925-0A25129C2D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"525de338a040e6caaf777379ac9a6d8f0f3040c4","datavalue":{"value":{"text":"Projective MV-algebras and rational polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976753$40EAA71C-344F-4BBB-B627-CE32AE3B7C38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62d0f5d900d7d2c05423d327b900cdd7e36be9cd","datavalue":{"value":"1196.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$A43839DF-5425-4906-8BD3-68C2C9687273","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":"Q976753$406D286A-3171-40AC-BDBE-1CACBDE6BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$2B72249C-6ED9-466F-91D6-24A42A104701","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$8633CA27-4BEC-45A2-80E1-12C1F8F6DE5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66b34ed5dc0f3fc5384918e70a0007292dca094b","datavalue":{"value":{"time":"+2010-06-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":"Q976753$A6D2E4BC-409D-49DE-8F1B-A1C1E3810A82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fc43dd535056f9f450360bf72d190b50df9d10d","datavalue":{"value":"This paper deals with the geometry of (always finitely generated) projective MV-algebras. The free \\(n\\)-generator MV-algebra \\(\\mathcal{M}([0,1]^{n})\\) of McNaughton functions on the \\(n\\)-cube is a trivial example of a finitely generated projective MV-algebra.  A rational polyhedron \\(P\\subseteq [0,1]^{n}\\) is defined as the pointset union of finitely many simplexes in \\([0,1]^{n}\\) with rational vertices.   The main result of this paper is that if \\(M\\) is an \\(n\\)-generator projective MV-algebra, then there is a rational polyhedron \\(P\\) in the \\(n\\)-cube \\([0,1]^{n}\\) such that \\(M\\) is isomorphic to the MV-algebra \\(\\mathcal{M}(P)\\) of restrictions to \\(P\\) of the McNaughton functions of the free \\(n\\)-generator MV-algebra. \\(P\\) necessarily contains a vertex \\(v_{P}\\) of the \\(n\\)-cube. It is well known that we can obtain from this that every finitely generated projective MV-algebra is finitely presented. The converse does not hold: for instance, if the rational polyhedron \\(P\\) does not contain any point of denominator 1, or \\(P\\) is not connected, then the finitely presented MV-algebra \\(\\mathcal{M}(P)\\) is not projective.   In this paper the authors characterize those polyhedra contained in the \\(n\\)-cube such that \\(\\mathcal{M}(P)\\) is projective. In particular, if the rational polyhedron \\(P\\) is a union of segments originating at some fixed vertex \\(v_{P}\\) of the \\(n\\)-cube, then \\(\\mathcal{M}(P)\\) is projective. Using this result, in the final section of the paper, the authors introduce two geometric constructions of new projective MV-algebras from old ones. They prove that if \\(A=\\mathcal{M}(P)\\) and \\(B=\\mathcal{M}(Q)\\) are projective, then so is the subalgebra of \\(A\\times B\\) given by \\(\\{(f,g)\\mid f(v_{P})=g(v_{Q})\\}\\), and so is the free product \\(A\\sqcup B\\).   The authors end their paper with the remark that in view of the categorical equivalence between MV-algebras and unital lattice-ordered abelian groups, the results of this paper have an equivalent counterpart for the latter ones. Thus, up to isomorphism, every finitely presented unital lattice-ordered abelian group has the form \\(\\overline{\\mathcal{M}}(P)\\) for some rational polyhedron \\(P\\) contained in some \\(n\\)-cube and vice versa. Here \\(\\overline{\\mathcal{M}}(P)\\) denotes the lattice-ordered abelian group generated by \\(\\mathcal{M}(P)\\) in the lattice-ordered abelian group of all real-valued function on \\(P\\), with the constant 1 as the distinguished order-unit. Further, if \\(P\\subseteq [0,1]^{n}\\) is star-shaped with a pole that is a vertex of \\([0,1]^{n}\\), then \\(\\overline{\\mathcal{M}}(P)\\) is projective. Free products of unital lattice-ordered abelian groups are projective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$AF89F21B-93E0-469B-AC17-B18D55B66911","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$7326FC4A-C436-46EE-A678-5D0B2A230E0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$9A91A21F-DB3E-4049-917D-5745F73DBB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$20F1379B-47B5-4402-8090-0FB13B011E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$E65B348B-6116-4E41-AC3F-F9E5A6EF46F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cd55e37faed400f27c01e5bfb5d6bb41ead1f10","datavalue":{"value":"57Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$91E697F3-7379-4FB2-B485-D7002E41CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28bfda6f32a43a06205d9e735f975607c27d419a","datavalue":{"value":"57R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$0ABC9DA5-F388-49A9-9224-92F6E13B1D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fa65f5a221f7228f7574efa281d2c7738e6e5b0","datavalue":{"value":"5721487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$D2268E75-F9F4-4145-BEBA-1C00DD2B89A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$262DC0FC-2EE3-4E64-BB54-51F944912785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532560d491b02680ae9de5aaf68e9e2842aa03d3","datavalue":{"value":"projective MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$BEE7714F-FDC6-41B1-9DF5-D99C08F82E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde588d49fdd98eaa11e965525c7338aa4a1e8f","datavalue":{"value":"rational polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$1A9FB51B-1317-410D-8673-55A2BC85C3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7aa824211e00b65523aea71589f875aa930f7e2","datavalue":{"value":"retraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$D6D256B1-DA10-4A9B-B0D8-EB2D3D5C2ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e801ac73c1c75a6caba5befa23871d34ede1a3","datavalue":{"value":"star-shaped polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$F809159F-36B1-4AF9-91DD-0BD5F353785A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945cfa1c74954f5cff45eebef883d7d5d2185c33","datavalue":{"value":"unimodular triangulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q976753$5826788D-2EE0-4339-A6EE-A22AD5C4C47E","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":"Q976753$14D5EE91-978D-4007-857A-D5AEA2A6DA17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7d68dc42a5d9515062715a7e21522d17061707a","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0039-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q976753$BD8D3E56-3650-4062-973C-C868C489B56F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5284c6ce6ff75baa7aa694bdffc7873ef4e2c3de","datavalue":{"value":"W1964644649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$873B1C28-542C-4A1E-8095-2A22B9BA188C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"767f9d3f8e3f19dc3124d217475af792bc9916cd","datavalue":{"value":{"entity-type":"item","numeric-id":5539947,"id":"Q5539947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$316B4980-725F-4274-925F-41AF7F171F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3894de506e1ed7db182147a9f5bef3413ea24e","datavalue":{"value":{"entity-type":"item","numeric-id":4134027,"id":"Q4134027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$592D1D67-7A20-49D0-A8D6-8280149C19F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1356398da769d0133114ea20bbdc3f25e7f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5571891,"id":"Q5571891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$18AFF3C4-4B19-493F-B5D1-8D46E9513FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$EE2D5D74-DC63-4ECE-A976-BEB00C6682AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bf2f788f058086891313472afb09ba5e14cbb2","datavalue":{"value":{"entity-type":"item","numeric-id":5614468,"id":"Q5614468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$D4601EC3-AC7E-4C22-AD4A-6A70F09576C8","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":"Q976753$35721659-C55E-4F86-BD7C-EE73EF9E6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$2E9AF9CD-0E95-4361-9A18-8A57EA367DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a93ddfa4e3d4ba51fb1b5d5e75a79c50d5e1e2e","datavalue":{"value":{"entity-type":"item","numeric-id":1123916,"id":"Q1123916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$94837E3E-165E-4324-9852-DA85FEE60374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135b468882cf6964696e056f695e4b34231607fc","datavalue":{"value":{"entity-type":"item","numeric-id":1111584,"id":"Q1111584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$5246EDA9-D3B4-4A13-8384-104FB0B56B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef0ae29403da19780240ba90c57c313cc746811","datavalue":{"value":{"entity-type":"item","numeric-id":5667781,"id":"Q5667781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976753$06E9F357-57A7-4B50-B3E3-F4A412733DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"130a653e9f5d7d48b44fb526ab13c61e7de4898f","datavalue":{"value":"10.1007/S00012-010-0039-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976753$591C1EDC-8D37-4C25-AFD8-EBF5F9EECAE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd893eb0ba8e511f0cbd85655d7a64475b8cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":1697339,"id":"Q1697339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8530db6ad2c8c2485ce6bf343ec12e4b951c3618","datavalue":{"value":{"amount":"+0.8446716666221619","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":"Q976753$D7385A93-7DC2-47EA-A162-B6FD3F3991B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b493cf34fbb3f2751e19dc9122d266f4f05d9f8","datavalue":{"value":{"entity-type":"item","numeric-id":3522700,"id":"Q3522700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e60f4e186bfe7796716896e2d0c9f266416c8a","datavalue":{"value":{"amount":"+0.8366408348083496","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":"Q976753$3F9E343B-803E-4E46-A482-E211BBF3D695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf404324cafdd76c9eabc14cd1c8d427a21550a","datavalue":{"value":{"entity-type":"item","numeric-id":4461708,"id":"Q4461708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e10d89d83969e38683ee4c0e8b4ab03ca0450b","datavalue":{"value":{"amount":"+0.824242115020752","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":"Q976753$DA626DB2-0821-441A-B245-16B1FEFCC52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae0f14ab443f51d103268f491a0832614b2e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":521708,"id":"Q521708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff842003bb976f40f7773d0d325f6e4fbe0aabc","datavalue":{"value":{"amount":"+0.8202536702156067","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":"Q976753$A3A6F883-767F-40D6-A9FD-DFE703ABC586","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":"9568ca99a5100e3a5c16919d745478b3c9e05174","datavalue":{"value":{"amount":"+0.8194990754127502","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":"Q976753$D731D2C9-1FC2-4AFA-B118-75450F9B0771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:976753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:976753"}}}}}