Quelltext der Seite Lateinisches Quadrat

[[Datei:Fisher-stainedglass-gonville-caius.jpg|mini|Ein lateinisches Quadrat der Ordnung 7 (Fenster im Gedenken an [[Ronald Aylmer Fisher]] am [[Gonville and Caius College]], Cambridge)]]

Ein '''lateinisches Quadrat''' ist ein quadratisches Schema mit <math>n</math> Zeilen und  <math>n</math> Spalten, wobei jedes Feld mit einem von <math>n</math> verschiedenen Symbolen belegt ist, so dass jedes Symbol in jeder Zeile und in jeder Spalte jeweils genau einmal auftritt. Die [[natürliche Zahl]] <math>n</math> wird „Ordnung“ des lateinischen Quadrats genannt.

Als Symbole werden häufig die Zahlen von <math>1</math> bis <math>n</math>, oder <math>n</math> verschiedene Buchstaben oder auch <math>n</math> verschiedene Farben verwendet. Der Mathematiker [[Leonhard Euler]] befasste sich intensiv mit solchen Quadraten; als Symbolmenge benutzte er das [[Lateinisches Alphabet|lateinische Alphabet]]. Der Name lateinisches Quadrat geht darauf zurück.

In der modernen [[Kombinatorik]] und der [[Diskrete Mathematik|diskreten Mathematik]] werden als Symbolmenge überwiegend die Zahlen von <math>1</math> bis <math>n</math>, seltener die Zahlen von <math> 0</math> bis <math>n-1</math> verwendet, und das Schema wird als spezielle <math>n\times n</math>-[[Matrix (Mathematik)|Matrix]] betrachtet.

Jedes lateinische Quadrat kann als [[Verknüpfungstafel|Verknüpfungstafel (Cayley-Tafel)]] einer endlichen [[Quasigruppe]] aufgefasst werden, umgekehrt bestimmt jede endliche Quasigruppe eine Äquivalenzklasse von lateinischen Quadraten.

Zwei verschiedene lateinische Quadrate derselben Ordnung <math>n</math> können orthogonal zueinander sein. In der [[Synthetische Geometrie|synthetischen Geometrie]] werden bestimmten Mengen von paarweise orthogonalen lateinischen Quadraten der Ordnung <math>n</math> endliche [[affine Ebene]]n zugeordnet. Daraus ergibt sich dort eine notwendige und hinreichende kombinatorische Bedingung für die Existenz von Ebenen der Ordnung <math>n</math>: Eine solche Ebene existiert genau dann, wenn es eine vollständige Liste paarweise orthogonaler Quadrate der Ordnung <math>n</math> gibt.

