In group theory, Matsumoto's theorem, proved by Hideya Matsumoto (1964), gives conditions for two reduced words of a Coxeter group to represent the same element. Sometimes, this is also called Matsumoto's lemma.
Statement A Coxeter group is a group that admits a presentation G = ⟨ X ∣ R ⊔ S ⟩ {\displaystyle G=\langle X\mid R\sqcup S\rangle } , where X {\displaystyle X} is a set of generators, R {\displaystyle R} is a set of relations of the form x y x y … = y x y x … {\displaystyle xyxy\ldots =yxyx\ldots } for x , y ∈ X {\displaystyle x,y\in X} , where the two sides of the relation are words of same length; and S {\displaystyle S} is the set of relations x 2 = 1 {\displaystyle x^{2}=1} for all x ∈ X {\displaystyle x\in X} . The relations in R {\displaystyle R} are sometimes called Artin relations, because the defining relations of an Artin group have this form. If two reduced words represent the same element of a Coxeter group, then Matsumoto's theorem states that the first word can be transformed into the second by repeatedly transforming
xyxy... to yxyx... (or vice versa). In other words: if two reduced words are equivalent in the group, then they are equivalent under the sole Artin relations.
Applications Matsumoto's theorem implies that there is a natural map (not a group homomorphism) from a Coxeter group to the corresponding braid group, taking any element of the Coxeter group represented by some reduced word in the generators to the same word in the generators of the braid group.
References
Matsumoto, Hideya (1964), "Générateurs et relations des groupes de Weyl généralisés", C. R. Acad. Sci. Paris, 258: 3419–3422, MR 0183818 P. Dehornoy et al., "Foundations of Garside theory", EMS Tracts in Mathematics, 22, Eur. Math. Soc., Zürich, 2015, MR 3362691
