{"entities":{"Q2405875":{"pageid":2416618,"ns":120,"title":"Item:Q2405875","lastrevid":57899568,"modified":"2026-04-03T00:26:32Z","type":"item","id":"Q2405875","labels":{"en":{"language":"en","value":"Multifraction reduction. II: Conjectures for Artin-Tits groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781952"}},"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":"Q2405875$E03BF93E-161F-43DE-8999-DF7CEB8F70E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9adaa0ecb4e9bdccbd952e17a789dfb1d5dd0b2a","datavalue":{"value":{"text":"Multifraction reduction. II: Conjectures for Artin-Tits groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405875$1CCDCC36-B295-44E9-8C6B-34E1C79AB42F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22ddeb713ae059e3e5988664e1dfa6adddb4c7d9","datavalue":{"value":"1422.20021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$8C687B91-49BE-4D7A-A829-F83E55DFBAEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1158cffb6eada7b2017f3c0d511907b0122a1c05","datavalue":{"value":"10.4171/JCA/1-3-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$C5E46D3A-55C3-4054-B034-B5926F7D0781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c06aa3c4dc97754b3a90c94fdcbba2fb94420c5","datavalue":{"value":{"entity-type":"item","numeric-id":185419,"id":"Q185419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405875$47A3B35D-C682-466B-AF85-A0281D811221","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"266b8489dd8355c3b5a1bcb7389460df9a47e1f9","datavalue":{"value":{"entity-type":"item","numeric-id":509937,"id":"Q509937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405875$53943AA4-7B4E-4414-91C8-C1836CD8B19E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405875$DC8D8C5D-41AB-4BF6-A5F8-4E6647FCC67E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcea2277fcbec1f9ee96d7d85cc6f787e81ea3bf","datavalue":{"value":"https://arxiv.org/abs/1606.08995","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405875$600D88FF-4553-404B-82E8-EAE22F3A5D94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5775e99450ee34a5546a1a50f97157312092e501","datavalue":{"value":"Summary: Multifraction reduction is a new approach to the word problem for Artin-Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite system (``reduction'') that extends free group reduction. In this paper, we show that assuming that reduction satisfies a weak form of convergence called semi-convergence is sufficient for solving the word problem for the enveloping group, and we connect semi-convergence with other conditions involving reduction. We conjecture that these properties are valid for all Artin-Tits monoids, and provide partial results and numerical evidence supporting such conjectures.  For Part I see [the author, ibid. 1, No. 2, 185--228 (2017; Zbl 1422.20020)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$9FB88BD0-6604-4BAC-A1F3-A29EAB488E12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$7D0C574E-9682-4574-94A3-8EB3B703E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$D63D1420-DC71-4951-BDAB-1847CA70B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$84E41659-9CE7-4DEF-B945-D3A7456BB98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$3D5F15DA-739F-41F6-8191-A8E5ACFE5573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$6B4EE5EA-708E-40E6-B821-571413C4D0EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170749335e8acf92048cc74503a2a41bc84b57b9","datavalue":{"value":"6781952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$8EF97356-AF5B-4113-B1BB-F0A069B44209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"777bf81de7cf119034ee4b969611806af93a703b","datavalue":{"value":"Artin-Tits monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$27879944-E09D-4191-B39F-46AD46D93181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8576dd2908411f14451c17f587974e9cb20882fe","datavalue":{"value":"Artin-Tits group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$11349CCA-180D-466F-95D4-DEFF8C3FF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648c7a44d660c2be5ea45fe6e22f22910a7d230c","datavalue":{"value":"gcd-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$338B3B59-C7D5-49D4-9668-785C52075ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab09e4494f1f6a55672d0b711dbd37a18d36c6f","datavalue":{"value":"enveloping group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$281A34DE-A6BE-4FA1-832C-7BB4469F2560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$43A30209-AECB-4452-9A91-398D9B56B41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3c061301f684750e8ccc5c93ca51dae6b1108d","datavalue":{"value":"multifraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$D2528C5E-F49D-4855-97EF-743DF03226C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$6ACC6E25-1A1C-4570-AC72-47996BE62C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcecd30b24a9240e4aa024ff3a8acc892a3109d8","datavalue":{"value":"semi-convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$D0413112-D522-40D8-ACE9-5DFF918E5643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b893e729bf1b957eab857a5124739d3c2ca4b018","datavalue":{"value":"cross-confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$231A3262-631E-4CA6-9692-ED3F1A99A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b76d74dcaca6fd2fd041000654bcb826fc2dee","datavalue":{"value":"tame reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$EF4A56C6-39A2-43C2-8AD3-896B0029C85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c461369022e59934aede1b34cd22b743cba30044","datavalue":{"value":"van Kampen diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$97AF0588-C64E-4D67-B2AA-A22428B891A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d28ecd65fc26284f1f89993a80c34e65410024","datavalue":{"value":"embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405875$4DBB5D75-0D44-41B9-A515-8702CF5908D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7e2e4c27072819df80deb0b6b6997383bf40e76","datavalue":{"value":"Q122860691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$9A6CB172-961F-44DE-92FE-EC9435B9DA53","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":"Q2405875$01B87877-91AF-4C36-99DB-6F428458CA95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e55a8b390cf2e6dfb3d96bac8124b7d65591343e","datavalue":{"value":"W2963036819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405875$2DEA2CE3-D226-49F6-B0D7-29ACE973366F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206604bfdd8b337a0be8c86e64c6259863a4e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":528824,"id":"Q528824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9b98a5617dd0a88b2cc568b26d1eeab7719605","datavalue":{"value":{"amount":"+0.9034310579299928","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":"Q2405875$421A3540-00AB-43EA-B9CB-BD286FF8F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073fd0d6fca961ca291bf39e6cd242036e60414f","datavalue":{"value":{"entity-type":"item","numeric-id":1651499,"id":"Q1651499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa567aa7a871406cc9cb393249d00ca9a684fa2","datavalue":{"value":{"amount":"+0.8579598665237427","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":"Q2405875$3C204239-B76C-4F99-8CE8-4EC27DE28FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933d569a90beedc5390673fa7ad039420a917fde","datavalue":{"value":{"entity-type":"item","numeric-id":2376531,"id":"Q2376531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc0cff26eb7f95b8f1e25b5cb71f3c640d5fdf0","datavalue":{"value":{"amount":"+0.8242723941802979","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":"Q2405875$BB1EC973-472A-48F0-86C6-EC65E8C33B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c8a4971600510e2b80b0f4f2dd5577630208ab","datavalue":{"value":{"entity-type":"item","numeric-id":4914740,"id":"Q4914740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f29d4cccf427bbc5f2e6d4b71119dd6a3b0731","datavalue":{"value":{"amount":"+0.8031895160675049","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":"Q2405875$E3401DB4-0826-4569-B5B8-D9B02380CE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd19087e0b2308d790043ad5e314ed8336e1d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":308128,"id":"Q308128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6989a775a36b63bd1bff931cab72dc13c3062405","datavalue":{"value":{"amount":"+0.7934948205947876","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":"Q2405875$AC3263CA-987E-477C-94F3-53AF0B3C3953","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405875"}}}}}