Lihat sumber Semigelanggang

Dalam [[aljabar abstrak]], '''semigelanggang''' adalah [[struktur aljabar]] dengan [[gelanggang (aljabar)|gelanggang]] tanpa persyaratan setiap elemen menggunakan [[aditif invers]].

[[Semigelanggang tropis]] adalah bidang penelitian aktif, yang menghubungkan [[Variasi aljabar|varietas aljabar]] dengan struktur [[Lipatan sesepenggal linier|linear sesepenggal]].<ref>David Speyer. [https://www.tandfonline.com/doi/full/10.1080/0025570X.2009.11953615 Tropical Mathematics]. ''Mathematics Magazine''. 2009. Vol. 82 (3). hlm. 163–173. doi:10.1080/0025570X.2009.11953615.</ref>

== Definisi ==
'''Semigelanggang''' adalah [[Himpunan (matematika)|himpunan]] ''R'' dengan dua [[operasi biner]] + dan ⋅, disebut sebagai penjumlahan dan perkalian, maka:<ref>Berstel & Perrin (1985), [ p. 26]</ref><ref>Lothaire (2005) p.211</ref><ref>Sakarovitch (2009) pp.27–28</ref>

* (''R'', +) adalah [[monoid komutatif]] dengan [[elemen identitas]] 0:
** (''a'' + ''b'') + ''c'' = ''a'' + (''b'' + ''c'')
** 0 + ''a'' = ''a'' + 0 = ''a''
** ''a'' + ''b'' = ''b'' + ''a''
* (''R'', &sdot;) adalah [[monoid]] dengan elemen identitas 1:
** (''a''&sdot;''b'')&sdot;''c'' = ''a''&sdot;(''b''&sdot;''c'')
** 1&sdot;''a'' = ''a''&sdot;1 = ''a''
* Perkalian kiri dan kanan [[hukum distributif|mendistribusikan]] di atas penambahan:
** ''a''&sdot;(''b'' + ''c'') = (''a''&sdot;''b'') + (''a''&sdot;''c'')
** (''a'' + ''b'')&sdot;''c'' = (''a''&sdot;''c'') + (''b''&sdot;''c'')
* Perkalian dengan 0 [[elemen pemusnah|menghilangkan]] ''R'':
** 0&sdot;''a'' = ''a''&sdot;0 = 0

Simbol ⋅ biasanya dihilangkan dari notasi; ''a''&sdot;''b'' ditulis ''ab''. Demikian pula, [[urutan operasi]] yang diterapkan sebelum + adalah  yaitu 

Dibandingkan dengan [[gelanggang (aljabar)|gelanggang]], semigelanggang menghilangkan persyaratan untuk invers di bawah penjumlahan; artinya, ini hanya membutuhkan [[monoid komutatif]], bukan [[grup komutatif]]. Dalam sebuah gelanggang, syarat pembalikan aditif dengan keberadaan nol perkalian yang ditentukan secara eksplisit. Jika perkalian sebuah semigelanggang adalah [[komutatif]], maka disebut '''semigelanggang komutatif'''.<ref>Lothaire (2005) p.212</ref>

Ada beberapa penulis yang lebih memilih untuk mengabaikan persyaratan bahwa semigelanggang memiliki 0 atau 1. Analogi antara ''[[gelanggang (aljabar)|gelanggang]]'' dan ''semigelanggang'' di satu sisi dan ''[[grup (matematika)|grup]]'' dan ''[[semigrup]]'' di sisi bekerja. Para penulis ini sering menggunakan ''rig'' untuk konsep definisi.<ref>[http://www.proofwiki.org/wiki/Definisi: Rig Sebagai contoh lihat definisi rig di Proofwiki.org]</ref>

== Teori ==
Seseorang dapat menggeneralisasi teori (asosiatif) [[aljabar (teori gelanggang)|aljabar]] dari [[gelanggang komutatif]] langsung ke teori aljabar melalui semigelanggang komutatif.

Semigelanggang di mana setiap elemen adalah aditif [[idempotent]] (yaitu, ''a'' + ''a'' = ''a'' untuk semua elemen ''a'') disebut ''''''.<ref>Zoltán Ésik. ''[]''. Springer-Verlag. 2008. Vol. 5257. hlm. 1–20. doi:10.1007/978-3-540-85780-8_1. ISBN 978-3-540-85779-2.</ref> Semigelanggang idempoten khusus untuk teori semigelanggang karena setiap gelanggang dimana idempoten dalam penambahan adalah [[Gelanggang trivial|trivial]].<ref>yaitu gelanggang yang terdiri dari satu elemen, karena gelanggang memiliki invers aditif, tidak dengan semigelanggang.</ref> Mendefinisikan [[urutan parsial]] ≤ pada semigelanggang idempoten dengan  maka  (atau, dengan kata lain, jika ''x'' dengan ). Sangat mudah untuk melihat bahwa 0 adalah [[elemen terkecil]] sehubungan dengan urutan  untuk semua ''a''. Penjumlahan dan perkalian menghormati urutan dalam arti bahwa  menyiratkan ,  dan .

=== Aplikasi ===
 dan  [[semigelanggang tropikal]] pada riil, sering digunakan dalam [[evaluasi kinerja]] pada sistem kejadian diskrit. Bilangan sebenarnya adalah "biaya" atau "waktu kedatangan"; operasi "maks" berhubungan dengan harus menunggu semua prasyarat dari sementara operasi "min" dengan kemampuan untuk memilih yang sederhana; dan + sesuai dengan akumulasi di sepanjang jalur yang sama.

Dengan demikian, [[algoritma Floyd–Warshall]] untuk [[jalur terpendek]] dapat diformulasi ulang sebagai komputasi aljabar . Demikian pula, [[algoritma Viterbi]] untuk urutan keadaan yang paling mungkin sesuai dengan urutan pengamatan dalam [[Model Markov tersembunyi]] dirumuskan sebagai komputasi melalui  aljabar tentang probabilitas.  Algoritma [[pemrograman dinamis]] bergantung pada [[sifat distributif]] dari semigelanggang terkait untuk menghitung jumlah secara besar-besaran untuk  eksponensial.<ref>Claude Pair. ''Théorie des graphes (journées internationales d'études) -- Teori Grafik (simposium internasional)''. Dunod (Paris) et Gordon and Breach (New York). 1967. hlm. 271.</ref><ref>Jean Claude Derniame. ''Problèmes de cheminement dans les graphes (Masalah Jalur dalam Grafik)''. Dunod (Paris). 1971.</ref>

== Contoh ==
Menurut definisi, gelanggang juga merupakan semigelanggang. Contoh motivasi dari semigelanggang adalah himpunan [[bilangan asli]] '''N''' (termasuk [[0 (bilangan)|nol]]) di bawah penjumlahan dan perkalian biasa. Demikian pula, semigelanggang bentuk non-negatif [[bilangan rasional]] dan non-negatif [[bilangan real]]. Semua semigelanggang adalah sifat komutatif.<ref>Alexander E. Guterman. ''Surveys in Contemporary Mathematics''. Cambridge University Press. 2008. Vol. 347. hlm. 1–33. ISBN 0-521-70564-9.</ref><ref>Sakarovitch (2009) p.28</ref><ref>Berstel & Reutenauer (2011) p. 4</ref>

=== Secara umum ===
* Himpunan untuk semua [[ideal (teori gelanggang)|ideal]] dari gelanggang tertentu membentuk semigelanggang idempoten di bawah penjumlahan dan perkalian ideal.
* Setiap [[kuantel|unital kuantel]] adalah semigelanggang idempoten dalam penggabungan dan perkalian.
* [[Kisi distributif]] adalah semigelanggang komutatif dan idempoten di bawah gabung dan temu.
* Secara khusus, [[Aljabar Boolean (struktur)|aljabar Boolean]] adalah semigelanggang. [[Gelanggang Boolean]] merupakan semigelanggang, tetapi tidak idempoten di bawah ''penjumlahan''. ''Semigelanggang Boolean'' adalah semigelanggang isomorfis ke subsemigelanggang dari aljabar Boolean.<ref>Alexander E. Guterman. ''Surveys in Contemporary Mathematics''. Cambridge University Press. 2008. Vol. 347. hlm. 1–33. ISBN 0-521-70564-9.</ref>
* [[Kisi condong]] normal dalam gelanggang ''R'' adalah semigelanggang idempoten untuk operasi perkalian dan nabla, di mana operasi terakhir didefinisikan oleh <math>a\nabla b=a+b+ba-aba-bab</math>.
* Semua [[c-semigelanggang]] merupakan semigelanggang dengan penambahan idempoten dan ditentukan melalui himpunan arbitrer.
* Kelas isomorfisme objek dalam operasi [[kategori distributif]], di bawah operasi [[produk bersama]] dan [[Produk (teori kategori)|produk]], semigelanggang yang dikenal sebagai gelang Burnside.<ref>Schanuel S.H. (1991) Himpunan negatif yang menggunakan karakteristik dan dimensi Euler. Dalam: Carboni A., Pedicchio M.C., Rosolini G. (eds) Teori Kategori. Catatan Kuliah Matematika, vol 1488. Springer, Berlin, Heidelberg</ref> Gelang Burnside adalah gelanggang [[jika dan hanya jika]] kategorinya adalah [[Kategori kategori kecil|trivial]].

==== Himpunan semigelanggang ====
'''Semigelanggang''' ('''himpunan''')<ref>Noel Vaillant, [http://www.probability.net/WEBcaratheodory.pdf Ekstensi Caratheodory], di probability.net.</ref> adalah himpunan S tidak kosong dari himpunan yang sedemikian rupa
# <math>\emptyset \in S</math>
# Jika <math>E \in S</math> dan <math>F \in S</math> maka <math>E \cap F \in S</math>.
# Jika <math>E \in S</math> dan <math>F \in S</math> maka sejumlah batas [[himpunan disjoin]] <math>C_i \in S</math> untuk <math>i=1,\ldots,n</math> sehingga <math>E \setminus F = \bigcup_{i=1}^n C_i</math>.

Semigelanggang digunakan dalam [[teori ukuran]]. Contoh semigelanggang dari himpunan adalah himpunan dari setengah terbuka, setengah tertutup riil [[interval (matematika)|interval]] <math>[a,b) \subset \mathbb{R}</math>.

=== Contoh spesifik ===
 := \left\{mb^{-n} \mid m, n \in \N_0 \right\}</math> dalam [[notasi posisi|sistem bilangan posisi]] ke basis tertentu <math>b\in \N</math>. Maka <math>\frac{\N_0}{b^{\N_0}} \subseteq \frac{\N_0}{c^{\N_0}}</math> jika <math>b</math> bagi <math>c</math>. Selanjutnya, <math>\frac{\Z_0}{b^{\Z_0}} := \frac{\N_0}{b^{\N_0}} \cup \left(-\frac{\N_0}{b^{\N_0}}\right) </math> adalah gelanggang dari semua pecahan ke basis <math>b</math>, dan [[himpunan padat|padat]] dalam <math>\Q</math> untuk <math>|b| > 1</math>.
| [[Bilangan alami ekstensi]]  dengan penjumlahan dan perkalian ekstensi (dan ).<ref>Sakarovitch (2009) p.28</ref>
| Diberikan semigelanggang ''S'', maka [[matriks semigelanggang]] <math>M_n(S)</math> dari persegi-''n'' dengan -''n'' [[matriks (matematika)|matriks]] membentuk semiring di bawah matriks biasa [[Penjumlahan matriks|penjumlahan]] dan [[perkalian matriks|perkalian]], dan semigelanggang matriks ini umumnya non-komutatif meskipun ''S'' komutatif. Misalnya, matriks dengan entri non-negatif, <math>M_n(\N)</math> bentuk matriks semigelanggang.<ref>Alexander E. Guterman. ''Surveys in Contemporary Mathematics''. Cambridge University Press. 2008. Vol. 347. hlm. 1–33. ISBN 0-521-70564-9.</ref>
| Jika ''A'' adalah monoid komutatif, himpunan End(''A'') dari [[endomorfisme]]  bentuk sebuah semigelanggang, dimana penjumlahan adalah penjumlahan dan perkalian secara runcing [[komposisi fungsi]]. [[Morfisme nol]] dan identitas adalah elemen netral. Semigelanggang komposisi tidak terdistribusi pada penambahan searah yang tersisa: . Jika ''A'' adalah monoid aditif dari bilangan asli kita memperoleh semigelanggang dari bilangan asli sebagai End(''A''), dan jika  dengan ''S'' semigelanggang (setiap morfisme ke matriks) semigelanggang matriks persegi ''n''-oleh-''n'' dengan koefisien dalam ''S''.
| '''''' adalah semigelanggang komutatif '''B''' dari bentuk oleh [[aljabar Boolean dua elemen]] dan ditentukan oleh .<ref>Lothaire (2005) p.211</ref><ref>Sakarovitch (2009) p.28</ref><ref>Berstel & Reutenauer (2011) p. 4</ref> Idempoten<ref>Zoltán Ésik. ''[]''. Springer-Verlag. 2008. Vol. 5257. hlm. 1–20. doi:10.1007/978-3-540-85780-8_1. ISBN 978-3-540-85779-2.</ref> dan merupakan contoh paling sederhana dari semigelanggang yang bukan gelanggang. Diberikan dua himpunan ''X'' dan ''Y'', [[relasi biner]] antara ''X'' dan ''Y'' dengan matriks indeks oleh ''X'' dan ''Y'' dengan entri dalam semigelanggang Boolean, [[penjumlahan matriks]] terkait dengan penyatuan relasi, dan [[perkalian matriks]] terkait dengan [[komposisi relasi]].<ref>John C. Baez. [https://groups.google.com/d/msg/sci.physics.research/VJNPMCfreao/TMKt9tFYNwEJ quantum mechanics over a commutative rig]. 6 Nov 2001.</ref>
| Diketahui himpunan ''U'', himpunan [[relasi biner]] di atas ''U'' adalah semigelanggang dengan penambahan union (dari relasi sebagai himpunan) dan perkalian [[komposisi relasi]]. Nol semigelanggang adalah [[relasi kosong]] dan unitnya adalah [[relasi identitas]].<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref> Relasi ini sesuai dengan [[semiring matriks]] (memang, semialjabar matriks) dari [[matriks persegi]] indeks ''U'' dengan entri dalam semigelanggang Boolean, dan kemudian penjumlahan dan perkalian adalah operasi matriks biasa, sedangkan nol dan unit adalah [[matriks nol]] dan [[matriks identitas]] biasa.
| Himpunan [[polinomial]] dengan koefisien bilangan asli, dilambangkan '''N'''[''x''], membentuk semiring komutatif. Sebenarnya, ini adalah semigelanggang komutatif [[objek bebas|bebas]] pada generator tunggal {''x''}.
| [[Semigelanggang tropis]] ditentukan dengan berbagai cara. ''Maks-plus'' semigelanggang '''R''' &cup; {−∞} adalah komutatif, semiring idempoten dengan  sebagai penjumlahan semigelanggang (identitas −∞) dan penjumlahan biasa (identitas 0) berfungsi sebagai perkalian semigelanggang. Dalam rumus alternatif, semigelanggang tropis adalah  dan min menggantikan max sebagai operasi penjumlahan.<ref>David Speyer. [https://archive.org/details/sim_mathematics-magazine_2009-06_82_3/page/163 Tropical Mathematics]. ''Math. Mag''. 2009. Vol. 82. hlm. 163–173. doi:10.4169/193009809x468760.</ref> Versi terkait menggunakan  sebagai himpunan dasar.<ref>Lothaire (2005) p.211</ref><ref>Werner Kuich. ''Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement''. Springer-Verlag. 2011. Vol. 7020. hlm. 228–256. ISBN 978-3-642-24896-2.</ref>
| Himpunan [[bilangan pokok]] lebih kecil dari [[tak hingga]] mana pun dari bentuk kardinal apa pun yang diberikan dalam penjumlahan dan perkalian kardinal. Kelas ''semua kardinal'' dari [[model dalam]] membentuk semiring (kelas) di bawah penjumlahan dan perkalian kardinal (model dalam).
| '''''' dari bilangan riil non-negatif dengan penjumlahan dan perkalian biasa.<ref>Lothaire (2005) p.211</ref>
| '''[[Log semigelanggang]]''' di atas '''R''' &cup; {±∞} dengan tambahan yang diberikan oleh
: <math> x \oplus y = - \log(e^{-x}+e^{-y}) \ , </math>
dengan perkalian +, elemen nol + ∞, dan elemen satuan 0.<ref>Lothaire (2005) p.211</ref>
| Keluarga (kelas kesetaraan isomorfisme) [[kelas kombinatorial]] (himpunan banyak objek dengan ukuran bilangan bulat non-negatif maka banyak objek tak hingga dari setiap ukuran) dengan kelas kosong sebagai objek nol, kelas yang hanya terdiri dari himpunan kosong sebagai unit, [[disjoint union]] kelas sebagai penjumlahan, dan [[produk Kartesius]] kelas sebagai perkalian.<ref>Gregory V. Bard. [https://books.google.com/books?id=kjbp0mgu3IAC&pg=PA30 Algebraic Cryptanalysis]. Springer. 2009. ISBN 9780387887579..</ref>
| Semigelanggang [[Jan Łukasiewicz|Łukasiewicz]]: interval tertutup  dengan tambahan yang diberikan dengan maksimal argumen () dan perkalian ''ab'' diberikan oleh  dalam [[logika multi-nilai]].<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
| Semigelanggang [[Andrew Viterbi|Viterbi]] ditentukan melalui himpunan dasar  dan maksimum sebagai penjumlahan, maka perkaliannya adalah perkalian biasa dari bilangan real. Ini sebagai [[penguraian probabilistik]].<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
| Diberikan alfabet (himpunan hingga) Σ, himpunan [[bahasa formal]] di atas Σ (himpunan bagian dari [[Bintang Kleene|Σ<sup>&lowast;</sup>]]) adalah semiring dengan produk induksi oleh [[pita penggabungan]] <math>L_1 \cdot L_2 = \left\{w_1 w_2 \mid w_1 \in L_1, w_2 \in L_2\right\}</math> dan penambahan sebagai penyatuan bahasa (yaitu, penyatuan sebagai kumpulan). Nol dari semigelanggang adalah himpunan kosong (bahasa kosong) dan unit semiring adalah bahasa yang hanya berisi [[pita kosong]].<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
| Menggeneralisasi contoh sebelumnya (dengan melihat Σ<sup>&lowast;</sup> sebagai [[monoid bebas]] di atas Σ), ambil ''M'' menjadi monoid; himpunan daya '''P'''(''M'') dari semua himpunan bagian ''M'' bentuk semigelanggang di bawah satuan teori himpunan sebagai penjumlahan dan perkalian himpunan: <math>U \cdot V = \{ u \cdot v : u \in U,\ v \in V \}</math>.<ref>Berstel & Reutenauer (2011) p. 4</ref>
| Begitu pula jika <math>(M, e, \cdot)</math> adalah monoid, maka himpunan [[multihimpunan]] hingga dalam <math>M</math> bentuk sebuah semigelanggang. Artinya, elemen adalah fungsi <math>f : M \to \mathbb{N}</math>; diberikan elemen <math>M</math>, fungsi tersebut memberi tahu berapa kali elemen muncul dalam multihimpunan yang diwakilinya. Satuan aditif adalah fungsi nol konstan. Unit perkalian adalah fungsi memetakan <math>e</math> ke 1, dan semua elemen lain dari <math>M</math> ke 0. Jumlah diberikan oleh <math>(f + g)(x) = f(x) + g(x)</math> dan produk diberikan oleh <math>(fg)(x) = \sum\{ f(y)g(z) \mid y \cdot z = x \}</math>.
}}

== Variasi ==
=== Semigelanggang kompleks dan kontinu ===
'''Semigelanggang kompleks''' adalah semigelanggang yang aditif monoidnya adalah [[monoid kompleks]], artinya memiliki operasi jumlah [[Finiter|infiniter]] Σ<sub>''I''</sub> untuk setiap [[himpunan indeks]] ''I'' dan hukum distributif (tak hingga) berikut:<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref><ref>Werner Kuich. ''Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement''. Springer-Verlag. 2011. Vol. 7020. hlm. 228–256. ISBN 978-3-642-24896-2.</ref><ref>Werner Kuich. [https://archive.org/details/automatalanguage0000ical/page/103 Automata, Bahasa dan Pemrograman: Kolokium Internasional ke-17, Universitas Warwick, Inggris, 16-20 Juli 1990, Prosiding]. Springer-Verlag. 1990. Vol. 443. hlm. [https://archive.org/details/automatalanguage0000ical/page/103 103–110]. ISBN 3-540-52826-1.</ref>

: <math>\sum_{i \in I}{\left(a \cdot a_i\right)} = a \cdot \left(\sum_{i \in I}{a_i}\right), \qquad \sum_{i \in I}{\left(a_i \cdot a\right)} = \left(\sum_{i \in I}{a_i}\right) \cdot a.</math>

Contoh semigelanggang kompleks adalah himpunan pangkat dari monoid di bawah gabungan dan semigelanggang matriks di atas semigelanggang kompleks.<ref>Sakaraovich (2009) p.471</ref>

'''Semigelanggang kontinu''' didefinisikan sebagai penambahan monoid adalah [[monoid kontinu]]. Yaitu, diurutkan sebagian dengan [[Sifat batas atas terkecil#Generalisasi ke himpunan terurut|sifat batas atas terkecil]], dan penjumlahan dan perkalian sebagai ketertiban dan suprema. Semigelanggang  dengan penjumlahan biasa, perkalian dan urutan diperpanjang adalah semigelanggang kontinu.<ref>Zoltán Ésik. ''Logika ilmu komputer. Lokakarya internasional ke-16, CSL 2002, konferensi tahunan ke-11 EACSL, Edinburgh, Skotlandia, 22-25 September 2002. Prosiding''. Springer-Verlag. 2002. Vol. 2471. hlm. 135–150.</ref>

Semua semigelanggang berkelanjutan selesai:<ref>Werner Kuich. ''Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement''. Springer-Verlag. 2011. Vol. 7020. hlm. 228–256. ISBN 978-3-642-24896-2.</ref> sebagai bagian dari definisi.<ref>Sakaraovich (2009) p.471</ref>

=== Semigelanggang bintang ===
'''Semigelanggang bintang''' (terkadang dieja '''Semigelangbintang''') adalah semigelanggang dengan [[operasi uner]] tambahan ,<ref>Zoltán Ésik. ''[]''. Springer-Verlag. 2008. Vol. 5257. hlm. 1–20. doi:10.1007/978-3-540-85780-8_1. ISBN 978-3-540-85779-2.</ref><ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref><ref>Lehmann, Daniel J. "Struktur aljabar untuk penutupan transitif." ''Ilmu Komputer Teoretis'' 4, no. 1 (1977): 59-76.</ref><ref>Berstel & Reutenauer (2011) hal.27</ref> maka

:<math>a^* = 1 + aa^* = 1 + a^*a.</math>

'''[[Aljabar Kleene]]''' merupakan bintang semigelanggang dengan penambahan idempoten untuk teori [[bahasa formal]] dan [[ekspresi reguler]].<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>

==== Semigelanggang bintang kompleks ====
Dalam '''semigelanggang bintang kompleks''', operasi bintang sebagai contoh [[bintang Kleene]]: untuk semigelanggang kompleks menggunakan operasi jumlah tak hingga untuk definisi bintang Kleene biasa:<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>

:<math>a^* = \sum_{j \geq 0}{a^j},</math>
dimana <math>a^j = \begin{cases}
  1,                                 & j = 0,\\
  a \cdot a^{j-1} = a^{j-1} \cdot a, & j > 0.
\end{cases}</math>

==== Semigelanggang Conway ====
'''Semigelanggang Conway''' adalah bintang semigelanggang yang menggunakan persamaan bintang-penjumlahan dan bintang-produk:<ref>Zoltán Ésik. ''[]''. Springer-Verlag. 2008. Vol. 5257. hlm. 1–20. doi:10.1007/978-3-540-85780-8_1. ISBN 978-3-540-85779-2.</ref><ref>Zoltán Ésik. ''Formal languages and applications''. Springer-Verlag. 2004. Vol. 148. hlm. 183–196. ISBN 3-540-20907-7.</ref>
: <math>\begin{align}
  (a + b)^* &= \left(a^* b\right)^* a^*, \\
     (ab)^* &= 1 + a(ba)^* b.
\end{align}</math>

Setiap bintang semigelanggang kompleks sama dengan semigelanggang Conway,<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Buku Pegangan Automata Tertimbang'', 3–28. , Teorema 3.4 hal. 15</ref> tapi kebalikannya tidak berlaku. Contoh semigelanggang Conway non-kompleks adalah himpunan [[bilangan rasional]] non-negatif  dengan penjumlahan dan perkalian biasa (ini adalah modifikasi dari contoh dengan riil non-negatif diberikan dalam bagian ini dengan menghilangkan [[bilangan irasional]]).<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>

'''Semigelanggang iterasi''' adalah semigelanggang Conway menggunakan aksioma grup Conway,<ref>Zoltán Ésik. ''[]''. Springer-Verlag. 2008. Vol. 5257. hlm. 1–20. doi:10.1007/978-3-540-85780-8_1. ISBN 978-3-540-85779-2.</ref>  diasosiasikan oleh [[John Horton Conwa|John Conway]] ke grup dalam semigelanggang bintang.<ref>J.H. Conway. [https://archive.org/details/regularalgebrafi0000conw Aljabar reguler dan mesin hingga]. Chapman dan Hall. 1971. ISBN 0-412-10620-5.</ref>

==== Contoh ====
Contoh semigelanggang bintang meliputi:
* ([[#relasi biner|disebutkan di atas]]) semigelanggang [[relasi biner]] di atas beberapa himpunan dasar ''U'' di mana <math>R^* = \bigcup_{n \geq 0} R^n</math> untuk semua <math>R\subseteq U \times U</math>. Operasi bintang adalah [[Penutupan refleksif|refleksif]] dan [[penutupan transitif]] dari ''R'' (yaitu relasi biner refleksif dan transitif terkecil di atas ''U'' yang mengandung ''R'').<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
* [[#bahasa formal|semigelanggang bahasa formal]] merupakan bintang semigelanggang kompleks, dengan operasi bintang dengan bintang Kleene (untuk himpunan/bahasa).<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
* Himpunan [[ekstensi riil]] non-negatif  dengan penjumlahan dan perkalian riil yang biasa adalah semigelanggang bintang kompleks dengan operasi bintang yang diberikan oleh  untuk  (yaitu [[deret geometri]]) dan  for .<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
* Semigelanggang Boolean dengan .<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>
* Semigelanggang aktif  dengan penjumlahan dan perkalian ekstensi, dan ,  untuk .<ref>Droste, M., & Kuich, W. (2009). Semirings dan Formal Power Series. ''Handbook of Weighted Automata'', 3–28. , pp. 7-10</ref>

=== Mogand ===
Istilah '''mogand''' (untuk "monoid ganda") telah digunakan untuk berbagai jenis semigelanggang:
* Digunakan oleh Kuntzman pada tahun 1972 untuk menunjukkan apa yang sekarang disebut semigelanggang.<ref>J. Kuntzmann. ''Théorie des réseaux (graphes)''. Dunod. 1972.</ref>
* Penggunaan yang berarti subgrup idempoten diperkenalkan oleh Baccelli et al. pada tahun 1992.<ref>François Louis Baccelli. ''Synchronization and linearity. An algebra for discrete event systems''. Wiley. 1992.</ref>
* Nama "mogand" kadang digunakan untuk menunjukkan [[semigelanggang tatanan alami]].

== Generalisasi ==
Generalisasi semigelanggang tidak membutuhkan keberadaan identitas perkalian, sehingga perkalian adalah [[semigrup]] dari monoid. Struktur seperti itu disebut ''gelanggang hemi''<ref>Jonathan S. Golan, ''Semirings and their applications'', Chapter 1, p1</ref> atau ''pra-semigelanggang''.<ref>Michel Gondran, Michel Minoux, ''Graphs, Dioids, and Semirings: New Models and Algorithms'', Chapter 1, Section 4.2, p22</ref> Generalisasi lebih lanjut adalah ''pra-semigelanggang-kiri'',<ref>Michel Gondran, Michel Minoux, ''Graphs, Dioids, and Semirings: New Models and Algorithms'', Chapter 1, Section 4.1, p20</ref> yang tidak menggunakan distribusi-kanan (atau ''pra-semigelanggang-kanan'', yang tidak menggunakan distribusi-kiri).

Dalam [[teori kategori]], ''gelang-2'' adalah kategori dengan [[fungtor]] operasi ial analog dengan gelang. Bahwa bilangan kardinal membentuk gelang dapat dikategorikan untuk [[kategori himpunan]] (atau lebih umum, [[topos]]) adalah gelang-2.

== Lihat pula ==
* [[Himpunan gelanggang]]
* [[Aljabar penilaian]]

== Catatan ==
== Kutipan ==
== Sumber ==
* 
* [[François Baccelli]], Guy Cohen, Geert Jan Olsder, Jean-Pierre Quadrat, ''[http://cermics.enpc.fr/~cohen-g//SED/book-online.html Synchronization and Linearity (online version)] '', Wiley, 1992, 
* Golan, Jonathan S., ''Semirings and their applications''. Updated and expanded version of ''The theory of semirings, with applications to mathematics and theoretical computer science'' (Longman Sci. Tech., Harlow, 1992, . Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp.  
* 
*
*
* 
* 

== Bacaan lebih lanjut ==
* 
* 
* 
* 
* 
* Steven Dolan (2013) [http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf Fun with Semirings] ,

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Semigelanggang&oldid=29582239 Wikipedia bahasa Indonesia], revisi 29582239 (2026-08-15T10:31:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->