{"entities":{"Q2216560":{"pageid":2227303,"ns":120,"title":"Item:Q2216560","lastrevid":74136225,"modified":"2026-04-14T18:32:57Z","type":"item","id":"Q2216560","labels":{"en":{"language":"en","value":"On algebraic extensions and decomposition of homomorphisms of free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7286496"}},"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":"Q2216560$BF63D7F5-F0E3-4D36-8CD0-BDB68416E999","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d324ee73c2b015040a4784ec14904b89792b17de","datavalue":{"value":{"text":"On algebraic extensions and decomposition of homomorphisms of free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216560$10E42F3C-F10B-4F50-8329-2A0929B4E633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd3931fc369bd27c5d694610ae34bc3fb9b1a65b","datavalue":{"value":"1477.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$6884032B-BA59-40A9-8522-54236426837D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e338ec3f9f2e53afc61d4087cb8b15cfef55cd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2216559,"id":"Q2216559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$37CD9CC3-565B-44B4-95A8-0BC74AA5F6E4","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":"Q2216560$6CF62183-1A17-40F9-AD3B-22F0F6522814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca40d4ed4465267d08462ace16c5b0bf2cd390f","datavalue":{"value":{"time":"+2020-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216560$E3270B77-477F-4883-8631-332F12BBC7A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d62185dcc8eae3f65ecac6015eb75339c5896c7","datavalue":{"value":"https://arxiv.org/abs/1907.00243","type":"string"},"datatype":"url"},"type":"statement","id":"Q2216560$4019EA03-A8DF-4466-A09A-1A2CE2EE4D9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d462d72c726c57bd9946f1a8f509e05f14f20c6","datavalue":{"value":"Let \\(F_{X}\\) be a free group on the set \\(X\\). For a pointed \\(X\\)-labeled graph \\(\\Gamma\\) let \\(\\pi _{1}(\\Gamma )=\\{ \\ell (P)\\in F_{X}\\mid P \\text{ is a closed path beginning at the base point}\\}\\). \\(\\mathrm{Sub}(F_{X})\\) is defined to be a category whose objects are subgroups \\(H\\leq F_{X}\\) and there is a unique morphism in \\(\\mathrm{Hom} (H,\\,K)\\) if and only if \\(H\\leq K\\). It is easy to verify that \\(\\pi _{1}\\) is a functor from the category \\(X\\text{-CGrph}\\) of the pointed labeled graphs to \\(\\mathrm{Sub}(F_{X})\\). Let \\(X\\)-CGrph be the category of connected, pointed, folded, \\(X\\)-labeled core graphs (for the definitions on the graphs we refer to paragraph 2 of the paper). A functor \\(\\Gamma _{X} : \\mathrm{Sub}(F_{X})\\longrightarrow X\\text{-CGrph}\\) that associates to the subgroup \\(H\\leq F_{x}\\) a graph \\(\\Gamma _{X}(H)\\) (which is unique up to a unique isomorphism) such that \\(\\pi _{1}(\\Gamma _{X}(H) )=H\\) is defined. It is proved that the functors \\(\\pi _{1}\\) and \\(\\Gamma _{X}\\) define an equivalence between the categories \\(X\\text{-CGrph}\\) and \\(\\mathrm{Sub}(F_{X})\\).  Let \\(H\\leq K\\leq F_{X}\\). The subgroup \\(K\\) is said to be an algebraic extension of \\(H\\) if there exists no proper free factor \\(J\\) of \\(K\\) with \\(H\\leq J<K\\). In [\\textit{A. Miasnikov} et al., in: Geometric group theory. Geneva and Barcelona conferences. Selected papers of the conference on asymptotic and probabilistic methods in geometric group theory, Geneva, Switzerland, June 20--25, 2005 and the Barcelona conference in group theory, Barcelona, Spain, June 28 -- July 3, 2005. Basel: Birkh\u00e4user. 225--253 (2007; Zbl 1160.20022)] it is proved that if \\(H\\leq K\\leq F_{X}\\) and \\(H\\leq K\\) is an algebraic extension, then \\(\\Gamma _{Y}(H)\\,\\longrightarrow\\,\\Gamma _{Y}(K)\\) is onto for every basis \\(Y\\) of \\(F_{X}\\). As a conjecture, the converse of the result above is formulated. Namely:  Let \\(F_{Y}\\) be a free group on the set \\(Y\\), and let \\(H\\leq K\\leq F_{Y}\\) be subgroups. If the morphism between the associated core-graphs \\(\\Gamma _{Y}(H)\\,\\longrightarrow\\,\\Gamma _{Y}(K)\\) is surjective for every basis \\(X\\) of \\(F_{Y}\\), then \\(K\\) is an algebraic extension of \\(H\\).  In [\\textit{O. Parzanchevski} and \\textit{D. Puder}, Math. Proc. Camb. Philos. Soc. 157, No. 1, 1--11 (2014; Zbl 1322.20016)], a counterexample is constructed in the case where the rank of the free group is 2 and the conjecture above is reformulated.  In the present paper, the author disproves the reformulated conjecture by proving a stronger statement.  Theorem. The extension \\(\\langle bbaba^{-1} \\rangle < \\langle b, aba^{-1}  \\rangle\\) is not algebraic, but for every morphism \\(\\varphi :F_{a,\\,b} \\longrightarrow F_{X}\\) with \\(X\\) arbitrary and \\(\\varphi (a), \\varphi (b) \\not = 1\\), the graph morphism \\(\\Gamma _{X}(\\varphi (\\langle bbaba^{-1} \\rangle )) \\longrightarrow \\Gamma _{X}(\\varphi (\\langle b, aba^{-1} \\rangle ))\\) is surjective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216560$9AA0CD5A-5294-4584-9D55-BE3B42DF6354","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":"Q2216560$5C666CC2-9B44-4E56-9DFF-155EB1EF2288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$60647A9E-A183-42A3-97B9-F8854DA4023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$205F369A-D8F8-417C-A2C1-AE1918DA047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$59F22DE0-0867-4D6D-AFE8-8B39B3E61C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$9669D811-933E-43F6-BF30-4739A7A98546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11c40ec8f4c679b94b78181f68b4af6823d3691","datavalue":{"value":"7286496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$88610011-21F1-4146-9F02-FC67BE622938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216560$65131905-08D0-419C-8C04-26486C867303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8994690d72097b14ad1f9fcd4cee71a341baf3fd","datavalue":{"value":"automorphisms of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216560$5E0454A2-6528-4AA4-9A4E-A2C87EEAA1D3","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":"Q2216560$CEC80DBE-9FF2-45FA-9DEF-253007A71DD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6108b1beeac4ffb139c927db852a63718341081f","datavalue":{"value":"W2953577904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$C6FEDFCE-92F3-4D9F-8BC8-5969B29087B7","rank":"normal"}],"P223":[{"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":"Q2216560$7DE523A8-03DF-4C41-ACF4-23861BC5F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$5E1EABDF-90C4-415B-B922-056179AE8638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978646c56889599ecca49f1da4cdd1aa3c1e004f","datavalue":{"value":{"entity-type":"item","numeric-id":5656934,"id":"Q5656934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$FEAD8BB4-0F23-4E89-8BFF-30983E7C3DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8dd4b711672c4f0b012eefb40b78faf1e3dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3525453,"id":"Q3525453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$0D734A5C-1317-41B3-AB38-54C89A8AFA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188275c25f06fa18c35024e892542c531d16b5d1","datavalue":{"value":{"entity-type":"item","numeric-id":2877357,"id":"Q2877357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$EDB73C7B-E41E-446A-B221-4B7C6A43A724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ca0d496646b7595b14cc6f76f7f7b493611d25","datavalue":{"value":{"entity-type":"item","numeric-id":4148144,"id":"Q4148144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$5A29DEE1-73EC-4FE0-82A6-67D8D1FFBF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc991b6b90e8360baaa546e9dfdab51d8674e144","datavalue":{"value":{"entity-type":"item","numeric-id":1055547,"id":"Q1055547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$4DC64C1E-AEAE-4905-BA30-BD33879B5C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cc72f4e386076a2392b86411f68c9f67604883","datavalue":{"value":{"entity-type":"item","numeric-id":4263829,"id":"Q4263829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$400CABB7-7CEA-4DC2-A439-26876F84384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f485be1920e7d9bc05265daa75be45e0bf23ac75","datavalue":{"value":{"entity-type":"item","numeric-id":5761120,"id":"Q5761120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$1232EBC9-D62D-42C9-A004-E00EA8CD0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11467ec194b6e44b2a0a43020074e20b57007f","datavalue":{"value":{"entity-type":"item","numeric-id":3293428,"id":"Q3293428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216560$6B760308-D760-49D8-BE85-679226FA8425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2762d27251f0abdf3de100838f9b980ecf099c49","datavalue":{"value":"10.1016/J.JALGEBRA.2020.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216560$ADDBA094-D3A9-4643-9265-1F6E71F8F00E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e500d765a5527c739292ad1ab3a65a318e42572","datavalue":{"value":{"entity-type":"item","numeric-id":2877357,"id":"Q2877357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f564be3675d4c34abd7bbf89ce001415b102b2af","datavalue":{"value":{"amount":"+0.8043365478515625","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":"Q2216560$AC7F1670-A87E-417A-9306-9423B480EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d81d6bd25a7fa5ff762eeb13b6428fd416eb6d5","datavalue":{"value":{"entity-type":"item","numeric-id":3525453,"id":"Q3525453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0dcabdc8a596538b35e68c5d6d19e95c37423d","datavalue":{"value":{"amount":"+0.7809002995491028","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":"Q2216560$080702ED-2CB8-450F-B79C-53FF6EA82F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058259d3bc70fef62516675cf0e71e335565d0d1","datavalue":{"value":{"entity-type":"item","numeric-id":2499524,"id":"Q2499524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adf1f124b9a94b0c237fbc6d9ef83b9bde598d3","datavalue":{"value":{"amount":"+0.7439872026443481","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":"Q2216560$AABAD863-5093-4873-8BB7-3E6DCB9282DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113d687911702b5e9a9f04fb6d1ca7aefd23ecd2","datavalue":{"value":{"entity-type":"item","numeric-id":2437943,"id":"Q2437943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05af731afe1a6cc2476949d59285a2c27b0f8b4","datavalue":{"value":{"amount":"+0.7108425498008728","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":"Q2216560$1943DCFD-A7AE-4964-9277-F671DEABE688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeaad83bb27cd72290578863000024e3d3b9657","datavalue":{"value":{"entity-type":"item","numeric-id":4399210,"id":"Q4399210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2653dfeee511b557740246b8a5d48eb9a04c83a4","datavalue":{"value":{"amount":"+0.7100459337234497","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":"Q2216560$7A927F63-20DF-4AFC-A943-096D1FCE3269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On algebraic extensions and decomposition of homomorphisms of free groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_algebraic_extensions_and_decomposition_of_homomorphisms_of_free_groups"}}}}}