{"entities":{"Q6877342":{"pageid":20760622,"ns":120,"title":"Item:Q6877342","lastrevid":84220475,"modified":"2026-05-13T18:28:48Z","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"}],"P223":[{"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":"Q6877342$1C350CEE-225A-4692-96E6-821E5396EADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694ec82c93af7fd0ab202ed604bf7582c81edf31","datavalue":{"value":{"entity-type":"item","numeric-id":4008213,"id":"Q4008213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$D8E5C77F-9531-4552-A03B-28BDC5A1FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5591c279c7708d1b9ab918c423248fcd8e828344","datavalue":{"value":{"entity-type":"item","numeric-id":406356,"id":"Q406356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$8A2B1AC2-65FD-4D25-8260-40B341CB1A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d200d10ef232b1fcb40c43a52cab663e788df604","datavalue":{"value":{"entity-type":"item","numeric-id":3945247,"id":"Q3945247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$C58242B1-B96B-45DE-B6A4-314BB2A77750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62fd22855dccc4fcfae0cbb6964140ef07a8f04","datavalue":{"value":{"entity-type":"item","numeric-id":524481,"id":"Q524481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$80FC0BA2-BC10-4F65-93E9-8B56FE6B9D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7209e22ebc3a79640d164437a8a755dd8d420cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1771332,"id":"Q1771332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$26C31F47-1922-4A99-8A68-4D2E5A4E6970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b529a58dfc78e9db2a2be8d4e6c5177758db8df","datavalue":{"value":{"entity-type":"item","numeric-id":2657661,"id":"Q2657661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$A8E2281F-01A1-4964-813C-2ABBD6D2F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1d3cbad1705e51663eb9ebed3ba088e5da2cbe","datavalue":{"value":{"entity-type":"item","numeric-id":6110516,"id":"Q6110516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$82479740-4D81-4E91-831C-B91E37FA62B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fda9e63386023308293467cb9a7cd2ce41ec29","datavalue":{"value":{"entity-type":"item","numeric-id":6153589,"id":"Q6153589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$18CCD83E-A60A-4F14-B1E5-7C3230813A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03bee2b9e434c8f2ee2fea08550a152b400edf87","datavalue":{"value":{"entity-type":"item","numeric-id":831285,"id":"Q831285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$CB5447C5-07D6-411A-8967-C15B392CB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3f06fa8d54e07915d98518a25492adb1e99e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2141716,"id":"Q2141716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$63F72F4F-B036-406F-B7CC-13E227D87347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c204eaa00fe14dbebe0de52e64333e2f5f314","datavalue":{"value":{"entity-type":"item","numeric-id":4708834,"id":"Q4708834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$712111D8-30C5-489B-B05B-7ED09136ED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b073486067fd4f00003d970fe034b7e06720a4","datavalue":{"value":{"entity-type":"item","numeric-id":3979975,"id":"Q3979975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$43C27E4B-A367-41C6-BD90-63B8AA0C209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8934bb9f4af90a9898c4e2cd69947fc082624e50","datavalue":{"value":{"entity-type":"item","numeric-id":531912,"id":"Q531912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$1D2B04B3-2169-404D-B27C-AA616B59A0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ac6e830d4cf03c896f2bd84e02e142ed30789e","datavalue":{"value":{"entity-type":"item","numeric-id":3964772,"id":"Q3964772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$AF9DA530-1DFA-4C03-8A6A-0C95B29582A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7317cd8ac9e5e51a46de84ad6edac403010ad268","datavalue":{"value":{"entity-type":"item","numeric-id":1952153,"id":"Q1952153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$9C615BB9-EFF6-459A-900D-586B69849326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6b5497e7481484584585291a68dbcbf4b15b9b","datavalue":{"value":{"entity-type":"item","numeric-id":6610659,"id":"Q6610659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$5F4CB4A5-62AE-4A88-BEF3-8C104B5759A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be715a115a7ac70dde259dcf707a57415c2e8adc","datavalue":{"value":{"entity-type":"item","numeric-id":3152220,"id":"Q3152220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$61E7D07C-D4FE-4DBF-B54D-7B1F18D36FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2de9dec32e461985ff3f4678f96284e4968f936","datavalue":{"value":{"entity-type":"item","numeric-id":5094487,"id":"Q5094487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$BA9DD7C8-BA1F-4B55-A0F7-35EE7FBFAEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86c6c64273f75540be851687cb41a66d91d9ec9","datavalue":{"value":{"entity-type":"item","numeric-id":7032387,"id":"Q7032387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$9E77213A-1799-4D08-ABCD-1B116BBE518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e259b2ce345e50749a2f89105cd998c00bf7a83","datavalue":{"value":{"entity-type":"item","numeric-id":2648844,"id":"Q2648844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877342$AE3B2444-56D5-4C42-806D-76137837ABDA","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"}}}}}