{"entities":{"Q2881019":{"pageid":2891739,"ns":120,"title":"Item:Q2881019","lastrevid":58046994,"modified":"2026-04-03T14:28:47Z","type":"item","id":"Q2881019","labels":{"en":{"language":"en","value":"Artin groups of large type are shortlex automatic with regular geodesics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021278"}},"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":"Q2881019$30F5C64D-E123-489F-B5C1-1D06A6771900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a996d33cb8c35573801ee7d2517dd4456c809d6b","datavalue":{"value":"1275.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$886B8F66-E823-4488-841F-3313BF6A8B04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4379837ed1398a617242a1336a8f80b2ef7c97a7","datavalue":{"value":{"entity-type":"item","numeric-id":169336,"id":"Q169336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881019$CCA33AF9-B90F-483E-960B-DAE2FC803A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a59ee3d603a5b1e501e33362d378b8f1c78ba1","datavalue":{"value":{"entity-type":"item","numeric-id":273098,"id":"Q273098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881019$FF2C97E8-B130-4157-8679-F9369A53DC35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881019$0E19C503-6796-4C27-94F8-EA83320A49A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5aa3160f29690fab493ce6bbd0a6979bf83d4d3","datavalue":{"value":"https://arxiv.org/abs/1003.6007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881019$CA2EDAA2-9B01-46C4-98A4-57B3FD8FA27F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$85E0E8E7-730E-4A80-9B89-7416CF2620CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$364FE92D-B5E0-4E5E-A6DA-35D4BE5CDE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$7E4AC3EC-4ACF-4E29-A2A4-93483A2F7E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$45B61D37-BB3B-417A-B00B-00083F18E757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b611bb60cb0bbc8e829d3b86ddc38f2d15f4f104","datavalue":{"value":"6021278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$A911AB58-24D9-4813-BF6F-EA2E19614D1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6cb8367ef8010f625a8a2f8257d5a86e7ff62b","datavalue":{"value":"Artin groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881019$0444C616-4110-4E10-951B-2227AEBBBF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d227622b114a413a6dfa603588e4cba8547f643","datavalue":{"value":"automatic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881019$8CA47F86-49E4-443A-9037-FE0893416ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e436fcf76a8f9df9c7a068062559359a4fa386","datavalue":{"value":"generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881019$4FC43CCE-635D-4546-AD16-EF741614D77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881019$CE88F4FF-6C54-47DD-9369-7D77EEE54054","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":"Q2881019$15C14095-ADD3-46D7-9465-9D6138733D03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"494cbfd0cde7e9d0db53d33e9e34e42342717bf5","datavalue":{"value":"W1992988325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$8B5D1143-8A88-4BC4-8032-F3619F3922AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dccad4bc296998ea9cbbb95d369661b8d1682f07","datavalue":{"value":"10.1112/PLMS/PDR035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881019$A23F10DF-A3E6-4693-9AD8-D1FB33720065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96f27525342352fc14069e11148fdb716f0f1610","datavalue":{"value":{"text":"Artin groups of large type are shortlex automatic with regular geodesics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881019$9AD67464-BBB8-4009-8F8A-65697B38964F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"05c75dfbfeb57f29a657af8520ed8349037c0a8a","datavalue":{"value":{"entity-type":"item","numeric-id":6486853,"id":"Q6486853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881019$B01135FE-31DE-404C-A117-04AD60410CCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c3bec74e529ba57228a4eaae1ff703c4c847c88","datavalue":{"value":"Let \\(X=\\{a_1,\\dots,a_n\\}\\) be a set. The standard presentation for an Artin group with generators \\(X\\) is given by NEWLINE\\[NEWLINE\\langle a_1,\\dots,a_n\\mid{_{m_{ij}}(a_i,a_j)}={_{m_{ji}}(a_j,a_i)}\\text{ for each } i\\neq j\\rangle,NEWLINE\\]NEWLINE where \\(m_{ij}\\) are entries in a symmetric \\(n\\times n\\) matrix \\((m_{ij})\\) with entries in \\(\\mathbb N\\cup\\infty\\), \\(m_{ii}=1\\), \\(m_{ij}\\geq 2\\) for all \\(i\\neq j\\), and where for a pair of generators \\(a\\neq b\\) the symbol \\(_m(a,b)\\) means the word that is the product of \\(m\\) alternating occurrences of \\(a\\) and \\(b\\) that starts with \\(a\\). An Artin group is of `large' type if \\(m_{ij}\\geq 3\\) for all \\(i\\neq j\\).NEWLINENEWLINE A group with generating set \\(X\\) is called `shortlex automatic' if the set of minimal representatives in \\(G\\) of words under the shortlex ordering, for some ordering of \\(X\\cup X^{-1}\\), is a regular language \\(L\\), and for some constant \\(k\\), any two words \\(w,v\\in L\\) with \\(|w^{-1}v|\\leq 1\\) ``\\(k\\)-fellow travel''.NEWLINENEWLINE The main result of this paper is that Artin groups are shortlex automatic over the standard generating set \\(X\\), for any ordering of \\(X\\cup X^{-1}\\). The authors also prove that the set of all geodesic words over \\(X\\cup X^{-1}\\) satisfies the so-called `Falsification by Fellow-Traveller Property'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881019$CC26AA19-696A-40C2-A909-4569FD36BD27","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"28a2fc1650d120faefb2584b76090d0e0589bd07","datavalue":{"value":{"entity-type":"item","numeric-id":203366,"id":"Q203366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881019$11E51BF3-21C3-42D4-9C06-3B6F76B1136F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce52ec8a1acaad5916ee9ab36d12c0c3af9b372","datavalue":{"value":{"entity-type":"item","numeric-id":2873315,"id":"Q2873315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83909074713e92b15ae6d8802e1d58df67e8776f","datavalue":{"value":{"amount":"+0.9602025747299194","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":"Q2881019$8DCD419D-A679-4C63-924A-D32C434529A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dc0d035411d0c8cdd27fc34290bd7461d411b4","datavalue":{"value":{"entity-type":"item","numeric-id":1345925,"id":"Q1345925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685a8a313ac7fab2dc6ca88300aa5cb8883b91d8","datavalue":{"value":{"amount":"+0.8209507465362549","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":"Q2881019$CD5D72CC-0021-4FBD-8375-88F8CD962914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc8202762bc51b06bff19b198511e6e78bae346","datavalue":{"value":{"entity-type":"item","numeric-id":1916417,"id":"Q1916417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e3d74c88c097e8b61f68c33b4c3365d15df125","datavalue":{"value":{"amount":"+0.8183946013450623","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":"Q2881019$023430C9-36AF-4C24-B29D-4625FF168BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b97c1491002a22c550fbb500420b80ba823cfe6","datavalue":{"value":{"entity-type":"item","numeric-id":1577495,"id":"Q1577495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea975649da0731826d97b872f3648d47d602b7ea","datavalue":{"value":{"amount":"+0.8085698485374451","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":"Q2881019$1A176532-0040-4E46-A805-97A2225239C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14c097a9c91dadfc1a8f3b845faa178a28565561","datavalue":{"value":{"entity-type":"item","numeric-id":811543,"id":"Q811543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532127fe8edf427fdae4a1f4749ed6687b7a5b8f","datavalue":{"value":{"amount":"+0.7900994420051575","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":"Q2881019$50151B06-71CA-466B-B36E-D83D3047DBD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881019"}}}}}