# Carré latin

En combinatoire, un carré latin d'ordre $n$ est un tableau carré de $n$ lignes (donc de $n$ colonnes) remplies de $n$ éléments distincts dont chaque ligne et chaque colonne ne contient qu'un seul exemplaire.
On obtient facilement un carré latin, dit cyclique, de tout ordre, en permutant circulairement successivement les lignes en partant de la première. Pour l'ordre 3 :
| A | B | C | D |
| B | C | D | A |
| C | D | A | B |
| D | A | B | C |
Cet autre carré latin d'ordre 3 :
| A | B | C | D |
| B | A | D | C |
| C | D | A | B |
| D | C | B | A |
ne peut être obtenu en permutant des éléments, des lignes ou des colonnes à partir du précédent.
Les carré latins, par l'intermédiaire des carrés gréco-latins, permettent de construire des carrés magiques.

## Histoire

Le carré SATOR figuré ci-contre, datant de l'antiquité, d'ordre 5 mais faisant intervenir plus de 5 caractères, n'est pas un carré latin au sens ci-dessus.
Le mathématicien coréen Choi Seok-jeong fut le premier en 1700 à publier un exemple de carré latin d'ordre neuf, afin de construire un carré magique.
67 ans plus tard, le mathématicien suisse Leonhard Euler (1707 - 1783) a débuté l'étude des carrés latins, qu'il a ainsi nommés car il utilisait des caractères latins pour les écrire$^,$$^,$.
Aujourd'hui, le carré latin est très populaire sous la forme du Sudoku.

## En mathématiques
### Forme réduite

Comme Euler, on peut considérer que les $n$ éléments du carré latin sont les entiers de 1 à $n$.
Une permutation sur les colonnes ou sur les lignes ne changeant pas le caractère latin du carré, une des $n!$ permutations des colonnes permet d'obtenir un carré latin de première ligne $1,2,\cdots ,n$ dans cet ordre, puis l'une des $(n-1)!$ permutations des $n-1$ autres lignes permet d'obtenir un carré de première colonne $1,2,\cdots ,n$ dans cet ordre.
Un tel carré est dit réduit ou normalisé, et tout carré latin possède une unique forme réduite.
Le nombre $L_{n}$ de carrés latins d'ordre $n$ est donc égal à $n!(n-1)!$ fois le nombre $L'_{n}$ de carrés latins normalisé. En voici les premières valeurs :
| n | $L'_{n}$ , nombre de carrés latins normalisé suite A000315 de l'OEIS | $L_{n}$, nombre de carrés latins suite A002860 de l'OEIS |
| 1 | 1 | 1 |
| 2 | 1 | 2 |
| 3 | 1 | 12=3!.2! |
| 4 | 4 | 576=4!.3!.4 |
| 5 | 56 | 161 280=5!.4!.56 |

### Isotopie

Deux carré latins sont dits isotopes si l'on peut passer de l'un à l'autre par permutation des lignes, permutation des colonnes et permutation des éléments.
Deux carrés latins réduits distincts peuvent être isotopes comme
| 1 | 2 | 3 | 4 |
| 2 | 3 | 4 | 1 |
| 3 | 4 | 1 | 2 |
| 4 | 1 | 2 | 3 |
et
| 1 | 2 | 3 | 4 |
| 2 | 1 | 4 | 3 |
| 3 | 4 | 2 | 1 |
| 4 | 3 | 1 | 2 |
Pour passer du premier au deuxième, permuter les éléments 2 et 3, les lignes 2 et 3, et les colonnes 2 et 3.
Les 4 carrés latins réduits d'ordre 4 ne sont plus que 2 à isotopie près : ${\begin{matrix}1&2&3&4\\2&3&4&1\\3&4&1&2\\4&1&2&3\\\end{matrix}}$ (le carré cyclique) et ${\begin{matrix}1&2&3&4\\2&1&4&3\\3&4&1&2\\4&3&2&1\\\end{matrix}}$
et les 56 carrés latins réduits d'ordre 5 plus que 2 également : ${\begin{matrix}1&2&3&4&5\\2&3&5&1&4\\3&5&4&2&1\\4&1&2&5&3\\5&4&1&3&2\end{matrix}}$ (le carré cyclique) et ${\begin{matrix}1&2&3&4&5\\2&4&1&5&3\\3&5&4&2&1\\4&1&5&3&2\\5&3&2&1&4\end{matrix}}$.
Les nombres de classes d'isotopie des carrés latins sont donnés par la suite A040082 de l'OEIS.

### Paratopie

Deux carrés latins sont dits paratopes s'ils sont isotopes et éventuellement image l'un de l'autre par symétrie par rapport à une diagonale.
Il y a 22 classes d'isotopie des carrés latins d'ordre 6, mais plus que 12 classes de paratopie.
Les nombres de classes de paratopie des carrés latins sont donnés par la suite A003090 de l'OEIS.

### Lien avec les quasi-groupes finis, isomorphisme

Un carré latin peut être considéré comme la table de Cayley d'une loi de composition interne. La condition de latinité du carré se traduit par le fait que la loi est régulière (tout élément est simplifiable), ce qui constitue la définition d'un quasi-groupe$^,$. Les carrés latins sont donc en bijection avec les quasi-groupes finis.
La condition d'isotopie de 2 carrés latins associés à des quasi-groupes $(E,\perp _{1})$ et $(E,\perp _{2})$ est qu'il existe trois bijections de $E$ : $f,g,h$ telles que $h(x\perp _{1}y)=f(x)\perp _{2}g(y)$ ($f$ correspond aux permutations des lignes, $g$ à celle des colonnes et $h$ à celle des éléments).
La condition de paratopie, plus forte, se traduit par la possibilité supplémentaire de commuter une loi ($x\perp _{2}y=y\perp _{1}x$).
La notion classique d'isomorphisme, plus faible, correspond au cas où $f=g=h$.
L'unique classe d'isotopie des carrés d'ordre 3, se décompose en 5 classes d'isomorphismes, représentées ci-dessous avec le nombre de carrés latins déduits :
${\begin{matrix}1&2&3\\2&3&1\\3&1&2\\&(3)&\end{matrix}}\qquad \qquad {\begin{matrix}2&3&1\\1&2&3\\3&1&2\\&(3)&\end{matrix}}\qquad \qquad {\begin{matrix}2&1&3\\3&2&1\\1&3&2\\&(3)\end{matrix}}\qquad \qquad {\begin{matrix}3&2&1\\2&1&3\\1&3&2\\&(2)&\end{matrix}}\qquad \qquad {\begin{matrix}1&3&2\\3&2&1\\2&1&3\\&(1)&\end{matrix}}.$
Les nombres de classes d'isomorphisme des carrés latins sont donnés par la suite A057991 de l'OEIS.

## En littérature

L'écrivain Georges Perec a utilisé le carré latin comme ossature de deux de ses œuvres : La Vie mode d'emploi (ordre 10) et Lieux (ordre 12).

## Héraldique

Un carré latin d'ordre 3 apparaît dans le blason de la Société statistique du Canada ainsi que dans le logo de la Société biométrique internationale.