Profinite rigidity of crystallographic groups arising from Lie theory

We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of profinite rigidity of affine Coxeter groups [1, 7, 22]. Our proof uses model theory.