In the mathematical area of geometric group theory, a Van Kampen diagram (sometimes also called a Lyndon–Van Kampen diagram[1][2][3] ) 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.
- ^ B. Fine and G. Rosenberger,
The Freiheitssatz and its extensions. The mathematical legacy of Wilhelm Magnus: groups, geometry and special functions (Brooklyn, NY, 1992), 213–252,
Contemp. Math., 169, Amer. Math. Soc., Providence, RI, 1994
- ^ I.G. Lysenok, and A.G. Myasnikov, A polynomial bound for solutions of quadratic equations in free groups. Tr. Mat. Inst. Steklova 274 (2011), Algoritmicheskie Voprosy Algebry i Logiki, 148-190; translation in Proc. Steklov Inst. Math. 274 (2011), no. 1, 136–173
- ^ B. Fine, A. Gaglione, A. Myasnikov, G. Rosenberger, and D. Spellman, The elementary theory of groups. A guide through the proofs of the Tarski conjectures. De Gruyter Expositions in Mathematics, 60. De Gruyter, Berlin, 2014. ISBN 978-3-11-034199-7