Groups: from Galois to Lie to finite 1