Altöbek

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Öbek kuramında, "\cdot" ikili işlemine sahip bir G öbeğinin herhangi bir H altkümesi de "\cdot" işlemine göre bir öbek oluşturuyorsa, H 'ye G 'nin altöbeği ya da altgrubu denir. Başka bir tanımlamayla, eğer G öbeğindeki "\cdot" işleminin H 'ye daralması H 'de bir öbek işlemi veriyorsa H, G 'nin bir altöbeğidir.

G 'nin bir H özaltkümesi G 'nin işlemine göre bir öbek oluyorsa H ye özaltöbek ya da özaltgrubu denir.

H, sadece G nin birim öğesini içeriyorsa, yani {e_G} kümesi ise H 'ye âdî altgrup ya da trivial altgrup denir.