Remove ads

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.

Remove ads

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.

Remove ads