Residual finiteness of a right-angled Artin group
= Residual finiteness of a right-angled Artin group
Every right-angled Artin group is a <residually finite group>. One route is its faithful integral linear representation, followed by reduction modulo suitable primes.