{"entities":{"Q6602402":{"pageid":14213559,"ns":120,"title":"Item:Q6602402","lastrevid":55748734,"modified":"2026-02-17T22:07:49Z","type":"item","id":"Q6602402","labels":{"en":{"language":"en","value":"On benign subgroups constructed by Higman's sequence building operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7911055"}},"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":"Q6602402$27C47F8D-558A-4F58-94F0-CDC4C1E3C46F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deba2fb3494123715b677e069ad0fb08e475ce2e","datavalue":{"value":{"text":"On benign subgroups constructed by Higman's sequence building operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602402$F7F1804A-D13F-4FEE-B85B-72FB134A73EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00e042a1151357ee3bb9f29ca57fc7d4e8c3886","datavalue":{"value":{"entity-type":"item","numeric-id":325501,"id":"Q325501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$DE7E6C20-D211-4AC9-B223-7B6D2EEC0EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91e3f7bc023d7b23819e99b4b4d72e5b83d68dfc","datavalue":{"value":{"entity-type":"item","numeric-id":1408938,"id":"Q1408938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$CC520B84-2FCD-4EA9-AA50-B964DD15629D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1140ec887dccda5e7cf6373b784a94bd7ebcb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":171193,"id":"Q171193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$BCE7B94A-E401-499D-A684-45F9F23AD60D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-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":"Q6602402$2A4521C8-0A76-4D00-8686-97634E4731DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f64aa9a1132b4c362966d5b9432302846dc880d","datavalue":{"value":"A fundamental result establishing connection between group theory and computability is due to \\textit{G. Higman} [Proc. R. Soc. Lond., Ser. A 262, 455--475 (1961; Zbl 0104.02101)], who showed that a finitely generated group \\(G\\) can be embedded in a finitely presented group if and only if it is recursively presented (the requirement that \\(G\\) is finitely generated is not critical and it can be replaced by the condition that \\(G\\) has an effectively enumerable countable set of generators). The key group-theoretic concept introduced by Higman [loc. cit.] is the following: a subgroup \\(H\\) is benign in a finitely generated group \\(G\\), if there is a finitely presented overgroup \\(K\\) of \\(G\\) and a finitely generated subgroup \\(L\\) of \\(K\\) such that \\(G \\cap L=H\\). For Higman's sequence building operation \\(\\omega_{m}\\) and for any integer sequences set \\(\\mathcal{B}\\), the subgroup \\(A_{\\omega_{m}\\mathcal{B}}\\) is benign in a free group \\(G\\) as soon as \\(A_{\\mathcal{B}}\\) is benign in \\(G\\) (see the paper for precise definitions of these concepts).\\N\\NIn the paper under review, the authors build the explicit analog of this fact, i.e., they explicitly give a finitely presented overgroup \\(K_{\\omega_{m}\\mathcal{B}}\\) of \\(G\\) and its finitely generated subgroup \\(L_{\\omega_{m}\\mathcal{B}} \\leq K_{\\omega_{m}\\mathcal{B}}\\) such that \\(G \\cap L_{\\omega_{m}\\mathcal{B}}=A_{\\omega_{m}\\mathcal{B}}\\) holds. To build this construction, the authors suggest some auxiliary ``nested'' free constructions based on free products with amalgamation and HNN-extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$86CC9184-3781-4864-8282-C95F6A519BCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$1FA1BCBF-0AF9-474A-9F93-5D73200C0CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$F097DC77-7051-4C00-8BCD-48DC3F363FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$E623E4DC-2CA6-4480-9B59-D9ECE4A0C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$27519C8B-46DB-4492-85AF-23A8273F954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$A001825D-7A0A-4FC2-9235-3AD6AE040265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$8E933C0D-F6D3-45A1-A51F-53BABE3E50C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f037e29fc6442924fc77b7a44e17a089cee37ba2","datavalue":{"value":"7911055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$142E0C23-EE1F-4FA4-98E0-831CAAE77D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09614f870fa66f689ae2b7978db9bc1daa1352e2","datavalue":{"value":"recursive group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$7A6C7FB6-FF8A-4660-B0F3-53A96851B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$2A0A2E1C-A2DA-4264-BD00-D80F19F4253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc667622349049a594f07daceef39e68b8ce79f","datavalue":{"value":"embedding of group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$83BC2277-8998-4FC6-ACB5-4E7D59D10CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde2becf52e50cb96e3941140f45013dab63e83d","datavalue":{"value":"benign subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$C5727F54-A6E5-4863-9874-0CEB1E932AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f271968d61afc557515e3938484a99eceec2c12b","datavalue":{"value":"free product with amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$378C14EB-74E8-458D-90ED-E9A49013C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0f1cc7dee82dd1db6cd96d24a3d2e1eb2c6275","datavalue":{"value":"HNN-extension of","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$5E80B346-A95C-444E-B78A-82F5DF4520F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc67da84f72d3f49fcbdce2e093111f0a09f353","datavalue":{"value":"sequence building operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602402$35F35809-833A-4383-B0A8-C241287664E6","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":"Q6602402$6A5DDA75-C566-4F83-AABF-C70607D248C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c06e4811f2421459b17e73bb7dff27faf901","datavalue":{"value":{"entity-type":"item","numeric-id":2558275,"id":"Q2558275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$7324AB97-D827-48FC-98CC-196CA83296F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365be6cbd271ab021a6c527fed8acca84632280c","datavalue":{"value":{"entity-type":"item","numeric-id":4624848,"id":"Q4624848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$C9ACA029-F804-43C3-9FC0-3CBA3B297F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268684f2ef7f3e36ca47204bc61a809a863d568c","datavalue":{"value":{"entity-type":"item","numeric-id":2173206,"id":"Q2173206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$E4441CDF-DBDD-4EE4-99C7-6EE50D7E87C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad7631bfba893a3a5351fcefdc1a9454e3de25a","datavalue":{"value":{"entity-type":"item","numeric-id":2132104,"id":"Q2132104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$4634E5BA-09A5-415D-8C0D-8B4BDC3C107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17caae5a41dc3377916814b7b8e47e78182cbb24","datavalue":{"value":{"entity-type":"item","numeric-id":2694170,"id":"Q2694170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$A6118121-2A7B-45EC-883B-284817BE8713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bbffee69ba79f64ec28babf9ce44431337251e","datavalue":{"value":{"entity-type":"item","numeric-id":5868653,"id":"Q5868653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$536602C8-A1DC-45C8-9D0E-241A5C05D28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf463161541368047382dfb64075df6f74e0292","datavalue":{"value":{"entity-type":"item","numeric-id":2475065,"id":"Q2475065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$CFCCDBA3-9951-4CF7-BA8A-A9F02D1F5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$172C68B5-331A-48C0-90B2-06D38E0DC219","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":"Q6602402$362B9199-B156-4EAA-BAC3-4724D29B9B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668690ffe3460b4295f61d56eff943c2dff3a705","datavalue":{"value":{"entity-type":"item","numeric-id":2370264,"id":"Q2370264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$DD78AC2E-AC06-42CD-BAF0-1EA343C5E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672dd30668a975202460256ea8f9c50035b99329","datavalue":{"value":{"entity-type":"item","numeric-id":2873308,"id":"Q2873308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$0C444754-93D7-42C1-9300-18BEF53441EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f066d684f5d9424941bb964dbba6c19d630cf805","datavalue":{"value":{"entity-type":"item","numeric-id":2221969,"id":"Q2221969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$5826BCF2-3682-4990-B523-90157AEA8C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c14f23f2e10005f5433e01071016260e0fcbd","datavalue":{"value":{"entity-type":"item","numeric-id":6082366,"id":"Q6082366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$D4CC885B-7C58-45A2-BDF1-69A2290F9C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a6104f00d96fa808ce0a739fbbe7c6e8d46826","datavalue":{"value":{"entity-type":"item","numeric-id":5829817,"id":"Q5829817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$DEDC1333-1690-49B7-93E1-BE2F14B51443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37866bd14e20d0f8771fccf454a8fdccade2bd47","datavalue":{"value":{"entity-type":"item","numeric-id":2550069,"id":"Q2550069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602402$6E47915D-103B-42BF-8929-38E63FBCC63E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c43a7f434952d593360eebe3ff5051f73362f830","datavalue":{"value":"10.3103/S1068362324010023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602402$92A280E1-DF9C-456A-B931-6A26785374D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cfb1faf5ff2a1561ca0da8bd11693f33015476","datavalue":{"value":{"entity-type":"item","numeric-id":6082366,"id":"Q6082366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5040387b95fa538a909d600c9609d53143ea1a","datavalue":{"value":{"amount":"+0.7987236380577087","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":"Q6602402$C9F507CC-CC51-43FA-8095-C7A2247531B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a19b23822eb3b0d3e525fbd85d7b5bc77c5274","datavalue":{"value":{"entity-type":"item","numeric-id":4761414,"id":"Q4761414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19675122f3d8e755397f07fe76c180c51c2a925","datavalue":{"value":{"amount":"+0.743660032749176","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":"Q6602402$B3346513-B763-4886-9378-AF929B73569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee6a20e5e5cfe11cd0577b2d7dd05ea07beef1d","datavalue":{"value":{"entity-type":"item","numeric-id":2193231,"id":"Q2193231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a163061a85ba7cc52ba82862513ab6038905d27","datavalue":{"value":{"amount":"+0.7401652336120605","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":"Q6602402$92EBF1C6-DD12-4007-920E-8F201FDDEFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446fe9a39ae9871f6ac3e413e4cccf64d7c1b75","datavalue":{"value":{"entity-type":"item","numeric-id":4240275,"id":"Q4240275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7ce7379511942f57914a86ffdcdcff1a1391d3","datavalue":{"value":{"amount":"+0.7363207936286926","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":"Q6602402$46C40DAA-85CE-4287-8081-4FFEC87ADC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7514aac7b93aad24ba54476802c727241613735","datavalue":{"value":{"entity-type":"item","numeric-id":2487752,"id":"Q2487752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604bcc663e87658d98e23940959af3716368704c","datavalue":{"value":{"amount":"+0.7286533713340759","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":"Q6602402$E9A0D266-5F6A-4976-8C4A-FE0AE184E0BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6602402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6602402"}}}}}