The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops
Martin Vodička, Pavol Zlatoš·2018-10-17·via math.CO updates on arXiv.org
We prove that the class of all loops with the inverse property (IP loops) has the Finite Embedding Property (FEP). As a consequence, every group is locally embeddable into finite IP loops.