Braid groups; Artin groups Infinite groups and combinatorial group theory mathematics