Commutator calculus Infinite groups and combinatorial group theory mathematics