We describe all F_p-braces of cardinality p⁴ which are not right nilpotent. The constructed braces are solvable and prime, and contain a non-zero strongly nilpotent ideal. We use the constructed braces to construct examples of finitely dimensional pre-Lie algebras which are left nilpotent but not right nilpotent. We also explain some well known results about the correspondence between braces and Hopf-Galois extensions using the notion of Hopf-Galois extensions associated to a given brace. This can be applied to the constructed Fp-braces.

The second author is supported by the EPSRC grants EP/V008129/1 and EP/R034826/1.