{"entities":{"Q990726":{"pageid":992574,"ns":120,"title":"Item:Q990726","lastrevid":57264039,"modified":"2026-03-27T17:03:11Z","type":"item","id":"Q990726","labels":{"en":{"language":"en","value":"A recursive presentation for Mihailova's subgroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5777160"}},"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":"Q990726$FEF338CB-487F-4354-A8CA-ED1C69D6B7CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4c532a95fe46e0510a7d465a2196fc59bf1ca64","datavalue":{"value":{"text":"A recursive presentation for Mihailova's subgroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990726$F96847F0-B334-4B60-BB6C-6B0B094184BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18360e162f2a1cf2479475f64f4304a3775ded1a","datavalue":{"value":"1202.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$F6B8C571-1C25-4FF8-83B5-6799327F6CFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18299f4e85fcb50a348a03d64e329dd5ec744e9a","datavalue":{"value":"10.4171/GGD/88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$5974DA04-29A9-423C-96B4-2841102ABB45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$261505F7-BCEB-4E49-9D54-A7517AA7F796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa887febe83db0ecb76efff02b8f81e18e93244e","datavalue":{"value":{"time":"+2010-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990726$141B26BA-FE90-4E24-85FE-7E0CC6EEB58F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54c9168e5ac6c5da62085f1bfade0157b5ec8cb3","datavalue":{"value":"https://arxiv.org/abs/0810.0690","type":"string"},"datatype":"url"},"type":"statement","id":"Q990726$33D269BE-E837-4AAD-9451-D38621A80460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e36436008472329068fea8bb06cb510f90dcc9dc","datavalue":{"value":"http://www.ems-ph.org/journals/show_abstract.php?issn=1661-7207&vol=4&iss=3&rank=1","type":"string"},"datatype":"url"},"type":"statement","id":"Q990726$E53BB726-8259-487E-A6F5-E4BA319BCDF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31d9c8c77fb580fc419a9791795c95766550892c","datavalue":{"value":"Let \\(n\\geq 2\\) and let \\(F_n\\) be the free group with basis \\(\\{x_1,\\dots,x_n\\}\\) and let \\(H=\\langle x_1,\\dots,x_n\\mid R_1,\\dots,R_m\\rangle\\) be a quotient of \\(F_n\\). The Mihailova subgroup of \\(F_n\\times F_n\\) is the group \\(M(H)=\\{(w_1,w_2)\\in F_n\\times F_n\\mid w_1=_Hw_2\\}\\leq F_n\\times F_n\\). Motivated, in part, by a question of R. I. Grigorchuk the authors look for recursive presentations of \\(M(H)\\) in terms of the original presentation for \\(H\\).   The main theorem addresses the cases where the above presentation for \\(H\\) is finite, concise (that is, each \\(R_i\\) is non-trivial and no \\(R_i\\) is conjugate to \\(R_j^{\\pm 1}\\) for any \\(j\\neq i\\)) and is Peiffer aspherical (or combinatorially aspherical), giving an explicit recursive presentation for \\(M(H)\\) with finitely many generators and a one-parametric family of relations.   The second theorem, a corollary of the main theorem, relates to the conjugacy problem for extensions of groups. For a group \\(F\\), a subgroup \\(A\\) of \\(\\Aut(F)\\) is said to be `orbit decidable' if and only if there exists an algorithm that, given \\(u,v\\in F\\), decides if \\(v\\) is conjugate to \\(\\alpha(u)\\) for some \\(\\alpha\\in A\\). The authors and \\textit{A. Martino} [in Trans. Am. Math. Soc. 362, No. 4, 2003-2036 (2010; Zbl 1234.20043)] ask if there exists a finitely presented orbit undecidable subgroup of \\(\\Aut(F_n)\\) for \\(n\\geq 3\\) (the answer being negative for \\(n=2\\)). As a step towards answering this question the authors apply the main theorem to prove that there exists a finitely generated (and not finitely presented) orbit undecidable subgroup of \\(\\Aut(F_3)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$60DD984D-EC95-49D9-AC6E-CD1369EE8D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$8C0F947F-99DF-43ED-A775-DDAA9CE3921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$39C01FEF-80F4-4450-898A-A184229838AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$5DC1E824-8A27-4E28-810D-65B7283B32E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$BC57E1EF-7961-4C7E-BF36-E8C93B09FA51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fda209159a44b9c1cde401abe7b4b19dafd2c80c","datavalue":{"value":"5777160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990726$1D086C51-333B-46B6-ABB5-C79AB48EE55B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee0496cf39ee082767c98c23fe9b360b3bc7aa9","datavalue":{"value":"Mihailova subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$4A16DC6A-D1AA-402C-AB55-A31E6C9A3DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d400bd37b2fe4604f8b26fd73b1f2ca6aac556e1","datavalue":{"value":"recursive presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$D5549ADE-6AB5-4D96-B5F2-0FF84C32EA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89268b0990078c4be17789f532f50b120a904a4c","datavalue":{"value":"asphericity","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$32F0A0B6-EE74-49AA-A91A-915D7DFF153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"791620ec1daf9146fa3eca94deaeec9f2387606c","datavalue":{"value":"orbit undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$6C9ACFD8-4790-4138-BEEB-87B6CB1232DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$2E7C5D38-D2D0-4013-8287-59C06E73E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a63ee56c4d2f81c4a9b7f5e8124d077a3591e1b","datavalue":{"value":"conjugacy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$6EA0F74F-EAD3-41E1-9D3C-F9C63B1420F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf228db16c7f019075a8f729e8947cf0d62047d","datavalue":{"value":"extensions of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q990726$C2480550-7AC9-4322-87D9-44A3831DD078","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"917b62357b37afcdec846252fb30642ab909af79","datavalue":{"value":{"entity-type":"item","numeric-id":583361,"id":"Q583361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$2175103E-6D60-4FA3-A705-B164B269B52E","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":"Q990726$F395FDD2-5CA4-46D8-A271-DF82677020BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f2ffab9587a4e6876d3bbdb56c67d1ab8a89cefb","datavalue":{"value":{"entity-type":"item","numeric-id":1861490,"id":"Q1861490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$012F0EC8-1205-4A9C-BFF3-3F893D370300","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":"Q990726$058BF279-305B-40B2-BDB4-6EBCAF55B2DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f8b4ba4f0398a9db61af6aa610f347b95bc0f4","datavalue":{"value":{"entity-type":"item","numeric-id":5185244,"id":"Q5185244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$28FB0D23-EC94-443E-9855-EEC194520B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c61508dc92c21aae7a7f8405bc86d9fbb3a6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3552098,"id":"Q3552098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$480F4BBD-46BB-4CD3-8E15-A9F021DE1800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf9a355bba398f2dd7869850f6aa11775daec8c","datavalue":{"value":{"entity-type":"item","numeric-id":5895987,"id":"Q5895987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$FF3D15C4-7846-49CA-8F1E-7A836D52C4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b963dc78bc000eddb909a8c42ea3dc89b4236b","datavalue":{"value":{"entity-type":"item","numeric-id":2545563,"id":"Q2545563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$3F22E0D4-098C-46D0-A7F8-5DAAEAF9AA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc9cbfb6743ef767dd36a201e5913f47ab3ff5d","datavalue":{"value":{"entity-type":"item","numeric-id":4262308,"id":"Q4262308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$CA82D556-FCE4-4AF7-9A77-7F58EDC192A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4e7e40c12e5fc84711bc0ceb4560a7dd02048e","datavalue":{"value":{"entity-type":"item","numeric-id":1144136,"id":"Q1144136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$D10D849F-45E0-4931-9659-A1ADC3725B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c91e09ea0c5b36b94558de7e9e47375d704f3c","datavalue":{"value":{"entity-type":"item","numeric-id":4240518,"id":"Q4240518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$DBAF0E57-18F7-43D0-810A-280E671E642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dcd71a6257a436df5983573c9654f98595e8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3436928,"id":"Q3436928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$EB1B05D4-3B84-44C2-B805-A074A62D7096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc2e493b8c9e742198fa0e97ba0f17fcd38e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4165499,"id":"Q4165499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$45C37B61-7C4B-48B7-9185-BF1979C06F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a01ff57e0ac24f8f7ba70deb5f6643bd605749c","datavalue":{"value":{"entity-type":"item","numeric-id":1974960,"id":"Q1974960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$AC939FA5-8FDD-4B37-903B-C3311BA32ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$79591ABF-CE8C-43D6-9D32-FED7DF1F90AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a52c26566fec192c01fbc25554a5255473b2a5","datavalue":{"value":{"entity-type":"item","numeric-id":4402143,"id":"Q4402143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$EAC6C70F-123F-4C56-97DA-4B29EE9D4990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b60ed99f09f3fb583f7fbaba6ba5893ee12a3","datavalue":{"value":{"entity-type":"item","numeric-id":3269139,"id":"Q3269139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$C931B88C-1F43-431B-AE4E-7F60CAD8E020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8527fa5d06b4d524d1e69f1909365a7fca2135","datavalue":{"value":{"entity-type":"item","numeric-id":2716952,"id":"Q2716952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990726$FBC2C287-C6FA-4656-8F3F-8A42E8EC9539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0afa02b94b154497a2c7b98d54ea4cb801c839","datavalue":{"value":{"entity-type":"item","numeric-id":3552098,"id":"Q3552098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73808d300c2d14c5728e1becee0f067d0f66519b","datavalue":{"value":{"amount":"+0.7547820210456848","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":"Q990726$06E506C8-5BC2-4E1D-8471-D4F86AED8C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9cf264896e353815209b25f94169f55fbd24dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3580224,"id":"Q3580224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474e2e790c2718759a8ae41b1e89db68a197e088","datavalue":{"value":{"amount":"+0.7430651783943176","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":"Q990726$75BBFFB2-9E1A-4546-A272-7954726D2EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d2d267d32a5457ca03f0e43de5ade1abc97063","datavalue":{"value":{"entity-type":"item","numeric-id":4429706,"id":"Q4429706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b58fcbaa92358543994283f4cc40f8f263fc014","datavalue":{"value":{"amount":"+0.736808180809021","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":"Q990726$AB73A992-83FB-4560-9A6B-E274ADDE72E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304043cb5e7d1f61b893b002f8c0d51ded675161","datavalue":{"value":{"entity-type":"item","numeric-id":4210610,"id":"Q4210610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc7eaed378e0528fc67f0b07c982282099e8c92","datavalue":{"value":{"amount":"+0.7353500723838806","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":"Q990726$FA32167C-6CD3-4A5C-91B1-30541F7B9E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa971ba9a71c0a7add5d81869fe220a60670fead","datavalue":{"value":{"entity-type":"item","numeric-id":583362,"id":"Q583362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db951770ad75c08130ea1e5e65e1d62535cb273a","datavalue":{"value":{"amount":"+0.7283245325088501","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":"Q990726$088CCF63-4CAD-49F3-8782-0DCB212BF4FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:990726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:990726"}}}}}