Artin monoids inject in their groups

L. Paris

We prove that the natural homomorphism from an Artin monoid to its associated Artin group is always injective