عمل دوتائی

از ویکی‌پدیا، دانشنامهٔ آزاد.

عمل دوتایی یکی از اعمال ریاضی است.

فرض کنیم G یک مجموعهٔ دلخواه باشد در این صورت یک عمل دوتایی مانند * روی G یک تابع از G * G به G است:

[ویرایش] مثال :

*:G*G \to G

(a,b) \to *(a,b) = a*b این مثال دو خصوصیت اضافی دارد که جدای از عمل دوتایی ست:

  1. به ازای هر زوج مرتب (a,b) فقط یک عضو به آن نسبت داده شده است.(مفهوم خوش‌تعریفی عمل)
  2. به ازای هر زوج مرتب (a,b) عضو (a,b)* در G موجود در نظر گرفته شده است.(مفهوم بسته بودن)