Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Last night I taught an algebra tutorial, and while writing out the multiplication table for the units of $\mathbb{Z}/5\mathbb{Z}$, a student remarked that it looked like a sudoku puzzle. I noted that it was similar, as the rows and columns all satisfy the sudoku condition, however the 2 by 2 sub-squares do not. The reason I gave is that multiplication is commutative in this group, and so the squares along the diagonal are symmetric. Afterwards I realized that there is an even simpler reason which excludes the possibility of nonabelian groups having multiplication tables which are sudoku squares: the identity element always messes up one of the sub-squares along the diagonal. This leads to the natural question: do there exist associative sudoku squares of side length $n^2$? (Meaning interpret the sudoku square as defining a binary operation on the integers $1$ through $n^2$. Is this binary operation ever associative? Of course I care about when $n > 1$ as $n = 1$ is clear.)

share|improve this question
add comment

1 Answer

up vote 13 down vote accepted

If we are not obligated to keep the same order in rows and columns of the table, the answer is yes, and the group can be chosen to be commutative. For example the group $G=\left(\mathbb{Z}/(n\mathbb{Z})\right) ^{\times2}$,
the order of columns: $(1,1), (1,2), \dots, (1,n), (2,1), \dots, (n,n)$,
the order of rows: $(1,1), (2,1), \dots, (n,1), (1,2), \dots, (n,n)$.

Otherwise, the answer is no for any $n>1$, because in any table of this type both $a\cdot 1$ and $1\cdot a$ are in the same $n\times n$ square for some $a\in G$.

Edit: If this operation doesn't need to define a group, then the answer is no too. Here is the proof.
Suppose $G$ is $\{1,\dots,n^2\}$ endowed with some associative operation and suppose, that the table of this operation is a sudoku table. Take any $x\in G$. In $x$-th line of the table we can find element $x$. Therefore $xy=x$ for some $y\in G$. Then take $a\in G$, such that $a\neq y$ and $ay$ and $ya$ are in the same square of the table. We have $(xy)a=x(ya)$ and, therefore $xa=x(ya)$. Using, that there is only one place in $x$-th line of the table, where we can find $xa$, we see that $a=ya$. From this we have $a(ya)=(ay)a$, $aa=(ay)a$ and $a=ay$. Therefore $ay=a=ya$ and the table is not a sudoku table.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.