Subgroups
Definition
If all of the following are true:
(H,H)(H, \cdot_H) and (G,G)(G, \cdot_G) are both groups
HGH \subseteq G
h1Hh2=h1Gh2h_1 \cdot_H h_2 = h_1 \cdot_G h_2 for every h1,h2Hh_1, h_2 \in H
then we say that HH is a subgroup of GG.


Referenced by: