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.
Carolillo et al. (2025) studied this question.