A fines del siglo XIX, Frobenius definió grupo abstracto con un sistema de axiomas.