{"entities":{"Q1866810":{"pageid":1877552,"ns":120,"title":"Item:Q1866810","lastrevid":73917282,"modified":"2026-04-14T17:43:39Z","type":"item","id":"Q1866810","labels":{"en":{"language":"en","value":"Free cancellative hoops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899934"}},"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":"Q1866810$75679E8A-97D9-4E39-99CB-98A3BA42FDE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e72f27b19b1fb32a2c70785e52c6b241e4b2cc8","datavalue":{"value":{"text":"Free cancellative hoops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866810$0E5000B0-F664-4C70-A8E4-7D7A9906A8B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"056ea9fad6b4d6bdc2f6babf10616e8dd1f5923b","datavalue":{"value":"1012.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$64E5DC39-4956-4207-B890-790EBA9C1FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866810$7A6DF045-2193-4F34-936A-F9F5DB575F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebba8fa657260c6e2e63119a6f78200b48840640","datavalue":{"value":{"entity-type":"item","numeric-id":1306835,"id":"Q1306835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866810$229A0463-D3A4-477E-B120-FAC49536A0AD","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":"Q1866810$3E5EF0F1-45D9-4BC3-B031-F4D49B9F6385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866810$0084717D-22D8-45A2-8F27-FD42236E1092","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"edcb67782511a910a4e9fd2e67bef031c58a3bf9","datavalue":{"value":"A cancellative hoop is an algebra \\(\\langle A;+,\\ominus ,0\\rangle\\) of type \\(\\langle 2,2,0\\rangle\\) such that \\(\\langle A;+,0\\rangle\\) is a commutative monoid and the following axioms are satisfied: \\(x+(y \\ominus x)=y+(x \\ominus y)\\); \\((x \\ominus y) \\ominus z=x \\ominus (y+z)\\); \\(x \\ominus x=0\\); \\(0 \\ominus x=0\\); \\((x+y) \\ominus x=y\\). It is known that the positive cone \\(G^+ \\) of any abelian \\(l\\)-group \\(G\\) can be considered as a cancellative hoop, and, conversely, an algebra \\(A\\) of type \\(\\langle 2,2,0\\rangle\\) is a cancellative hoop if and only if there is an abelian \\(l\\)-group \\(G\\) such that \\(A\\) is isomorphic to \\(G^+ \\). The authors of the paper describe the free cancellative hoops in terms of piecewise linear functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866810$A410B435-AB6B-48F5-93FE-3AE4A0E82394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$877359E6-7926-43CE-AB40-643C0CAC7E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$8F63F9CE-6FE3-4EBF-BB77-E6E3220712F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$83AEFD24-69D7-4E36-8347-CCFDE686DC07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9436f5dd0dec098216d9072e0ff11bffec73cee","datavalue":{"value":"1899934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$B75657DE-4907-4B93-A2D4-8E94809EAA39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9ed7a09682a39ab171df91efd4381b4a887de9","datavalue":{"value":"cancellative hoop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866810$0AD97F70-1F30-4DAA-9725-8A29D2492649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d1969328e75d4a6be5cc83ec1ac0c6f998c0e8","datavalue":{"value":"ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866810$202D8A33-F50F-49BC-B20D-F9EE6BC5A101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e7c80b6a9d3ff98fbd13cd36279e6da2fdfcd8","datavalue":{"value":"abelian \\(l\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866810$C13207E4-5A68-42E9-9AAA-E4553453C4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866810$566B3D6E-093B-456F-AB8B-5495625C8966","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3435347ae0836a141153808f5e539b63c593b7b4","datavalue":{"value":{"entity-type":"item","numeric-id":238869,"id":"Q238869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866810$038E3C3D-1766-4F1E-A5B8-0B9D0004A8CC","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":"Q1866810$7C44D4D4-11A1-42E9-B77E-7FF274F17F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b98e1517affa3eacc8fe8e4d4315ee234ae1d2f1","datavalue":{"value":"https://doi.org/10.1007/s000120050154","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866810$E6068099-65F1-4978-AF8E-4EBE015DDECA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92c7063c5a93903d2e2e911eb659e48d82cc6ffc","datavalue":{"value":"W1994741015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$23F6471F-EF69-4E64-B87D-999E6D4C70E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dc425d32160762c3ac6162c8e3c9748fb2f3131","datavalue":{"value":"10.1007/S000120050154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866810$7A532679-2809-4F0F-AA56-720D12DFDE82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86d02fe7dc16bc9458656c2859f498d2156fa15","datavalue":{"value":{"entity-type":"item","numeric-id":4652990,"id":"Q4652990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d076d2358de20062802deac7035babb7ef58bb","datavalue":{"value":{"amount":"+0.7760253548622131","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":"Q1866810$6271D972-CE35-4099-960D-D83C32A2BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c28e1ac9f6a34bee8d195f64eb0fa62d975ad95","datavalue":{"value":{"entity-type":"item","numeric-id":2496161,"id":"Q2496161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499de2159063848b8801d6e9fb50a4dcf527c5df","datavalue":{"value":{"amount":"+0.7505226731300354","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":"Q1866810$1D5BD554-EBDF-4C28-B449-6B946266378B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ede8ca6e8d4807427c1a6031659c46f9fbe82c","datavalue":{"value":{"entity-type":"item","numeric-id":4584228,"id":"Q4584228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a328b8c1ea874f4c168f945c4fbb48b8ab913b","datavalue":{"value":{"amount":"+0.7440632581710815","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":"Q1866810$BF61C693-4248-4888-BF81-9A43A1CE2619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2c97337e008e92fc36c8a32992a233c11ab212","datavalue":{"value":{"entity-type":"item","numeric-id":2655233,"id":"Q2655233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873081e9ef7707e49c42af8de4d85fed971ed39a","datavalue":{"value":{"amount":"+0.7054460644721985","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":"Q1866810$C0CB747F-6A38-4DE9-9380-A35FB514A9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1c1770bea3f33483cbb5292ad70618e21893c1","datavalue":{"value":{"entity-type":"item","numeric-id":5219009,"id":"Q5219009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a86a0b19c77a93e600c51af21ec422cd296f18","datavalue":{"value":{"amount":"+0.7043682932853699","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":"Q1866810$031F19A8-9D25-4C4C-B05F-42FD13EFCB7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free cancellative hoops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_cancellative_hoops"}}}}}