Prime order not implies simple for algebra loops
Further information: non-power-associative loop of order five
Consider the algebra loop of order five with multiplication table:
In other words, this is the algebra loop corresponding to the Latin square:
It is easy to check that the subset is a normal subloop of the loop. In fact, it is precisely the center of the loop, i.e., its elements commute and associate with everything.