Consider all patterns in 1D which have translational symmetry, i.e., functions f (x) such that for some a > 0, f (x + a) = f (x) for all x. For these patterns, the values of a for which this property holds form a group.