نیمگروه Semigroup

نیمگروه Semigroup

ساختار جبری (+,S) را یک نیمگروه گوییم هرگاه در دو شرط زیر صدق کند:

شرط اول را بسته بودن مجموعه S و شرط دوم را شرکت پذیری عناصر S نسبت به عمل + می نامیم.

مثال: مجموعه اعداد طبیعی همراه با عمل جمع معمولی یک نیمگروه است.

تذکر: لزوما عمل مورد استفاده در نیمگروه جمع معمولی نیست و علامت + در اینجا فقط نمایانگر یک عمل دوتایی است.