{"entities":{"Q1576304":{"pageid":1587044,"ns":120,"title":"Item:Q1576304","lastrevid":67942497,"modified":"2026-04-12T20:22:45Z","type":"item","id":"Q1576304","labels":{"en":{"language":"en","value":"Finitely presented, coherent, and ultrasimplicial ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491104"}},"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":"Q1576304$8E54CC2E-5516-4F91-940C-4E507A1293AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4265a4872bfe6e11d6ec25fe7d807d64d859e87d","datavalue":{"value":{"text":"Finitely presented, coherent, and ultrasimplicial ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576304$36465EAD-430C-4871-B59B-E140CBD02804","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f08ce9d8a27b22f07db82c5dacd7dcbe933a43f","datavalue":{"value":"0957.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576304$54EBCF88-AB0C-4B9E-9DCF-0492A86E4003","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0af8a670a918cd41a0e67e58a55c38b05eba2265","datavalue":{"value":"10.1007/PL00006008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576304$376AB8F6-07C3-45A7-AD10-ECEEC549249A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be137e65ac131dee4d0d19fdada6ab3953e2daee","datavalue":{"value":{"entity-type":"item","numeric-id":1576303,"id":"Q1576303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576304$D0F24A9C-15C5-45B9-988D-5B1385441B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"112864852cff2c239be1300e77536bf9e35c78a6","datavalue":{"value":{"entity-type":"item","numeric-id":219053,"id":"Q219053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576304$3F9F44DE-6FCB-406F-8319-EEF7538EEA4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576304$61B11F19-9245-40B8-A3DB-19512B66FFAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576304$A78A8E13-5076-4051-8B94-94586A92296C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3292bcf83eb6b39dfaff7ca1b2b5935adf65b26","datavalue":{"value":"https://arxiv.org/abs/math/0501432","type":"string"},"datatype":"url"},"type":"statement","id":"Q1576304$AAFA07AD-C505-4053-BC10-EBE97BD661A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d4228fa37341f8e48f4ad3f0992312f741cae60","datavalue":{"value":"Let \\(G\\) be a partially ordered abelian group, and let \\(G^+= \\{x\\in G\\mid x\\geq 0\\}\\). Among the typical results of this paper we mention the following:    i) \\(G\\) is finitely presented as a partially ordered abelian group iff \\(G\\) is finitely generated as a group, \\(G^+\\) is well-founded as a partially ordered set, and the set of minimal elements of \\(G^+ \\setminus \\{0\\}\\) is finite.    ii) If \\(G\\) is torsion-free and finitely presented as a partially ordered abelian group then \\(G\\) can be presented as a subgroup of some \\(Z^n\\), with a finitely generated submonoid of \\((Z^+)^n\\) as \\(G^+\\).    iii) If \\(G\\) is finitely presented as a partially ordered abelian group, and \\(mx\\geq 0\\) implies that \\(x\\geq 0\\), for all \\(m\\in N\\) and all \\(x\\in G\\), then \\(G\\) is Archimedean, i.e. \\(a\\leq 0\\) whenever there is \\(b\\in G\\) such that \\(na\\leq b\\) for all \\(n\\geq 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576304$AE37055D-589C-417F-8864-2FE0D38298DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576304$8769394B-5DAF-4EFD-B0AF-8C2EFD8D5824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5b7006fc3a1c474c3a54c0706f7fd7d09d8f87","datavalue":{"value":"1491104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576304$1E5C5647-F828-4073-A2DE-2537045BC210","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3472196b17319c4948f0e9e45ce3adf5820ed11d","datavalue":{"value":"well-founded set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576304$04C99099-415E-4408-8C01-E1EB11A7EE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99aae4308ba366050c486d0d5bff3e79457e30a6","datavalue":{"value":"finitely presented ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576304$598D018F-02E1-4DA2-842A-6875E769D457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e7d36d65749aca549977130f3ce0b15d6ace90","datavalue":{"value":"partially ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576304$2835B7DF-A1CA-4F1D-B6DD-3F0FFC1160C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3311c476ff97a482b62491729bed0b56f3ca41e1","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576304$3EB4BCED-85E1-431E-898B-BDCEFCE7B4C4","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":"Q1576304$95390B74-39CD-46D1-8EC7-0FA9B05330F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fe040520fe7391200018f88225ed63019501280","datavalue":{"value":"W2043951808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576304$C672302F-2B10-432A-96BB-14D949EF0B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a758e67a8f84771bb30d4dcdb288cc2e47fcea6","datavalue":{"value":{"entity-type":"item","numeric-id":1377752,"id":"Q1377752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435104d703cd17da9f344ee9ea14ff1553b7ae41","datavalue":{"value":{"amount":"+0.8329018950462341","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":"Q1576304$E5A6F4F3-2D73-4801-AEB4-5E6E4DCF7469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68138d3d98f4a58daab4299b93691d858ff9894b","datavalue":{"value":{"entity-type":"item","numeric-id":1084119,"id":"Q1084119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bf360dd454f8221273a6bc19706001bcd7a34c","datavalue":{"value":{"amount":"+0.776316225528717","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":"Q1576304$69DCCC3F-93B0-4406-AB77-CD01E69289A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b560c6873695aae2595c4d98ad15fa31d6fac27","datavalue":{"value":{"entity-type":"item","numeric-id":3480105,"id":"Q3480105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0795506a414797e95cf9f1d5f4109b89114101c","datavalue":{"value":{"amount":"+0.7553653717041016","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":"Q1576304$7B36C31B-78E3-40BA-92A3-C10F378F1747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28a27a5c65953032378c23e902f328db4e93000","datavalue":{"value":{"entity-type":"item","numeric-id":4934108,"id":"Q4934108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0715063886f619fae2da0978ed14a44f8dbd016","datavalue":{"value":{"amount":"+0.7484067678451538","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":"Q1576304$C8B93093-25EF-42BC-91DC-11277C741311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely presented, coherent, and ultrasimplicial ordered abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_presented,_coherent,_and_ultrasimplicial_ordered_abelian_groups"}}}}}