Chacun a déjà observé des découpages réguliers du plan.
On connaît en particulier des pavages de nature différente, des décorations murales de type fort varié.
En fait ces pavages sont extrêmement réguliers; non seulement les pavés sont tous pareils, mais encore ils sont tous pareils lorsqu'ils sont considérés dans leur environnement.
De manière précise, il existe toujours une isométrie qui amène un pavé sur un autre pavé quelconque, mais qui de plus conserve l'ensemble du pavage.
De plus ce pavage s'étend à l'infini; il existe donc des translations dans des directions différentes.
On peut caractériser, partiellement, le pavage en décrivant son groupe d'automorphismes.
Ce groupe contiendra toujours des translations dans plusieurs directions, mais il pourra également contenir des rotations, des symétries glissées, des symétries axiales.
Il n'est guère difficile de montrer qu'il ne peut exister que des rotations d'ordre 2, 3, 4 ou 6.
(Il suffit pour cela de prendre deux centres de rotation d'ordre n à distance minimum, et de construire les transformés successifs de ceux-ci pour trouver une contradiction dans les autres cas).
Ces groupes constituent ce que l'on appelle les groupes cristallographiques par analogie avec les groupes conservant les cristaux dans l'espace euclidien à 3 dimensions.
On peut montrer qu'il en existe 17 types.
Par la considération de centres de rotations, il est très facile de construire les 5 groupes cristallographiques qui ne contiennent aucun antidéplacement; on obtient:
- le groupe noté
p1 qui ne contient que les translations,
- le groupe
p2 contenant des centres d'ordre 2 situés aux sommets d'un réseau de parallélogrammes,
- le groupe
p3 dont les centres d'ordre 3 sont aux sommets d'un réseau de triangles équilatéraux,
- le groupe
p4 dont les centres d'ordre 4 sont aux sommets d'un réseau de carrés et qui possède en outre des centres d'ordre 2 situés aux centres de ces carrés, et enfin
le groupe
p6 contenant des centres d'ordre 6 situés aux sommets d'un réseau de triangles équilatéraux, des centres d'ordre 3 au centre de ces triangles et des centres d'ordre 2 au milieu des côtés des triangles.
De plus il existe deux autres groupes cristallographiques ne contenant pas de symétrie axiale, mais seulement des symétries glissées:
- le groupe
pg contenant des symétries glissées d'axes parallèles,
- le groupe
pgg contenant deux familles de symétries glissées d'axes de direction perpendiculaires et des centres de symétrie situés aux centres des rectangles des axes de symétrie glissée.
Enfin il y a 10 groupes contenant des symétries axiales.
Etant donné un de ces groupes, on peut l'utiliser pour construire un pavage du plan.
En fait, il suffit de partir d'une portion du plan et de la reproduire sous l'action des différentes isométries du groupe.
Bien entendu si on la choisit au hasard le domaine initial, cela ne marchera pas trop bien: on aura parfois des superpositions, ou bien alors il subsistera des lacunes.
Pour découvrir un "bon" domaine, on peut partir d'une petite région du plan afin d'éviter des superpositions.
Ensuite on la fait grandir, avec précaution, jusqu'à ce que les bords d'un domaine rejoignent ceux d'un autre.
Cette méthode a été étudiée par H.Heesch et l'on connaît depuis 1969 les différents types de domaines adéquats.
A titre d'exemple, prenons le groupe cristallographique le plus simple,
p1 composé uniquement de translations. Dans ce cas on peut démontrer que le domaine est un "hexagone", c'est-à-dire une région limitée par 6 arcs de courbes tels que deux "côtés" opposés de l'hexagone se déduisent par une translation.
Bien entendu toute latitude est laissée quant au choix des arcs rejoignant les 6 sommets, et un artiste peut profiter de cette liberté pour arriver à composer une figure fort agréable.
C'est ce qu'a fait le graveur néerlandais M.C.Escher.
A titre d'exemple la figure suivante montre un motif répété par le seul groupe des translations:
En fait à chacun des groupes cristallographiques est associé un (ou exceptionnellement deux) type de domaines.
Nous ne les décrirons pas tous, mais nous donnerons ceux correspondant aux groupes cristallographiques ne contenant pas de symétrie axiale.
En effet si un groupe contient une symétrie axiale, il suffit de prendre un domaine et son image dans une symétrie par rapport à un axe qui le borde et on obtient un domaine convenant pour un groupe ayant perdu ses symétries.
Nous venons de décrire le domaine correspond au groupe p1.
Pour le groupe p2, le domaine est un "hexagone" limité par 6 arcs de courbes c1, c2, c3, c4, c5, c6. Les arcs cl, c2, c4, c5 possèdent chacun un centre de symétrie (situés aux sommets d'un parallélogramme) et les deux arcs c3 et c6 sont translatés l'un de l'autre.
Pour le groupe p3, on obtient un domaine limité par un "hexagone" limité par 6 arcs de courbes c1, c2, c3, c4, c5, c6; les arcs c1 c2, les arcs c3 c4 ainsi que les arcs c5 c6 se déduisent par rotation d'un tiers de tour autour des sommets d'un triangle équilatéral.
Passons au groupe p4. Le domaine est, cette fois, constitué d'un "pentagone" limité par 5 arcs de courbes c1, c2, c3, c4, c5. Les arcs c1 c2 ainsi que les arcs c3 c4 sont transformés l'un de l'autre par des rotations d'1/4 de tour, tandis que l'arc c5 possède un centre de symétrie.
Le dernier des groupes ne contenant que des déplacements, p6, possède un domaine constitué d'un "pentagone" limité par 5 arcs de courbes c1, c2, c3, c4, c5; les arcs cl c2 se déduisent par une rotation d'1/6 de tour, c3 c4 par une rotation d'1/3 de tour et c5 possède
un centre de symétrie.
Passons à présent aux deux groupes, notés pg et pgg qui contiennent des symétries glissées. Pour chacun d'eux il existe deux types de domaines que nous décrivons ci-dessous: pour le groupe pg, contenant des symétries glissées dans une seule direction, on peut avoir un domaine "hexagonal" limité par 6 arcs de courbes c1, c2, c3, c4, c5, c6 qui possèdent une des propriétés suivantes:
- pg1: c1 c2 et c4 c5 se déduisent par symétrie glissée et les arcs c3 et c6 sont transformés par translation parallèlement à la direction des axes de symétrie,
- pg2: c1 c5 et c2 c4 se déduisent par symétrie glissée et les arcs c3 et c6 sont transformés par translation perpendiculaire à la direction des axes de symétrie.
Enfin le groupe noté pgg contient des symétries glissées dans deux directions perpendiculaires, ainsi que des symétries centrales.
Le domaine fondamental est de nouveau un "hexagone" limité par 6 arcs de courbes c1, c2, c3, c4, c5, c6 tels que soit
- pgg1: c1c4 se déduisent par translation, c2 et c3 possèdent un centre de symétrie, et c5 c6 s'obtiennent par symétrie glissée dans la direction de la translation, soit
- pgg2: c1c3 possèdent un centre de symétrie, c2 et c5 sont transformés par symétrie glissée, et c4 c6 par une autre symétrie glissée d'axe perpendiculaire.
Il suffit à présent d'un peu (beaucoup) de sens artistique pour inventer des motifs décoratifs à la Escher!