Distinguishing crystallographic groups by their finite quotients

Abstract

Using the computer algebra program GAP, we show that all crystallographic groups in dimensions at most 4 are distinguished from each other by their sets of finite quotients.

GAP code now included in ancillary files