{"entities":{"Q1849709":{"pageid":1860451,"ns":120,"title":"Item:Q1849709","lastrevid":71477268,"modified":"2026-04-13T22:31:29Z","type":"item","id":"Q1849709","labels":{"en":{"language":"en","value":"Artin monoids inject in their groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1837408"}},"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":"Q1849709$DD4EF7EE-9AE5-4872-B4D8-3D7271B31E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"673abb1ac50924042e32a9fc72824193461ce780","datavalue":{"value":{"text":"Artin monoids inject in their groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849709$5D240C6A-7204-46AA-8B0D-B7F3889EE719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3354e79708964adce5a9bf68baaa66f29d032c3a","datavalue":{"value":"1020.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$F366F170-E667-464C-B3B8-896650D88D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b397ddd73724acc8574b04104c47b8242d455f","datavalue":{"value":{"entity-type":"item","numeric-id":166431,"id":"Q166431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849709$6F5C0781-6C27-4D7D-948E-0DC827C7BDBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849709$A18ECA6C-6EFF-4F2B-A802-18F9537EF5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849709$24017C82-75A9-49E9-AFCA-400A7F7DF1EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eefa942de92d2c7db378b19870d7c8a8e35a4ea8","datavalue":{"value":"https://arxiv.org/abs/math/0102002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1849709$C31265E1-E15C-45C1-A128-75BCD851049A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b716e21bdb4f7e24fcc18ed4e04cfe8e459e479","datavalue":{"value":"Let \\(M=(m_{ij})\\) be an \\(n\\times n\\) symmetric matrix such that \\(m_{ii}=1\\) for each \\(i\\) and \\(m_{ij}\\in\\{2,3,4,\\dots,\\infty\\}\\) whenever \\(i\\neq j\\). \\(M\\) defines a so-called `Coxeter graph' \\(\\Gamma\\) having \\(n\\) vertices \\(v_1,\\dots,v_n\\), with (i)~no edge between \\(v_i\\) and \\(v_j\\) if \\(m_{ij}=2\\), (ii)~an unlabeled edge between them if \\(m_{ij}=3\\), and (iii)~an edge labeled by \\(m_{ij}\\) in all other cases.   To \\(\\Gamma\\) we associate the presentation \\(P=\\langle a_1,\\dots,a_n\\mid\\text{prod}(a_i,a_j,m_{ij})=\\text{prod}(a_j,a_i,m_{ij})\\rangle\\) (where \\(\\text{prod}(x,y,m)\\) denotes the product \\(xyx\\cdots\\) having a total of \\(m\\) factors). The group \\(G_\\Gamma\\) with presentation \\(P\\) is called an `Artin group', and the monoid \\(G_\\Gamma^+\\) with presentation \\(P\\) is called an `Artin monoid'.   It was previously known that the natural (monoid) homomorphism \\(G_\\Gamma^+\\to G_\\Gamma\\) was one-to-one for certain Artin groups (those of finite-type, for example), but it was unknown if this was true in general. In the present paper, the author proves that it is one-to-one in all cases.   By the definitions of \\(G_\\Gamma\\) and \\(G_\\Gamma^+\\), it suffices to prove that \\(G_\\Gamma^+\\) is a submonoid of any group. He does this by first proving that for any Coxeter graph \\(\\Gamma\\), there is another one, \\(\\widetilde\\Gamma\\), of small type (i.e., all \\(m_{ij}\\in\\{2,3\\}\\)) and triangle-free, such that \\(G_\\Gamma^+\\) injects into \\(G_{\\widetilde\\Gamma}^+\\). He then proves that for any triangle-free Coxeter graph \\(\\Gamma\\) of small type, there is a faithful representation \\(G_\\Gamma^+\\to\\text{GL}(V)\\) where \\(V\\) is a (possibly infinite-dimensional) vector space over \\(\\mathbb{Q}(x,y)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849709$8760EA1C-66B0-4242-9CD6-36DF66BCE13F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dd63a294e6572609e555f008f990edc4325ef5e0","datavalue":{"value":{"entity-type":"item","numeric-id":579411,"id":"Q579411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849709$67469BE6-F2CE-4DE2-8B26-EBF52DF8996E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$DD6748EA-C1B3-40BC-A0EF-B456BCFAD3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dcc6ef289477f68cffe6414814b60192a325ae7","datavalue":{"value":"20F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$2813D2BA-D15C-4101-B9E5-824AE49BEA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$A81AE2DD-E840-4348-8C8C-13B6BFFBC815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ce48793959311bc2eea0354d621e744a78c130","datavalue":{"value":"1837408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$41A414B3-008A-4B94-8CCC-078F96E2B815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6cb8367ef8010f625a8a2f8257d5a86e7ff62b","datavalue":{"value":"Artin groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849709$2E591405-B938-4FE7-BD59-C25152265E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070de2596c832686bf2fa8af321cc5012a6b8bfb","datavalue":{"value":"Artin monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849709$341BFB10-40D5-49CF-A997-94BE31D6E802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef94b762c53096119898909fcd6853fb47a5cdd","datavalue":{"value":"faithful representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849709$603FAC10-4C20-451C-8EAB-1F1F7149B5D7","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":"Q1849709$9A32CCCB-96F1-4BB1-8B1D-BDED94B6C01A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67ba1f0bc483c9d571b79fc7ec62f3c80d426f3a","datavalue":{"value":"W2024778518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$8CE686BC-5277-48EA-A2CD-C518FB57E099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f1e6e586dbd56f6c415303a5a608091cbf89ad0","datavalue":{"value":"10.1007/S00014-002-8353-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849709$06607877-34BD-4615-B94B-321059937BA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff8e22a8723c09e55b0f61585194a224b076bfa","datavalue":{"value":{"entity-type":"item","numeric-id":4263819,"id":"Q4263819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054250c92ecb6566aca305a3bb64778423c74435","datavalue":{"value":{"amount":"+0.7956793904304504","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":"Q1849709$118400E3-A894-4BD0-B898-D3A5CB07F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3785946e06fd13eb461c590f6287d7987f981f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5491370,"id":"Q5491370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37e609d0b689f36a008ff7852d6f71926e8bbc9","datavalue":{"value":{"amount":"+0.7830948829650879","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":"Q1849709$D925E0D7-0A0E-4C55-9755-069033F05C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8dfabb56b8a8db61b13f58ed0c6261f683a280d","datavalue":{"value":{"entity-type":"item","numeric-id":1974126,"id":"Q1974126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dcf5d630b869500764b19853148c5d67be9fb3","datavalue":{"value":{"amount":"+0.7682467699050903","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":"Q1849709$83EF5FE0-2835-462E-B743-0C7BB67D9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11244147f3af3485c7c2ce8eb52810625ac5d17b","datavalue":{"value":{"entity-type":"item","numeric-id":965176,"id":"Q965176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c56553129c7703438295d455b50fe87bb28e9c6","datavalue":{"value":{"amount":"+0.7626550793647766","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":"Q1849709$C703F6C4-D1C9-4E82-B121-CB4AD6DDCAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8754e36cec9cf98216fc562c94ea4d581c0678a","datavalue":{"value":{"entity-type":"item","numeric-id":1340254,"id":"Q1340254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675de67c2043b1326b7c51d7ca5db12b597783e5","datavalue":{"value":{"amount":"+0.7611122727394104","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":"Q1849709$E09C2CC7-B55F-4324-8993-942A14C2540E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artin monoids inject in their groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Artin_monoids_inject_in_their_groups"}}}}}