{"entities":{"Q706100":{"pageid":707949,"ns":120,"title":"Item:Q706100","lastrevid":63674958,"modified":"2026-04-11T14:47:11Z","type":"item","id":"Q706100","labels":{"en":{"language":"en","value":"The language of geodesics for Garside groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131991"}},"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":"Q706100$CD1019EA-E22F-4C0B-A902-2F49B3F72235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f58c51d1499d55a8adbb8514acb8fd10af4f57a8","datavalue":{"value":{"text":"The language of geodesics for Garside groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706100$31BF91B2-A4AC-4092-A3B6-A86EA0680A3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b638a2a3beee40367debe92bdd1535447fe2705","datavalue":{"value":"1062.57002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$0F9859F4-1FB1-463F-9695-3493DAEDF4B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e9a9cf7eb98954e42bbc34d3fab65f5c1e78ec","datavalue":{"value":{"entity-type":"item","numeric-id":168407,"id":"Q168407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$6AF3AE6C-45EF-4D95-BB7B-CBD953CE56F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc62015c8c7e8c7cd6be88a4032ea30ac52dd42f","datavalue":{"value":{"entity-type":"item","numeric-id":1804902,"id":"Q1804902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$11786BDD-0898-4002-B956-9792F3EA5447","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$3B24F6EA-93A1-4CD7-8C21-7A782952B9F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac6a5e9a30261604bc7634d4848468daf416d61d","datavalue":{"value":{"time":"+2005-02-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":"Q706100$5022743A-5EA7-471B-9DD4-44B3289715BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff8022f13654ed17a30f67ad80cc425740fbfa02","datavalue":{"value":"The paper studies a certain class of finitely generated groups from the point of view of regular language.  If a finitely generated group fixes a generating set, then the group admits a metric structure called word metric. There is a basic question raised by J. Cannon, under which conditions can the set of all geodesics be a regular language with respect to a generating set, which implies that it can be accepted by a finite state automaton.  This paper studies the Garside groups, which is a class of finitely generated groups. Roughly speaking, they are characterised by some properties similar to the braid groups. In particular, the braid groups and also the Artin groups of finite type are Garside groups.  The main theorem of this paper is that the language of geodesics of a Garside group with respect to the generating set of simple divisors of \\(\\Delta\\) is regular, where \\(\\Delta\\) is a similar element to the half twist in the braid groups.  Regularity of language is shown by constructing an explicit automaton.   Regularity is reflected by the rationality of some growth functions including spherical growth series. Let us define the geodesic growth series by:  \\[ l(z)=\\sum_{z\\in G} p(g)z^{|g|} \\]  where \\(p(g) \\in {\\mathbb N}\\) is the number of geodesics whose end points correspond to \\(g\\). The authors also show that if the language is regular, then \\(l(z)\\) is rational. In particular it follows that the geodesic growth series of a Garside group with respect to the generating set of simple divisors of \\(\\Delta\\) is rational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q706100$9579CA0B-272E-4EA1-B0E8-2E57BA3950CA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1f08e72851f573504eca9a5674b5dea6258d07","datavalue":{"value":{"entity-type":"item","numeric-id":430034,"id":"Q430034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$7B8B3B60-67BD-4A81-8C30-D5F54AAD6B22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$DF4393D6-C31C-4F4C-BAA8-3D476D8A3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$BDBA7CC9-DE7D-47E2-AD07-3723E26FE258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00c103224d34af523e7fce2ff3e40dd19709f84f","datavalue":{"value":"20F36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$0A3777FB-F4C2-47D7-B8D2-8C903D72A579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f85237f4feb83563675d6a4711e4c0849ea33ebd","datavalue":{"value":"2131991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$BAF99016-DE9A-4754-8E57-65B8C2A6021E","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":"Q706100$6E43E30A-100B-444F-BAE3-7D5E30EC7582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ba954d57aceabcf091deeb1814f5e9dd10569c2","datavalue":{"value":"https://doi.org/10.1007/s00209-004-0666-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q706100$D1DE3C63-F191-4D65-97E8-3954840EDF3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f97eb4d03ac348d37a165c4f1d791aaaa4044de","datavalue":{"value":"W2053031719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$3025D5F8-DA12-4F23-B234-03775926F5BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b8524d19924928dffd37fc932b715ed311c2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3155493,"id":"Q3155493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$293D97F4-0F60-4ED7-A242-F25B5BA5E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f73e68c619938cb1268287fa510725f0b92702a","datavalue":{"value":{"entity-type":"item","numeric-id":1858300,"id":"Q1858300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$77EA6D74-B91C-4A52-9B4B-072EE0549288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0854ffba55913ad2a7ece15cb79fd713df28328a","datavalue":{"value":{"entity-type":"item","numeric-id":1273842,"id":"Q1273842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$13810B4E-3751-45D4-BA50-E22E32B300CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c983876433a043333f0bb8b6e17d3531a43c53f","datavalue":{"value":{"entity-type":"item","numeric-id":1855287,"id":"Q1855287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$2C3406FC-F1EE-4AA9-85D4-BE14A0725164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea518e73e9c383cc408a72b36c15c15e10ea40f9","datavalue":{"value":{"entity-type":"item","numeric-id":1084704,"id":"Q1084704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$860D0A58-D2EA-465D-B429-EF5017833FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d358ed276cd554e802bc9c773a2e4f961f98cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1345925,"id":"Q1345925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$754DFA08-5F99-4AC5-B3C2-90425B35C08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9dca771f49aad17b68b277fc9da6c3a0270b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":1827422,"id":"Q1827422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$C33A2684-DBCE-4976-8908-3583FCFEAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca210bae10c90651f9847367031fca981c13a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":1417430,"id":"Q1417430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$05EF03A2-3E92-4A7C-B4C8-2873A715D2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5b8570a474c38a67959d60d23c4a61c91af77d","datavalue":{"value":{"entity-type":"item","numeric-id":1276989,"id":"Q1276989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$775479DD-52EB-4B79-BBB6-4337890152EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c124dfc990e6430ac1558588dc1de5cde803b31","datavalue":{"value":{"entity-type":"item","numeric-id":3146956,"id":"Q3146956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$5F558339-0356-40E3-A704-2F3DA5895BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06b173595c76c6fdbc2f604634695aee5d3421f","datavalue":{"value":{"entity-type":"item","numeric-id":1395346,"id":"Q1395346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$6B82AA57-0513-4F0D-8FC0-6E4772E336CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9408986bc77ca0ff2a397f2e505363bae05ce77","datavalue":{"value":{"entity-type":"item","numeric-id":4487590,"id":"Q4487590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$D5D81979-3690-4A1C-9622-16ED04CE71D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508f54be2c5b75efb9d7c6ca2484ac0fb2a9266e","datavalue":{"value":{"entity-type":"item","numeric-id":5589369,"id":"Q5589369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$4D25845B-6808-4EC6-93B5-9DB339985CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc309630fce01968002b14509d9d38d5d0058d5","datavalue":{"value":{"entity-type":"item","numeric-id":1365863,"id":"Q1365863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$4DF004CD-2A14-4101-BCAA-A4DA847F505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0d5b7756457779e5ac967288defca8608e8492","datavalue":{"value":{"entity-type":"item","numeric-id":3043634,"id":"Q3043634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$E7EA3BBD-F3CC-4836-A6EA-660A9FB7C38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a655a8cef0440c8c3fee1ae8d6b063d8d9d09831","datavalue":{"value":{"entity-type":"item","numeric-id":1895679,"id":"Q1895679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$F5F200DF-60D3-4375-B936-ADD158C51B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"628b2de0718dba940fab77ae50aa40627c46b86f","datavalue":{"value":{"entity-type":"item","numeric-id":4865840,"id":"Q4865840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$09E3771A-9932-48B7-9228-2AFF1DA70F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db87a6118097f45420ca5d531ec94a290c448625","datavalue":{"value":{"entity-type":"item","numeric-id":4656961,"id":"Q4656961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$78A2311B-9CDE-4BBE-9B89-CAC9397704AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f2cf5d3ddbd1b90dc8e7487a997eeae714d8aa","datavalue":{"value":{"entity-type":"item","numeric-id":4380507,"id":"Q4380507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706100$0DE304CA-B97D-4F2E-842A-4155015B1914","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17c1f299fbce19b4e4b449a86526ea5aa6f354fc","datavalue":{"value":"Q115019317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$40A01D88-F00E-4698-B77B-7CDA62E6C219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"472d425f30220079940f4e57fe0619313ea63b03","datavalue":{"value":"10.1007/S00209-004-0666-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706100$871A47EC-0831-473D-A269-361B3FB509CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab2d583367300dc6a1ddb24ddf71adef7f82548","datavalue":{"value":{"entity-type":"item","numeric-id":4656961,"id":"Q4656961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d1d967eccc7a8fb5318763f9cd1685a1fe980a","datavalue":{"value":{"amount":"+0.8048449158668518","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":"Q706100$25368F74-820E-4493-8302-72F173366E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf206baae8ac00047d1c7a6da8e7e2cd0413f352","datavalue":{"value":{"entity-type":"item","numeric-id":5297788,"id":"Q5297788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9534ee89908c79e1576ff66a1f0f9dbbe775085","datavalue":{"value":{"amount":"+0.7859193086624146","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":"Q706100$4CE79782-FF5D-44FE-ACD9-9C7B8E5FE0E1","rank":"normal"},{"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":"9700d4b964f480d723454aae170df6124e7d4895","datavalue":{"value":{"amount":"+0.7702563405036926","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":"Q706100$C309B9F5-54B7-4934-98B6-DAE4009E428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f96d24777936815219d48e3e6ee804f5052935","datavalue":{"value":{"entity-type":"item","numeric-id":531913,"id":"Q531913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bced2ad8228239205e149899d0420deece46f953","datavalue":{"value":{"amount":"+0.7696935534477234","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":"Q706100$D3BAE57D-3353-45CB-9E1C-D1EFAB6C16D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b4c16690ae091802bc0221c5c2d2bd9b32edf1","datavalue":{"value":{"entity-type":"item","numeric-id":3521097,"id":"Q3521097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8e01b04f19d19d465a9c5fab65486fb62a93f9","datavalue":{"value":{"amount":"+0.7668418288230896","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":"Q706100$56C65868-D0A7-4B05-8F8E-85FBB7D1F92C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The language of geodesics for Garside groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_language_of_geodesics_for_Garside_groups"}}}}}