{"entities":{"Q1320170":{"pageid":1330920,"ns":120,"title":"Item:Q1320170","lastrevid":68582841,"modified":"2026-04-13T00:43:10Z","type":"item","id":"Q1320170","labels":{"en":{"language":"en","value":"Upper bounds in the restricted Burnside problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554200"}},"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":"Q1320170$4F7E9FA2-0172-4573-9905-0BA1D0CF6710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c02bbb8cd0cf11fe8282f21fa049ede3fbea9f5","datavalue":{"value":{"text":"Upper bounds in the restricted Burnside problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320170$DDCE89E8-D67A-477E-8E7D-795E2B2FA8C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b016846f89c91a305231683d276e28331a4a6618","datavalue":{"value":"0818.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$39A5890C-EDEC-4D52-80B9-2F217D65F86F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"620569786fadff7be8d7772eba7f15bf5002145e","datavalue":{"value":{"entity-type":"item","numeric-id":435964,"id":"Q435964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320170$9CD70A2C-44B4-42CB-BE26-1FB4F655128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fac530185be5186da92bae14c39325ce145f79c","datavalue":{"value":{"entity-type":"item","numeric-id":1194304,"id":"Q1194304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320170$615496A9-78AA-43FE-85FD-CFCBF81CE688","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":"Q1320170$34E9052D-42B0-4872-98DD-257E3DBB8C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"724c0fe85c46087eb00bbde5dd01b4d4c71887d8","datavalue":{"value":{"time":"+1995-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320170$AB1FAF93-0636-492B-A9FF-1F4AC1266D27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26dad7e8be3b827ba257d892ce8aecdb3e8a809f","datavalue":{"value":"The question of whether the orders of all finite \\(m\\) generator groups of exponent \\(n\\) are bounded above by a function \\(f(m,n)\\) of \\(m\\) and \\(n\\), known as the restricted Burnside problem, has an affirmative answer. The authors give a better upper bound for the orders of \\(m\\) generator groups of prime and prime power exponent.    For each \\(n\\geq 0\\), define classes of Grzegorchyk hierarchy as follows: \\(\\text{Gr}_ 0 (x,y)= x+y\\), \\(\\text{Gr}_ 1 (x)= x^ 2+2\\), \\(\\text{Gr}_{n+2} (0)=2\\), \\(\\text{Gr}_{n+2} (x+1)= \\text{Gr}_{n+1} (\\text{Gr}_{n+2} (x))\\). The class \\(\\text{Gr}^ n\\), \\(n\\geq 1\\), consists of functions which can be obtained from the zero function, the successor function, the projection functions, and the function \\(\\text{Gr}_{n-1}\\) by composition and limited recursion. Let \\(T(m,1)=m\\) and \\(T(m, n+1)= m^{T(m, n)}\\).    The authors prove that if \\(G\\) is a finite \\(m\\) generator group, \\(m>1\\), of exponent \\(q= p^ k\\), where \\(p\\) is a prime, then \\(| G|\\leq T(m, q^{q^ q})\\) and this upper bound lies in \\(\\text{Gr}^ 4\\), whereas the previously obtained upper bounds were of class \\(\\text{Gr}^ 5\\). They also show that if \\(G\\) is a finite \\(m\\) generator group of prime exponent \\(p\\geq 29\\) then \\(| G|\\leq T(m, 2^ p)\\) and for \\(p<29\\), \\(| G|\\leq T(m, 3^ p)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$84B37867-B289-41E4-9067-A504C1B93380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$D0585667-5BBE-4B2F-AC04-BD7B23FD675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$161157D4-6884-4E20-A8F6-C5980E49C500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$BFD20136-158C-4E61-841F-DFEDFB926875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$5780DB44-A223-47FD-8776-FA4AFCAF07D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$B0339C4A-043B-4019-8C8B-E5EE91700F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"677f074949b6912a3d5be9a52164e3a800597639","datavalue":{"value":"20D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$75BC1E55-9EC8-4B5C-B567-4F3B42548FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f4cb66dd7075cdf4c708090882d01ae8a24d91c","datavalue":{"value":"11N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$860CBFA7-8FAE-4B60-8C8A-F854C5F8D0DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dae4ba0b431f7a0fb59ad8e1960aa1ccf3f17dc","datavalue":{"value":"554200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$7B910BC7-3645-4005-AFEC-F09E74433D7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bafa5663fec70d24f98ad2131a7d5ce5928c0a49","datavalue":{"value":"finitely generated groups of prime-power exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$94F54224-E034-48B1-86C3-11309DA5CF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e958c43da61e8f7c9192eea25385fc65a928905f","datavalue":{"value":"orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$FD04D2D3-34E2-4F79-8097-56C02962D6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33643b2334fb52f1274f2eea4264161884d02c55","datavalue":{"value":"finite \\(m\\) generator groups of exponent \\(n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$D6CDE3F5-75C2-4F13-B70D-004A3C577DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87729b72a0a5a308eb0fccefd7943a41fb2fbf06","datavalue":{"value":"restricted Burnside problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$E2031D8A-62F8-4367-80B4-98E89F29823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236cab125b764f38874334566f62ab8743a0626b","datavalue":{"value":"Grzegorchyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320170$607E45CF-CDCD-4559-8085-F2F37E13BF84","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"674fca5271dd38f4cbbdbcf5c9e3d1e240c45415","datavalue":{"value":{"entity-type":"item","numeric-id":1395921,"id":"Q1395921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320170$63A9334D-DA50-4D9E-90D8-806677E2A474","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":"Q1320170$D2DE3F8E-C68D-4A62-965F-F3CE3960101C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0582a126035800886256d4652667c538bee2bdb6","datavalue":{"value":"https://doi.org/10.1006/jabr.1993.1245","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320170$B9F24F4E-0B67-45CE-8DA4-424BB2878023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8edec37d616a0ce7dc2b78dbc498fb67c47fcee","datavalue":{"value":"W2052657588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$399A9AEB-E57D-43B3-BC03-FFC3DAF83077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fab6879e8afb102e3272348663219cf803165d4","datavalue":{"value":"10.1006/JABR.1993.1245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320170$34AE93DA-C3C9-40FD-9331-9A97F540C08A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8dcbdd762660a4b9dbb49e104d0406604cf20b","datavalue":{"value":{"entity-type":"item","numeric-id":4335559,"id":"Q4335559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d78fde3d329d974a6df19c76c5128f188a2c770","datavalue":{"value":{"amount":"+0.9143308997154236","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":"Q1320170$8BBEA5E9-B121-4CDD-89CB-BBC30FEE576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8060e1bf08292e77e097e0a908fca6be360247a3","datavalue":{"value":{"entity-type":"item","numeric-id":4705906,"id":"Q4705906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f001c0d7cbd7e2fe4b6a564b39dd3421749932d","datavalue":{"value":{"amount":"+0.873916745185852","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":"Q1320170$45D1B372-C033-430A-87A4-612A3B54E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2966386fd628544292a61924d15052f6bb5a3565","datavalue":{"value":{"entity-type":"item","numeric-id":4867097,"id":"Q4867097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4e9863377610d060439f9c4d40b3920786f0fa","datavalue":{"value":{"amount":"+0.8600978255271912","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":"Q1320170$853B7A5F-9DDC-46FB-964F-D04D02116858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper bounds in the restricted Burnside problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_bounds_in_the_restricted_Burnside_problem"}}}}}