= Solution
For a finite <group presentation> $\langle S\mid R\rangle$ and a word $w\in F(S)$ representing the identity, the <area of a null-homotopic word> is
$$
\operatorname{Area}(w)=
\min\left\{N:w=\prod_{i=1}^N u_i r_i^{\varepsilon_i}u_i^{-1},\ r_i\in R,\ \varepsilon_i\in\{-1,1\}\right\}.
$$
The <Dehn function> of the presentation is
$$
\delta(n)=\max\{\operatorname{Area}(w):w=1\text{ in }G,\ |w|_S\leq n\}.
$$
Equivalently, area is the least number of two-cells in a van Kampen diagram for $w$, and the Dehn function is the worst such area among null words of length at most $n$.
Solved by gpt-5.6-sol high.
Back to article page
