Monoid: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
k top: clean up, replaced: monoid sintaksis → monoid sintaktik using AWB
HsfBot (bicara | kontrib)
k v2.04b - Fixed using Wikipedia:ProyekWiki Cek Wikipedia (Templat dengan kontrol karakter Unicode)
 
Baris 50:
* Diberikan himpunan {{mvar|A}}, himpunan bagian dari {{mvar|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 (order)|kisi]] ​​berbatasberbatas dapat diberkahi dengan struktur monoid [[gabungan dan bertemu (matematika)|bertemu]] dan [[gabungan dan bertemu (matematika)|gabungan]]. Elemen identitas adalah bagian atas dan bawah kisi. Karena kisi-kisi, [[Aljabar Heyting]] dan [[Aljabar Boolean (struktur)|Aljabar Boolean]] diberkahi dengan struktur monoid ini.
* Setiap [[himpunan singleton]] {{math|{{mset|''x''}}}} penutupan dibawah operasi biner • bentuk monoid trivial (satu elemen) merupakan [[grup trivial]].
* Setiap [[grup (matematika)|grup]] adalah monoid dan setiap [[grup abelian]] adalah monoid komutatif.
Baris 81:
* untuk ''x'' dalam ''X'': {{math|1=''e'' ⋅ ''x'' = ''x''}};
* untuk ''a'', ''b'' pada ''M'' dan ''x'' pada ''X'': {{math|1=''a'' ⋅ (''b'' ⋅ ''x'') = (''a'' • ''b'') ⋅ ''x''}}.
Ini adalah analogi dalam teori monoid (kiri) [[Grup aksi (matematika)|grup aksi]]. Baik aksi ''M'' didefinisikan dengan cara biasa. Monoid dengan suatu aksi dikenal sebagai '''[[operasi monoid]]'''. Contoh yang termasuk [[sistem transisi]] ​​daridari [[semiautomata]]. [[Transformasi semigrup]] dapat dibuat menjadi operasi monoid dengan menggabungkan transformasi identitas.
 
== Monoid homomorfisme ==