Van Kampen diagram
In the mathematical area of geometric group theory, a Van Kampen diagram (sometimes also called a Lyndon–Van Kampen diagram ) is a planar diagram used to represent the fact that a particular word in the generators of a group given by a group presentation represents the identity element in that group. == History == The notion of a Van Kampen diagram was introduced by Egbert van Kampen in 1933.