Let be a finitely generated group with generating set (closed under inverses).

For , , let be the minimum value of .

Define

The function is called the growth function for with generating set . If is either

(a) bounded above by a polynomial function,

(b) bounded below by an exponential function, or

(c) neither,

then this condition is preserved under changing the generating set for . Respectively, then, is said to have

(a) polynomial growth,

(b) exponential growth, or

(c) intermediate growth.

For a survey on the topic, see: R. I. Grigorchuk, On growth in group theory, Proceedings of the International Congress of Mathematicians, Kyoto 1990, Volume I, II (Math. Soc. Japan, 1991), pages 325 to 338.

Note that, as the generating set is assumed to be closed under inverses, we need only have as a semigroup - as such, the above applies equally well in semigroup theory.