A Schur--Zassenhaus Theorem for Finite Skew Braces

We prove a Schur–Zassenhaus theorem for finite skew braces. More precisely, if $B$ is a finite skew brace and $I$ is an ideal of $B$ such that $\mathrm{\mid }I\mathrm{\mid }$ and $\mathrm{\mid }B\mathrm{/}I\mathrm{\mid }$ are coprime, then $I$ admits a complement in $B$.