Abstract
The problem of Euler/Tarry concerning 36 officers can be formulated in mathematical terms: Can a latin square of order 6 have an orthogonal square, or equivalently, are there 6 pairwise disjoint transversals? This was first answered (in the negative) by Tarry (1900/01). We prove the following Theorem: If a latin square of order 6 admits a reflection, i. e. an automorphism of order two which fixes the main diagonal elementwise, then it has no orthogonal square. We list the 12 isomorphism types of latin squares of order 6 and see: they all admit such a reflection. So we get a solution of the Euler problem without the tedious task of tracing the transversals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Recalling some notions
We recall Euler’s 36 officers Problem: Can 36 officers, drawn from 6 different ranks and also from 6 different regiments, be ranged in a square so that in each line (both horizontal and vertical) there are 6 officers of different rank and different regiments?
This was a famous problem at Euler’s time, and Euler wrote a paper concerning it, Euler (1782). The first proof of the non-existence was by Tarry (1901), so we may call this problem now the Euler/Tarry problem. The problem can be formulated in mathematical terms by the existence of a MOL(6) (a pair of orthogonal latin squares LQ(6) of order 6), Denes and Keedwell (1974). Further proofs for the non-existence were given, also very short ones, (Betten 1983; Beth et al. 1985; Stinson 1984).
We give an example (Fig. 1): In each cell of the \((6\times 6)\)-array, there is a pair of numbers. We call the first number the digit (corresponding to the rank) and the second number the transversal (corresponding to the regiment).
We can describe this as an incidence structure on 24 variables with 4 subsets of order 6 (the 6-blocks) and 36 subsets of order 4 (the 4-blocks), Fig. 2. The four 6-blocks are \(R=\{r_1,r_2,\ldots ,r_6\}\) (the six rows), \(C=\{c_1,c_2,\ldots ,c_6\}\) the six columns, \(D=\{d_1,d_2,\ldots ,d_6\}\) (the six digits) and \(T=\{t_1,t_2,\ldots ,t_6\}\) (the six transversals). Each 4-block has the form \((r,c,d,t), r\in R, c\in C, d\in D, t\in T\). The main condition is: each pair of distinct variables in on exactly one block.
In the last line of the first figure we had to put two question marks since a MOL(6) does not exist. We also marked a special 4-block \((r,c,d,t)=(2,4,3,5)\). This can be seen in Fig. 2 as the 4-block with O instead of X.
In the standard notation (Fig. 1) the sets of rows R and columns C are distinguished: they define the \((6\times 6)\)-array, where the 36 pairs \((d,t) \in D \times T \) are inserted. But in the notation of Fig. 2 (linear space on 24 variables) none of the four sets R (first 6-tuple), C (second 6-tuple), D (third 6-tuple) and T (fourth 6-tuple) is preferred. Here one can also see the four latin squares of order 6, which are contained in the MOL(6): these are the restrictions to the sets \(R\cup C \cup D, R\cup C \cup T, R \cup D \cup T\) and \( C\cup D \cup T\).
The notion of isomorphism:
We call two latin squares \(V_1=R_1\cup C_1\cup D_1\) and \(V_2=R_2\cup C_2 \cup D_2\) isomorphic if there is a bijection \(\varphi : V_1 \rightarrow V_2\) which maps blocks to blocks. If \(\varphi \) maps rows to rows, columns to columns and digits to digits, we get 22 types, called the isotopy types in Colbourne and Dinitz (1996). But if in the general case, the map \(\varphi \) is allowed to permute the three sets R, C and D, then the number of types is 12. These are the isomorphism types as linear spaces, called the main types in Colbourne and Dinitz (1996).
2 The 12 latin squares LQ(6) of order 6
For each pair of rows of a given latin square of order 6 there are four permutations possible. We describe the permutations by their cycle distribution and abbreviate these by 6, 2, 4 and 3:
In Betten (1984) we proved that each LQ(6) has up to isomorphism a pair of type 3, and using this, we gave a quick classification of the 12 isomorphism types of latin squares LQ(6). These 12 squares also occur in Betten and Betten (2001) where we classified linear spaces with 18 points. In the following list we give the 12 types of LQ(6) together with some invariants.
Definition of \(\mu _3\): A latin square LQ(6) is defined on a \((6\times 6)\)-array having 6 rows r and 6 columns c. On each position \((r,c), r,c \in \{1,2,3,4,5,6\}\) there is given a digit \(d \in \{1,2,3,4,5,6\}\). So the latin square corresponds to a 36-element subset L of the 3-dimensional cube \(\{(r,c,d), r,c,d \in \{1,2,3,4,5,6\}\}\) with edge length 6 and \(6^3=216\) elements. These 36 elements must be chosen suitably so that the conditions for a latin square are fulfilled. We now consider subcubes with edge length 3, each defined by a triple \(1 \le r_1< r_2 < r_3 \le 6\) of rows, a triple \(1 \le c_1< c_2 < c_3 \le 6\) of columns , and a triple \(1 \le d_1< d_2 < d_3 \le 6\) of digits. Let \(\Sigma \) be the set of these subcubes, \(|\Sigma |= {6 \atopwithdelims ()3}^3 = 8000\). For each \(W \in \Sigma \) we determine the number \(|W\cap L|\), i.e., the number of elements of the latin square which are contained in W. We now set
The first 4 squares have \(\mu _3=9\). The squares no 5–7 have \(\mu _3=8\) and are derived from numbers 1 to 3 by rotating the 4 central elements by 90\(^\circ \). No. 7–12 have \(\mu _3=7\).
We define \(\lambda \) as the number of sub-LQ(2), and \(\tau \) is the number of transversals.
Then all permutations of pairs of rows, pairs of columns and pairs of digits are given. Let A be the automorphism group and I the inner group (which maps rows to rows, columns to columns and digits to digits) then we give the orders |A|, and |A/I| and the type of the quotient group A/I which permutes the three dimensions (rows, columns and digits). We give also the numbers in the list of Tarry and in the list of Fisher Yates.
No. | (\(\mu _3\), \(\lambda \), \(\tau \)) | |A| | |I| | A/I | Permutations | Ta | \(Fi-Ya\) |
---|---|---|---|---|---|---|---|
1 | (9, 27, 0) | 1296 | 216 | \(S_3\) | \(\left[ 3^{6} 2^{9}\right] ^{3}\) | 1 | 17 |
2 | (9, 9, 0) | 432 | 72 | \(S_3\) | \(\left[ 6^6 3^6 2^3 \right] ^3\) | 7 | 13 |
3 | (9, 9, 0) | 72 | 36 | \(C_2\) | \(\left[ 4^9 3^6\right] ^2 \left[ 6^6 3^6 2^3 \right] \) | 6, 12 | 11, 12 |
4 | (9, 0, 0) | 648 | 108 | \(S_3\) | \(\left[ 3^6 6^9 \right] ^3\) | 16 | 14 |
5 | (8, 19, 0) | 48 | 8 | \(S_3\) | \(\left[ 6^44^43^22^5 \right] ^3\) | 2 | 7 |
6 | (8, 9, 32) | 144 | 24 | \(S_3\) | \(\left[ 6^63^62^3 \right] ^3\) | 7 bis | 10 |
7 | (8, 5, 8) | 8 | 4 | \(C_2\) | \(\left[ 6^84^53^2 \right] ^2 \left[ 6^84^23^42 \right] \) | 10, 14 | 1, 2 |
8 | (7, 15, 24) | 240 | 120 | \(C_2\) | \(\left[ 4^{15}\right] ^2\left[ 3^{10}2^5\right] \) | 3, 11 | 15, 16 |
9 | (7, 15, 0) | 24 | 12 | \(C_2\) | \(\left[ 6^64^62^3\right] ^2\left[ 6^24^63^42^3\right] \) | 4, 5 | 8, 9 |
10 | (7, 11, 8) | 24 | 4 | \(S_3\) | \(\left[ 6^44^83^22\right] ^3\) | 8 | 4 |
11 | (7, 7, 8) | 16 | 8 | \(C_2\) | \(\left[ 6^84^7\right] ^2\left[ 6^44^43^62\right] \) | 9, 13 | 5, 6 |
12 | (7, 4, 8) | 24 | 4 | \(S_3\) | \(\left[ 6^94^43^2\right] ^3\) | 15 | 3 |
3 Reflections
Let M be a MOL(6) given as a linear space on \(R \cup C \cup D \cup T\), and let L the sub-LQ(6) defined by the linear space on \(R \cup C \cup D\), then:
Theorem 1
Each collineation of L extends uniquely to a collineation of M, mapping T to itself. Conversely, each collineation of M, which maps T to T, induces a collineation of L.
Proof
Each 3-block of L extends uniquely to a 4-block of M. Each collineation \(\varphi \) of L maps each transversal of L to another transversal, and each disjoint pair of transversals to a disjoint pair. Therefore \(\varphi \) induces a bijection of T and hence a bijection of the point set \(R \cup C \cup D \cup T\) of M. Since \(\varphi \) is a collineation of L and maps 3-blocks of L to 3-blocks of L, and since each 3-block extends uniquely to a 4-block of M, it follows that the extension of \(\varphi \) maps 4-blocks of M to 4-blocks of M. This means that the extension of \(\varphi \) is a collineation of M mapping T to T.
If, conversely, a collineation of M maps T to T, then it maps also \(R \cup C \cup D\) to \(R \cup C \cup D\) and restricts therefore to a collineation of L. \(\square \)
Theorem 2
Let L be a latin square of order 6 which admits a collineation \(\sigma \) with the property: \(\sigma \) fixes the main diagonal H elementwise and defines a reflection with respect this diagonal. Then L has no orthogonal latin square.
Proof
We suppose, by contradiction, that there exists an orthogonal square, in other words, that L has 6 pairwise disjoint transversals. So we have a MOL(6) and by Theorem 1 the collineation \(\sigma \) is also a collineation of this MOL(6).
(a) There exists no transversal S which intersects the diagonal H in exactly one element. Proof: Since this element is fixed under \(\sigma \), and since there is exactly one transversal through this element, the transversal S is invariant under \(\sigma \). There are 5 points of S in the complement of H and this set is also invariant under \(\sigma \). But this set cannot be split into an equal number of points left of H and right of T since 5 is odd, a contradiction.
(b) The action of \(\sigma \) on the set D of 6 digits has at most two transpositions. Proof: Assume there are 3 transpositions, then none of the 6 digits can occur on H, since the elements of H are fixed, a contradiction.
(c) There exists no transversal S which is invariant under \(\sigma \) and disjoint to H.
Proof: Assume there is an invariant transversal S disjoint to H. Since \(\sigma \) is a reflection with respect to H, the 6 disjoint digit values of S distribute as follows: There are 3 values left side of H (say 1, 2, 3) and three values right side of H (say 4, 5, 6). Therefore the reflection \(\sigma \) defines three transpositions, a contradiction to b).
Since by (a) no transversal intersects H in one element, all intersections of transversals with H have at least 2 elements. Therefore the intersection lengths which partition H are (2 + 4) or (2 + 2 + 2) or (3 + 3) or (6).
Case (2 + 4): If the digits on H are, say, 1, 1 and 2, 2, 2, 2, then a transversal through a digit 1, which intersects H not in 1 alone intersects H in a point 2. The transversal through the second 1 intersects in a second point 2. There remain two points with digit 2. A transversal through one of them cannot contain the second, therefore it intersects H in only this point. Now we can apply (a) and have a contradiction.
Case (2 + 2 + 2): Let the digits be 1, 1, 2, 2, 3, 3, then they have the transversals (second number) 11, 12, 21, 23, 32, 33, so H is met by three transversals. In the complement of H are three transversals, and since \(\sigma \) has order 2, one of these transversals is invariant. This is a contradiction to (c).
Case (3 + 3): The digits 1, 1, 1, 2, 2, 2 get the transversals 11, 12, 13, 21, 22, 23 and we get again 3 transversals in the complement of H, a contradiction to (c).
Case (6): Here the 6 digits 1, 1, 1, 1, 1, 1 get the transversals 11, 12, 13, 14, 15, 16 and this is a contradiction to (a). So in all cases we get a contradiction and the theorem is proved. \(\square \)
Theorem 3
For the latin squares no 1–no 12 there exists no orthogonal square.
Proof
One easily checks, using the list, that each of the 12 squares has a reflection with respect to the main diagonal H. Therefore by Theorem 2 there exists no orthogonal square. \(\square \)
Corollary 1
There exists no MOL(6). \(\square \)
References
Beth, Th., Jungnickel, D., Lenz, H.: Design Theory, Bibl. Inst. Mannheim, Wien, Zürich (1985)
Betten, A., Betten, D.: Proper Linear Spaces on 18 Points. In: Proc. Eur. Conf. Alg. Comb. Appl., ed. A. Betten et al. Gössweinstein, 1999, Springer, pp. 40–54 (2001)
Betten, D.: Zum Satz von Euler-Tarry. Der Math. Naturwissenschaftliche Unterricht 36, 449–453 (1983)
Betten, D.: Die 12 lateinischen Quadrate der Ordnung 6. Mitteilungen Math. Sem. Giessen 136, 181–188 (1984)
Betten, D.: The Reye configuration in a MOL(6). Mitt. Math. Ges. Hamburg 39, 59–76 (2019)
Betten, D., Braun, M.: A tactical decomposition for incidence structures. Ann. Discr. Math. 52, 37–43 (1992)
Colbourne, C.J., Dinitz, J.H.: The CRC Handbook of Combinatorial Designs. CRC Press, Boca Raton, New York, London, Tokyo (1996)
Denes, J., Keedwell, A.D.: Latin Squares and Their Applications. English University Press, London (1974)
Euler, L.: Recherches sur une nouvelle espece des quarres magiques, Leonardi Euleri opera, ser. I, vol. 7, pp. 291–392, Leipzig, Berlin: Teubner, 1923 (1782)
Fisher, R.A., Yates, F.: The 6x6 Latin squares. Proc. Cambridge Phil. Soc. 30, 492–507 (1934)
Stinson, D.R.: A short proof of the Nonexistence of a Pair of Orthogonal Latin Squares of Order Six. J. Comb. Theory A 36, 373–376 (1984)
Tarry, M.G.: Le probleme des 36 officiers. Comptes Rend. Ass. Franc. Sci. Nat. 2, 170–203 (1901). [1 (1900) ]
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Betten, D. The problem of Euler/Tarry revisited. Beitr Algebra Geom 62, 815–821 (2021). https://doi.org/10.1007/s13366-020-00547-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-020-00547-y