{"entities":{"Q6971078":{"pageid":21329529,"ns":120,"title":"Item:Q6971078","lastrevid":76190967,"modified":"2026-04-23T04:30:17Z","type":"item","id":"Q6971078","labels":{"en":{"language":"en","value":"Invariable generation of certain branch groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053255"}},"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":"Q6971078$DDCAFBD5-AFB5-4821-8ACC-7D0725D0CF2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1550eaff66c8f54dc59cf26986630cff96daf1ca","datavalue":{"value":{"text":"Invariable generation of certain branch groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6971078$1B2AB1C0-A5DC-41E6-8CE2-7236B47D0FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b6c0439c0302ab245ea7d9790c4e534f9b4367","datavalue":{"value":"1570.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$E8A9610C-849B-49E8-93A0-61D49413B1A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d64ee1418b3db4d6f72281530255410f1b437d9b","datavalue":{"value":"10.1007/S40840-025-01895-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$9709EE3C-694F-4A88-B0E4-12597AD84967","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca9b29b7f26a0bf0cb00f321bc5b93d23f44299","datavalue":{"value":{"entity-type":"item","numeric-id":2113926,"id":"Q2113926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971078$C76F34A6-68B0-43B1-B65C-187D450FA9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08c33cd423a4a027878e42cce499eb5d9f5d919d","datavalue":{"value":{"entity-type":"item","numeric-id":590799,"id":"Q590799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971078$92329356-A667-4E2B-B90D-5F975C19F977","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef1198b0225f4fc027fe11094295f22660c1645a","datavalue":{"value":{"entity-type":"item","numeric-id":223548,"id":"Q223548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971078$CE72B42C-0727-41C6-A907-2D9399FAB1DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0624fa178e03b9fff03ae621c7db899ea102bb25","datavalue":{"value":{"time":"+2025-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6971078$16A6EF19-4586-43D7-A455-58F41CC92A5D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59ded9ae2a62e86cbc8792e27b05cb51ec06ef25","datavalue":{"value":"A group \\(G\\) is \\textit{invariably generated (IG)} if \\(G\\) has a subset \\(S\\) such that for any choice of elements \\(g_s \\in G\\), where \\(s \\in S\\), the set \\(\\{g_s^{-1} s g_s \\mid s \\in S\\}\\) generates \\(G\\). If \\(G\\) has finite subset \\(S\\) with this property, then \\(G\\) is said to be \\textit{finitely invariably generated (FIG)}. Invariable generation originally arose with the question of determining when the Galois group of a polynomial in \\(\\mathbb{Z}[X]\\) is the full symmetric group [\\textit{J. D. Dixon}, Discrete Math. 105, No. 1--3, 25--39 (1992; Zbl 0756.60010)].\\N\\NThe authors investigate invariable generation among key examples of branch groups. They first prove Proposition 2.1, which applies to all their examples but one: Let \\(\\mathcal{MN}\\) be the class of groups for which every maximal subgroup is normal. Let \\(G\\) be a group where every proper subgroup lies in a maximal subgroup (e.g., \\(G\\) is finitely generated). Then \\(G \\in \\mathcal{MN}\\) if and only if every generating subset of \\(G\\) generates \\(G\\) invariably. (Proposition 2.1 generalizes Proposition 2.4 of [\\textit{W. M. Kantor} et al., J. Algebra 348, No. 1, 302--314 (2011; Zbl 1248.20036)] which is stated for a finite nilpotent group \\(G\\).)\\N\\NIn Theorem 1.1.(1), the authors observe that the torsion Grigorchuk groups, the torsion and the branch Grigorchuk-Gupta-Sidki groups (GGS groups), the torsion multi-EGS groups (EGS groups stand for extended Gupta-Sidki groups) and the non-torsion \u0160uni\u1e31 groups that act on the binary rooted tree, are all known to be in \\(\\mathcal{MN}\\). They infer from Proposition 2.1 that every such group is invariably generated by any of its generating sets. In particular, every such group is FIG.\\N\\NIn addition, the authors use \\textit{ad hoc} arguments to prove the following three results (Theorem 1.1, assertions (2) to (4)): If \\(G\\) is the first Grigorchuk group or a torsion GGS-group, then every finitely generated subgroup of \\(G\\) is FIG. If \\(G\\) is a torsion multi-EGS groups, then every finite-index subgroup of \\(G\\) is FIG. If \\(G\\) is a non-torsion \u0160uni\u1e31 group that acts on the binary rooted tree, then \\(G\\) is FIG but \\(G \\notin \\mathcal{MN}\\).\\N\\NThe paper also contains results on the generating graphs of the \\(2\\)-generated groups in \\(\\mathcal{MN}\\) (Theorem 4.4 and Corollary 4.5).\\N\\NThe paper is a pleasant read. It mentions several stimulating open questions, among which the question as to whether every branch group is IG.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$12B11441-408B-4CF4-8C86-E76C188B4D08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e7f9b709dd563e6fdb3ae40f47bdb103b2306a49","datavalue":{"value":{"entity-type":"item","numeric-id":243415,"id":"Q243415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971078$F74683EB-0B82-4256-8765-EF52E0C5C72C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$C29EDFAE-BC01-4021-B632-37A78F8FF23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$00669306-AA73-4E96-B23A-D6088837CA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24dd73fcad0992eba5c2f25d794776db75a510d7","datavalue":{"value":"20E28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$3EB00589-0063-4592-96CB-D69884E259CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$C3B01298-835C-48A3-B19D-16F596D9668E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eceb3509cce0d61a11434dc9dcc7f5139d09f744","datavalue":{"value":"8053255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971078$F30E151A-4BD3-4BEF-B113-D4492B44BD68","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971078$6B7AE710-E9E0-4C99-8E22-B1565FC49063","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b7249af7e329e20da95df771d50c9a52577ad8","datavalue":{"value":"invariable generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$26BE29DA-405B-461B-A70D-D079A4393390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036c2b66c9701daad77b003d5e875cac4239af63","datavalue":{"value":"maximal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$F3332306-B2BF-4937-848B-12789054D57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7955e6affbde805d30447660a91bed35a8f22fff","datavalue":{"value":"groups acting on rooted trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$0D5058B1-A745-48D0-BCAE-CA1A41D68CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4900713934c0008a14a528372e374061d818a9cc","datavalue":{"value":"branch groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$5E23592A-D41B-4552-82CB-68982FB98737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6379d24dd4ad2b3d90654afabea57c06bd57c26","datavalue":{"value":"generating subgraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971078$BB7C842E-32B6-486F-B66C-535F2567A7D7","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":"Q6971078$604A97DB-DF6A-4BA5-8A67-1A12BD72AF14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariable generation of certain branch groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariable_generation_of_certain_branch_groups"}}}}}