# Small partial Latin squares that embed in an infinite group but not into any finite group

Suppose that Y_{1},Y_{2},Y_{3} are finite sets and
P⊆ Y_{1}× Y_{2}× Y_{3}. We say that P embeds in a group
G if there exist injective maps φ_{i}: Y_{i}→ G for i=1,2,3
such that φ_{1}(y_{1})φ_{2}(y_{2})=φ_{3}(y_{3}) for each
(y_{1},y_{2},y_{3}) in P.
Hirsch and Jackson asked for the cardinality of the
smallest P that embeds in some infinite group but not into any
finite group. We prove that the answer to their question is 12.
Moreover, we show that there are 50 examples of cardinality 12, up to
equivalence, and
each of them embeds in the (infinite) Baumslag group G=⟨ a,b |
b=[b,b^{a}]⟩. Our proof uses computations to answer
questions about finitely presented groups which are known to be
algorithmically undecidable in general.