عمل دوتائی
از ویکیپدیا، دانشنامهٔ آزاد.
عمل دوتایی یکی از اعمال ریاضی است.
فرض کنیم G یک مجموعهٔ دلخواه باشد در این صورت یک عمل دوتایی مانند * روی G یک تابع از G * G به G است:
مثال :
G * G − > G: *
(a,b) = a * b*(a,b) − >
از تعریف دو نکته نتیجه میشود:
- طبق تعریف بالا به ازای هر زوج مرتب (a,b) فقط یک عضو به آن نسبت داده خواهد شد.(مفهوم خوشتعریفی عمل)
- به ازای هر زوج مرتب (a,b) عضو (a,b)* در G باید باشد.(مفهوم بسته بودن)