{"entities":{"Q5956264":{"pageid":8133066,"ns":120,"title":"Item:Q5956264","lastrevid":47746009,"modified":"2026-01-02T14:23:38Z","type":"item","id":"Q5956264","labels":{"en":{"language":"en","value":"The top of the lattice of normal subgroups of the Grigorchuk group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708973"}},"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":"Q5956264$EAEA0B08-FCA8-4972-B895-416CC7C60724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a19fb13fa809c9d642456279e3a774e5f9dd48","datavalue":{"value":{"text":"The top of the lattice of normal subgroups of the Grigorchuk group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956264$469DD3EE-47C9-4C18-BD93-C9E675312F98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18def6654ecbb5d94a4bbbc86be179d84beeb2f8","datavalue":{"value":"0998.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$8FE16679-980F-40E5-A658-01F67E233DBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb67899e7c465b4d16eb9f40a0e821ad61838d15","datavalue":{"value":{"entity-type":"item","numeric-id":1359520,"id":"Q1359520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$CC75F237-8094-4F68-B8D0-FCE49B5C5859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8ff3ddf7cc4810d5f1e474648cf343412482e31","datavalue":{"value":{"entity-type":"item","numeric-id":231130,"id":"Q231130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$0774932E-1E22-4F67-BE2A-CFCB17B1B62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00b92e7934394e73006c8691bfaa5fe6cced142","datavalue":{"value":{"entity-type":"item","numeric-id":231131,"id":"Q231131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$3A5CB92E-67B4-48AD-B6F8-ED9546C77FC2","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":"Q5956264$2E0B45C8-5B7D-49A7-993C-C39ED395BE1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb4c4a2981339b0b169c6786696f6c6bd16e21b9","datavalue":{"value":{"time":"+2002-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956264$14D765E4-F8A5-44D3-866B-6283A76650FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff94d5fdea249bb8e0d756e7c72b3e23701c252e","datavalue":{"value":{"entity-type":"item","numeric-id":1408938,"id":"Q1408938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$E882E0E2-C8A9-4006-BB68-C107A8D3922B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$C7E76A0E-CBAB-4606-B0B8-B247EAD177C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$12E51BA4-CCF4-4DAF-BF98-29F0AAD87E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"513bb673382d4f095f636a36264a50a0e4d1769e","datavalue":{"value":"20E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$2F888D57-D925-4094-A656-C54E818CB59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$A6CB9F7F-3BBC-477A-A7C7-39CB2552D2C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05b719348a0da4915a92d6c46ff93fe4ccd95ce8","datavalue":{"value":"1708973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$3C36BD8F-81AD-4601-AA63-75853EFB8B9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3aad53c67c9eb84b8de2fc788aa09e5caff855d","datavalue":{"value":"Grigorchuk groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$FA3DFD9B-014D-4EE3-BDE4-5EF8E135FAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"088c2043009d12fdef18be01ca7c50b2c209c55e","datavalue":{"value":"subgroup lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$0A29BEEA-EB0C-4F20-A4EA-3F65ABAADB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85324fb1047df444bb8002d1f54e63570ef6240d","datavalue":{"value":"normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$14F96546-7BF0-40FC-A945-23E78BC80599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade4304064dab22a77b276ebe2cf9dccb2424bb1","datavalue":{"value":"congruence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$571C5EFC-D2BB-4F4A-9240-A9B2C91C60C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$26ACCE5A-6825-4DEC-892E-993D3984B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65a875072cd69211ac27499ecb9e6a66aee3fe6","datavalue":{"value":"lower central series","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$CF1301D5-CBE1-43FB-B09E-0CF673C919E8","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":"Q5956264$652EAB12-302B-4AF1-8228-FA5796E17717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f17acab5853bb946a182282d8dcb2b6a19d01f6","datavalue":{"value":"https://doi.org/10.1006/jabr.2001.8952","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956264$D944DA7A-FAA4-4BB8-B5B8-39C2E13EB704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aa760f53950973373bf71e8d576a1cba8b1c9c3","datavalue":{"value":"W2001070762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$6026D57D-3C8B-47B9-85A5-412FE5474AE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f4c6f43b02ac9ef506ddfe6b80e109f8459ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4788594,"id":"Q4788594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$A9E4D842-565E-4FA2-99E2-2BFC98A2A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d29131bf1015cf7adcefb608bc2ef849b00ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1904819,"id":"Q1904819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$C5BA87BC-40DC-4FA3-B9C1-8336468E2CB0","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":"Q5956264$EBF14439-2781-4E05-B77C-E320725ACCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3497db5359ece7d4216c59ca6d19d212a1a4e73","datavalue":{"value":{"entity-type":"item","numeric-id":3708192,"id":"Q3708192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$04AD3FEF-FFC4-4A88-8586-521A7735728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd80c0dbfaa936de52dc3f52fd86b328584fa2b","datavalue":{"value":{"entity-type":"item","numeric-id":2702125,"id":"Q2702125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$E568A82C-DA1A-4377-B2D1-687DC258A11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beaf942b20f7702aaca50126381b4d5a50cf325d","datavalue":{"value":{"entity-type":"item","numeric-id":4520856,"id":"Q4520856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$67D4CCA6-B2BE-4A08-A588-DF80121DB99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78738f15e4282c4ac9362ba0e5e7e2a7f261af9e","datavalue":{"value":{"entity-type":"item","numeric-id":1387316,"id":"Q1387316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956264$38B6BDEA-BBF6-4381-BCD2-6B2F63D4C390","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6390691ad0d4397bf88dd4938dec2de195a64d7a","datavalue":{"value":"10.1006/JABR.2001.8952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956264$99E9145C-F02E-4DC1-ACE7-DE0A64068840","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a47f9d867d52a2e152fc704e14461f646c046e9f","datavalue":{"value":"This article studies the lattice of normal subgroups in the Grigorchuk group \\(G\\) [see \\textit{R. I. Grigorchuk}, Funkts. Anal. Prilozh. 14, No. 1, 53-54 (1980; Zbl 0595.20029), Izv. Akad. Nauk SSSR, Ser. Mat. 48, No. 5, 939-985 (1985; Zbl 0583.20023) or (*) Prog. Math. 184, 121-179 (2000; Zbl 0982.20024) for background information and terminology]. For each normal subgroup \\(N\\triangleleft G\\) its level is defined to be the largest integer \\(n\\) for which \\(N\\) acts trivially on the first \\(n\\) levels of the rooted binary tree on which \\(G\\) acts naturally. The paper determines all the normal subgroups at levels \\(n=0,1,2,3\\). That is, a full description of the lattice of all normal subgroups of index \\(\\leq 2^{12}\\) is given (in particular, see Figure 1 in Section 6).NEWLINENEWLINENEWLINEAs an application of the main argument a sharper version of the congruence property in Grigorchuk groups is given. The congruence property (see (*) [loc. cit.] and \\textit{P. de la Harpe}, Topics in geometric group theory (2000; Zbl 0965.20025)) means that every finite index subgroup in \\(G\\) contains the stabilizer \\(\\text{St}_G(m)\\) for some level \\(m\\). Namely, it is known that a normal subgroup of level \\(n\\) contains \\(\\text{St}_G(n+6)\\). The sharper result obtained here is that, in fact, a normal subgroup of level \\(n\\) contains \\(\\text{St}_G(n+3)\\), but not, in general, \\(\\text{St}_G(n+2)\\) (Corollary 5.13 and Remark 5.14). These results follow from Theorem 5.12: A normal subgroup of level \\(n\\) contains \\(N_1\\times\\cdots\\times N_1\\) (\\(2^n\\) times), where \\(N_1\\) is the third term of the lower central series of \\(G\\).NEWLINENEWLINENEWLINEThe paper stops at the third level normal subgroups. But, as is shown in Section 7, the determination of normal subgroups at levels \\(n\\geq 4\\) is reduced to the analysis of all \\(G\\)-submodules of certain \\(G\\)-modules whose structure only depends on \\(n\\) and on some suitable normal subgroups at level three.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956264$17B6C899-571F-4604-AE2B-877B0B809C3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e6bc4f634ea3460be0a0ecc0b604c0397b762f","datavalue":{"value":{"entity-type":"item","numeric-id":405847,"id":"Q405847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57381f1749d6ec3fe58060658c861fec2b219823","datavalue":{"value":{"amount":"+0.7777672410011292","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":"Q5956264$5B827613-0293-4CF2-9C01-2A5B6E6AFF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffd1b62254d250aa7524e71cc942174afefdbd9","datavalue":{"value":{"entity-type":"item","numeric-id":5325348,"id":"Q5325348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d968f2c227e50fc432f382adc068405f0e3d0433","datavalue":{"value":{"amount":"+0.7631213068962097","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":"Q5956264$062CBCDC-5F2F-45A6-B327-F99B13EB32A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55fe7a3c904db9cedd7d139a356b8330b69d61b1","datavalue":{"value":{"entity-type":"item","numeric-id":1387316,"id":"Q1387316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b7709070e7991d17a35b57b1d6c4831cf17606","datavalue":{"value":{"amount":"+0.7547752857208252","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":"Q5956264$C638501C-04FF-4B8B-AA8C-6234AB287DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267341d6e25548f68be98287c826ccd2d94aaccf","datavalue":{"value":{"entity-type":"item","numeric-id":5942058,"id":"Q5942058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b7709070e7991d17a35b57b1d6c4831cf17606","datavalue":{"value":{"amount":"+0.7547752857208252","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":"Q5956264$5F7E9EAC-B066-4883-B650-4B7D79201EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac023be307c5975201d8bb42c578efc4c614977d","datavalue":{"value":{"entity-type":"item","numeric-id":3198002,"id":"Q3198002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb3321a169b47b966a0c0b047496c12ed3082ca","datavalue":{"value":{"amount":"+0.732386589050293","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":"Q5956264$E41B4D11-055D-47BF-84C3-76F810C6AD1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5956264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5956264"}}}}}