Außerhalb der Mathematik im engeren Sinn werden lateinische Quadrate unter anderem in der [[Agrarwissenschaften|agrarwissenschaftlichen]] Versuchsplanung als [[Blockanlage (Feldversuch)|Blockanlagen]] und der [[Statistische Versuchsplanung|statistischen Versuchsplanung]] angewendet.<ref>Hinkelmann und Kempthorne (2008)</ref><ref>{{Internetquelle |url=http://www.tfrec.wsu.edu/ANOVA/Latin.html |titel=The latin square |werk=A field guide to Experimental design |hrsg=Washington State University, Tree Fruit Research and Extension Center |datum=2000-08-16 |sprache=en |abruf=2012-02-28}}</ref>

== Darstellung, Eigenschaften und Begriffe ==
=== Darstellung als Matrix ===
Ein lateinisches Quadrat der Ordnung <math>n</math> ist eine [[quadratische Matrix|quadratische <math>n\times n</math> Matrix]], deren sämtliche Einträge natürliche Zahlen von <math>1</math> bis <math>n</math> sind, und zwar so, dass in jeder Zeile und in jeder Spalte der Matrix jede dieser Zahlen genau einmal auftritt. Diese Eigenschaft lässt sich bei einer Matrix (zum Beispiel mit einem [[Computeralgebrasystem]] wie [[Maple (Software)|Maple]]) folgendermaßen testen: Für die Einträge <math>M_{j,k}</math> der Matrix <math>M</math> müssen folgende Gleichungen erfüllt sein:<ref>Durch die Summe wird für jede Zahl <math>I</math>, die in der Zeile bzw. Spalte auftritt, das „Bit“ mit der Wertigkeit <math>2^{l-1}</math> in einer ''n''-stelligen [[Binärzahl]] gesetzt. Damit die getestete Matrix dann mit Sicherheit ein lateinisches Quadrat darstellt muss die zusätzliche Voraussetzung erfüllt sein, dass alle Einträge natürliche Zahlen sind. Dies wird durch den Test selbst nicht gewährleistet. (Knuth, 2011).</ref>
* Für jede Zeile <math>k,\, 1\leq k\leq n</math> muss <math>\sum_{j=1}^n 2^{M_{j,k}-1}=2^n-1</math> und
* für jede Spalte <math>j,\, 1\leq j\leq n</math> muss <math>\sum_{k=1}^n 2^{M_{j,k}-1}=2^n-1</math> gelten.

=== Tripeldarstellung: OAR ===
Ein lateinisches Quadrat der Ordnung <math>n</math> lässt sich auch als Menge <math>Q</math> von <math>n^2</math> verschiedenen [[Tupel|Tripeln]] <math>(r,s,z)\in \{1,2,\ldots n\}^3</math> darstellen. Dabei steht <math>r</math> für die Nummer einer Zeile im lateinischen Quadrat, <math>s</math> für die Nummer einer Spalte und <math>z</math> für die dort im Quadrat stehende Zahl. Die Regel für lateinische Quadrate ist genau dann erfüllt, wenn keine zwei der Tripel in zwei Einträgen übereinstimmen. Diese Darstellung wird als ''orthogonal array representation (OAR)'' des lateinischen Quadrats bezeichnet.

Die OAR legt eine geometrische Interpretation für ein lateinisches Quadrat nahe: Man kann die Zahl in einer Zelle des lateinischen Quadrates als Höhe eines Quaders auffassen, der auf dieser Zelle als Grundfläche errichtet werden soll. Damit wird aus dem lateinischen Quadrat ein räumliches Säulendiagramm – vergleiche die Abbildung zu dem Beispiel unten.

In dem Bild ist auch eine verwandte Interpretation des lateinischen Quadrates der Ordnung <math>n</math> zu erkennen: Füllt man von den Säulen des Säulendiagramms nur jeweils den Würfel an der Spitze, dann erhält man ein dreidimensionales Bild aus <math>n^2</math> achsparallelen Einheitswürfeln in einem größeren achsparallelen Würfel mit der Kantenlänge <math>n</math>. Der Teilwürfel mit den Gitterkoordinaten <math>(r,s,z)</math> ist genau dann „gefüllt“, wenn <math>(r,s,z)</math> zu der OAR des lateinischen Quadrates gehört. Eine Anordnung von <math>n^2</math> Teilwürfeln in einem solchen Würfel der Kantenlänge <math>n</math> gehört genau dann zu einem lateinischen Quadrat der Ordnung <math>n</math>, wenn der große Würfel in den drei achsparallelen Richtungen betrachtet durch die Teilwürfel undurchsichtig ist, also bei der Projektion in einer Achsrichtung lückenlos gefüllt erscheint.

[[Datei:Koordinaten3D.svg|mini|Die Tripel der OAR-Darstellung können als Raumkoordinaten oder als Höhen von Säulen auf dem lateinischen Quadrat aufgefasst werden. Bei diesem Bild sind der Übersicht wegen nur die erste und die letzte Spalte (s=1 und s=4) des lateinischen Quadrates der Ordnung 4 (rote Zahlen auf der Grundfläche) als Säulen dargestellt. Der Würfel an der Spitze dieser Säulen ist jeweils farblich hervorgehoben.]]
Diese Interpretation macht anschaulich, dass die OAR eines lateinischen Quadrates nicht nur bei Vertauschen der Zeilen- mit den Spaltennummern (einer ''Transposition'' in der Matrixdarstellung) zur OAR eines lateinischen Quadrates wird, sondern sogar, wenn alle ''Zeichennummern'' mit den Zeilennummern oder den Spaltennummern vertauscht werden.

=== Beispiel ===
Das Beispiel in der Abbildung rechts zeigt das erste lateinische Quadrat ''C'' unten, das zweite, ''D'', entsteht daraus, indem man die <math>r</math>- mit der <math>z</math>-Achse vertauscht. Wenn man im ersten Quadrat ''C'' die <math>s</math>- mit der <math>z</math>-Achse vertauscht, entsteht ebenfalls das Quadrat ''D'', denn dessen Matrix ist symmetrisch.
:<math>
C=\left[\begin{array}{cccc} 3&4&2&1\\ 4&3&1&2
\\ 1&2&4&3\\ 2&1&3&4\end{array}
\right];\;
D=\left[\begin{array}{cccc} 4&3&1&2\\ 3&4&2&1
\\ 1&2&4&3\\ 2&1&3&4\end{array}
\right]
</math>
Die Tripeldarstellungen lauten
:<math>
\begin{array}{rllll}
Q_C=\{ &(1,1,3),&(1,2,4),&(1,3,2),&(1,4,1),\\
       &(2,1,4),&(2,2,3),&(2,3,1),&(2,4,2),\\
       &(3,1,1),&(3,2,2),&(3,3,4),&(3,4,3),\\
       &(4,1,2),&(4,2,1),&(4,3,3),&(4,4,4)\quad\}
\end{array}
</math>
bzw.
:<math>
\begin{array}{rllll}
Q_D=\{ &(1,3,1),&(1,4,2),&(1,2,3),&(1,1,4),\\
       &(2,4,1),&(2,3,2),&(2,1,3),&(2,2,4),\\
       &(3,1,1),&(3,2,2),&(3,4,3),&(3,3,4),\\
       &(4,2,1),&(4,1,2),&(4,3,3),&(4,4,4)\quad\}
\end{array}
</math>

=== Anzahl der lateinischen Quadrate ===
Die Anzahlen <math>L(n)</math> lateinischer Quadrate der Ordnung <math>n=1,2,3,\ldots</math>, bilden {{OEIS|A002860}}. Es ist keine einfach zu berechnende Formel für die Folge <math>L(n)</math> bekannt. Die besten bekannten unteren und oberen Schranken für große Ordnungen <math>n</math> sind noch weit auseinander. Eine klassische Abschätzung lautet:<ref>{{Literatur|Autor=J. H. van Lint, R. M. Wilson |Titel=A Course In Combinatorics |Datum=2001 |Fundstelle=Th. 17.2, S. 186; Th. 17.3, S. 187}}</ref>
:<math>\frac{\left(n!\right)^{2n}}{n^{n^2}} \leq L(n) \leq \prod_{k=1}^n \left(k!\right)^{n/k}.</math>
Die Anzahlen der strukturell unterschiedlichen lateinischen Quadrate (d.&nbsp;h. die Quadrate sind nicht durch Drehung, Spiegelung, oder Permutation der Symbole identisch zu machen) bis zur Ordnung 7 bilden {{OEIS|A264603}}.

=== Reduzierte lateinische Quadrate ===
Ein lateinisches Quadrat heißt „reduziert“ oder auch „normalisiert“, wenn in der 1. Zeile und in der 1. Spalte die <math>n</math> verschiedenen Symbole in ihrer „natürlichen Reihenfolge“ stehen. In der Tripeldarstellung mit Zahlen als Symbolen bedeutet das:
<math>\{(1,1,1);(1,2,2);\ldots (1,n,n)\}\subset Q</math> für die erste Zeile und <math>\{(1,1,1);(2,1,2);\ldots (n,1,n)\}\subset Q</math> für die erste Spalte. Die Normalisierung eines beliebigen lateinischen Quadrates kann immer durch Vertauschungen von Zeilen und Spalten erreicht werden. Das Quadrat der Ordnung 3 in den Beispielen unten wird durch Vertauschen der 2. mit der dritten Zeile normalisiert, das Quadrat der Ordnung 4 ist bereits reduziert.

Die Anzahlen <math>l(n)</math> reduzierter lateinischer Quadrate der Ordnung <math>n=1,2,3,\ldots</math> bilden {{OEIS|A000315}}. Für die Anzahl ''aller'' lateinischen Quadrate <math>L(n)</math> gilt <math>L(n)=n!\cdot (n-1)!\cdot l(n).</math><ref name="MaNes" />

=== Beispiele ===
Lateinische Quadrate der Ordnung 3 bzw. 4 in der Matrixdarstellung:
:<math>
\begin{bmatrix}
 1 & 2 & 3 \\
 3 & 1 & 2 \\
 2 & 3 & 1
\end{bmatrix}
\quad
\begin{bmatrix}
 1 & 2 & 3 & 4 \\
 2 & 3 & 4 & 1 \\
 3 & 4 & 1 & 2 \\
 4 & 1 & 2 & 3
\end{bmatrix}
</math>
Die Tripeldarstellung des linken Quadrates lautet: <math>\{(1,1,1);(1,2,2);(1,3,3);(2,1,3);(2,2,1);(2,3,2);(3,1,2);(3,2,3);(3,3,1)\}</math>. Würde man dort in der ersten Zeile die Zahlen 1 und 2 vertauschen, so würden das Tripel <math>(1,1,2)</math> (1. Zeile, 1. Spalte enthält 2) und das Tripel <math>(3,1,2)</math> (3. Zeile, 1. Spalte enthält 2) an zwei Stellen (Spalte und Zeichen) übereinstimmen und das Quadrat wäre kein lateinisches Quadrat mehr.

Es lässt sich leicht ein lateinisches Quadrat für eine beliebige gegebene Ordnung <math>n</math> angeben: Dazu verteilt man <math>n</math> verschiedene Symbole beliebig auf die erste Zeile des Quadrats. Die folgenden Zeilen füllt man nun sukzessive aus, indem man die jeweils vorangehende Zeile um eins nach rechts verschoben übernimmt. Das äußerste rechte Symbol der vorangehenden Zeile würde dabei aus dem Quadrat hinausfallen; stattdessen trägt man es in der neuen Zeile ganz links ein.

Das Beispiel der Ordnung 3 ist auf diese Art konstruiert, beim Beispiel der Ordnung 4 wurde statt der Verschiebung nach rechts in jeder Zeile nach links [[Zyklische Permutation|zyklisch vertauscht]]. Startet man bei dieser Konstruktion wie im gezeigten Beispiel mit einer sortierten ersten Zeile mit den Zahlen <math>1,2,\ldots n</math>, dann erhält man stets ein ''reduziertes'' lateinisches Quadrat, das sich als Verknüpfungstabelle der [[Restklassengruppe]] <math>\left(\Z /n\Z,+\right)</math> interpretieren lässt. Dazu müssen die eingetragenen Zahlen alle um 1 verringert werden.

=== Orthogonale lateinische Quadrate und MOLS {{Anker|MOLS}} ===
Zwei lateinische Quadrate <math>Q</math> und <math>R</math> heißen ''orthogonal'' (sie werden auch als [[Griechisch-lateinisches Quadrat|Griechisch-Lateinische-Quadrate]] oder ''Euler-Quadrate'' bezeichnet),<ref name="anderson" /><ref name="MaNes" /><ref>Diese Verwendung des Attributs „orthogonal“ hat nichts mit der im Artikel erläuterten englischen Bezeichnung „orthogonal array representation“ zu tun!</ref> wenn keine zwei von den <math>n^2</math> Paaren übereinstimmen, die entstehen, wenn man die Einträge von <math>Q</math> und <math>R</math> jeweils nebeneinander in ein neues quadratisches Schema <math>S</math> schreibt. In Matrixdarstellung:<ref>Formal korrekter aber weniger übersichtlich müssten die Einträge der Matrix ''S'' als Zahlenpaare geschrieben werden.</ref>
:<math>
Q:=\begin{bmatrix}
 3 & 2 & 1 \\
 2 & 1 & 3 \\
 1 & 3 & 2
\end{bmatrix}
\quad
R:=\begin{bmatrix}
 2 & 3 & 1 \\
 1 & 2 & 3 \\
 3 & 1 & 2
\end{bmatrix}
\longrightarrow
S=\begin{bmatrix}
 32 & 23 & 11 \\
 21 & 12 & 33 \\
 13 & 31 & 22
\end{bmatrix}
</math>

Die hier zur Matrix <math>S</math> kombinierten lateinischen Quadrate <math>Q</math> und <math>R</math> sind orthogonal. In diesem Fall nennt man das durch <math>S</math> repräsentierte Quadrat ein [[griechisch-lateinisches Quadrat]].
Die Anzahlen der Paare von orthogonalen lateinischen Quadraten der Ordnung <math>n=1,2,3,\ldots</math> bilden {{OEIS|A072377}}.

Für die Anwendung in der Geometrie ist folgender Satz wichtig:
: Sei <math>\mathfrak{L}</math> eine Menge von lateinischen Quadraten, der Ordnung <math>n\geq 2</math>, mit der Eigenschaft, dass zwei verschiedene lateinische Quadrate <math>L_1,L_2\in\mathfrak{L}</math> stets zueinander orthogonal sind. Dann enthält <math>\mathfrak{L}</math> höchstens <math>n-1</math> Elemente.<ref name="MaNes">Matoušek & Nešetřil, 8.3 ''Orthogonale lateinische Quadrate''.</ref>

{| class="wikitable float-right"
|+ (vermutete) maximale Anzahlen von MOLS
|- class="hintergrundfarbe5"
!Ordnung ''n''|| ''R(n)''
|-
| 0 || <math>\infty</math>
|-
| 1 || <math>\infty</math>
|-
| 2 || 1
|-
| 3 || 2
|-
| 4 || 3
|-
| 5 || 4
|-
| 6 || 1
|-
| 7 || 6
|-
| 8 || 7
|-
| 9 || 8
|-
| 10 || <math>{}\geq 2\; ({}=2?)</math>
|-
| 11 || 10
|-
| 12 || <math>{}\geq 5</math>
|-
| 13 || 12
|-
|}
Eine Liste von <math>n-1</math> paarweise orthogonalen lateinischen Quadraten der Ordnung <math>n</math> wird als ''vollständig'' bezeichnet. Die Folge <math>R(n)</math> der größtmöglichen Anzahlen von paarweise orthogonalen lateinischen Quadraten (''MOLS'' = ''mutually orthogonal Latin squares'') der Ordnung <math>n</math> ist {{OEIS|A001438}}, was über die Werte bis <math>n=13</math> bekannt ist, zeigt die Tabelle rechts, die Werte für 0 und 1 sind Konvention. Es gilt:
* Ist <math>n>4</math> und <math>R(n)\geq n-3</math>, dann ist <math>R(n)=n-1</math>, denn eine Liste von <math>n-3\geq 2</math> paarweise orthogonalen lateinischen Quadraten lässt sich stets vervollständigen.
* Für <math>n>6</math> ist <math>R(n)\geq 2</math>, für <math>n>52</math> ist <math>R(n)\geq 4.</math>
* Ist <math>p</math> eine [[Primzahl]] und <math>r\in \N</math>, dann ist <math>R(p^r)=p^r-1</math>.
* Bis heute ist nicht bekannt, ob es eine natürliche Zahl <math>n</math> gibt, die ''keine'' Primzahlpotenz ist und für die <math>R(n)=n-1</math> gilt.
* Für hinreichend große <math>n</math> ist <math>R(n)\geq n^{1/17}-2</math>, also ist <math>\lim_{n\to\infty} R(n)=\infty</math>.<ref>J. Dénes, A.D. Keedwell: ''Latin squares and their applications''. Acad. Press, 1974.</ref>
* Es gilt für <math>n,m\geq 3</math> immer <math>R(n\cdot m)\geq \min (R(n),R(m))</math>, denn aus einer Liste von <math>t</math> MOLS der Ordnung <math>n</math> und einer Liste von ''t'' MOLS der Ordnung <math>m</math> lässt sich stets eine Liste von <math>t</math> MOLS der Ordnung <math>n\cdot m</math> herstellen. Das Verfahren wird hier an einem trivialen<ref>Da <math>R(2)=1</math> ist, gehört die Matrix <math>A</math> zu keiner nichttrivialen Liste von MOLS.</ref> Beispiel demonstriert:
:: <math>
A=\begin{bmatrix}
 {\color{Red}1} & {\color{Blue}2} \\
 {\color{Green}2} & {\color{Cyan}1}
\end{bmatrix}\mathrel{\widehat{=}}
\begin{bmatrix}
 {\color{Red}0} & {\color{Blue}1} \\
 {\color{Green}1} & {\color{Cyan}0}
\end{bmatrix},\quad
B=\begin{bmatrix}
 1 & 2 & 3\\
 2 & 3 & 1\\
 3 & 1 & 2\\
\end{bmatrix}
</math>
::<math>
\longrightarrow
\begin{bmatrix}
   {\color{Red}0}  \cdot 3 +1 & {\color{Red}0}  \cdot 3 +2 & {\color{Red}0}  \cdot 3 +3
 & {\color{Blue}1} \cdot 3 +1 & {\color{Blue}1} \cdot 3 +2 & {\color{Blue}1} \cdot 3 +3\\
   {\color{Red}0}  \cdot 3 +2 & {\color{Red}0}  \cdot 3 +3 & {\color{Red}0}  \cdot 3 +1
 & {\color{Blue}1} \cdot 3 +2 & {\color{Blue}1} \cdot 3 +3 & {\color{Blue}1} \cdot 3 +1\\
   {\color{Red}0}  \cdot 3 +3 & {\color{Red}0}  \cdot 3 +1 & {\color{Red}0}  \cdot 3 +2
 & {\color{Blue}1} \cdot 3 +3 & {\color{Blue}1} \cdot 3 +1 & {\color{Blue}1} \cdot 3 +2\\
   {\color{Green}1}\cdot 3 +1 & {\color{Green}1}\cdot 3 +2 & {\color{Green}1}\cdot 3 +3
 & {\color{Cyan}0} \cdot 3 +1 & {\color{Cyan}0} \cdot 3 +2 & {\color{Cyan}0} \cdot 3 +3\\
   {\color{Green}1}\cdot 3 +2 & {\color{Green}1}\cdot 3 +3 & {\color{Green}1}\cdot 3 +1
 & {\color{Cyan}0} \cdot 3 +2 & {\color{Cyan}0} \cdot 3 +3 & {\color{Cyan}0} \cdot 3 +1\\
   {\color{Green}1}\cdot 3 +3 & {\color{Green}1}\cdot 3 +1 & {\color{Green}1}\cdot 3 +2
 & {\color{Cyan}0} \cdot 3 +3 & {\color{Cyan}0} \cdot 3 +1 & {\color{Cyan}0} \cdot 3 +2
\end{bmatrix}
=
\begin{bmatrix}
 {\color{Red}1}  & {\color{Red}2}  & {\color{Red}3}  & {\color{Blue}4}  & {\color{Blue}5}  & {\color{Blue}6}\\
 {\color{Red}2}  & {\color{Red}3}  & {\color{Red}1}  & {\color{Blue}5}  & {\color{Blue}6}  & {\color{Blue}4}\\
 {\color{Red}3}  & {\color{Red}1}  & {\color{Red}2}  & {\color{Blue}6}  & {\color{Blue}4}  & {\color{Blue}5}\\
 {\color{Green}4}& {\color{Green}5}& {\color{Green}6}& {\color{Cyan}1}  & {\color{Cyan}2}  & {\color{Cyan}3}\\
 {\color{Green}5}& {\color{Green}6}& {\color{Green}4}& {\color{Cyan}2}  & {\color{Cyan}3}  & {\color{Cyan}1}\\
 {\color{Green}6}& {\color{Green}4}& {\color{Green}5}& {\color{Cyan}3}  & {\color{Cyan}1}  & {\color{Cyan}2}\\
\end{bmatrix}
</math>

=== Magische Quadrate ===
Nach seiner Konstruktion sind bei einem griechisch-lateinischen Quadrat der Ordnung ''n'', wenn man die Zahlenpaare in geeigneter Weise bijektiv zu aufeinanderfolgenden natürlichen Zahlen umkodiert – z.&nbsp;B. <math>(j,k)\mapsto (j-1)\cdot n+k</math>  – alle Zeilensummen und Spaltensummen gleich, zum Beispiel kann man dem Quadrat ''S'' so das Quadrat <math>\hat{S}</math>
:<math>
S=\begin{bmatrix}
 32 & 23 & 11 \\
 21 & 12 & 33 \\
 13 & 31 & 22
\end{bmatrix}
\quad \longrightarrow\quad
\hat{S}=\begin{bmatrix}
 8 & 6 & 1 \\
 4 & 2 & 9 \\
 3 & 7 & 5
\end{bmatrix}
</math>
zuordnen, bei dem jede Zeile und jede Spalte die ''magische Summe'' <math>s=15</math> hat.

Ist in einem solchen Quadrat ''zusätzlich'' noch die Summe der beiden Diagonalen gleich der Zeilen- und Spaltensumme, dann spricht man von einem [[Magisches Quadrat|magischen Quadrat]].

== Anwendungen ==
=== Algebra: Lateinische Quadrate und Verknüpfungstafeln ===
[[Datei:Cayley table Group C5 RK01.svg|mini|Verknüpfungstafel der zyklischen Gruppe ''C''<sub>5</sub> als lateinisches Quadrat in Farbe. Das [[Neutrales Element|neutrale Element]] ist schwarz. Farbige Verknüpfungstafeln werden in der Online-Enzyklopädie zur Mathematik  ''[[MathWorld]]'' verwendet, wie auch solche in Graustufen<ref>[http://mathworld.wolfram.com/CyclicGroupC8.html MathWorld: Cyclic Group C_8] Die zyklische Gruppe ''C''<sub>5</sub> ist nicht enthalten, aber ''C''<sub>8</sub> zum Beispiel.</ref>]]

Die erste Abbildung links zeigt die vollständige Verknüpfungstafel der Gruppe  <math>C_5=\left(\Z /5\Z,+\right)</math>:
{| cellpadding="20" align="left"
|
{| border="2" cellpadding="5" align="center" style="text-align:center;"
|-
! style="background:#EFEFEF;"|<math>+</math>
! style="background:#EFEFEF;"|0
! style="background:#EFEFEF;"|1
! style="background:#EFEFEF;"|2
! style="background:#EFEFEF;"|3
! style="background:#EFEFEF;"|4
|-
! style="background:#EFEFEF;"|0
|0
|1
|2
|3
|4
|-
! style="background:#EFEFEF;"|1
|1
|2
|3
|4
|0
|-
! style="background:#EFEFEF;"|2
|2
|3
|4
|0
|1
|-
! style="background:#EFEFEF;"|3
|3
|4
|0
|1
|2
|-
! style="background:#EFEFEF;"|4
|4
|0
|1
|2
|3
|}
|
|}<br /><br />
<math>
\longrightarrow \left[\begin{array}{ccccc} 0&1&2&3&4\\ 1&2&3&4&0\\ 2&3&4&0&1\\ 3&4&0&1&2
\\ 4&0&1&2&3\end{array}\right]
\longrightarrow \left[\begin{array}{ccccc} 1&2&3&4&5\\ 2&3&4&5&1\\ 3&4&5&1&2\\ 4&5&1&2&3
\\ 5&1&2&3&4\end{array}\right]</math>

In der mittleren Matrix wurden die Zeilen- und Spaltenüberschriften, also die mit „+“ verknüpften Gruppenelemente, fortgelassen, damit stellt diese Matrix ein lateinisches Quadrat mit der Symbolmenge <math>\{0,1,2,3,4\}</math>, die für Restklassen üblich ist, dar. Addiert man zu jedem Eintrag 1, so entsteht ein lateinisches Quadrat mit der Standardsymbolmenge <math>\{1,2,3,4,5\}</math>. Hier ist dieses lateinische Quadrat normalisiert, weil die Gruppenelemente der Gruppe <math>C_5</math> für die Verknüpfungstabelle in ihrer „natürlichen Anordnung“ als Vielfache des erzeugenden Elementes 1 angeordnet waren und diese Gruppe [[Zyklische Gruppe|zyklisch]] ist.

Dabei muss beachtet werden, dass für die Elemente einer Gruppe oder Quasigruppe im Allgemeinen keine bestimmte Anordnung ausgezeichnet werden kann: Ist <math>S_n</math> die [[symmetrische Gruppe]] auf <math>n</math> Elementen, dann wird durch eine Permutation <math>\pi\in S_n</math>, die nacheinander auf die Zeilen und die Spalten der Verknüpfungstabelle (samt ihren Zeilen- bzw. Spaltenüberschriften) angewendet wird, aus der ursprünglichen Tabelle (links) eine andere gültige Verknüpfungstabelle der gleichen Gruppe, dabei ändert sich auch das der Gruppe zugeordnete lateinische Quadrat (rechts).

Formal und allgemeiner gilt: Ist <math>M=(M_{j,k})</math> ein lateinisches Quadrat der Ordnung <math>n</math> in der Matrixdarstellung, dann existiert eine Quasigruppe mit <math>n</math> Elementen, die – bei geeigneter Anordnung und Nummerierung ihrer Elemente – die Matrix <math>(M_{j,k})</math> als Inhalt ihrer Verknüpfungstabelle hat. Genau die lateinischen Quadrate <math>N=(N_{j,k})</math> die durch eine gleichartige Zeilen- und Spaltenpermutation <math>\pi\in S_n</math> und eine „Umnummerierung“ <math>\rho\in S_n</math> aus <math>M=(M_{j,k})</math> hervorgehen, für die also <math>N_{\pi(j),\pi(k)}=\rho\left(M_{j,k}\right) \,(1\leq j,k\leq n)</math> gilt, können als Verknüpfungstabellen dieser Quasigruppe aufgefasst werden.

* Wählt man die Anordnung der Elemente einer endlichen ''Loop'' <math>L</math>, also einer Quasigruppe mit einem zugleich links- und rechtsneutralen Element <math>e</math>, so, dass <math>e</math> als erstes Element in der Verknüpfungstafel auftritt und ordnet den Elementen in ihrer ansonsten beliebigen Anordnung der Zeile nach die Zahlen <math>1,2,\ldots \# L</math> zu, dann ist der Inhalt ihrer Verknüpfungstafel, mit den zugeordneten natürlichen Zahlen geschrieben, ein reduziertes lateinisches Quadrat der Ordnung <math>\# L</math>. (Die Zahl <math>\# L</math> steht für die [[Mächtigkeit (Mathematik)|Anzahl der Elemente]] von <math>L</math>).
* Eine Quasigruppe, die das lateinische Quadrat <math>M=(M_{j,k})</math> der Ordnung <math>n</math> als Inhalt ihrer Verknüpfungstafel hat, ist genau dann [[Kommutativgesetz|kommutativ]], wenn die Matrix <math>(M_{j,k})</math> [[Symmetrische Matrix|symmetrisch]] ist, wenn also <math>M_{k,j}=M_{j,k} \,(1\leq j,k\leq n)</math> gilt. Bei einer kommutativen Quasigruppe kann stets eine Nummerierung der Elemente gewählt werden, durch die der Inhalt der Multiplikationstabelle ein reduziertes lateinisches Quadrat ist. Dabei ist zu beachten, dass hier nur dann die erste Zeile des Quadrates in Übereinstimmung mit den Spaltenüberschriften der Verknüpfungstafel gebracht werden kann – und damit zugleich die erste Spalte mit den Zeilenüberschriften – wenn die Quasigruppe eine Loop ist.

=== Geometrie: Orthogonale lateinische Quadrate und endliche Ebenen {{Anker|Ebenenkonstruktion}} ===
Aus einer vollständigen Liste <math>\mathfrak{L}=\{L_1,L_2,\ldots L_{n-1}\}</math> von paarweise orthogonalen lateinischen Quadraten der Ordnung <math>n</math> lässt sich eine endliche [[affine Ebene]] der Ordnung <math>n</math> konstruieren und umgekehrt. Dabei geht man so vor:<ref name="MaNes" />
* Die Punktmenge besteht aus den Paaren natürlicher Zahlen von 1 bis <math>n</math>:
:: <math>\mathcal{P}=\{(j,k):1\leq j,k \leq n \}.</math>
* Jedes lateinische Quadrat <math>L_i\in \mathfrak{L},\; (1\leq i\leq n-1)</math> bestimmt eine Parallelenschar <math>R_i</math> der Ebene:
* Die Parallelenschar <math>R_i=\{g_{i,m}: 1\leq m \leq n-1\}</math> besteht aus den Geraden
:: <math>g_{i,m}=\{(j,k):\,  1\leq j,k \leq n\,\land \,(L_i)_{j,k}=m \}.</math>
* Dazu kommen zwei „Achsrichtungen“, <math>R_0=\{g_{0,m}: 1\leq m \leq n\}</math> und <math>R_n=\{ g_{n,m}: 1\leq m \leq n\}</math> mit den Geraden
:: <math>g_{0,m}=\{(j,m): 1\leq j \leq n\} \quad \mathrm{bzw.}\quad  g_{n,m}=\{(m,k): 1\leq k \leq n\}.</math>
* Die Geradenmenge ist die Vereinigungsmenge der so definierten Parallelenscharen: <math>\mathcal{G}=\bigcup_{i=0}^n R_i</math>.
Umgekehrt kann man in einer endlichen affinen Ebene der Ordnung ''n'' ein [[Ternärkörper|affines Koordinatensystem]] <math>(O,E_1,E_2)</math> wählen und den Punkten auf der ersten Achse, also den [[Ternärkörper]]elementen über eine – bis auf das Urbild ''n'' des Ursprungs ''O'' beliebige – Bijektion <math>\beta: \{1,2,\ldots n\} \rightarrow K=OE_1</math> Zahlen als „kombinatorische Koordinaten“ zuordnen, so dass
:<math>K=OE_1=\{\beta(1), \beta(2), \beta(3),\ldots \beta(n)=O \}</math> gilt.
Damit hat man für jeden Punkt der Ebene über die auf die Punktbasis <math>(O,E_1,E_2)</math> bezogene Koordinatendarstellung <math>(x,y)\in K^2=(OE_1)^2</math> ein eindeutiges Zahlenpaar <math>(\beta^{-1}(x),\beta^{-1}(y))=(j,k)\in \{ 1,2,\ldots n\}^2</math>. Jede der <math>n-1</math> Parallelenscharen außer den zwei Scharen parallel zu den Achsen bestimmt damit wie oben beschrieben ein lateinisches Quadrat und die so bestimmten Quadrate sind paarweise orthogonal. Ausgedrückt durch die – ebenfalls durch die Liste der orthogonalen lateinischen Quadrate bestimmte – ''Ternärverknüpfung T'' haben die Geraden dann die Geradengleichungen:
* <math>g_{0,m}: \; y=\beta(m)\; (1\leq m\leq n)</math>,
* <math>g_{n,m}: \; T(O,y,x)=x=\beta(m)\; (1\leq m\leq n)</math> und
* <math>g_{i,m}: \; T(\beta(i),y,x)=\beta(m)\Leftrightarrow (L_i)_{j,k}=m \land \beta(j)=x\land \beta(k)=y\; (1\leq m\leq n, 1\leq i\leq n-1).</math>

Weil jede endliche affine Ebene der Ordnung <math>n</math> eine [[projektive Ebene]] der gleichen Ordnung als projektiven Abschluss besitzt und jede endliche projektive Ebene so geschlitzt werden kann, dass eine endliche affine Ebene der gleichen Ordnung entsteht, gilt:

: Zu jedem <math>n\geq 2</math> gibt es genau dann eine projektive Ebene der Ordnung <math>n</math>, wenn es <math>n-1</math> paarweise orthogonale lateinische Quadrate der Ordnung <math>n</math> gibt.<ref name="MaNes" />

Wenn man die hier beschriebene Konstruktion mit einer ''unvollständigen'' Liste von <math>m</math> MOLS durchführt, erhält man eine [[Inzidenzstruktur]] mit <math>n</math> Punkten auf jeder Geraden und <math>m+2<n+1</math> Parallelenscharen, also ein sogenanntes <math>(m+2,n)</math>-[[Netz (Diskrete Mathematik)|Netz]].

==== Konstruktion von orthogonalen lateinischen Quadraten aus Ternärkörpern ====
Ist <math>(K,T,0,1)</math> ein endlicher [[Ternärkörper]], dann wird <math>K</math> für jedes <math>a\in K\setminus \{0\}</math> durch die Verknüpfung <math> x\star_a y = T(a,y,x) </math> zu einer Quasigruppe <math>(K,\star_a)</math>. Bei gleicher Anordnung der Elemente von <math>K</math> für die Multiplikationstabellen sind die lateinischen Quadrate zu zwei solchen Verknüpfungen <math>\star_a, \star_b</math> bei ''unterschiedlichen'' Faktoren <math>a\neq b;\, a,b\in K\setminus \{0\}</math> stets orthogonal zueinander. So erhält man durch einen Ternärkörper der Ordnung <math>n</math> stets eine vollständige Liste von <math>n-1</math> paarweise orthogonalen lateinischen Quadraten.

; Beispiele:
Der [[Restklassenkörper]] <math>K=\Z / 5\Z</math> ist ein Ternärkörper. Die Inhalte der Multiplikationstabellen für die oben beschriebenen Quasigruppenverknüpfungen <math>\star_a, a\in \{1,2,3,4\}</math> – da <math>K</math> ein Körper ist, gilt hier <math> x\star_a y = T(a,y,x) = x+a\cdot y</math> – lauten:
:<math>\left[\begin{array}{ccccc}0&1&2&3&4\\ 1&2&3&4&0\\ 2&3&4&0&1\\ 3&4&0&1&2
\\ 4&0&1&2&3\end{array}\right],\left[
\begin{array}{ccccc}0&2&4&1&3\\ 1&3&0&2&4
\\ 2&4&1&3&0\\ 3&0&2&4&1
\\ 4&1&3&0&2\end{array}\right],\left[
\begin{array}{ccccc}0&3&1&4&2\\ 1&4&2&0&3
\\ 2&0&3&1&4\\ 3&1&4&2&0
\\ 4&2&0&3&1\end{array}\right],\left[
\begin{array}{ccccc}0&4&3&2&1\\ 1&0&4&3&2
\\ 2&1&0&4&3\\ 3&2&1&0&4
\\ 4&3&2&1&0\end{array}\right].
</math>
Für die Standardnotation muss darin noch 0 durch 5 ersetzt werden, dann hat man damit eine Menge von 4 paarweise orthogonalen lateinischen Quadraten erzeugt. Analog lassen sich für jede Primzahlpotenz <math>p^r</math> über die entsprechenden Quasigruppenverknüpfungen <math>\star_a, a\in \mathbb{F}_{p^r}\setminus \{ 0 \} </math> im [[Endlicher Körper|endlichen Körper]] <math>\mathbb{F}_{p^r}</math> immer <math>p^r-1</math> paarweise orthogonale lateinische Quadrate bestimmen.

Jedes dieser lateinischen Quadrate beschreibt dann die [[Inzidenzrelation]] in einer der <math>p^r+1</math> Parallelenscharen der affinen Ebene über <math>\mathbb{F}_{p^r}</math> wie im vorigen Abschnitt dargestellt.

=== Mathematische Rätsel ===
* Die Frage, ob sich ein teilweise gefülltes Quadrat zu einem lateinischen Quadrat vervollständigen lässt, ist in der Sprache der [[Komplexitätstheorie]] ein [[NP-Vollständigkeit|NP-vollständiges]] Problem.<ref>Colbourn (1984).</ref>
* Ein lateinisches Quadrat der Ordnung 9 mit der Zusatzbedingung, dass in der Aufteilung in neun <math>3\times 3</math>-Quadrate in jedem dieser Quadrate alle Symbole jeweils genau einmal auftreten, führt zu dem Zahlenrätsel [[Sudoku]].

=== Besuche von Politikern und Informatikern ===
4 Politiker wollen 4 Informatiker besuchen. Jeder Politiker besucht an jedem von 4 Tagen genau einen Informatiker. Jeder Informatiker hat an jedem der 4 Tage genau einen Politiker zu Besuch. Nach den 4 Tagen hat jeder Politiker jeden Informatiker genau einmal besucht.

Dieser Ablauf kann mit einem lateinischen Quadrat der Ordnung 4 dargestellt werden. Die Zeilen stellen die Politiker, die Spalten stellen die Informatiker und die Farben stellen die Tage dar. Die Anzahl der Möglichkeiten für die Konstellationen der Besuche an den 4 Tagen ist gleich der Anzahl der lateinischen Quadrate der Ordnung 4 ({{OEIS|A002860}}). Es gibt also 576 mögliche Konstellationen.
{| class="wikitable"
|-
! colspan="2" rowspan="2"|
! colspan="4"|Informatiker
|-
!I1
!I2
!I3
!I4
|-
! rowspan="4"|Politiker
! P1
| style="background:#00FF00" |Tag 3
| style="background:#0000FF" |Tag 4
| style="background:#FFFF00" |Tag 2
| style="background:#FF0000" |Tag 1
|-
! P2
| style="background:#0000FF" |Tag 4
| style="background:#00FF00" |Tag 3
| style="background:#FF0000" |Tag 1
| style="background:#FFFF00" |Tag 2
|-
! P3
| style="background:#FF0000" |Tag 1
| style="background:#FFFF00" |Tag 2
| style="background:#0000FF" |Tag 4
| style="background:#00FF00" |Tag 3
|-
! P4
| style="background:#FFFF00" |Tag 2
| style="background:#FF0000" |Tag 1
| style="background:#00FF00" |Tag 3
| style="background:#0000FF" |Tag 4
|}

=== Statistische Versuchsplanung ===
Ein Agrarwissenschaftler möchte herausfinden, welche Düngerkonzentration die Erntemenge seiner Nutzpflanzen maximiert. Dazu unterteilt er sein Feld in vier mal vier einzelne Bereiche. In jedem der 16 Bereiche wird eine der vier Düngerkonzentrationen <math>A</math>, <math>B</math>, <math>C</math> oder <math>D</math> mit <math>D-C=C-B=B-A>0</math> verwendet. Allerdings sind die Anbaubedingungen auf den 16 Bereichen inhomogen. In <math>x</math>-Richtung nimmt das Gefälle immer weiter zu, während in <math>y</math>-Richtung der Boden immer tiefgründiger wird. Die beiden Blockfaktoren ''Hangneigung'' und ''Gründigkeit'' können neben der Düngerkonzentration ebenfalls Einfluss auf den Ernteertrag nehmen, worauf im Versuchsplan Rücksicht genommen werden muss.<ref>{{Internetquelle |autor=Claupein, Link, Mayus |url=https://www.uni-hohenheim.de/pflanzenbau/lehre/module/versuchswesen/Anlage%20von%20Feldversuchen%2002.04.2007.pdf |titel=Anlage und Durchführung von Feldversuchen |hrsg=Universität Hohenheim |datum=2007-04-02 |format=PDF |offline=1 |archiv-url=https://web.archive.org/web/20170223044253/https://www.uni-hohenheim.de/pflanzenbau/lehre/module/versuchswesen/Anlage%20von%20Feldversuchen%2002.04.2007.pdf |archiv-datum=2017-02-23 |abruf=2017-02-22}}</ref> Bei zwei Blockfaktoren und einem interessierenden Faktor eignet sich ein lateinisches Quadrat als Versuchsplan. Jeder der drei Faktoren weist vier Faktorstufen auf, womit in [[R (Programmiersprache)|R]] der folgende Versuchsplan mit der Funktion <code>design.lsd</code> aus dem Paket <code>agricolae</code> <ref>{{Internetquelle |autor=Felipe de Mendiburu |url=https://cran.r-project.org/web/packages/agricolae/index.html |titel=agricolae: Statistical Procedures for Agricultural Research |datum=2016-06-12 |abruf=2017-02-22}}</ref> erzeugt wird:
{| class="wikitable"
|-
!Bereich
!Zeile (Hangneigung)
!Spalte (Gründigkeit)
!Düngerkonzentration
|-
|1
|1
|1
|A
|-
|2
|1
|2
|C
|-
|3
|1
|3
|D
|-
|4
|1
|4
|B
|-
|5
|2
|1
|C
|-
|6
|2
|2
|A
|-
|7
|2
|3
|B
|-
|8
|2
|4
|D
|-
|9
|3
|1
|B
|-
|10
|3
|2
|D
|-
|11
|3
|3
|A
|-
|12
|3
|4
|C
|-
|13
|4
|1
|D
|-
|14
|4
|2
|B
|-
|15
|4
|3
|C
|-
|16
|4
|4
|A
|}
{| class="wikitable"
|-
!
!1
!2
!3
!4
|-
|1
|A
|C
|D
|B
|-
|2
|C
|A
|B
|D
|-
|3
|B
|D
|A
|C
|-
|4
|D
|B
|C
|A
|}

== Äquivalenzklassen lateinischer Quadrate {{Anker|Aequivalenz}} ==

Durch viele unterschiedliche Transformationen, die man auf ein lateinisches Quadrat anwenden kann, erhält man ein neues lateinisches Quadrat:
# Man kann das Quadrat (in der Matrixschreibweise) an der Hauptdiagonalen spiegeln, die Matrixdarstellung also transponieren,
# man kann die Zeilen und/oder Spalten des lateinischen Quadrates permutieren,
# man kann die eingetragenen Zahlsymbole bijektiv umbenennen,
# man kann das Quadrat „von unten nach oben“ lesen oder von „rechts nach links“...
Die in 4. genannten Transformationen sind Spezialfälle der Zeilen- bzw. Spaltenpermutationen.

Für die Anwendung wichtig und für das Zählen der möglichen lateinischen Quadrate einer festen Ordnung nützlich sind die nachfolgend beschriebenen Mengen von Transformationen, durch die jeweils eine Äquivalenklasseneinteilung auf der Menge aller lateinischen Quadrate der Ordnung <math>n</math> (mit Symbolen aus <math>\{1,2,\ldots,n\}</math>) eingeführt wird.

=== Parastrophie ===
Zwei lateinische Quadrate <math>Q_1,Q_2</math> heißen „parastroph“ zueinander, wenn sie in der OAR als Tripel durch eine Permutation <math>\pi\in S_3</math> auseinander hervorgehen, wenn also <math>(r,s,z)\in Q_1\Leftrightarrow \pi(r,s,z)\in Q_2</math> gilt.<ref name="ParaOperation">Formal: Die Permutationsgruppe <math>S_3</math> [[Gruppenoperation|operiert]] auf <math>\{1,2,\ldots n\}^3</math>, der Menge ''aller'' Tripel von positiven ganzen Zahlen bis ''n''. Dabei wird die OAR des ursprünglichen lateinischen Quadrates auf die OAR eines lateinischen Quadrates abgebildet, das auch mit dem Ausgangsquadrat übereinstimmen kann.</ref> Zum Beispiel vertauscht <math>\pi=(1,2)\in S_3</math> die Zeilennummer mit der Spaltennummer und entspricht damit in der Matrixdarstellung der Transposition. Jede Klasse von zueinander parastrophen lateinischen Quadraten enthält 1, 2, 3 oder 6 verschiedene lateinische Quadrate, dies ist eine Folgerung aus der [[Bahnformel]]. Siehe dazu auch [[Quasigruppe#Parastrophien]].

=== Isotopie ===
Zwei lateinische Quadrate heißen „isotop“ zueinander, wenn sie auseinander durch eine Kombination von Zeilen-, Spaltenpermutationen und bijektive Umbenennungen der Einträge hervorgehen. Die Anzahlen <math>a_n</math> der Isotopieklassen von lateinischen Quadraten der Ordnung <math>n</math> bilden {{OEIS|A040082}}. Siehe dazu auch [[Quasigruppe#Morphismen]].

=== Hauptklassen ===
Kombiniert man die Äquivalenzrelationen Parastrophie und Isotopie, so gelangt man zu einer neuen Äquivalenzklasseneinteilung, der Einteilung in die so genannten '''Hauptklassen'''. Zwei lateinische Quadrate gehören der gleichen Hauptklasse an, wenn sie durch eine Kombination von Parastrophie- und Isotopieoperationen ineinander umgewandelt werden können. In jeder Hauptklasse sind 1, 2, 3 oder 6 Isotopieklassen enthalten. Die Anzahlen <math>h_n</math> der Hauptklassen von lateinischen Quadraten der Ordnung <math>n</math> bilden {{OEIS|A003090}}.

== Geschichte ==
[[Datei:Latin Square Parker order 10.svg|mini|Ernest Tilden Parkers griechisch-lateinisches Quadrat der Ordnung 10, welches die Nicht-Existenz-Vermutung von Euler widerlegt.<ref>[[Martin Gardner]]: ''Mathematische Knobeleien'', dritte Auflage, [[Vieweg Verlag|Verlag Friedrich Vieweg Sohn]], [[Braunschweig]]/[[Wiesbaden]] 1984, ISBN 978-3-528-28321-6, S. 133.</ref>]]
Die ersten lateinischen Quadrate sind auf Amuletten und Ringen mit religiösem oder magischem Inhalt um das Jahr 1000 im arabischen und indischen Kulturkreis nachweisbar.<ref name="anderson">[https://vbn.aau.dk/ws/portalfiles/portal/13649565/R-2007-32.pdf L. D. Anderson, Chapter on the history of latin squares] (pdf), Universität Aalborg, veröffentlicht in ''The History of Combinatorics''</ref> Magische Quadrate sind schon länger bekannt und waren verbreiteter auf Amuletten. Das Buch Shams al-Ma'arif al-Kubra des arabischen Sufi [[Ahmad ibn 'Ali ibn Yusuf al-Buni]] (gestorben 1225) enthält viele lateinische und magische Quadrate. Sie haben dort astrologische Bedeutung und die Auswahl deutet darauf, dass er mathematische Konstruktionsmethoden für diese kannte (bzw. Konstruktionsmethoden für magische Quadrate ausgehend von lateinischen Quadraten, was auch schon in Indien bekannt war). Lateinische Quadrate finden sich auch im 13. Jahrhundert bei [[Ramon Llull]] und in einem indischen Buch von 1356 von [[Narayana Pandit]] (''Ganita-kaumudi'').

In der westlichen mathematischen Literatur tauchten lateinische Quadrate bei einem alten quadratischen Kartenanordnungsproblem auf, das sich bei [[Claude Gaspard Bachet de Méziriac]]  findet und von [[Jacques Ozanam]] in seine Sammlung aufgenommen wurde  (1723, Récréations mathématiques et physiques. Die analytische (mathematische)  Behandlung geschah erstmals bei Leonhard Euler,<ref>John T. E. Richardson, Who introduced Western mathematicians to Latin squares ?, British Journal for the History of Mathematics, Band 34, 2019, S. 95–103,  [https://www.tandfonline.com/doi/abs/10.1080/26375451.2019.1587998 Abstract]</ref> der 1779 in den Abhandlungen der Petersburger Akademie (veröffentlicht 1782,''Recherches sur une nouvelle espèce de quarrés magiques'') unter anderem das Problem der 36 Offiziere stellte: 36 Offiziere jeweils verschiedenen Rangs und verschiedenen Regiments sollten in einem 6x6 Quadrat angeordnet werden gemäß den Regeln für das lateinische Quadrat. Das Problem fragte im Wesentlichen nach zwei lateinischen Quadraten der Ordnung 6, die orthogonal sind. Euler fand keine Lösung (wie später gezeigt wurde gibt es auch keine), er fand aber eine Lösung für den Fall der Ordnung 7. Die Arbeit gab den lateinischen Quadraten ihren Namen (der Name stammte aus seiner Indizierung über lateinische und griechische Buchstaben beim Offiziersproblem, ließ er einen Index fallen ergab sich das Problem lateinischer Quadrate) und war der Beginn der Behandlung orthogonaler lateinischer Quadrate, wobei der Name nicht von Euler stammt. Euler konstruierte auch magische Quadrate aus lateinischen Quadraten, was allerdings schon in Indien bekannt war und in Europa von anderen Autoren vor Euler aufgegriffen worden war, so von [[Simon de La Loubère|La Loubère]] (1691), [[Philippe de La Hire|La Hire]] (1705), [[Joseph Sauveur]] (1710),<ref>Sauveur Construction générale des quarrés magiques, Mémoires de l’Academie Royales des Sciences, 1710, S. 92–138.</ref> der viele verschiedene lateinische Quadrate veröffentlichte (darunter drei gegenseitig orthogonale lateinische Quadrate der Ordnung 7). Magische Quadrate waren damals seit langem bekannt und von größerem Interesse als lateinische Quadrate und Euler hatte sich auch schon lange vorher mit ihnen befasst (1726 in seinen Notizbüchern und in einer längeren Abhandlung der Petersburger Akademie 1776, ''De quadratis magicis'').

Ein erstes Beispiel orthogonaler lateinischer Quadrate gab noch vor Euler der Koreaner [[Choi Seok-jeong]] Anfang des 18. Jahrhunderts.<ref name="choi">{{MacTutor|id=Seok-jeong, Choi}}</ref> Er fand ein orthogonales lateinisches Quadrat der Ordnung 9, scheiterte aber wie Euler bei der Ordnung 10.

Euler vermutete, dass es keine orthogonalen lateinischen Quadrate der Ordnung (4k+2) gibt, also auch keines der Ordnung 6 oder 10. [[Gaston Tarry]] fand 1900,<ref>Tarry, Le problème des 36 officiers, C. R. Assoc. Franc. Av. Sci., Band 29, 1900, S. 170–203.</ref> dass es keine der Ordnung 6 gibt (möglicherweise – nach einem Brief von Heinrich Schumacher an Carl Friedrich Gauß von 1842, der eine Lösung von [[Thomas Clausen (Astronom)|Thomas Clausen]] erwähnt- wurde das schon früher gefunden), allerdings fand [[Ernest Tilden Parker]] 1959 ein Gegenbeispiel für n=10 und Parker, [[Raj Chandra Bose]] und [[S. S. Shrikhande]] bewiesen 1960,<ref>Bose, Shrikhande, Parker, Canadian J. Math., Band 12, 1960, S. 189–203.</ref> dass es orthogonale lateinische Quadrate für alle <math>n \geq 10</math> gibt.<ref>[https://www.cut-the-knot.org/arithmetic/latin3.shtml#history Orthogonal latin squares], cut-the-knot</ref> Über die Anzahl zueinander orthogonaler lateinischer Quadrate (MOLS) für eine bestimmte Ordnung n bewies [[E. H. Moore]] 1896 (von H. F. MacNeish<ref>MacNeish, Euler squares, Annals of Mathematics, Band 23, 1922, S. 221–227.</ref> und anderen wiederentdeckt) dass deren Maximalzahl (n-1) ist. Solche vollständigen Systeme von MOLS sind äquivalent zu projektiven und affinen Ebenen der Ordnung n. Eine Erweiterung der Eulerschen Vermutung über die Existenz von orthogonalen lateinischen Quadrate über die Mindestanzahl von MOLS wurde ebenso wie die Eulersche Vermutung widerlegt.

Die Verwendung eines lateinischen Quadrats in einer Versuchsplanung geschah zuerst 1788 durch [[Francois Crettè de Palluel]] (er benutzte eines der Ordnung 4 zur Untersuchung der Winterfütterung von Schafen).<ref name="anderson" /><ref>Eine englische Übersetzung erschien schon 1790: On the advantage and economy of feeding sheep in the house with roots, Annals of Agriculture, Band 14, 1790, S. 51–55.</ref>

== Literatur ==
'''Fachartikel zu Einzelfragen'''
* {{Literatur
   |Autor=[[Charles Colbourn]]
   |Hrsg=
   |Titel=The complexity of completing partial latin squares
   |Sammelwerk=Discrete Applied Mathematics
   |Band=8
   |Ort=
   |Datum=1984
   |Seiten=25–30
   |DOI=10.1016/0166-218X(84)90075-1
  }}
'''Versuchsplanung und Designtheorie'''
* {{Literatur
   |Autor=Jürgen Bortz
   |Titel=Statistik für Human- und Sozialwissenschaftler
   |Auflage=6.
   |Verlag=Springer Medizin Verlag
   |Ort=Heidelberg
   |Datum=2005
   |ISBN=3-540-21271-X
  }}
* {{Literatur
   |Autor=Jürgen Bortz
   |Titel=Forschungsmethoden und Evaluation für Human- und Sozialwissenschaftler
   |Auflage=4
   |Verlag=Springer Medizin Verlag
   |Ort=Heidelberg
   |Datum=2006
   |ISBN=3-540-33305-3
  }}
* {{Literatur
   |Autor=[[Jeffrey H. Dinitz]], Douglas Robert Stinson
   |Hrsg=J. H. Dinitz und D. R. Stinson
   |Titel=A Brief Introduction to Design Theory
   |Sammelwerk=Contemporary Design Theory: A Collection of Surveys
   |Verlag=John Wiley & Sons
   |Ort=New York
   |Datum=1992
   |ISBN=0-471-53141-3
   |Kapitel=1
   |Seiten=1–12}}
* {{Literatur
   |Autor=Klaus Hinkelmann, Oscar Kempthorne
   |Titel=Design and Analysis of Experiments Set
   |Band=I und II
   |Auflage=2.
   |Verlag=John Wiley & Sons
   |Ort=New York
   |Datum=2008
   |ISBN=978-0-470-38551-7
   |Sprache=en
   |Online=[http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470385510.html Verlagsseite über das Buch]
   |Abruf=2012-02-28
  }}
'''Kombinatorik und Diskrete Mathematik'''
* {{Literatur
   |Autor=[[Jacobus Hendricus van Lint]], [[Richard M. Wilson]]
   |Titel=A Course in Combinatorics
   |Auflage=2.
   |Verlag=Cambridge University Press
   |Ort=Cambridge
   |Datum=2001
   |ISBN=0-521-80340-3
  }}
* {{Literatur
   |Autor=Jiří Matoušek, Jaroslav Nešetřil
   |Titel=Diskrete Mathematik
   |TitelErg=Eine Entdeckungsreise
   |Verlag=Springer
   |Ort=Berlin / Heidelberg / New York / ...
   |Datum=2002
   |ISBN=3-540-42386-9
   |Seiten=157 ff.
   |Kommentar=Lehrbuch, das wenig Vorkenntnisse – gehobene Schulmathematik bis 2. Semester Mathematikstudium – voraussetzt
   |Originaltitel=Invitation to Discrete Mathematics
   |Originalsprache=en
   |Übersetzer=Hans Mielke
   |Online=[http://d-nb.info/963555103/04 Online]
  }}
'''Programmierung'''
* {{Literatur
   |Autor=[[Donald E. Knuth]]
   |Hrsg=
   |Titel=Volume 4A: Combinatorial Algorithms, Part 1
   |Sammelwerk=[[The Art of Computer Programming]]
   |Auflage=1.
   |Verlag=Addison-Wesley
   |Ort=Reading MA
   |Datum=2011
   |ISBN=978-0-201-03804-0
   |Seiten=xv und 883ff
   |Sprache=en
   |Online=[http://www-cs-faculty.stanford.edu/~knuth/taocp.html Überblick über das Gesamtwerk]
   |Abruf=2012-02-28
  }}

== Weblinks ==
* {{MathWorld |id=LatinSquare |title=Latin Square}}
* {{EoM
   |Autor = V.M. Mikheev (originator)
   |Titel = Latin square
   |Url = http://www.encyclopediaofmath.org/
   |id = 15140}}
* {{EoM
   |Autor = V.M. Mikheev (originator)
   |Titel = Orthogonal Latin squares
   |Url = http://www.encyclopediaofmath.org/
   |id = 13031}}
* {{Internetquelle
   |autor=Lars Døvling Andersen
   |url=http://vbn.aau.dk/files/13649565/R-2007-32.pdf
   |titel=The History of Latin Squares
   |titelerg=Vorabdruck
   |werk=The History of Combinatorics
   |hrsg=Robin J. Wilson
   |datum=Dezember 2007
   |format=PDF; 1,2 MB
   |sprache=en
   |abruf=2012-02-28
   |kommentar=Geschichte der lateinischen Quadrate}}
* {{Internetquelle
   |autor=Hans Peter Gramatke
   |url=http://www.hp-gramatke.de/magic_sq/german/page0090.htm
   |titel=Eulersche Quadrate
   |titelerg=Exkurs
   |werk=Hans Peters mathematisch-technisch-algorithmisch-linguistisches Sammelsurium
   |datum=2003-04-02
   |abruf=2012-02-28
   |kommentar=private Seite mit Wissenswertem und Amüsantem über lateinische und magische Quadraten und einige Varianten}}
* {{Internetquelle
   |autor=Aale de Winkel
   |url=http://www.magichypercubes.com/Encyclopedia/DataBase/GeneralSpreadsheets.html
   |titel=The Magic Encyclopedia
   |datum=2001-01-08
   |abruf=2012-02-28
   |kommentar=Tabellenkalkulationsprogramme ([[Microsoft Excel]]) zur Generierung von magischen und lateinischen Quadraten}}

== Einzelnachweise ==
<references />

{{Normdaten|TYP=s|GND=4166852-2|LCCN=sh86004966}}

[[Kategorie:Kombinatorik]]
[[Kategorie:Endliche Geometrie]]