Mathematics – Group Theory
Scientific paper
2006-10-25
Mathematics
Group Theory
To appear in Topology
Scientific paper
Define the length of a finite presentation of a group $G$ as the sum of lengths of all relators plus the number of generators. How large can be the $k$th Betti number $b_k(G)=$ rank $H_k(G)$ providing that $G$ has length $\leq N$ and $b_k(G)$ is finite? We prove that for every $k\geq 3$ the maximum $b_k(N)$ of $k$th Betti numbers of all such groups is an extremely rapidly growing function of $N$. It grows faster that all functions previously encountered in Mathematics (outside of Logic) including non-computable functions (at least those that are known to us). More formally, $b_k$ grows as the third busy beaver function that measures the maximal productivity of Turing machines with $\leq N$ states that use the oracle for the halting problem of Turing machines using the oracle for the halting problem of usual Turing machines. We also describe the fastest possible growth of a sequence of finite Betti numbers of a finitely presented group. In particular, it cannot grow as fast as the third busy beaver function but can grow faster than the second busy beaver function that measures the maximal productivity of Turing machines using an oracle for the halting problem for usual Turing machines. We describe a natural problem about Betti numbers of finitely presented groups such that its answer is expressed by a function that grows as the fifth busy beaver function. Also, we outline a construction of a finitely presented group all of whose homology groups are either ${\bf Z}$ or trivial such that its Betti numbers form a random binary sequence.
Nabutovsky Alexander
Weinberger Shmuel
No associations
LandOfFree
Betti numbers of finitely presented groups and very rapidly growing functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Betti numbers of finitely presented groups and very rapidly growing functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Betti numbers of finitely presented groups and very rapidly growing functions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-378680