{"entities":{"Q1895679":{"pageid":1906421,"ns":120,"title":"Item:Q1895679","lastrevid":73938504,"modified":"2026-04-14T17:47:47Z","type":"item","id":"Q1895679","labels":{"en":{"language":"en","value":"Automatic structures, rational growth, and geometrically finite hyperbolic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 784002"}},"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":"Q1895679$C021D30B-C625-4FAC-A1AA-E8E38D1B3A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13ac536c8d8cecec8e8204ef988b10085a892f68","datavalue":{"value":{"text":"Automatic structures, rational growth, and geometrically finite hyperbolic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895679$C7AF682F-6B57-41E7-8312-1651644BC880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e286959797e342075cb341e29bbf5f3cfdd2c6","datavalue":{"value":"0831.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$C8F41593-D448-43AE-B33A-D11C6C07B697","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e350c5efb05810a4fb0a7341cf20cb655a68f7f6","datavalue":{"value":"10.1007/BF01241129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$CCBF2EDA-A838-4B5B-B4D9-DD5A3C911C08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf43465b3d5a42dd1ef11c0ffed2de3b26e7a54","datavalue":{"value":{"entity-type":"item","numeric-id":190819,"id":"Q190819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$397018DD-436B-46DA-AD04-2FACF4CD1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f06040dd3cc28c01e89b91ed65bf1a6cb9609ec","datavalue":{"value":{"entity-type":"item","numeric-id":584408,"id":"Q584408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$92ED3339-1FE4-4BC9-B1E9-315EC92ECDF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$0AE9ADF1-5269-4445-AB9D-0992B9918AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e64b1b022fc03684ae7f4d8afc725b31bbf5e91e","datavalue":{"value":{"time":"+1996-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895679$71EFA08A-4C10-4E8A-B7D1-DEBA3452FFF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f373cbb747a0d28265dfd519ce927b80938d7652","datavalue":{"value":"https://arxiv.org/abs/math/9401201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895679$EF9FA9E7-3DE7-45F4-A5F8-5AC134381EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"93515565e7f426f3c6c5c0b4a138fa00107c1ffa","datavalue":{"value":"https://eudml.org/doc/144276","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895679$531C42E6-5EB1-41D2-8E1C-A6F498E9A6D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11cc1b821d0bbd0a2ecd1e66ba9e2534cb36805d","datavalue":{"value":"This is the third paper in a series where the authors investigate sets of equivalence classes of synchronously or asynchronously automatic or biautomatic structures on a group. In this paper, they study the case of geometrically finite hyperbolic groups. (A ``hyperbolic group'' is here a group of isometries of the \\(n\\)-dimensional real hyperbolic space.) The authors defined (in their previous work) the set \\({\\mathcal S}{\\mathcal U}(G)\\) of equivalence classes of synchronous automatic structures on \\(G\\). The main results in the present paper are the following. Let \\(G\\) be a geometrically finite hyperbolic group. For each element \\([L]\\in{\\mathcal S}{\\mathcal U}(G)\\), there is an induced element \\([L_P]\\in{\\mathcal S}{\\mathcal U}(P)\\) where \\(P \\subset G\\) is a maximal parabolic subgroup. This induces a mapping \\({\\mathcal S}{\\mathcal U}(G)\\to\\prod_P{\\mathcal S}{\\mathcal U}(P)\\) where \\(P\\) ranges over the set of maximal parabolic subgroups of \\(G\\). The authors prove that this mapping is injective with dense image. They also compute the set \\(B{\\mathcal S}{\\mathcal U}(G)\\) of equivalence classes of synchronous biautomatic structures on \\(G\\) by showing that the mapping \\(B{\\mathcal S}{\\mathcal U}(G)\\to\\prod_P B{\\mathcal S}{\\mathcal U}(P)\\) is a bijection, where \\(P\\) ranges here over the set of cusps, that is, a set of representatives for the conjugacy classes of maximal parabolic subgroups of \\(G\\). The sets \\({\\mathcal S}{\\mathcal U}(P)\\) and \\(B{\\mathcal S}{\\mathcal U}(P)\\) were already computed by the authors in a previous paper. The authors prove also that any geometrically finite hyperbolic group \\(G\\) has a generating set \\(A\\) so that the geodesics in the free monoid on \\(A\\) form a regular language and the growth function is rational. They determine also which automatic structures on \\(G\\) are equivalent to automatic structures consisting of geodesics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$22F1E190-CBA9-4AEA-B0D5-D5132AD4F12E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$1C58B1A3-2433-4821-A1AE-BBFB8D932E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$54B62958-116A-4782-878E-37AAC8439373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$300082A9-1C91-4515-8606-816CBB6E060F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$DD062AB5-92CB-4005-8507-70F4DFFCE022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71487e1e71e23bfe535b06603087fe81f67e36b4","datavalue":{"value":"784002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895679$F658D68C-CBC5-4BFB-A5C2-392FCBF4FC02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d038e71acb178736e840400581c2833e5a7f0b6","datavalue":{"value":"rational growth functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$CDBD94C6-1403-491A-865E-955C7FE77F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cb09b28333a7586468e1ecc20acfda98f0e2a1","datavalue":{"value":"biautomatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$FF32A00F-EBD5-44FC-A634-06BAE951E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ffa6f895e4a07584176c2ff468e388322a2026","datavalue":{"value":"geometrically finite hyperbolic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$DDA7657F-17FE-48FB-8D36-0219240FE3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59067a83eb68ce80cc0acc3beea6b65f5a438ff6","datavalue":{"value":"real hyperbolic spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$4EC04A3C-2E9F-4F53-9180-D0E0F40FFC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80e2bef0dd54e92384014c384fc14c3d087e285","datavalue":{"value":"synchronous automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$64839577-A63E-4DEC-91AC-A91753ABA314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b437b83b311804469d27a748de409f9f38533e9","datavalue":{"value":"maximal parabolic subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$B5D18CC0-55B7-4315-ADAA-091F4D381305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb58efdbab086f5709558a705903cd19b936f3a6","datavalue":{"value":"cusps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$0D0D1E3A-86DF-4C3B-A0D7-60B72F5CE86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a61078c375f595537fe4ec5567a249b4963887ff","datavalue":{"value":"geodesics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$A565C4BE-C31D-46A5-B17E-C33A82EEF287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895679$78F3412B-E7FF-45D3-AC15-AFCF8BD587F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7ece0f8a4151cdfc61c26bb6d1bb6a78d99c8669","datavalue":{"value":{"entity-type":"item","numeric-id":189066,"id":"Q189066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$96CBCB37-82C7-462F-B572-223732C953DF","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":"Q1895679$D4D4236B-9172-45C0-8ABB-DD05EBDB31F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c6a32f1a812ef656035cc76e8ca75ba499ece8","datavalue":{"value":{"entity-type":"item","numeric-id":2639360,"id":"Q2639360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$24FF63DE-6BD4-4E9A-84CC-C0825A8E91BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5127d328e7f6b33db98bd0ccbe9cf299bcd9f6e7","datavalue":{"value":{"entity-type":"item","numeric-id":4865833,"id":"Q4865833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$640E8F20-FB92-48D6-95BF-4B1A5BB583A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8428f9b1d017c23be63e820c9b20c9335447de1d","datavalue":{"value":{"entity-type":"item","numeric-id":1183379,"id":"Q1183379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$07304E74-AC55-440D-8290-1D7CB86AE449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4eae4d7b3b03a0d2123c629fe92b9bac9e4668d","datavalue":{"value":{"entity-type":"item","numeric-id":2367744,"id":"Q2367744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$0844825B-915C-4651-8624-DBE65D553808","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":"Q1895679$C74716DD-C820-4C1B-A221-FC20ABEB0977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1b57f281e089d752f83218a3b45aa343c430c9","datavalue":{"value":{"entity-type":"item","numeric-id":1177434,"id":"Q1177434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$62163E38-C31F-4E59-9F0E-81E036C76E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a404bdddc088b0e4b2141d1477c5bb762282810","datavalue":{"value":{"entity-type":"item","numeric-id":2528506,"id":"Q2528506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$E33CA4F5-BD45-404D-B66E-5AEFFA635E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585c438de468a9f5f1193905866ae7b2f301d36a","datavalue":{"value":{"entity-type":"item","numeric-id":4029568,"id":"Q4029568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$3D46CCFE-B9CF-4684-BA58-F26F47543B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1e6d552665a16d42f1ede78aa499c4eab59d90","datavalue":{"value":{"entity-type":"item","numeric-id":4697871,"id":"Q4697871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$F227E7A2-55C3-4166-A8D5-D4AED3899BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba44d5c73c5d9125ba9dcf7dbddfb3cded6d6d61","datavalue":{"value":{"entity-type":"item","numeric-id":4314293,"id":"Q4314293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$677CB419-8160-461C-9089-16D50F930B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af87aaaf4382b28eeb506234d4f196eb23b28a99","datavalue":{"value":{"entity-type":"item","numeric-id":4029107,"id":"Q4029107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895679$5A9F779B-D91D-4234-A698-E568E33FF83F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c17a276884961621d55178c941d376b64e9ec2b","datavalue":{"value":{"entity-type":"item","numeric-id":1210358,"id":"Q1210358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cad9fe17150097e7c7089debdaf9945e5a7334","datavalue":{"value":{"amount":"+0.8287653923034668","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":"Q1895679$A75F2C41-CB59-4CE2-BCDB-C8E72D7CF870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8d7ac234aae7c6d42a7a6cf2d77f4871118caa","datavalue":{"value":{"entity-type":"item","numeric-id":4028069,"id":"Q4028069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be404e739d752e231bba5c3bec863a99420657c","datavalue":{"value":{"amount":"+0.8270997405052185","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":"Q1895679$7D43367A-3D5A-436F-9123-888FE0DF4970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2a182cb13df30404618ed0a295430ad1966fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4866260,"id":"Q4866260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3c9599dd5c2509cf323165b0446ad7b3a43e71","datavalue":{"value":{"amount":"+0.8045640587806702","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":"Q1895679$B8A977F9-D486-4E3C-AC43-F95E2DD7C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542be838fce93233af94a9e97f001d3e1adecf52","datavalue":{"value":{"entity-type":"item","numeric-id":4464966,"id":"Q4464966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96346f55da0ca27ca0ec6d5892116f89d0afcc1a","datavalue":{"value":{"amount":"+0.7964709401130676","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":"Q1895679$2D3E2486-07BA-4E86-8EAC-30283FA26447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ae9f0e6a561963e99917836f2e04b94a2ea49f","datavalue":{"value":{"entity-type":"item","numeric-id":4347270,"id":"Q4347270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fb18a8e147de89ae7adddfc9f2266ddee0c28d","datavalue":{"value":{"amount":"+0.777474045753479","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":"Q1895679$CF234E9C-B207-43B5-8F60-9D71EC5AC4F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic structures, rational growth, and geometrically finite hyperbolic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_structures,_rational_growth,_and_geometrically_finite_hyperbolic_groups"}}}}}