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⊄B oldugunu varsayalim ve B⊂A olmasi gerektigini gosterelim. Simdi, elimizde a∈A∖B olacak sekilde bir a∈A∪B elemani var. b∈B⊂A∪B alalim. Birlesimin altgrup oldugunu kabul ettigimiz icin, a+b∈A∪B'dir. Bu da demek oluyor ki a+b∈A ya da a+b∈B. a+b∈B olsaydi, −b∈B oldugu icin, a+b−b=a∈B olurdu. Demek ki, a+b∈B degil. O halde, a+b∈A. Dolayisiyla, b=a+b−a∈A. Yani, b∈A. b∈B, keyfi bir eleman oldugu icin B⊂A oldugunu gostermis olduk.