NOTIONS SUR LES SUBSTITUTIONS LINÉAIRES A COEFFICIENTS ENTIERS
Les variables jc, y, x', y' étant liées par les relations
x = xx'-+- $y, y = y x' +87';
il est liicn évident qu'à tout système de valeurs entières de x' y' correspond un système de valeurs entières de x,y.
Donc, tout nombre représentable par la seconde forme l'est aussi par la première. On dit que la seconde forme est contenue dans la première.
§11. — Notions sur les substitutions linéaires à coefficients entiers. Substitutions modulaires. Groupes de substitutions. Congruences de substitutions.