İçeriğe atla

Yarı grup: Revizyonlar arasındaki fark

Vikipedi, özgür ansiklopedi
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
İçerik silindi İçerik eklendi
Addbot (mesaj | katkılar)
k Bot: Artık Vikiveri tarafından d:q207348 sayfası üzerinden sağlanan 31 vikilerarası bağlantı taşınıyor
Tün (mesaj | katkılar)
kDeğişiklik özeti yok
1. satır: 1. satır:
{{Kaynaksız}}
'''Yarı öbek''' ya da '''yarıgrup''', sadece [[bileşme]] özelliğini sağlayan bir [[ikili işlem]] tanımlanmış ve boştan farklı [[küme]]lerdir. İkili işlemin tanımından gelen kapılılık özelliğinin yanında sadece [[bileşme]] özelliği vardır. Çoğu zaman bileşmeli [[Mağma (Matematik)|mağma]] da denir. [[Öbek|Öbeğin]] kapsamında kalan bir yapı olduğu için ''groupoid'' dendiği de olur. <!--groupoid'in Türkçesi'ni duymadım, bu halini kullananına da raslamadım, bilen varsa bağlantı yapabilir-->
'''Yarı öbek''' ya da '''yarıgrup''', sadece [[bileşme]] özelliğini sağlayan bir [[ikili işlem]] tanımlanmış ve boştan farklı [[küme]]lerdir. İkili işlemin tanımından gelen kapılılık özelliğinin yanında sadece [[bileşme]] özelliği vardır. Çoğu zaman bileşmeli [[Mağma (Matematik)|mağma]] da denir. [[Öbek|Öbeğin]] kapsamında kalan bir yapı olduğu için ''groupoid'' dendiği de olur. <!--groupoid'in Türkçesi'ni duymadım, bu halini kullananına da raslamadım, bilen varsa bağlantı yapabilir-->



Sayfanın 20.22, 3 Şubat 2020 tarihindeki hâli

Yarı öbek ya da yarıgrup, sadece bileşme özelliğini sağlayan bir ikili işlem tanımlanmış ve boştan farklı kümelerdir. İkili işlemin tanımından gelen kapılılık özelliğinin yanında sadece bileşme özelliği vardır. Çoğu zaman bileşmeli mağma da denir. Öbeğin kapsamında kalan bir yapı olduğu için groupoid dendiği de olur.

Yarı öbekler bazen boş olmayan bir küme olarak tanımlanırlar, ancak bazen böyle bir şart konmaz. Örneğin, öbek kuramında birlikler, birim öğesi olan yarı öbekler olarak tanımlanırken, seçilen kümenin boş olduğu vurgulanır. Bunun nedeni yarı öbeğin boş olmadığını belirtmektir, çünkü zaten birliklerin en azından birim öğelerinin varlığı, belit gereği aşikardır.