Een monoïde is in de wiskunde, meer specifiek in de abstracte algebra, een verzameling voorzien van een associatieve binaire bewerking en een neutraal element, ook wel eenheidselement genoemd. Het is daarmee een iets rijkere algebraïsche structuur dan een halfgroep waarvoor het bestaan van een neutraal element niet vereist is. Een monoïde wordt daarom wel aangeduid als een unitaire halfgroep, d.w.z. een halfgroep met een eenheidselement.

Definitie

---

Een monoïde $(G,\; *)$ is een niet-lege verzameling G met een associatieve binaire bewerking $*\; :\; G\; \backslash times\; G\; \backslash rightarrow\; G$ en een voor de bewerking neutraal element $e$.

Het is gebruikelijk om $a*b$ te schrijven in plaats van $*(a,b)$ voor het resultaat van de bewerking * toegepast op de elementen a en b van G.

De genoemde eigenschappen van de bewerking houden in:

• Associativiteit: $\backslash forall\; a,\; b,\; c\; \backslash in\; G:\; (a*b)*c\; =\; a*(b*c)$
• Neutraal element: $\backslash forall\; a\; \backslash in\; G:\; e*a\; =\; a\; =\; a*e$

Opmerking

Soms eist men dat er slechts een neutraal element is. Deze eis is echter overbodig, want de eenduidigheid van het neutrale element kan bewezen worden. Stel namelijk dat ook $e\text{'}$ neutraal is, dan is $e=e\text{'}*e=e\text{'}$

Enkele voorbeelden

---

• De natuurlijke getallen met de optelling, genoteerd als (ℕ, +), is een monoïde met 0 als neutraal element.
• De gehele getallen met de optelling, genoteerd als (ℤ, ·), is een monoïde met 0 als neutraal element.
• De natuurlijke getallen zonder 0 met de optelling, genoteerd als (ℕ₀, +), is géén monoïde, want uit 1 + n = 1 volgt noodzakelijk n = 0.

Groepentheorie

Monoid | Monoid | Monoid | Monoide | Monoid | Monoidi | Monoïde | מונואיד (מבנה אלגברי) | Monoide | モノイド | Monoid | Monoid | Monoid (matematik) | 幺半群