One-sided $S$-systems of operations and character-free proof of Frobenius theorem

In this work, the author gives a character-free proof of the Frobenius theorem. The new proof is based on some notions and results from the theory of ternary operations, the theory of orthogonal binary operations, the theory of transversals in groups and the theory of quasigroups and loops.