text: The subgroups discussed so far are not only infinite, they are also continuous (Lie groups). Any subgroup containing at least one non-zero translation must be infinite, but subgroups of the orthogonal group can be finite. For example, the symmetries of a regular pentagon consist of rotations by integer multiples of 72° (360° / 5), along with reflections in the five mirrors which perpendicularly bisect the edges. This is a group, D, with 10 elements. It has a subgroup, C, of half the size, omitting the reflections. These two groups are members of two families, D and C, for any n > 1. Together, these families constitute the rosette groups.
  Translations do not fold back on themselves, but we can take integer multiples of any finite translation, or sums of multiples of two such independent translations, as a subgroup. These generate the lattice of a periodic tiling of the plane.
  We can also combine these two kinds of discrete groups — the discrete rotations and reflections around a fixed point and the discrete translations — to generate the frieze groups and wallpaper groups. Curiously, only a few of the fixed-point groups are found to be compatible with discrete translations. In fact, lattice compatibility imposes such a severe restriction that, up to isomorphism, we have only 7 distinct frieze groups and 17 distinct wallpaper groups. For example, the pentagon symmetries, D, are incompatible with a discrete lattice of translations. (Each higher dimension also has only a finite number of such crystallographic groups, but the number grows rapidly; for example, 3D has 230 groups and 4D has 4783.)