The finite embeddability property for IP loops and local embeddability of groups into finite IP loops

Martin Vodička, Pavol Zlatoš


We prove that the class of all loops with the inverse property (IP loops) has the Finite Embeddability Property (FEP). As a consequence, every group is locally embeddable into finite IP loops. The first one of these results is obtained as a consequence of a more general embeddability theorem, contributing to a list of problems posed by T. Evans in 1978, namely, that every finite partial IP loop can be embedded into a finite IP loop.


Group, IP loop, finite embeddability property, local embeddability

Full Text:



ISSN: 1855-3974

Issues from Vol 6, No 1 onward are partially supported by the Slovenian Research Agency from the Call for co-financing of scientific periodical publications