{"entities":{"Q6877342":{"pageid":20760622,"ns":120,"title":"Item:Q6877342","lastrevid":75304537,"modified":"2026-04-18T15:07:58Z","type":"item","id":"Q6877342","labels":{"en":{"language":"en","value":"All hyperbolic cyclically presented groups with positive length three relators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8142583"}},"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":"Q6877342$7BD3ECC6-67BC-459E-9025-BCAD036CC698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e9b82014cfef52c51bc7df7f398e933e790abfc","datavalue":{"value":{"text":"All hyperbolic cyclically presented groups with positive length three relators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6877342$E807D787-E421-4947-B2A2-E5C722CA86C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34e2ca02276869429b685a49f9015df7266a8ef","datavalue":{"value":"10.1016/J.JPAA.2025.108133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877342$E8370FC3-DC62-495C-9427-474476932359","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4487a3ac5ec77b8fe8b770e81fe68f3eefb685f9","datavalue":{"value":{"entity-type":"item","numeric-id":831284,"id":"Q831284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$72DBB104-213D-4FB9-AF9A-2A1916176F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1137c173ccd860efdddd1e4dd865698d0968436","datavalue":{"value":{"entity-type":"item","numeric-id":531911,"id":"Q531911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$1F3150E0-E053-4CA2-961B-101F8353A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cadec12f6549dd13d0a42fdbb52c3da80f9964cf","datavalue":{"value":{"entity-type":"item","numeric-id":1861490,"id":"Q1861490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$369682E6-2851-4A73-A631-F0101490C7AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$882FF24F-5112-49E8-9291-5BBE4F01CE93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9eddc63da383b5a21a42c76b87aac56a89cb928b","datavalue":{"value":{"time":"+2026-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6877342$168BD875-A86E-46CF-BB3E-0B56109902A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c15338b6b59cbe97f60081eb6c8b00eac6fa923","datavalue":{"value":"The paper under review studies the cyclically presented groups\\N\\[\\N\\Gamma_{2m}= \\big \\langle x_0,\\dots,x_{2m-1}\\mid x_i x_{i+1} x_{i+m-1}\\ (0\\le i<2m) \\big \\rangle,\\N\\]\\Nwith subscripts taken modulo \\(2m\\), which form a subfamily of cyclically presented groups with positive length three relators. The main objective is to determine precisely for which values of \\(m\\) these groups are hyperbolic.\\N\\NTheorem~A shows that for \\(m\\ge 1\\) the group \\(\\Gamma_{2m}\\) is hyperbolic if and only if \\(m\\in\\{1,2,3,6,9\\}\\). In these cases the theorem also identifies \\(\\Gamma_{2m}\\) up to isomorphism as \\(\\mathbb Z_3\\), \\(\\mathbb Z_{15}\\), \\(\\mathbb Z\\ast\\mathbb Z\\), \\(\\mathbb Z_5\\ast\\mathbb Z\\ast\\mathbb Z\\) and \\(\\mathbb Z_{19}\\ast\\mathbb Z\\ast\\mathbb Z\\), respectively. For all remaining values of \\(m\\) the group is shown to be non-hyperbolic.\\N\\NThe proof proceeds by passing to the split extension \\(E_{2m}=\\Gamma_{2m}\\rtimes\\langle t\\mid t^{2m}\\rangle\\) and constructing explicit commuting elements \\(A\\) and \\(B\\) in \\(E_{2m}\\). A key lemma establishes that, for \\(m\\notin\\{1,2,3,4,6,9,12\\}\\), the relation \\(A^\\alpha B^\\beta=1\\) in \\(E_{2m}\\) forces \\(\\alpha=\\beta=0\\).\\N\\NThe paper also derives Corollary~B, which classifies the elementary and non-elementary hyperbolic groups among the more general cyclically presented groups \\(G_n(x_0x_kx_l)\\) under explicit congruence conditions, and Corollary~C, which confirms Conjecture 7.12 stated in [\\textit{E.~Mohamed} and \\textit{G.~Williams}, Exp. Math. 31, No. 2, 537--551 (2022; Zbl 1509.20048)] excluding certain isomorphisms for even \\(n\\ge 20\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877342$8BE60C6B-4F81-4345-ADC1-E1D66AACCCF4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84143e6334371c8e3cbc935219640b812b5c932b","datavalue":{"value":{"entity-type":"item","numeric-id":258043,"id":"Q258043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$6A89FA3A-7984-45AD-9FD1-0DAD1123E9F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877342$9AC59AD8-9A84-4BF2-ADCB-611A834D9149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877342$B7798259-BB72-41F4-951E-7DB278F18602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877342$5A236EEF-951F-4A42-BDD7-3728B784AE02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"193f0b8f654df22df0266574d4406032440381a2","datavalue":{"value":"8142583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877342$3300F696-8567-4EC7-953D-90D24C480F1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522d2eba9577687f9c19218910687c2b4a25f17b","datavalue":{"value":"hyperbolic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877342$523BBBF3-C910-4153-9F33-1A82FF127B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0440cdc8e6967a7c904da4311856667c60d67061","datavalue":{"value":"cyclically presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877342$7A5863B6-F712-44FB-AE73-E779E2FF34DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbe9ac8a236207cfda5bb4e74af514fca04aa2a","datavalue":{"value":"curvature","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877342$1C416022-9A24-4824-97A5-DA3B945E231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d9e1121d5415e1561561fd6dbe7b4db87b93c0","datavalue":{"value":"small cancelation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877342$4ABA3617-49EF-441B-BA99-9D8E3240FC3C","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":"Q6877342$058BD496-3D2F-4DAD-ACEE-69807698AA16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All hyperbolic cyclically presented groups with positive length three relators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All_hyperbolic_cyclically_presented_groups_with_positive_length_three_relators"}}}}}