Union of Subgroups/Corollary 2

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$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.