Betti numbers \(b_k(G)\) result in an uncomputable fast-growing function as proposed by Alexander Nabutovsky and Shmuel Weinberger. Let \(H_k(G)\) be the \(k\)-th homology group of a group \(G\). Given a finite presentation of a group \(G\), we define its length as the the sum of the lengths of all its relators plus the number of generators. The \(k\)-th Betti number of a finitely presented group \(G\) is defined as \(b_k(G) = ext{rank }H_k(G)\) (using the torsion-free rank). Given a nonnegative integer \(N\), we define the Betti number \(b_k(N)\) as the maximal finite \(b_k(G)\) where \(G\) is a finitely presented group with length at most \(N\).
| Graph IRI | Count |
|---|