Latin Square — Definition, Formula & Examples

A Latin square is an

n \times n

grid filled with

n

distinct symbols, arranged so that each symbol appears exactly once in every row and exactly once in every column.

A Latin square of order $n$ is an $n \times n$ array $L = (l_{ij})$ over a set $S$ of $n$ symbols such that for each $i$ , the map $j \mapsto l_{ij}$ is a bijection from $\{1,\dots,n\}$ to $S$ , and for each $j$ , the map $i \mapsto l_{ij}$ is a bijection from $\{1,\dots,n\}$ to $S$ .

How It Works

To construct a Latin square, start by placing the

n

symbols in any order across the first row. For each subsequent row, rearrange the symbols so that no column repeats a symbol already used above it. One simple method is cyclic shifting: rotate the previous row one position to the left. Not all Latin squares can be generated this way, but it guarantees a valid result.

Worked Example

Problem: Construct a Latin square of order 3 using the symbols {1, 2, 3}.

Row 1: Place the symbols in their natural order.

\begin{array}{|c|c|c|} \hline 1 & 2 & 3 \\ \hline \end{array}

Row 2: Shift Row 1 one position to the left (cyclically).

\begin{array}{|c|c|c|} \hline 2 & 3 & 1 \\ \hline \end{array}

Row 3: Shift Row 2 one position to the left. Verify every column also contains each symbol exactly once.

\begin{array}{|c|c|c|} \hline 3 & 1 & 2 \\ \hline \end{array}

Answer: The completed Latin square is:

\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \\ 3 & 1 & 2 \end{pmatrix}

Each of the symbols 1, 2, 3 appears exactly once in every row and every column.

Why It Matters

Latin squares are the mathematical foundation of Sudoku puzzles (a Sudoku is a Latin square with additional block constraints). In statistics, they form the basis of Latin square experimental designs, which let researchers control for two sources of variability simultaneously. They also appear in coding theory, cryptography, and the study of quasigroups in abstract algebra.

Common Mistakes

Mistake: Confusing a Latin square with a magic square.

Correction: A magic square requires rows, columns, and diagonals to sum to the same value. A Latin square requires each symbol to appear exactly once per row and column — there is no summation condition and no diagonal constraint.