Free, open-source online mathematics for students, teachers and workers

A subgroup of a group $G$ is a subset of $G$ which itself forms a group under the multiplication of $G$