1.1 Smallest conjugate loop
The smallest nonassociative noncommutative exible loop is of order 5, and
it is unique. Its multiplication table is given in Example 1.2. We can see
immediately that this loop has exponent 2. It is therefore a Steiner loop and
hence the smallest nonassociative conjugate loop.
Example 1.2. The smallest nonassociative conjugate loop.
1 2 3 4 5
2 1 4 5 3
3 5 1 2 4
4 3 5 1 2
5 4 2 3 1
Above loop is nondiassociative loop which does not satisfy inverse property.
Smallest nonassociative IP loop is of order 7, which is given in [1, p. 56], is
also a exible loop and hence a conjugate loop. Now a nonexible conjugate
loop is given in Example 1.3.