Dalam matematika, **faktorisasi** dari monoid bebas adalah urutan himpunan bagian kata dengan properti bahwa setiap kata dalam monoid bebas dapat ditulis sebagai rangkaian elemen yang diambil dari himpunan bagian tersebut. Teorema Chen–Fox–Lyndon menyatakan bahwa kata Lyndon memberikan sebuah faktorisasi. Teorema Schützenberger menghubungkan definisi dalam hal sifat perkalian dengan sifat aditif.[*butuh klarifikasi*]

Misalkan {\displaystyle A^{\*}} adalah monoid bebas pada huruf {\displaystyle A}. Misalkan {\displaystyle X\_{i}} adalah urutan himpunan bagian dari {\displaystyle A^{\*}} yang diindeks oleh himpunan indeks terurut total {\displaystyle I}. Faktorisasi sebuah kata {\displaystyle w} pada {\displaystyle A^{\*}} adalah ekspresi

{\displaystyle w=x\_{i\_{1}}x\_{i\_{2}}\cdots x\_{i\_{n}}\ }
dengan {\displaystyle x\_{i\_{j}}\in X\_{i\_{j}}} dan {\displaystyle i\_{1}\geq i\_{2}\geq \ldots \geq i\_{n}}. Beberapa penulis membalik urutan ketidaksetaraan.

Teorema Chen–Fox–Lyndon
-----------------------

Kata Lyndon atas huruf yang tersusun total {\displaystyle A} adalah kata yang secara leksikografis lebih kecil dari semua rotasinya. **Teorema Chen–Fox–Lyndon** menyatakan bahwa setiap untai dapat dibentuk dengan cara yang unik dengan menggabungkan urutan kata Lyndon yang tidak bertambah. Oleh karena itu {\displaystyle X\_{i}} menjadi himpunan satuan {\displaystyle \{I\}} untuk setiap kata Lyndon {\displaystyle I}, dengan himpunan indeks {\displaystyle L} dari kata-kata Lyndon yang diurutkan secara leksikografis, kita memperoleh pemfaktoran {\displaystyle A^{\*}}. Pemfaktoran seperti ini dapat ditemukan dalam waktu linear.

Kata Hall
---------

Himpunan Hall menyediakan faktorisasi. Memang, kata Lyndon adalah kasus khusus dari kata-kata Hall. Artikel pada kata Hall memberikan sketsa dari semua mekanisme yang diperlukan untuk membuktikan faktorisasi ini.

Bagi-dua
--------

**Bagi-dua** monoid bebas adalah faktorisasi dengan hanya dua kelas {\displaystyle X\_{0}}, {\displaystyle X\_{1}}.

Contoh:

{\displaystyle A=\{a,b\}}, {\displaystyle X\_{0}=\{a^{\*}\,b\}}, {\displaystyle X\_{1}=\{a\}}.
Jika {\displaystyle X}, {\displaystyle Y} adalah himpunan lepas kata takkosonh, maka {\displaystyle (X.Y)} adalah bagi-dua dari {\displaystyle A^{\*}} jika dan hanya jika

{\displaystyle YX\cup A=X\cup Y}.
Akibatnya, untuk suatu partisi {\displaystyle P}, {\displaystyle Q} pada {\displaystyle A^{+}} terdapat bagi-dua tunggal {\displaystyle (X.Y)} dengan {\displaystyle X} adalah himpunan bagian dari {\displaystyle P} dan {\displaystyle Y} adalah himpunan bagian dari {\displaystyle Q}.

Teorema Schützenberger
----------------------

Teorema ini menyatakan bahwa urutan {\displaystyle X\_{i}} dari himpunan bagian {\displaystyle A^{\*}} membentuk pemfaktoran jika dan hanya jika dua dari tiga pernyataan berikut berlaku:

* Setiap elemen {\displaystyle A^{\*}} memiliki setidaknya satu ekspresi dalam formulir yang diperlukan;[*butuh klarifikasi*]
* Setiap elemen {\displaystyle A^{\*}} memiliki paling banyak satu ekspresi dalam bentuk yang diminta;
* Setiap kelas konjugasi {\displaystyle C} hanya bertemu dengan salah satu monoid {\displaystyle M\_{i}=X\_{i}^{\*}} dan elemen {\displaystyle C} pada {\displaystyle M\_{i}} sekawan di {\displaystyle M\_{i}}.[*butuh klarifikasi*]

Lihat pula
----------

* Kata Zimin

Referensi
---------

1. ↑  Lothaire (1997) p.64
2. ↑  Lothaire (1997) p.67
3. ↑  Duval, Jean-Pierre (1983). "Factorizing words over an ordered alphabet". *Journal of Algorithms*. **4** (4): 363–381. doi:10.1016/0196-6774(83)90017-2. .
4. ↑  Guy Melançon, (1992) "Combinatorics of Hall trees and Hall words Diarsipkan 2022-04-01 di Wayback Machine.", *Journal of Combinatoric Theory*, **59A**(2) pp. 285–308.
5. ↑  Lothaire (1997) p.68
6. ↑  Lothaire (1997) p.69
7. ↑  Lothaire (1997) p.71
8. ↑  Lothaire (1997) p.92

* Lothaire, M. (1997), *Combinatorics on words*, Encyclopedia of Mathematics and Its Applications, **17**, Perrin, D.; Reutenauer, C.; Berstel, J.; Pin, J. E.; Pirillo, G.; Foata, D.; Sakarovitch, J.; Simon, I.; Schützenberger, M. P.; Choffrut, C.; Cori, R.; Lyndon, Roger; Rota, Gian-Carlo. Foreword by Roger Lyndon (edisi ke-2nd), Cambridge University Press, ISBN 0-521-59924-5, Zbl 0874.20040