Crystallographic group

A crystallographic group is a topologically discrete subgroup of the group of isometries of some space form (typically, not necessarily a Euclidean space) with a compact fundamental domain.