Uch elementli yarim guruh - Semigroup with three elements - Wikipedia

Yilda mavhum algebra, a yarim guruh uchta element bilan uchta elementdan iborat bo'lgan ob'ekt va an assotsiativ operatsiya ularga belgilangan. Ko'p sonli 0, 1 va -1 sonlarini ko'paytirish bilan birga asosiy misol bo'lishi mumkin. Butun sonlarni ko'paytirish assotsiativ bo'lib, ushbu uchta butun sonning istalgan ikkitasining ko'paytmasi yana uchta sonning biriga teng bo'ladi.

Uch element bo'yicha assotsiativ operatsiyani aniqlashning 18 tengsiz usuli mavjud: umuman, jami 3 ta9 = 19683 ta aniqlanishi mumkin bo'lgan turli xil ikkilik operatsiyalar, ulardan faqat 113 tasi assotsiativ va ularning ko'plari izomorfik yoki antiizomorfik shuning uchun aslida faqatgina 18 imkoniyat mavjud. [1][2]

Ulardan biri C3, tsiklik guruh uchta element bilan. Qolganlarning hammasi ikki elementli yarim guruh kabi kichik guruhlar. Yuqoridagi misolda, ko'paytma ostidagi {-1,0,1} to'plamida {0,1} va {-1,1} ikkala kichik guruh sifatida mavjud (ikkinchisi subguruh, C2 ).

Ulardan oltitasi guruhlar, uchta element ham mavjudligini anglatadi idempotent, shuning uchun har qanday elementning o'zi bilan hosilasi yana o'zi bo'ladi. Ushbu guruhlarning ikkitasi kommutativ, shuning uchun semilattices (ulardan biri - bu uch elementli to'liq tartiblangan to'plam, ikkinchisi esa panjara bo'lmagan uch elementli yarim chiziq). Qolgan to'rttasi anti-izomorfik juftlikda.

Kommutativ bo'lmagan guruhlardan biri qo'shni an hosil bo'ladi hisobga olish elementi ga LO2, chap nolinchi yarim guruh ikkita element bilan (yoki, ikkilik bilan, ga) RO2, o'ng nol yarim guruh ). Ba'zan uni flip-flop monoidga ishora qilmoqda flip-flop sxemalari elektronikada ishlatiladi: uchta elementni "o'rnatish", "qayta tiklash" va "hech narsa qilmaslik" deb ta'riflash mumkin. Ushbu yarim guruh Kron-Rodos parchalanishi cheklangan yarim guruhlarning.[3] Ushbu parchalanishdagi kamaytirilmaydigan elementlar cheklangan oddiy guruhlar bundan tashqari, bu uch elementli yarim guruh va uning kichik guruhlari.

