مونوئید

در جبر مجرد که شاخه‌ای از ریاضیات است، مونوئید (به انگلیسی: Monoid) (یا تَکواره) ساختاری جبری با یک عملگر دوتایی یک عضو خنثی است. تکواره ها از آنجا که به‌طور طبیعی نیم-گروه‌هایی با عضو خنثی هستند، مونوئیدها در شاخه های مختلفی از ریاضیات و علوم کامپیوتر پدیدار می گردند. تکواره های انتقالی و تکواره های نحوی در توصیف ماشین‌های حالت متناهی استفاده می‌شوند. برخی از نتیجه‌های مهم تر در مطالعهٔ تکواره ها، نظریه کراهن-رودز (Krohn-Rhods) و مسئلهٔ (star height) هستند. تاریخچهٔ تکواره ها را می‌توان در مقاله‌های مربوط به نیمگروها جستجو کرد.

تعریف

تکواره، مجموعه‌ای چون S است، به همراه یک عملگر دودویی "." (که ضرب یا نقطه نامیده می‌شود) و دارای سه شرط زیر است:

بسته بودن

برای هر $a,b\in S$ نتیجهٔ عمل $a.b$ نیز در مجموعهٔ $S$ است.

شرکت پذیری

برای هر $a,b,c\in S$، داشته باشیم: $(a.b).c=a.(b.c)$

عضو خنثی

یک عنصر $e\in S$ وجود دارد که برای تمام عناصر $a\in S$ داشته باشیم: $e.a=a.e=a$.

این سه شرط را می‌توانیم به فرم ریاضیاتی به صورت زیر بنویسیم:

• بسته بودن: $\forall a,b\in S:a\cdot b\in S$,
• شرکت پذیری: $\forall a,b,c\in S:(a\cdot b)\cdot c=a\cdot (b\cdot c)$
• عضو خنثی: $\exists e\in S:\forall a\in S:e\cdot a=a\cdot e=a$.

به‌طور خلاصه‌تر، یک تکواره یک نیم‌گروه است، به همراه یک عضو خنثی. یک تکواره اگر خاصیت معکوس‌پذیری برای هر عضو را داشته باشد، تشکیل یک گروه می‌دهد.

معمولاً نماد عمل دودویی حذف می‌شود. مثلاً $(ab)c=a(bc)$ و $ea=ae=a$. این طریق نوشتن لزوماً این معنی را نمی‌دهد که متغیرها اعدادی هستند که در هم ضرب می‌شوند، بلکه هر عمل یا عنصری می‌تواند استفاده شود، البته اگر خوش تعریف باشند.