Introduction to group theory (2040)