Artin groups of spherical type up to isomorphism

Abstract

We prove that two Artin groups of spherical type are isomorphic if and only if their defining Coxeter graphs are the same.