{"entities":{"Q882485":{"pageid":884333,"ns":120,"title":"Item:Q882485","lastrevid":65072406,"modified":"2026-04-12T00:07:21Z","type":"item","id":"Q882485","labels":{"en":{"language":"en","value":"Betti numbers of finitely presented groups and very rapidly growing functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156680"}},"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":"Q882485$53C9E2C0-0B02-4E68-8304-B9DEB3A6E692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f57a39357dd7d8af9258ba4f599bc0639764c933","datavalue":{"value":{"text":"Betti numbers of finitely presented groups and very rapidly growing functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882485$D1347D86-FA02-4B86-B727-7F1EA2732283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f26e97f9ab10a849b15a2e8964893aae4d1fede","datavalue":{"value":"1139.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$E9369665-A566-4513-8BB6-5BC06C93F6CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fc2defd5e80fdc7e88c3ac54e4fc0c141d1cb1b","datavalue":{"value":{"entity-type":"item","numeric-id":207193,"id":"Q207193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882485$86C1AE63-8C52-48CB-9CDC-83DA0E78CEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69dee7009c9fe843ffb5eea73eab305aff7f544b","datavalue":{"value":{"entity-type":"item","numeric-id":207194,"id":"Q207194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882485$41FE5D3B-FC03-4E37-83D4-92284BCD61E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882485$57088BB9-A6BD-4F06-965B-2FB432979224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882485$455258D6-3FF7-40C1-AA4A-CFDE30D2BE06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3e164855c91b1d1d9c77f4810cdc441f914011d","datavalue":{"value":"https://arxiv.org/abs/math/0610759","type":"string"},"datatype":"url"},"type":"statement","id":"Q882485$30C4C7B3-9DDB-426F-A6CE-2039C6D0D5E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"860171baded23995811dc3939284ba32b72249fe","datavalue":{"value":"Given a finite presentation of a group \\(G\\) we define its length as the sum of the lengths of all relators plus the number of generators. The \\(k\\)-th Betti number of a group \\(G\\) is defined to be \\(\\text{rank\\,}H_k(G)\\), where \\(H_k(G)\\) is the \\(k\\)-th homology group of the classifying space of \\(G\\). Define the function \\(b_k(N)\\) to be the maximum of \\(\\{\\text{rank\\,}H_k(G)\\mid\\text{length of }G\\leq N\\text{ and }\\text{rank\\,}H_k(G)<\\infty\\}\\). Define the usual Turing machine to be the Turing machine of order \\(1\\). Inductively define a Turing machine of order \\(k\\) to be a Turing machine that uses the oracle deciding whether all Turing machines of order \\(k-1\\) halt their computation when starting with the empty tape. The \\(k\\)-th busy beaver function \\(B_k(n)\\) is the maximal time of work of a Turing machine of order \\(k\\) with \\(\\leq n\\) states.   The authors show (Theorem 3.2) that \\(b_k(n)\\) grows as \\(B_3(n)\\) for \\(k\\geq 3\\); i.e., the maximum of the \\(k\\)-th Betti numbers that are finite for a group \\(G\\) with finite presentation of length \\(n\\) grows as the third busy beaver function. The authors present a problem about Betti numbers of finitely presented groups whose answer is expressed as a function that grows like the fifth busy beaver function. Finally, they outline a construction of a finitely presented group with homology groups trivial or \\(\\mathbb{Z}\\) whose sequence of Betti numbers is random, in the sense that the first \\(n\\) bits of the sequence do not admit an essentially better description than just writing down the first \\(n\\) bits.","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$55C36F4E-230C-4620-9A87-5B53DDF97607","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2861ece83624e0dd173f4892f4a328978401af8e","datavalue":{"value":{"entity-type":"item","numeric-id":590095,"id":"Q590095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882485$2262C599-7A20-4805-82AE-6A8E39713E03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$895B6FA0-87AC-4877-ABE0-F63E1D453487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f91eac69ea2ec731b458b8ff3fee2957166ec86c","datavalue":{"value":"20J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$DA856042-3D3A-4659-BF43-BA0DCB1C1A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$D7F7263D-2C03-4A21-ADF8-EDD867634D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$DCC2AF29-1DFD-40DB-9B3A-A137973A094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21f00aab010cafc29f45ee659310afaf13c9d8f3","datavalue":{"value":"57M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$66FCE133-5E36-4732-9A43-7AA0029755E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcd41706693e9844a5df668fb8a924a6e87a6cf","datavalue":{"value":"5156680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$93B85B4C-4900-4183-B8C5-B95763A1D6CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32acbaa9c4fe166ccb3f8f8a2c2b22589e54abcc","datavalue":{"value":"homology groups of finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$6E93E3BE-A75E-4B1B-8127-9368D24881BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad8616749b0ec0ef9f0ed2397224ba3f85b0219","datavalue":{"value":"Betti numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$66801EC8-0D72-4DD7-AF5D-D5437012930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf8b35844541464959b72dcf56d82f3c40f7a58","datavalue":{"value":"non-recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$AD9BF713-F395-4B30-ABC6-44C9D39DF4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b917a484ff72175486714a628a30148cadc3e79","datavalue":{"value":"random binary sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$140161B9-9B1C-4BED-AC3E-158AE901F527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d28c20620d62ec544c5f115ab40c12bc9413ef","datavalue":{"value":"busy beaver functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$9CAA05BC-E6B5-4541-A0A0-7CBD56BFA388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q882485$F47A0B9B-CDD4-4855-8683-BD009A8FE66A","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":"Q882485$CC1546AE-3FC9-4BBD-977F-7D2536957994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24999bde8b3f7597f68080425c6d03096800e6f6","datavalue":{"value":"W2034594082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$72503311-93C8-49B1-B4E5-C73BD3C82563","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b49dee9099fc4e3ea7c49f23c46f97a765dd9dbf","datavalue":{"value":"10.1016/J.TOP.2007.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882485$D3AB37D8-DA55-4335-9FD9-DF46BE066CD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b160f2b4680dae758ac764fdb9bd5b305341f59","datavalue":{"value":{"entity-type":"item","numeric-id":841096,"id":"Q841096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae2e26b59ac9f432a7853ed45fcabe9629290a1","datavalue":{"value":{"amount":"+0.882114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$120A2F8C-1338-4B12-8724-4869E355A336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15ccebef4cf015b086c20a06604a19d3ad48868","datavalue":{"value":{"entity-type":"item","numeric-id":3020557,"id":"Q3020557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392f942717cb373808f946660581689cdc278966","datavalue":{"value":{"amount":"+0.8749364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$DC93A73B-C167-425B-8F01-9BA3D0A7C822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b36938c60abb55a73c8559f2a1175588a5ff328","datavalue":{"value":{"entity-type":"item","numeric-id":3508612,"id":"Q3508612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fd41ba15be89045fb0cd912ce2777fb03bfd97","datavalue":{"value":{"amount":"+0.8747184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$DB3A5921-3F88-4355-9C06-A50686890012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c959f685193f4472023beef3a1bd4f834f8dd4","datavalue":{"value":{"entity-type":"item","numeric-id":996009,"id":"Q996009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dac6a91b2928a674aebc6a9e02f68e2b57090e","datavalue":{"value":{"amount":"+0.8732488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$8885F9A8-E9FA-4536-8A22-CE2DA925E89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3882abf67c0ba0a5742199d3d09d78192ec1d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3781261,"id":"Q3781261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af32e9f8b810f011cc746b47bd8647a909665019","datavalue":{"value":{"amount":"+0.87140644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$991CB6FC-B8B9-47C0-BEA9-069305D154C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d52d2cd0190192dbac62148d183d68e3b6cf77","datavalue":{"value":{"entity-type":"item","numeric-id":2637620,"id":"Q2637620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158a726e8ad4ba5bb85e50b9085f6fcfb73317e8","datavalue":{"value":{"amount":"+0.8683562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$9392586F-C75F-49B8-A389-00D4833D5082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ca3d65004321d70194dcde166a94ece9e29f69","datavalue":{"value":{"entity-type":"item","numeric-id":635283,"id":"Q635283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06aa0e5dc92d44e49663585c770735724775eaac","datavalue":{"value":{"amount":"+0.8680856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$D45E8B0B-C78C-4AF3-83CB-BCB60EEACFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbee8948c28324c1cf4a2eff287014b4f16a187","datavalue":{"value":{"entity-type":"item","numeric-id":4821117,"id":"Q4821117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e6da82b248df6a550be0dbf523c8f2e33c5699","datavalue":{"value":{"amount":"+0.86749554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$EE7F49ED-875D-4D69-8E0D-894A45C981C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4302202f63bd0943d9100d8a4a528578c4e93f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1401006,"id":"Q1401006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec951cbca2470e88662637cd6d4b7ec6a39017bf","datavalue":{"value":{"amount":"+0.866447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882485$6228D472-3BD3-4562-B47A-B699A68CA463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Betti numbers of finitely presented groups and very rapidly growing functions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Betti_numbers_of_finitely_presented_groups_and_very_rapidly_growing_functions."}}}}}