#group theory #subgroup #left coset #group action #set multiplication