Filling length in finitely presentable groups. (Q698115)

The authors prove that the filling length is well behaved under change of presentation of a finitely presented group \(G\). They also prove that the filling length admits a bound of the form \([g+1][\log(f+1)+1]\) whenever \((f, g)\) is an AD-pair for a finite presentation of the group \(G\), i.e. \(f\) is an isoperimetric function, and \(g\) is an isodiametric one realised simultaneously. It is shown that if \(x^r\) is an isoperimetric function (\(r\geq 2\)) then \((x^r,x^{r-1})\) is an AD-pair. Also it is proved that for all finite presentations the filling length is bounded by the exponent of an isodiametric function.