Associativity of the $\star$-product of skew braces

Abstract

For braces, associativity of the $\star$-product is equivalent to two-sidedness. We extend this result to skew braces by proving that any two of the following conditions imply the third: two-sidedness, associativity of the $\star$-product, and centrality of $A\star A$ in the additive group. We then study two-sided skew braces with associative $\star$-product through the radical ring associated with their additive abelianization. This yields a canonical fibre-product description modulo an annihilator ideal, exact sequences relating higher $\star$-products to the powers of the radical ring, coincidence of the left, right and strong $\star$-series, and sharp bounds on their nilpotency indices. We also obtain an explicit description of the lower central series, classify the structures whose additive abelianization is infinite cyclic, and characterize when they are bi-skew.