Union of Subgroups/Corollary 2
Jump to navigation
Jump to search
Theorem
Let $\struct {G, \circ}$ be a group.
Let $H, K \le G$.
Let $H \vee K$ be the join of $H$ and $K$.
Then $H \vee K = H \cup K$ if and only if $H \subseteq K$ or $K \subseteq H$.
Proof
From the definition of join, $H \vee K$ is the smallest subgroup of $G$ containing $H \cup K$.
The result follows from Union of Subgroups.
$\blacksquare$
Sources
- 1966: Richard A. Dean: Elements of Abstract Algebra ... (previous) ... (next): $\S 1.9$: Exercise $5.8$