{"entities":{"Q934147":{"pageid":935995,"ns":120,"title":"Item:Q934147","lastrevid":65489463,"modified":"2026-04-12T02:57:24Z","type":"item","id":"Q934147","labels":{"en":{"language":"en","value":"The Haar theorem for lattice-ordered abelian groups with order-unit"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304710"}},"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":"Q934147$604BCAF4-5975-44BC-B2DB-3A7352CCCC82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54fb0fcdf66cc8d983655f8853d0ed8f7b6efa6c","datavalue":{"value":{"text":"The Haar theorem for lattice-ordered abelian groups with order-unit","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934147$A7AC27A0-2501-48E4-91AC-D6964D534689","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5864fd872b20ff00f7aa8f5fabeba30e441dea","datavalue":{"value":"1154.28007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$5E9925A9-F8C2-4C6B-A9DF-13CA8FB2F210","rank":"normal"}],"P16":[{"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":"Q934147$A3476963-E9E4-4187-BCF5-2D207D287188","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12360f81ee541e586ca46b53d6a0b87af7080802","datavalue":{"value":{"entity-type":"item","numeric-id":187060,"id":"Q187060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934147$B44CFB03-F5C0-481F-BF4F-DE81DCD16F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934147$BA960EB4-B818-4C29-988F-C155726E5E4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4cfb044c935f66d3551d5b7aed8ac69ebcf9e08","datavalue":{"value":"The author gives an important contribution to the question when an \\(l\\)-group \\((G,u)\\) with strong order unit \\(u\\) has an invariant faithful state. A state of \\((G,u)\\) is a positive group homomorphism \\(s:G\\rightarrow\\mathbb R\\) such that \\(s(u)=1\\). \\(s\\) is faithful if \\(0\\leq x\\in G\\) and \\(s(x)=0\\) implies \\(x=0\\). \\(s\\) is invariant if \\(s(\\alpha(x))=s(x)\\) for every automorphism \\(\\alpha\\) of \\((G,u)\\) and \\(x\\in G\\).  Let \\({\\mathcal M}([0,1]^n,\\mathbb R)\\) be the \\(l\\)-group of all piecewise linear real-valued functions over \\([0,1]^n\\), each piece having integer coefficients. The order interval of \\([0,1]\\)-valued functions of \\({\\mathcal M}([0,1]^n,\\mathbb R)\\) is known as the free \\(n\\)-generated MV-algebra. For a rational polyhedron \\(P\\subseteq [0,1]^n\\), let \\({\\mathcal M}(P,\\mathbb R)\\) be the \\(l\\)-group of restrictions to \\(P\\) of the functions in \\({\\mathcal M}([0,1]^n,\\mathbb R)\\). The author observes that \\((G,u)\\) is isomorphic to \\({\\mathcal M}(P,\\mathbb R)\\) for some rational polyhedron \\(P\\subseteq [0,1]^n\\) if and only if \\((G,u)\\) is isomorphic to the quotient \\({\\mathcal M}([0,1]^n,\\mathbb R)/\\mathcal P\\) for some finitely generated \\(l\\)-ideal \\(\\mathcal P\\) of \\({\\mathcal M}([0,1]^n,\\mathbb R)\\).  The main result says that any \\((G,u)\\) satisfying these equivalent conditions has a faithful invariant state. Moreover, the author characterizes all finitely generated projective \\(l\\)-groups which have faithful invariant state.","type":"string"},"datatype":"string"},"type":"statement","id":"Q934147$55B151EB-7667-4C8F-BEB3-7AE27F4C92C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14106919e78fb120108e9565fec9e87e946c16af","datavalue":{"value":"28C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$6C609619-A67E-4AC7-8FC6-EF48C2C3CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd73672ce3d9f471e9d23297d964a3c571416abc","datavalue":{"value":"52B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$2C18CE57-2178-472F-81DF-7E4483F693D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$1EC44B4B-CE63-4DA4-9784-84FC9C13D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173ff65edcfc7a9a8461397b4283ab08ef6cd61e","datavalue":{"value":"26B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$1AB3B970-B2C6-40FD-989B-FBB1B5D150D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2841846bfea034adf0a4ae6bc458355171eaef5c","datavalue":{"value":"5304710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$3385FAA5-0D2E-4F29-846F-506862EED78A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q934147$2E10ADD6-1FE7-480F-88CA-BE9EDEC229B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3a20d39f68c04c985311fb820a2df6bb0c935c","datavalue":{"value":"faithful invariant state","type":"string"},"datatype":"string"},"type":"statement","id":"Q934147$7AEDB825-4BBE-4437-AFB7-481CE74D7CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde588d49fdd98eaa11e965525c7338aa4a1e8f","datavalue":{"value":"rational polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q934147$6C126C0A-89BE-41C3-B007-1E3817A29169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8371d34a787921a2e8ee7705d9b4d5d66b6b8bd8","datavalue":{"value":"projective","type":"string"},"datatype":"string"},"type":"statement","id":"Q934147$ADD71A96-F568-447A-80CC-68523D4A788E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36bf9d9a6954a5c43151966dcb9f2e8d7b6b8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":174927,"id":"Q174927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934147$FA9E6D52-339B-402B-AE41-17A65E7E5326","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":"Q934147$38702DB4-086C-44EF-B3B5-B621C94B06C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1f7e397c281b7c9a867f56b2ec6fb86e0f3b2f3","datavalue":{"value":"https://doi.org/10.3934/dcds.2008.21.537","type":"string"},"datatype":"url"},"type":"statement","id":"Q934147$1B611FBD-933D-4669-9DD5-762D4C6120A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d3a311a11707a97d012f0c8db65774faae734e8","datavalue":{"value":"W2319328615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$0879045E-0101-4B2C-862B-7F790A7780E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef633f0ca5609c51883287766cbbd5e15eb6d602","datavalue":{"value":"10.3934/DCDS.2008.21.537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934147$AC616952-346A-4AFF-BBE1-2D4B95796560","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e40e1ddcad1833ed4bcdc19abed82a38cc2fed","datavalue":{"value":{"entity-type":"item","numeric-id":3401165,"id":"Q3401165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cc1e23705082d1fca6683fa7e8a6ee50b000a9","datavalue":{"value":{"amount":"+0.8093711137771606","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":"Q934147$0FE7911A-2732-4436-8B1C-52DD20D0EDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c689b6855c83cfbaa88c30bfb8ee9bcb4a7a2d08","datavalue":{"value":{"entity-type":"item","numeric-id":3525186,"id":"Q3525186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644ab7398dea1c7a897f8092cb5e2db6078c9dae","datavalue":{"value":{"amount":"+0.8027840256690979","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":"Q934147$46FE5C66-63CB-46BF-A291-7816097358CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffe7fed4d94906b35658e012e14e83922cda82e","datavalue":{"value":{"entity-type":"item","numeric-id":5309027,"id":"Q5309027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2dba0c27f2bf634cac38e5fa28e8274b10ba44","datavalue":{"value":{"amount":"+0.7927789092063904","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":"Q934147$242C2125-FA86-4B8B-9BE9-5A4561BC397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6295f18a04bde2afebcb7d4adb993edc1c499337","datavalue":{"value":{"entity-type":"item","numeric-id":2040522,"id":"Q2040522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35023af2d09ec96f3331ed82a04c2ba34f29eac3","datavalue":{"value":{"amount":"+0.7567442059516907","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":"Q934147$F0432C69-679F-4DE9-A42A-810D85DF8DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8def35a6aac6539dddf6ec2ca3b8a9fda8a64abe","datavalue":{"value":{"entity-type":"item","numeric-id":3143795,"id":"Q3143795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88728fedf9e9fd59c2080ddd9b175224bfb96dc2","datavalue":{"value":{"amount":"+0.7492916584014893","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":"Q934147$922848C4-C58D-4B76-863E-8CBBD1892AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Haar theorem for lattice-ordered abelian groups with order-unit","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Haar_theorem_for_lattice-ordered_abelian_groups_with_order-unit"}}}}}