Alrededor de la mitad del siglo XIX, Arthur Cayley formuló una definición abstracta de grupo, semejante a la usada actualmente.