{"entities":{"Q986063":{"pageid":987911,"ns":120,"title":"Item:Q986063","lastrevid":65787864,"modified":"2026-04-12T05:22:15Z","type":"item","id":"Q986063","labels":{"en":{"language":"en","value":"Volume equivalence of subgroups of free groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5768593"}},"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":"Q986063$6035E06D-6346-452F-BF05-A8E3E3DBA12A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de4b72e330e772900cb37ecfd076d46a3cd70b3d","datavalue":{"value":{"text":"Volume equivalence of subgroups of free groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q986063$88435064-85DC-47AA-A92D-F6B45E6D9181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8f05dc1908caf4652326a432240c70a0a8de955","datavalue":{"value":"1207.20014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$21F29C59-8200-4AB5-9514-C88BEE014B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b3b1cb62541ea8841a05cb45699d0e94627b40","datavalue":{"value":{"entity-type":"item","numeric-id":357734,"id":"Q357734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$C46B6561-6A29-42E2-B4D9-62C9184D12AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"077a1b7d64765047ebc8d2bb20d2d1a33e91c432","datavalue":{"value":{"entity-type":"item","numeric-id":590520,"id":"Q590520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$E4FF7852-6F58-4C1D-A057-FF4120B8164C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$F5D8F770-C6A4-4DCF-9134-2232A0BB5AA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20c19e2e5b7b004140db038732104ace089d52ff","datavalue":{"value":{"time":"+2010-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q986063$7D95A898-4229-4F0F-AFE9-05FA7FB204A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b36cc3f5451cc6d770fd213342eacf0f8402c35f","datavalue":{"value":"Let \\(F_n\\) be the free group of finite rank \\(n\\geq 2\\). \\textit{I. Kapovich, G. Levitt, P. Schupp} and \\textit{V. Shpilrain}, [Trans. Am. Math. Soc. 359, No. 4, 1527-1546 (2007; Zbl 1119.20037)], introduced the notion of the translation equivalence. The elements \\(g,h\\in F_n\\) are called translation equivalent if for every free and discrete isometric action of \\(F_n\\) on an \\(\\mathbb{R}\\)-tree \\(T\\) we have \\(\\inf_{x\\in T}d(x,gx)=\\inf_{x\\in T}d(x,hx)\\). In the above mentioned paper several characterizations of translation equivalence are given. There also two natural generalizations of the notion of translation equivalence are introduced.   Two elements \\(g,h\\in F_n\\) are called boundedly translation equivalent if there is \\(C>0\\) such that \\(\\frac{1}{C}\\leq\\frac{\\|\\varphi(g)\\|}{\\|\\varphi(h)\\|}\\leq C\\) for every automorphism \\(\\varphi\\) of \\(F_n\\).   Two finitely generated subgroups \\(H\\) and \\(K\\) of \\(F_n\\) are called volume equivalent if for every free and discrete isometric action of \\(F_n\\) on an \\(\\mathbb{R}\\)-tree \\(T\\) we have \\(\\text{vol}(T_H/H)=\\text{vol}(T_K/K)\\). -- Here \\(T_H\\) is the unique minimal \\(H\\)-invariant subtree of \\(T\\); thus \\(T_H/H\\) is a finite graph whose edges inherit the same lengths as their lifts to \\(T\\). The volume \\(\\text{vol}(T_H/H)\\) is the sum of the lengths of the edges of this graph.   Let \\(F_n\\) be the free group of finite rank \\(n\\geq 2\\) with basis \\(\\Sigma\\). Every finitely generated subgroup \\(H\\) of \\(F_n\\) has a unique finite graphical representation \\(\\Gamma_H\\) up to graph isomorphism. The graph \\(\\Gamma_H\\) is a cyclically reduced \\(\\Sigma\\)-labeled directed graph which depends only on the conjugacy class \\([H]\\). For \\(S\\subset\\Sigma^\\pm\\), the capacity \\(\\text{cap}(\\Gamma_H;S)\\) of \\(S\\) is the number of vertices \\(v\\) of \\(\\Gamma_H\\) such that the set of labels of incoming edges of \\(v\\) meets both \\(S\\) and its complement \\(S^c\\).   The main results of this paper are:   Theorem A. (i) For \\(n\\geq 3\\), two finitely generated subgroups \\(H\\) and \\(K\\) of \\(F_n\\) are volume equivalent if and only if \\(E(\\Gamma_{\\varphi(H)})=E(\\Gamma_{\\varphi(K)})\\) for every automorphism \\(\\varphi\\) of \\(F_n\\). (Here \\(E(\\Gamma_{\\varphi(H)})\\) means the number of the edges of the graph \\(\\Gamma_{\\varphi(H)}\\).)   (ii) Two finitely generated subgroups \\(H\\) and \\(K\\) of \\(F_2=F(a,b)\\) are volume equivalent if and only if \\(E(\\Gamma_{\\varphi(H)})=E(\\Gamma_{\\varphi(K)})\\) and \\(\\text{cap}(\\Gamma_{\\varphi(H)};\\{a^{\\pm 1}\\})=\\text{cap}(\\Gamma_{\\varphi(K)};\\{a^{\\pm 1}\\})\\) for every automorphism \\(\\varphi\\) of \\(F_2\\).   The proof of this Theorem is a modification and generalization of the proof of Theorem A in the above mentioned paper.   As it is stated in the Theorem A above in the case of the free rank 2 an extra condition on capacities is needed. This condition cannot be removed.   Theorem B. Let \\(H=\\langle[a,b]\\rangle\\) and \\(K=\\langle a,b^2,bab^{-1}\\rangle\\) be subgroups of \\(F(a,b)\\). Then we have \\(E(\\Gamma_{\\varphi(H)})=E(\\Gamma_{\\varphi(K)})\\) for every automorphism \\(\\varphi\\) of \\(F(a,b)\\), but \\(H\\) and \\(K\\) are not volume equivalent.   The main part of the paper is devoted to prove, giving an example, (Theorem C in the paper) that the volume equivalence of two subgroups of \\(F_n\\) does not imply that they have the same rank.","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$53422D40-2D9E-461E-B0F5-74BE976544AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"831f88e9d90875bc5ed734a43dde265a8db02e5e","datavalue":{"value":{"entity-type":"item","numeric-id":590422,"id":"Q590422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$0501A872-6722-4D73-8EAB-4D7C5CDC70C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$934DF501-E693-41B3-B510-213141A187AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$87CCB741-32A0-486C-ADE5-84263B03F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$3A822167-01B9-47DB-AFC9-7F80BADC6EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$818FBD7A-5CB1-494A-B624-7ED8EE609669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$AEA17A59-CAD1-4E6B-A0F3-4B3F36F68403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5bc0b56902a74888aea3a0d684a36c7d47dcde4","datavalue":{"value":"5768593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$1ED75BCE-C516-49C3-AF89-974FC42B15CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ae5d25c454b6ea68a784ec2fd31cbfd2fb25fc","datavalue":{"value":"combinatorial group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$FB1F10DE-6725-4F15-A6D0-E0BB6DA2C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8366ba72e846e39aaf530c979097617353482c","datavalue":{"value":"finitely generated subgroups of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$A5C9F6B3-B366-4813-99C7-F1285519BA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994690d72097b14ad1f9fcd4cee71a341baf3fd","datavalue":{"value":"automorphisms of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$7ECA5CEA-79CF-40B0-B1B4-7E8FC8620EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fc9367fd7eead476d3201fcee28ef415ec7954","datavalue":{"value":"translation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$24FFAD18-0EB7-4899-90C8-EDD4C3DDAB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54459464069b1095d43a5912516148ff9848e31c","datavalue":{"value":"volume equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$8E2F2D60-853E-46CB-877B-157BD1864964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2932b26ba72b35b83c686d9389b5360a2d9fc6","datavalue":{"value":"groups acting on trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q986063$77299CD6-3F5E-4E70-9159-1CF8E6B92017","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":"Q986063$7C2D58F5-6505-4CE0-B5F2-C427477D2133","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d74242dc9d8efa5a6b0927ea837f1ec7f1ac786","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2010.03.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q986063$7490C79A-BF99-4F50-9345-62FEFB624285","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b03bff1bb79f6c3d64bf03755ad7917be620c76","datavalue":{"value":"W2163441380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$FA4634B2-6E3C-4B1E-BDD3-C8E453C3CEAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61975f75ce4ea0aaad5ee7fba09eff618d0bd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3420368,"id":"Q3420368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$9E87FB83-865D-4F48-980D-2C2036DAB7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b3bb0bbab6bbe1d536443e8e2b562643a5a262","datavalue":{"value":{"entity-type":"item","numeric-id":2269898,"id":"Q2269898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$A2EDFD06-4AD7-4CCC-9B5A-23616621BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3237417c2bdb1dad38edfdf0e35161d25a71fac1","datavalue":{"value":{"entity-type":"item","numeric-id":1599084,"id":"Q1599084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$F5DA561D-8844-44C0-B476-25D4AF225196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb0fdc767cbef6905f7aeaa47681cabdfdc6d65","datavalue":{"value":{"entity-type":"item","numeric-id":3413968,"id":"Q3413968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$D9AF3FF3-8076-4D3E-AB53-6005B72A514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d5f21341ca18f1143aaaa649e6401ec45621df","datavalue":{"value":{"entity-type":"item","numeric-id":5755377,"id":"Q5755377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$73053EC6-B6BE-4E18-A948-C7B852C9A3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba0a7169869d1261d8531ed9cbff881e06fa9b1","datavalue":{"value":{"entity-type":"item","numeric-id":2518358,"id":"Q2518358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$5A2DE472-71AA-440F-AE09-42B2E983E61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d552e5a411960f0bae5a2f473de294660df6047a","datavalue":{"value":{"entity-type":"item","numeric-id":1421759,"id":"Q1421759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$6CF359C2-7FEF-4DA8-A969-C445990FE078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2b66df2c8993b8c49e664896c0e26eb4d18fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3502844,"id":"Q3502844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986063$D9A56860-A1A8-462B-B198-B4870963996A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb8b53ceb0bcc977285980d0028576927be2c18","datavalue":{"value":"10.1016/J.JALGEBRA.2010.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986063$B6BDD64E-0D49-4460-9EDB-446B57D8532D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae80dc6fbed1d5759c8742a8c939871974dd854","datavalue":{"value":{"entity-type":"item","numeric-id":3420368,"id":"Q3420368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a56abda1da147a4d44d3bc39e11df0486239c6b","datavalue":{"value":{"amount":"+0.8689059019088745","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":"Q986063$3F9A88AC-684D-4025-B666-B939FC8C8B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90b6767b1c571c7b96432520ab0ed25134c65203","datavalue":{"value":{"entity-type":"item","numeric-id":3413968,"id":"Q3413968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b43ca67f667a395606a42671feaa7e8ab6f3f3","datavalue":{"value":{"amount":"+0.813512921333313","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":"Q986063$556310C7-27D8-4F5E-B255-99D2B17D0B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121940019fb63925eb16292efe24408da1f7a24d","datavalue":{"value":{"entity-type":"item","numeric-id":1369274,"id":"Q1369274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9047b8cbd6e59a6ab737ef1dcb52fab7aef00ab8","datavalue":{"value":{"amount":"+0.7954798340797424","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":"Q986063$3EA04B75-CB20-4388-A8FF-9E03B2F38AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680d5a942f41d6ea9e23489cf43c7de74e76d797","datavalue":{"value":{"entity-type":"item","numeric-id":2518358,"id":"Q2518358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96e3645f86929e202cd4d69c1f23942cc1f405d","datavalue":{"value":{"amount":"+0.7931985855102539","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":"Q986063$6FCD8D4B-3B2A-42BE-BBE8-3130AE724C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6344d66bed9654a1e26fe49ec6793b59864243","datavalue":{"value":{"entity-type":"item","numeric-id":5755377,"id":"Q5755377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2ffa938b4ef0df0761f09fb2d61bb5f1511371","datavalue":{"value":{"amount":"+0.7891430258750916","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":"Q986063$CD52B67B-A56E-4B88-BAF5-54A96C5FD331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Volume equivalence of subgroups of free groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Volume_equivalence_of_subgroups_of_free_groups."}}}}}