Group theory and applications