Ikki bor tsiklik yarim guruhlar, tenglama bilan tavsiflangan x4 = x3bor O2, null yarim guruh kichik guruh sifatida ikkita element bilan. Ikkinchisi tomonidan tasvirlangan x4 = x2 va bor C2, Ikki elementli guruh, kichik guruh sifatida. (Tenglama x4 = x tasvirlaydi C3, yuqorida aytib o'tilgan uchta elementli guruh.)

Boshqa ettita tsikli bo'lmagan tarmoqli bo'lmagan komutativ yarim guruhlar mavjud, ular orasida birinchi misol {-1, 0, 1} va O3, uchta elementli nol yarim guruh. Kommutativ bo'lmagan tasma bo'lmagan yarim guruhlarning yana ikkita anti-izomorfik juftligi mavjud.

Uchta elementli yarim guruhlarning ro'yxati (izomorfizmgacha)bilan Kayli stollari yarim guruh ishi uchun

1. Tsiklik guruh (C3)

x y z
x  x   y   z 
y  y   z   x 
z  z   x   y 

2. Monogenik yarim guruh (indeks 2, davr 2)

x y z
x  y   z   y 
y  z   y   z 
z  y   z   y 

Kichik guruh: {y, z} ≈ C2

3. Aperiodik monogen semigrup (indeks 3)

x y z
x  y   z   z 
y  z   z   z 
z  z   z   z 

Kichik guruh: {y, z} ≈ O2

4. Kommutativ monoid ({-1,0,1} ko'paytma ostida)

x y z
x  z   y   x 
y  y   y   y 
z  x   y   z 

Kichik guruhlar: {x, z} ≈ C2. {y, z} ≈ CH2

5. Komutativ monoid

x y z
x  z   x   x 
y  x   y   z 
z  x   z   z 

Kichik guruhlar: {x, z} ≈ C2. {y, z} ≈ CH2

6. Komutativ yarim guruh

x y z
x  z   x   x 
y  x   z   z 
z  x   z   z 

Kichik guruhlar: {x, z} ≈ C2. {y, z} ≈ O2

7. Bekor yarim guruh (O3)

x y z
x  z   z   z 
y  z   z   z 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ {y, z} ≈ O2

8. Komutativ aperiodik yarim guruh

x y z
x  z   z   z 
y  z   y   z 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ O2. {y, z} ≈ CH2

9. Komutativ aperiodik yarim guruh

x y z
x  z   y   z 
y  y   y   y 
z  z   y   z 

Kichik guruhlar: {x, z} ≈ O2. {y, z} ≈ CH2

10. Komutativ aperiodik monoid

x y z
x  z   x   z 
y  x   y   z 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ O2. {y, z} ≈ CH2

11A. aperiodik yarim guruh

x y z
x  z   z   z 
y  y   y   y 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ O2, {y, z} ≈ LO2

11B. uning qarama-qarshi

x y z
x  z   y   z 
y  z   y   z 
z  z   y   z 

12A. aperiodik yarim guruh

x y z
x  z   z   z 
y  x   y   z 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ O2, {y, z} ≈ CH2

12B. uning teskarisi

x y z
x  z   x   z 
y  z   y   z 
z  z   z   z 

13. Semilattice (zanjir )

x y z
x  x   y   z 
y  y   y   z 
z  z   z   z 

Kichik guruhlar: {x, y} ≈ {x, z} ≈ {y, z} ≈ CH2

14. Semilattice

x y z
x  x   z   z 
y  z   y   z 
z  z   z   z 

Kichik guruhlar: {x, z} ≈ {y, z} ≈ CH2

15A. idempotent yarim guruh

x y z
x  x   x   x 
y  y   y   y 
z  x   x   z 

Kichik guruhlar: {x, y} ≈ LO2, {x, z} ≈ CH2

15B. uning teskarisi

x y z
x  x   y   x 
y  x   y   x 
z  x   y   z 

16A. idempotent yarim guruh

x y z
x  x   x   z 
y  y   y   z 
z  z   z   z 

Kichik guruhlar: {x, y} ≈ LO2, {x, z} ≈ {y, z} ≈ CH2

16B. uning teskarisi

x y z
x  x   y   z 
y  x   y   z 
z  z   z   z 

17A. nolni qoldiring yarim guruh (LO.)3)

x y z
x  x   x   x 
y  y   y   y 
z  z   z   z 

Kichik guruhlar: {x, y} ≈ {x, z} ≈ {y, z} ≈ LO2

17B. uning teskarisi (RO3)

x y z
x  x   y   z 
y  x   y   z 
z  x   y   z 

18A. idempotent yarim guruh (chap flip-flop monoid)

x y z
x  x   x   x 
y  y   y   y 
z  x   y   z 

Kichik guruhlar: {x, y} ≈ LO2, {x, z} ≈ {y, z} ≈ CH2

18B. uning qarama-qarshi tomoni (o'ng flip-flop monoid)

x y z
x  x   y   x 
y  x   y   y 
z  x   y   z 

Indeks ikki elementli kichik guruhlar: C2: tsiklik guruh, O2: nol yarim guruh, CH2: semilattice (zanjir), LO2/ RO2: chap / o'ng nolinchi yarim guruh.

Shuningdek qarang

Adabiyotlar

  1. ^ Andreas Distler, Sonli yarim guruhlarning tasnifi va ro'yxati Arxivlandi 2015-04-02 da Orqaga qaytish mashinasi, Doktorlik dissertatsiyasi, Sent-Endryus universiteti
  2. ^ Fridrik Diego; Kristin Halla Yonsdottir (2008 yil iyul). "Uch elementli to'plamdagi assotsiativ operatsiyalar" (PDF). Montana matematika ixlosmandlari. 5 (2 & 3): 257–268. Olingan 6 fevral 2014.
  3. ^ "Ushbu zararsiz uch elementli yarim guruh keyingi voqealarda muhim rol o'ynaydi ..." - Avtomatika nazariyasi va algebra qo'llanilishi tomonidan Jon L. Rods.