Monoid
Contoh

Dari 16 kemungkinan operasi Boolean biner dari empat yang memiliki identitas dua sisi komutatif dan asosiatif dan dengan demikian membuat himpunan {salah, benar} menjadi monoid komutatif. Dibawah definisi standar, AND dan XNOR menggunakan identitas sedangkan XOR dan OR memiliki identitas yang salah. Monoid dari AND dan OR untuk idempoten dari XOR dan XNOR.
Himpunan bilangan asli  \mathbb {N} =\{0,1,2,\ldots \} adalah monoid komutatif dibawah penjumlahan (elemen identitas 0) atau perkalian (elemen identitas 1). Submonoid dari N dibawah penambahan disebut monoid numerik.
Himpunan bilangan bulat positif  \mathbb {N} \setminus \{0\} adalah monoid komutatif dalam perkalian (elemen identitas 1).
Diberikan himpunan A, himpunan himpunan bagian dari A adalah monoid komutatif dibawah (elemen identitasnya adalah A sendiri).
Diberikan himpunan A, himpunan bagian dari A adalah monoid komutatif dibawah gabungan (elemen identitas adalah himpunan kosong).
Generalisasi contoh sebelumnya, setiap semikis batas adalah monoid komutatif idempoten.
Secara khusus, setiap kisi berbatas dapat diberkahi dengan struktur monoid bertemu dan gabungan. Elemen identitas adalah bagian atas dan bawah kisi. Karena kisi-kisi, Aljabar Heyting dan Aljabar Boolean diberkahi dengan struktur monoid ini.
Setiap himpunan singleton (x} penutupan dibawah operasi biner • bentuk monoid trivial (satu elemen) merupakan grup trivial.
Setiap grup adalah monoid dan setiap grup abelian adalah monoid komutatif.
Semua semigrup S dapat diubah menjadi monoid dengan menggabungkan elemen e bukan S dan menentukan e • s = s = s • e untuk semua s ∈ S . Konversi semigrup di monoid ini dilakukan oleh funktor bebas antara kategori semigrup dan kategori monoid.
Jadi, monoid idempoten (sebagai temukan-pertama ) dapat dibentuk dengan menggabungkan elemen identitas e ke semigrup nol kiri diatas himpunan S . Monoid (disebut temukan-terakhir ) bentuk dari grup nol kanan diatas S .
Adjoin dari sebuah identitas e ke semigrup kiri-nol dengan dua elemen (lt, gt}. Kemudian monoid idempoten dihasilkan (lt, e, gt} memodelkan urutan leksikografis dari suatu urutan yang diberi urutan elemennya, dengan e mewakili persamaan.
Himpunan yang mendasari setiap gelanggang, dengan operasi penjumlahan atau perkalian. Menurut definisi, gelanggang memiliki identitas perkalian 1.
Bilangan bulat, bilangan rasional, bilangan riil, atau bilangan kompleks, dengan operasi penjumlahan atau perkalian.
Himpunan semua n oleh n matriks diatas gelanggang tertentu, dengan penambahan matriks atau perkalian matriks sebagai operasi.
Himpunan semua string hingga beberapa alfabet tetap Σ membentuk monoid dengan rangkaian string sebagai operasinya. String kosong berfungsi sebagai elemen identitas. Monoid ini dilambangkan Σ∗ dan disebut monoid bebas di atas Σ.
Diberikan monoid M, monoid berlawanan Mop memiliki himpunan operasi dan elemen identitas yang sama M, dan operasi ditentukan oleh x •op y = y • x. Monoid komutatif adalah kebalikan dari monoid itu sendiri.
Diberikan dua himpunan M dan N dengan struktur monoid (atau, secara umum, sejumlah terbatas monoid, M1, …, Mk), produk Kartesius mereka M × N adalah monoid (masing-masing, M1 × ⋯ × Mk). Operasi asosiatif dan elemen identitas ditentukan berpasangan.
Monoid M. Himpunan semua fungsi dari himpunan tertentu ke M adalah monoid. Elemen identitas adalah fungsi konstanta yang memetakan nilai ke identitas M; operasi asosiatif ditentukan sesetitik.
Monoid M dengan operasi • dan elemen identitas e, dan pertimbangkan himpunan kuasa P(M) terdiri dari semua himpunan bagian dari M. Operasi biner untuk himpunan bagian tersebut dapat ditentukan dengan S • T = ( s • t : s ∈ S, t ∈ T }. Nilai berubah ke P(M) menjadi monoid dengan elemen identitas (e}. Dengan cara yang sama, himpunan kuasa grup G adalah monoid di bawah produk himpunan bagian grup.
Misalkan S menjadi satu himpunan. Himpunan semua fungsi S → S membentuk monoid dibawah komposisi fungsi. Identitas hanyalah fungsi identitas. Ini disebut sebagai monoid transformasi penuh dari S. Jika S hingga dengan elemen n, monoid fungsi pada S hingga dengan elemen nn.
Generalisasi contoh sebelumnya, misalkan C menjadi kategori dan X objek C. Himpunan dari semua endomorfisme dari X, dilambangkan EndC(X), membentuk monoid dibawah komposisi morfisme. Untuk lebih lanjut tentang relasi antara teori kategori dan monoid, lihat dibawah.
Himpunan homeomorfisme kelas dari permukaan kompak dengan jumlah terhubung. Elemen unitnya adalah kelas bola-2 biasa. Selanjutnya, jika a menunjukkan kelas dari torus, dan b menunjukkan kelas bidang proyektif, maka setiap elemen c dari monoid memiliki ekspresi unik berupa c = na + mb dimana n adalah bilangan bulat positif dan m = 0, 1, atau 2. Maka 3b = a + b.
Maka  \langle f\rangle  menjadi monoid siklik urutan n, yaitu  \langle f\rangle =\left\{f^{0},f^{1},\dots ,f^{n-1}\right\}. Kemudian  f^{n}=f^{k} untuk beberapa  0\leq k<n. Faktanya, setiap k tersebut memberikan monoid yang berbeda dengan urutan n, dan setiap monoid siklik isomorfik untuk salah satu dari ini.
Selain itu, f sebagai fungsi pada titik  \{0,1,2,\dots ,n-1\} diberikan oleh