{"entities":{"Q6994813":{"pageid":21471870,"ns":120,"title":"Item:Q6994813","lastrevid":83877686,"modified":"2026-05-07T13:21:46Z","type":"item","id":"Q6994813","labels":{"en":{"language":"en","value":"Embedding finitely presented self-similar groups into finitely presented simple groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8029573"}},"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":"Q6994813$58214098-997D-42CA-8E6B-8C4FD32D8979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57ca541c8164260042e367dc3c35b005ad582d10","datavalue":{"value":{"text":"Embedding finitely presented self-similar groups into finitely presented simple groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6994813$365ED42A-B80F-4FB5-AA86-754E6BE7F093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08b2fa501e947ec56332c08a840b5f8de41ee05a","datavalue":{"value":"1562.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$83A7707E-0EAA-474B-9D78-DB66AD576A1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8187535a7208a71e3fb1a5e5e2b5d0114ae5b26f","datavalue":{"value":"10.1112/BLMS.70022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$28A5C4AA-F56A-4ED0-A17A-65B4C646F3A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4b39d34aacc64fd8b2aa94e01919878b8335bfc","datavalue":{"value":{"entity-type":"item","numeric-id":314111,"id":"Q314111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$D5661851-E6CA-45C7-8EF8-C64F47A387B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01b7f37608d9f87bfa2998bb736dc8e29f05f57a","datavalue":{"value":{"entity-type":"item","numeric-id":2759195,"id":"Q2759195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$92623C13-A393-4680-96FA-26CD5AEFCDA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f94f0c0a2717ce4f40eea9c072fbe52c006e4c4","datavalue":{"value":{"time":"+2025-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6994813$755D35FC-BF89-4CE5-8A91-3404206478C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8e4ad8bcd957d51aad4be69133204be51e18c73","datavalue":{"value":"In this paper, the author proves that every finitely presented self-similar group embeds into a finitely presented simple group, thus satisfying the conjecture by \\textit{W. W. Boone} and \\textit{G. Higman} [J. Aust. Math. Soc. 18, 41--53 (1974; Zbl 0303.20028)]. The main tool is the R\u00f6ver-Nekrashevych group \\(V_d(G)\\) associated to a self-similar group \\(G \\leq \\operatorname{Aut}(\\mathcal{T}_d)\\). When \\(G\\) is finitely presented and acts by finite-state automorphisms, \\(V_d(G)\\) is often finitely presented; however, its commutator subgroup \\([V_d(G), V_d(G)]\\) may not be. The author shows that by carefully modifying the self-similarity structure of \\(G\\), one can force \\(V_d(G)\\) to have finite abelianization, ensuring that \\([V_d(G), V_d(G)]\\) is finitely presented and simple.\\N\\NA general construction is also provided for building suitable self-similar groups from virtual endomorphisms, under properness and finite-state conditions. As an application, it is shown that every finitely generated subgroup of \\(\\mathrm{GL}_n(\\mathbb{Q})\\) embeds into a finitely presented simple group, thus solving the Boone-Higman conjecture for these linear groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$48651429-5B34-47BA-AC04-7E1D981E26BC","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":"Q6994813$6B5EFAEC-8428-4C1E-884E-F17BB61334D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$0B042F56-F18C-4896-B9CF-7195B3332463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$C262BDBA-A4C7-493C-AA39-4CB096AB1288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$A73AFE10-8B84-40FD-ADFA-BAB3A3BDF002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$A26CAC5F-0D89-4B85-B384-655931331372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$A495C007-648A-49E4-B60A-34B982931632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56181d8160f08cc4918bf05ddcd65c06ebd3f001","datavalue":{"value":"8029573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6994813$AD23A092-E68E-4881-93BF-32D432C9C692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43577a7e6019459f60c4d12181d2e7e7ea7ad66","datavalue":{"value":"self-similar group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$4E6814BC-5744-4C26-8996-783DC7C7D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a673de732283df708e55eb6da2a116b5afa61f2","datavalue":{"value":"R\u00f6ver-Nekrashevych group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$0E8E8987-4CA3-4860-A741-EA97620827E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$3CB2DA55-99F5-4631-A4F5-C92EB2FB3D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480422bce15622d13633624b91e1dd03f196b7f4","datavalue":{"value":"simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$CDBA48EE-C7EF-4BA3-8F38-9FC0E0EB959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0023d90cb5676e331028e768c261eb875113e7b","datavalue":{"value":"Boone-Higman conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$B69B5DA5-39CB-4AE2-8FDA-2490AACB246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21af3d9c886771be0884130501ab3cd59d8bdea1","datavalue":{"value":"virtual endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6994813$D2BE8075-114F-4516-BD3E-AEA407FD7F74","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":"Q6994813$EEFE8208-C39A-4E31-ABDC-5997133B169E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b028c055e242ea9fa612cc89d8690b5c258969","datavalue":{"value":{"entity-type":"item","numeric-id":4059096,"id":"Q4059096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$EF44564B-F1A9-40CD-9C20-E87176CDA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0d9e1f2666cf6426fcf97e06c7ad96621ddb22","datavalue":{"value":{"entity-type":"item","numeric-id":1231001,"id":"Q1231001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$0C74FEF2-C69B-4722-B074-3BE5807C7CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f782f4d1a2d99077d7a4aeab7c228747eb67290a","datavalue":{"value":{"entity-type":"item","numeric-id":4354232,"id":"Q4354232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$6142F02E-73C9-461B-9FA4-B20DB567D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9644ed0f4f73bd911e73edfda948e0580efd57db","datavalue":{"value":{"entity-type":"item","numeric-id":1077534,"id":"Q1077534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$FA7DA709-1E0D-40E0-B1D3-C1DEC0A97343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c07a8a51cd2fbcbdb6845dc799816167a402f4","datavalue":{"value":{"entity-type":"item","numeric-id":5027476,"id":"Q5027476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$B13EB2DA-AD2C-412D-8342-5FF36111B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa5a3833ea28d5c5c0833b567504b56c681d0d4","datavalue":{"value":{"entity-type":"item","numeric-id":5797072,"id":"Q5797072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$078F9F5C-35E6-442E-B8E2-D5742ABBBB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f613b2ff8b0e4836d2b31db6010b8b2ab5d9ee35","datavalue":{"value":{"entity-type":"item","numeric-id":6062662,"id":"Q6062662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$1DEEF913-207B-47B9-B50A-BED4B0C2748A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab3bdbaae96a715750b8d07eb9b4f1367617017","datavalue":{"value":{"entity-type":"item","numeric-id":4455489,"id":"Q4455489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$EAA90142-6ED2-4A81-9AD7-C64D47E6A9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f277dbedffe7008dfaf804775f210afd2f04c961","datavalue":{"value":{"entity-type":"item","numeric-id":5121283,"id":"Q5121283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$9A8C0627-9732-4E0C-AFC5-C2AF1D4BA22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248ed1b00fd267d5036670c163572ff886e20085","datavalue":{"value":{"entity-type":"item","numeric-id":5464461,"id":"Q5464461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$C755ACA7-DE00-4DAC-B5C3-457D9184C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6a65f45c3cea66eb0a19a100b39d23e4751855","datavalue":{"value":{"entity-type":"item","numeric-id":5216923,"id":"Q5216923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$375ABA0D-0EC6-449C-BA22-8A5CEC16542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f727be60f8fbca3892ff18116880984213726e89","datavalue":{"value":{"entity-type":"item","numeric-id":1806103,"id":"Q1806103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$3F641F3B-752D-446E-8B08-FF8C0AD9DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1934c0b8b5187881168f602398bae74ab0091","datavalue":{"value":{"entity-type":"item","numeric-id":796644,"id":"Q796644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$C0FDA4E8-BE58-4338-BCE0-2A5A690DE957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33061a2a26ae2054037e474bf4fee97655e95a83","datavalue":{"value":{"entity-type":"item","numeric-id":796645,"id":"Q796645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$F8D2D86E-8BEE-4F36-B741-C24BCF65F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc7427c3eb59906dc6dd8f34f1b175c2c2bff3f","datavalue":{"value":{"entity-type":"item","numeric-id":1725700,"id":"Q1725700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6994813$A9672B6A-3569-4D2E-909A-BD645379B4C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding finitely presented self-similar groups into finitely presented simple groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_finitely_presented_self-similar_groups_into_finitely_presented_simple_groups"}}}}}