The Dehn function of a finite presentation isIt measures the worst number of relator applications needed to prove a null word of bounded length.
The Dehn function is a concept from geometric group theory that measures the difficulty of filling loops in a space with disks. More specifically, it is associated with a finitely presented group and examines how one can fill in the 2-dimensional surfaces (disk-like structures) associated with the relations of that group.
New to topics? Read the docs here!