02-01. Definition and examples

Definition. subgroup

• $G$,
  • group
• $H \subseteq G$,
  • subset

$H$ is said to be subgroup of $G$ if

• (i) closed under products
• (ii) closed under inverses.

We write $H \le G$.

■