Iki altgrubun birlesimi altgrup olabilir. Ama cok istisnai durumlarda.
$\star \star \star $ Iki altgrubun birlesimi de bir altgruptur ancak ve ancak biri digerini iceriyorsa...
Altgruplardan biri digerini iceriyorsa, birlesimleri buyuk olan altgrup olacagi icin birlesim de bir altgruptur diyebiliriz.
Ote yandan, $A$ ve $B$, $G$'nin iki altgrubu olsun. Ve $A \cup B$'nin de bir altgrup oldugunu varsayalim. $A \subset B$ ise sikinti yok. O halde $A \not\subset B$ oldugunu varsayalim ve $B \subset A$ olmasi gerektigini gosterelim. Simdi, elimizde $a \in A \setminus B$ olacak sekilde bir $a \in A \cup B$ elemani var. $b \in B \subset A \cup B$ alalim. Birlesimin altgrup oldugunu kabul ettigimiz icin, $a+b \in A \cup B$'dir. Bu da demek oluyor ki $a + b \in A$ ya da $a + b \in B$. $a + b \in B$ olsaydi, $- b \in B$ oldugu icin, $a + b - b = a \in B$ olurdu. Demek ki, $a + b \in B$ degil. O halde, $a + b \in A$. Dolayisiyla, $b = a+ b -a \in A$. Yani, $b \in A$. $b \in B$, keyfi bir eleman oldugu icin $B \subset A$ oldugunu gostermis olduk.