{"entities":{"Q2204980":{"pageid":2215723,"ns":120,"title":"Item:Q2204980","lastrevid":78322808,"modified":"2026-05-06T11:19:09Z","type":"item","id":"Q2204980","labels":{"en":{"language":"en","value":"The Frobenius coin problem -- a cylindrical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7262195"}},"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":"Q2204980$2D850EF5-275C-4EAD-814B-BD0E4F6251F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"907dfe5216b958fd30574f0038cf4afbb7644d49","datavalue":{"value":{"text":"The Frobenius coin problem -- a cylindrical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204980$C49F2F63-BDF1-41A9-8DB4-B457AE37E06B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8373363147b865e6ee3e9a07bbb660056d7d179","datavalue":{"value":"1453.11044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204980$C27CADEB-89E9-46C2-92AB-EDF604E989BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aaa7d89f2e6646fb2af602adcb82273c8dec538","datavalue":{"value":{"entity-type":"item","numeric-id":201632,"id":"Q201632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204980$125B5E59-E2E4-4D72-B035-57C46D10AEBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204980$684BEE37-A52D-40EF-9394-912A79E736C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efa3c40ff7e379b5cc181d30ffffca8561320c91","datavalue":{"value":{"time":"+2020-10-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":"Q2204980$835E4729-3AAE-418C-9DD4-3F2AFA1BD1C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1ec584b9b03ece55cb55041e549295fe5ff222e2","datavalue":{"value":"Let \\(a\\) and \\(b\\) be two relatively prime positive integers, both greater than \\(1\\). Let \\(S\\) be the set of positive integers that are not a nonnegative integer linear combination of \\(a\\) and \\(b\\). Using a principle of reciprocal measuring similar to the inclusion-exclusion principle, Sylvester showed the following which characterizes \\(S\\):  \\begin{itemize} \\item[(i)] The largest element in \\(S\\) is \\(ab-a-b\\);  \\item[(ii)] For an integer \\(x\\) with \\(0\\le x\\le ab-a-b\\) we have the equivalence:  \\[x\\in S \\iff (ab-a-b-x)\\notin S.\\] \\end{itemize} This paper describes a beautiful cylindrical interpretation for the set \\(S\\) and an alternative proof of Sylvester's statement. We define a new partial order \\(\\le_F\\) on the integers, called the Frobenius order, by  \\[x\\le_F y \\iff y-x\\text{ is a nonnegative integer linear combination of } a\\text{ and }b.\\]  This gives a Frobenius poset \\(P=(\\mathbb{Z},\\le_F)\\) on the integers which can be embedded into a suitable cylinder such that the Frobenius order is preserved by shifting. An ideal \\(I\\) in \\(P\\) is a subset of \\(P\\) such that if \\(x\\le_F y\\) and \\(y\\in I\\), then \\(x\\in I\\). Similarly, a filter is a subset \\(J\\) of \\(P\\) such that if \\(x\\le_F y\\) and \\(x\\in J\\), then \\(y\\in J\\). Given a subset \\(G\\) of \\(P\\), then \\(G\\) generates the ideal \\[\\langle G\\rangle_{\\le_F}=\\{x\\in P\\mid \\exists y\\in G, x\\le_F y\\}\\] and the filter \\[\\langle G\\rangle_{\\ge_F}=\\{y\\in P\\mid \\exists x\\in G, x\\le_F y\\}.\\]  An ideal, respectively a filter, is called principal if it is generated by one element \\(x\\), written as \\(\\langle x \\rangle_\\le\\) and \\(\\langle x \\rangle_\\ge\\). The main result is the following disjoint union of the integers with respect to an integer \\(x\\): \\[\\langle x+ab-a-b\\rangle_{\\le_F}\\dot\\cup\\, \\langle x\\rangle_{\\ge_F}=\\mathbb{Z}.\\]  Now, Sylvester's statement is a straightforward consequence of this result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204980$1334388C-F178-422C-8DED-E0BB20F95B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"221638ffca33675cdf942a4ef0bda6a6fb040b1e","datavalue":{"value":"11D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204980$3744234B-A47D-4F65-8F31-847146DED28D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e78e9b857bb65a28faea0b89816f79143a12bcd","datavalue":{"value":"7262195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204980$83B05C37-4363-49DB-A9CA-D07668065F84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e6a3ec12b22d93f7738316390370a513b1c61f","datavalue":{"value":"coin problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204980$7D9FDD92-C852-47AB-B29E-E3FF33116250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e2407a529d97f7b5c08e53eeb5daa5e1e29d98","datavalue":{"value":"cylindrical posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204980$55C77C6B-3E54-466E-9D70-10CA8A20AC80","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72c29ccec1b2a2230dc4db6b3d9cafc73f3390b2","datavalue":{"value":{"entity-type":"item","numeric-id":203188,"id":"Q203188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204980$A0BE39BD-DBD6-4F19-A126-6BADAC430A11","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":"Q2204980$26FD248D-E37B-4214-910B-FE4DC5424E05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1adaf160c1dc60fbd2f043a514932bc807b0220e","datavalue":{"value":"https://doi.org/10.1007/s00283-019-09948-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204980$D54BDFF4-FA14-4308-BA45-3761C94F8AE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60cfe3a61b6ea446630ab657861e79cced5e9c3f","datavalue":{"value":"W2989202896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204980$B8EDF366-7EC3-4192-BD52-4FA5671B4A5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78485a26b3a4a59bf63724129e42b3bdcb6c841","datavalue":{"value":{"entity-type":"item","numeric-id":1928588,"id":"Q1928588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204980$1E58355E-887E-4DC3-BC69-36C5AB72F767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1241dd5e657c83ec55b1b703f9dd981eb2e9169a","datavalue":{"value":"10.1007/S00283-019-09948-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204980$A10701D8-1513-41AB-9B13-A8C05E51647F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3482189f6e6438e24739b6ea4452bf8c551dced4","datavalue":{"value":{"entity-type":"item","numeric-id":4960436,"id":"Q4960436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338417ce0f8e4e1789084f1653a908ccd9249c5d","datavalue":{"value":{"amount":"+0.8159478902816772","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":"Q2204980$4F63EE20-64D6-4904-B0AC-8664FF0EE594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5902321beb019c2e1b852518bdedbb5043cd951f","datavalue":{"value":{"entity-type":"item","numeric-id":5154714,"id":"Q5154714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f0ad442a38504bff5ad8022c75642b57fe5357","datavalue":{"value":{"amount":"+0.8151217103004456","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":"Q2204980$0C25FB21-9DB0-4FF8-A1C4-5F92272251AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3596ac38d6e5b71b0dfb83e48739d407844459","datavalue":{"value":{"entity-type":"item","numeric-id":5476354,"id":"Q5476354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f93622f0e56f99226c65e1e180af9c685ceae0","datavalue":{"value":{"amount":"+0.8005267977714539","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":"Q2204980$B44A3676-0206-4E2C-B052-08446747FB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e3ed1d8e953048c92d68a5c8159a5cb5f61239","datavalue":{"value":{"entity-type":"item","numeric-id":2878060,"id":"Q2878060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e576bf3ed501e02e19491d8cec5629321d2f7a","datavalue":{"value":{"amount":"+0.798254668712616","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":"Q2204980$DFE95B8E-D608-4DB6-93D6-52B0E7673335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b18f56491b095817c787cb676eee424b7cb19d","datavalue":{"value":{"entity-type":"item","numeric-id":5278236,"id":"Q5278236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8e1511f8f349c8528222618d27e43cefd9f6f4","datavalue":{"value":{"amount":"+0.7969850301742554","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":"Q2204980$CFD29FE8-94A1-4112-981E-38F4AACA3912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Frobenius coin problem -- a cylindrical approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Frobenius_coin_problem_--_a_cylindrical_approach"}}}}}