A generalization of Ito's theorem to skew braces

Abstract

The famous theorem of It\^{o} in group theory states that if a group $G=HK$ is the product of two abelian subgroups $H$ and $K$, then $G$ is metabelian. We shall generalize this to the setting of a skew brace $(A,{\cdot\,},\circ)$. Our main result says that if $A = BC$ or $A = B\circ C$ is the product of two trivial sub-skew braces $B$ and $C$ which are both left and right ideals in the opposite skew brace of $A$, then $A$ is meta-trivial. One can recover It\^{o}'s Theorem by taking $A$ to be an almost trivial skew brace.