Following is the diagram I used in one of the emails to W. McWorter as an argument in support of the claim that there must exist some kind of factorization that leads to a variety of finite quasigroups.
It's not at all obvious (and in fact, at the time, it was not obvious to
me) what that diagram had to do with the claim. In hindsight, I can see
three elements, say, a1, b1, c1, such that
It's to Professor McWorter's credit that he developed the right idea from a vague representation of an obscure intuition.
Copyright © 1996-2001 Alexander Bogomolny