Congruence lattice of direct power of Steiner seven element quasigroup The Steiner seven element quasigroup is the algebra $\mathbf{S}_7 = \langle S_7, \cdot \rangle$, where $S_7 = \{ 1,2,3,4,5,6,7 \}$, and, up to isomorphism, its multiplication table is the one given here.
The defining identities for the variety of Steiner quasigroups are
$$x \cdot x \approx x, \quad x \cdot y \approx y \cdot x, \quad x \cdot (x \cdot y) \approx y.$$
From these, it is possible to deduce that members of this variety have uniform congruences, that is, for each congruence relation, all the classes have the same cardinality.
One consequence of the uniformity of congruences is that, if a finite algebra $\mathbf{A}$ has a prime number of elements, then that algebra is simple (that is, its only congruences are $\Delta_A = \{ \langle a,a \rangle : a \in A \}$ and $\nabla_A = A^2$).
So in particular, $\mathbf{S}_7$ is simple.
Now, I' like to prove that the congruence lattice of $\mathbf{S}_7^2$ has precisely four elements (and I know, indirectly, that this is so; I could say why, if someone finds it can be helpful).
The elements would be 
$$\Delta_{S_7^2}, \ker\pi_1, \ker\pi_2, \nabla_{S_7^2},$$
where $\pi_i$ is the $i$th projection of $\mathbf{S}_7^2$ onto $\mathbf{S}_7$.
These four elements are certainly members of the congruence lattice, and if $\theta$ is another congruence, given its uniformity and the fact that the divisors of $|S_7^2| = 49$ are $1$, $7$ and $49$, then $\theta$ ought to have seven congruence classes, each with seven elements;
from this, it follows that $\theta \cap \ker\pi_i = \Delta_{S_7^2}$ and $\theta \vee \ker\pi_i = \nabla_{S_7^2}$.  
A consequence of these later identities and the uniformity of congruences is that, if we lay the elements of $S_7^2$ in a table with seven rows and seven columns, such that, in each each row the first coordinate is constant and in each column the second coordinate is constant, then each congruence class of $\theta$ picks precisely a member from each row and each column (thus, no two members of the same row or column).
Then I tried to derive some contradiction from this (using the product to conclude that eventually, we would get two elements of the same row or column in the same congruence class), and that might be possible, but after a few pages of calculations I thought there must be a better way, a more clever way.
Any hints?
Thanks in advance.
 A: Background comments.
The $7$-element Steiner quasigroup $\mathbb S$ is built out of the 
Fano plane, $\textrm{PG}(2,2)$. This is the projective
plane over the $2$-element field,
as such it has seven points and seven $3$-element lines.
The multiplication of the Steiner quasigroup
$\mathbb S = \langle \textrm{PG}(2,2); \cdot\rangle$
is defined so that
$p\cdot p = p$
for every point $p$ (which says that
$\mathbb S$ is idempotent),
and if $p\neq q$ the product $p\cdot q$ =
is the third point on the line through $p$ and $q$. That is,
$\{p, q, p\cdot q\}$ is either a singleton or a line.
$\textrm{PG}(2,2)$ and $\mathbb S$ have the same automorphism
group: both automorphism groups are equal to the group of permutations of
$\textrm{PG}(2,2)$ which map points to points,
lines to lines and preserve incidence. The equality
of these groups derives from the fact that
the lines are exactly the subsets of the form 
$\{p, q, p\cdot q\}$, $p\neq q$.
Thus $\textrm{Aut}(\mathbb S)=
\textrm{Aut}(\textrm{PG}(2,2))=
\textrm{PGL}(3,2)$ = the nonabelian simple group
of order $168$.
End of background comments.

