Iki altgrubun birlesimi altgrup olabilir. Ama cok istisnai durumlarda.
⋆⋆⋆ 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∪B'nin de bir altgrup oldugunu varsayalim. A⊂B ise sikinti yok. O halde A⊄ 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.