Group schemes of square free order
Every finite flat finitely presented group scheme G of square free order over a scheme S can be written as an extension of a finite etale S-group scheme G" by a commutative finite flat finitely presented S-group scheme G' that is a direct sum of group schemes of prime order. Such an extension splits over a finite etale surjective base change.