The fact that $\mathbb S\times \mathbb S$ has no skew
congruence follows from:
Observation. If $\mathbb T$ is a finite simple algebra in
an idempotent,
congruence uniform variety,
and $\mathbb T\times \mathbb T$ has a skew
congruence, then $\textrm{Aut}(\mathbb T)$ has a regular
normal subgroup.
[This observation establishes that $\mathbb S\times \mathbb S$ has no
skew congruence, since a regular normal subgroup of
$\textrm{Aut}(\mathbb S)=\textrm{PGL}(3,2)$ would be of order $|S|=7$,
and a simple group of order $168$ cannot have a normal subgroup
of order $7$.]
Proof of the Observation.
Let $\Theta$ be a skew congruence on $\mathbb T\times \mathbb T$.
Let the partition of $T\times T$ into $\Theta$-classes 
be $\Pi_{\Theta}=\{\alpha,\beta,\gamma,\ldots\}$.
As noted in the original question, any class of $\Theta$
is a subset of $T\times T$ that contains one element of every
row and column, that is, each $\alpha\in\Pi_{\Theta}$ is the graph of a
permutation of $T$. Because $\mathbb T\times \mathbb T$ is idempotent, 
congruence
classes are subalgebras, so each $\alpha\in\Pi_{\Theta}$ is
in fact the graph of an automorphism of $\mathbb T$.
(Here I am using that an automorphism of $\mathbb T$
is nothing other than a permutation of $T$ whose graph is a subalgebra of 
$\mathbb T\times \mathbb T$.)
If $\lambda,\mu\in\textrm{Aut}(\mathbb T)$, then
$\lambda\times \mu:(x,y)\mapsto (\lambda(x),\mu(y))$
is an automorphism of $\mathbb T\times \mathbb T$,
and $(\lambda\times\mu)(\Theta)$ is another skew congruence
of $\mathbb T\times \mathbb T$.
Its associated partition is
$$
\Pi_{(\lambda\times\mu)(\Theta)} = \{\mu\alpha\lambda^{-1},\mu\beta\lambda^{-1},\ldots\}.
$$
In particular, 
$\Theta'=(\alpha\times\textrm{id})(\Theta)$ is another
skew congruence of $\mathbb T\times \mathbb T$, and its partition is
$\Pi_{\Theta'}
=\{\textrm{id},\beta\alpha^{-1},\ldots\}$. This
partition contains a class that is (the graph of) 
$\textrm{id}$, hence $\Theta'$ is another skew congruence
of $\mathbb T\times \mathbb T$, but it is nicer in the sense that
it has the diagonal as a class.
Let's rewrite its partition as
$\Pi_{\Theta'}=\{\textrm{id}, \alpha',\beta',\ldots\}$.
I complete the argument by showing that the set
of automorphisms $\Pi_{\Theta'}=\{\textrm{id}, \alpha',\beta',\ldots\}$
is a regular normal subgroup of
$\textrm{Aut}(\mathbb T)$.
The partition associated to $\Theta'$ is 
$\Pi_{\Theta'}=\{\textrm{id}, \alpha',\beta',\ldots\}$, so
the partition associated to the skew congruence
$(\textrm{id}\times\alpha')(\Theta')$ is
$\{\alpha',\alpha'\cdot\alpha',
\alpha'\cdot\beta',\ldots\}$, which shares a class $\alpha'$
with
$\Pi_{\Theta'}=\{\textrm{id}, \alpha',\beta',\ldots\}$,
so by congruence uniformity they are equal.
This shows that $\alpha',\beta'\in
\Pi_{\Theta'}$ implies 
$\alpha'\cdot\beta'\in\Pi_{\Theta'}$.
Similarly, if $\lambda\in\textrm{Aut}(\mathbb T)$,
then the partition associated to the skew congruence
$(\lambda\times \lambda)(\Theta')$ is
$\{\textrm{id}, \lambda\alpha'\lambda^{-1},\lambda\beta'\lambda^{-1},\ldots\}$,
which shares a class $\textrm{id}$ with $\Pi_{\Theta'}$,
hence we conclude the partitions are equal.
Altogether this shows that the set
$\Pi_{\Theta'}=\{\textrm{id}, \alpha',\beta',\ldots\}$
is closed under multiplication and conjugation, so it
is a normal subgroup of $\textrm{Aut}(\mathbb T)$.
The regularity of this subgroup is equivalent to the fact
that the set $\Pi_{\Theta'}=
\{\textrm{id}, \alpha',\beta',\ldots\}$ partitions $T\times T$. \\\
A: This answer uses exercises 1-3 of Chapter 8 of Commutator Theory for Congruence Modular Varieties by Freese and McKenzie. I use the notation $0_A$ for the bottom congruence of an algebra $\mathbf{A}$ and $1_A$ for the top. 
First note that $[1_{S_7},1_{S_7}]=1_{S_7}$ since $\mathbf{S}_7$ is not abelian. Thus $\mathrm{Con}(\mathbf{S}_7)$ satisfies $[\theta,\phi]=\theta\wedge\phi$ for all $\theta,\phi\in\mathrm{Con}(\mathbf{S}_7)$. Such algebras are called neutral.
By exercise 2, the product $\mathbf{S}_7\times\mathbf{S}_7$ is neutral as well.
By exercise 1, the congruence lattice $\mathrm{Con}(\mathbf{S}_7\times\mathbf{S}_7)$ is distributive.
Now, if $\theta\in\mathrm{Con}(\mathbf{S}_7\times\mathbf{S}_7)$ and $\eta_1,\eta_2$ are the two projection kernels, then $\theta=\theta\vee(\eta_1\wedge\eta_2)=(\theta\vee\eta_1)\wedge(\theta\vee\eta_2)$. Thus $\theta$ is of the form $\phi\times\psi$ where $\phi,\psi\in\mathrm{Con}(\mathbf{S}_7)$. (This idea is used in the solution to exercise 3.)
