Definition:Word Metric
Jump to navigation
Jump to search
Definition
Let $\struct {G, \circ}$ be a group.
Let $S$ be a generating set for $G$ which is closed under inverses (that is, $x^{-1} \in S \iff x \in S$).
The word metric on $G$ with respect to $S$ is the metric $d_S$ defined as follows:
- For any $g, h \in G$, let $\map {d_S} {g, h}$ be the minimum length among the finite sequences $\tuple {x_1, \dots, x_n}$ with each $x_i \in S$ such that $g \circ x_1 \circ \cdots \circ x_n = h$.
Informally, $\map {d_S} {g, h}$ is the smallest number of elements from $S$ that one needs to multiply by to get from $g$ to $h$.
Also see
- Results about the word metric can be found here.