The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops

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.