Rak dan ganjalan

Struktur aljabar
Sejenis grup Grup Semigrup / Monoid Rak dan ganjal Grup semu dan gelung Grup abelian Magma Grup Lie Teori grup
Sejenis gelanggang Gelanggang Semigelanggang Gelanggang dekat Gelanggang komutatif Ranah integral Medan Gelanggang pembagian Teori gelanggang
Sejenis kekisi Kekisi Semikekisi Kekisi dikomplemenkan Urutan total Aljabar Heyting Aljabar boolean Peta kekisi Teori kekisi
Sejenis modul Modul Grup dengan operator Ruang vektor Aljabar linear
Sejenis aljabar Aljabar Asosiatif Non-asosiatif Aljabar komposisi Aljabar Lie Bertingkat Bialjabar
l b s

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Rack and quandles di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan.
(Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel)

Dalam matematika, rak dan ganjalan adalah himpunan dengan aksioma pemuas operasi biner di mana analog dengan gerakan Reidemeister yang digunakan untuk memanipulasi diagram simpul.

Meskipun sebagian besar digunakan untuk mendapatkan invarian simpul, hal tersebut dipandang sebagai konstruksi aljabar dengan hak sendiri. Secara khusus, definisi dari sebuah ganjalan melakukan aksioma pada properti dari konjugasi dalam group.

Sejarah

Pada tahun 1943, Mituhisa Takasaki (高崎光久) memperkenalkan struktur aljabar yang disebutnya Kei (圭), yang kemudian akan dikenal sebagai ganjalan involutif.^[1] Motivasinya adalah untuk menemukan struktur aljabar non-asosiatif untuk gagasan tentang refleksi dalam konteks geometri hingga. Ide tersebut ditemukan kembali dan digeneralisasikan pada tahun (tidak diterbitkan) 1959 korespondensi antara John Conway dan Gavin Wraith,^[2] pada saat itu adalah mahasiswa sarjana di Universitas Cambridge. Di sinilah definisi modern tentang ganjalan dan rak pertama kali muncul. Wraith menjadi tertarik pada struktur ini (yang awalnya dia sebut sekuensial) saat di sekolah.^[3] Conway menamainya kembali wrak sebagai pelesetan nama koleganya, dan sebagian karena mereka muncul sebagai sisa-sisa (atau 'rak dan rak') dari grup ketika seseorang membuang struktur perkalian dan hanya mempertimbangkan struktur konjugasi. Ejaan 'rak' sekarang menjadi lazim.

Konstruksi ini muncul kembali pada 1980-an: dalam makalah 1982 oleh David Joyce^[4] (di mana istilah ganjalan diciptakan),^[5] dalam sebuah makalah tahun 1982 oleh Sergei Matveev (dengan nama grupoid distributif)^[6] dan dalam makalah konferensi 1986 oleh Egbert Brieskorn (di mana mereka disebut himpunan automorfik).^[7] Tinjauan rinci tentang rak dan aplikasinya dalam teori simpul dapat ditemukan di makalah oleh Colin Rourke dan Roger Fenn.^[8]

Rak

Rak dapat didefinisikan sebagai satu himpunan R {\displaystyle \mathrm {R} } $\mathrm {R}$ dengan operasi biner ◃ {\displaystyle \triangleleft } $\triangleleft$ sedemikian rupa untuk setiap a , b , c ∈ R {\displaystyle a,b,c\in \mathrm {R} } $a,b,c\in \mathrm {R}$ sebagai hukum distribusi sendiri, yaitu:

a ◃ ( b ◃ c ) = ( a ◃ b ) ◃ ( a ◃ c ) {\displaystyle a\triangleleft (b\triangleleft c)=(a\triangleleft b)\triangleleft (a\triangleleft c)} $a\triangleleft (b\triangleleft c)=(a\triangleleft b)\triangleleft (a\triangleleft c)$

dan untuk setiap a , b ∈ R , {\displaystyle a,b\in \mathrm {R} ,} $a,b\in \mathrm {R} ,$ adalah c ∈ R {\displaystyle c\in \mathrm {R} } $c\in \mathrm {R}$ yaitu

a ◃ c = b . {\displaystyle a\triangleleft c=b.} $a\triangleleft c=b.$

Definisi ini, meskipun singkat dan umum digunakan, adalah suboptimal untuk tujuan tertentu karena pembilang eksistensial yang sebenarnya tidak diperlukan. Untuk menghindari hal ini, kita dapat menulis c ∈ R {\displaystyle c\in \mathrm {R} } $c\in \mathrm {R}$ yaitu a ◃ c = b {\displaystyle a\triangleleft c=b} $a\triangleleft c=b$ sebagai b ▹ a . {\displaystyle b\triangleright a.} $b\triangleright a.$ Kita memiliki

a ◃ c = b ⟺ c = b ▹ a , {\displaystyle a\triangleleft c=b\iff c=b\triangleright a,} $a\triangleleft c=b\iff c=b\triangleright a,$

dan dengan demikian

a ◃ ( b ▹ a ) = b , {\displaystyle a\triangleleft (b\triangleright a)=b,} $a\triangleleft (b\triangleright a)=b,$

dan

( a ◃ b ) ▹ a = b . {\displaystyle (a\triangleleft b)\triangleright a=b.} $(a\triangleleft b)\triangleright a=b.$

Menggunakan ide ini, rak didefinisikan secara ekuivalen sebagai satu himpunan R {\displaystyle \mathrm {R} } $\mathrm {R}$ dengan dua operasi biner ◃ {\displaystyle \triangleleft } $\triangleleft$ dan ▹ {\displaystyle \triangleright } $\triangleright$ sedemikian rupa maka untuk semua a , b , c ∈ R : {\displaystyle a,b,c\in \mathrm {R} {\text{:}}} $a,b,c\in \mathrm {R} {\text{:}}$

a ◃ ( b ◃ c ) = ( a ◃ b ) ◃ ( a ◃ c ) {\displaystyle a\triangleleft (b\triangleleft c)=(a\triangleleft b)\triangleleft (a\triangleleft c)} $a\triangleleft (b\triangleleft c)=(a\triangleleft b)\triangleleft (a\triangleleft c)$ (hukum distribusi sendiri kiri)
( c ▹ b ) ▹ a = ( c ▹ a ) ▹ ( b ▹ a ) {\displaystyle (c\triangleright b)\triangleright a=(c\triangleright a)\triangleright (b\triangleright a)} $(c\triangleright b)\triangleright a=(c\triangleright a)\triangleright (b\triangleright a)$ (hukum distribusi sendiri kanan)
( a ◃ b ) ▹ a = b {\displaystyle (a\triangleleft b)\triangleright a=b} $(a\triangleleft b)\triangleright a=b$
a ◃ ( b ▹ a ) = b {\displaystyle a\triangleleft (b\triangleright a)=b} $a\triangleleft (b\triangleright a)=b$

Mudah untuk mengatakan bahwa elemen a ∈ R {\displaystyle a\in \mathrm {R} } $a\in \mathrm {R}$ bertindak dari kiri dalam ekspresi a ◃ b , {\displaystyle a\triangleleft b,} $a\triangleleft b,$ dan bertindak dari kanan dalam ekspresi b ▹ a . {\displaystyle b\triangleright a.} $b\triangleright a.$ Aksioma rak ketiga dan keempat untuk tindakan kiri dan kanan ini adalah kebalikan dari satu sama lain. Dengan menggunakan ini, kita dapat menghilangkan salah satu tindakan dari definisi rak. Jika kita menghilangkan tindakan yang benar dan mempertahankan yang kiri, kita mendapatkan definisi singkat yang diberikan pada awalnya.

Banyak kebaktian berbeda digunakan dalam literatur tentang rak dan ganjalan. Misalnya, banyak penulis lebih suka bekerja hanya dengan tindakan benar. Selanjutnya penggunaan simbol ◃ {\displaystyle \triangleleft } $\triangleleft$ dan ▹ {\displaystyle \triangleright } $\triangleright$ sama sekali tidak universal: banyak penulis menggunakan notasi eksponensial

a ◃ b = a b {\displaystyle a\triangleleft b={}^{a}b} $a\triangleleft b={}^{a}b$

dan

b ▹ a = b a , {\displaystyle b\triangleright a=b^{a},} $b\triangleright a=b^{a},$

sementara banyak yang lainnya menulis

b ▹ a = b ⋆ a . {\displaystyle b\triangleright a=b\star a.} $b\triangleright a=b\star a.$

Namun definisi lain yang setara dari rak adalah satu himpunan di mana setiap elemen bertindak di kiri dan kanan sebagai automorfisme rak, dengan tindakan kiri menjadi invers dari tindakan kanan. Dalam definisi ini, fakta bahwa setiap elemen bertindak sebagai automorfisme mengkodekan hukum distribusi sendiri kiri dan kanan, dan hukum berikut:

a ◃ ( b ▹ c ) = ( a ◃ b ) ▹ ( a ◃ c ) ( c ◃ b ) ▹ a = ( c ▹ a ) ◃ ( b ▹ a ) {\displaystyle {\begin{aligned}a\triangleleft (b\triangleright c)&=(a\triangleleft b)\triangleright (a\ \triangleleft c)\\(c\triangleleft b)\triangleright a&=(c\triangleright a)\triangleleft (b\triangleright a)\end{aligned}}} ${\begin{aligned}a\triangleleft (b\triangleright c)&=(a\triangleleft b)\triangleright (a\ \triangleleft c)\\(c\triangleleft b)\triangleright a&=(c\triangleright a)\triangleleft (b\triangleright a)\end{aligned}}$

yang merupakan konsekuensi dari definisi yang diberikan sebelumnya.

Ganjalan

Ganjalan adalah definisi rak Q , {\displaystyle \mathrm {Q} ,} $\mathrm {Q} ,$ sedemikian rupa maka untuk semua a ∈ Q {\displaystyle a\in \mathrm {Q} } $a\in \mathrm {Q}$

a ◃ a = a , {\displaystyle a\triangleleft a=a,} $a\triangleleft a=a,$

atau ekuivalen

a ▹ a = a . {\displaystyle a\triangleright a=a.} $a\triangleright a=a.$

Contoh dan aplikasi

Setiap grup memberikan ganjalan di mana operasi berasal dari konjugasi:

a ◃ b = a b a − 1 b ▹ a = a − 1 b a = a − 1 ◃ b {\displaystyle {\begin{aligned}a\triangleleft b&=aba^{-1}\\b\triangleright a&=a^{-1}ba\\&=a^{-1}\triangleleft b\end{aligned}}} ${\begin{aligned}a\triangleleft b&=aba^{-1}\\b\triangleright a&=a^{-1}ba\\&=a^{-1}\triangleleft b\end{aligned}}$

Faktanya, setiap hukum persamaan yang dipenuhi oleh konjugasi dalam sebuah kelompok mengikuti aksioma quandle. Jadi, seseorang dapat menganggap sebuah ganjalan sebagai apa yang tersisa dari sebuah grup ketika perkalian, identitas, dan invers, dan hanya mengingat operasi konjugasi.

Setiap simpul jinak di tiga dimensi ruang Euclidean memiliki 'ganjalan fundamental'. Untuk mendefinisikan, kita dapat mencatat bahwa grup fundamental dari komplemen simpul, atau grup simpul, memiliki presentasi (presentasi Wirtinger) di mana relasinya hanya melibatkan konjugasi. Jadi, presentasi ini bisa digunakan sebagai presentasi ganjalan. Ganjalan fundamental adalah simpul invarian yang sangat kuat. Secara khusus, jika dua simpul memiliki ganjalan fundamental isomorfik maka terdapat homeomorfisme ruang Euklidean tiga dimensi sebagai orientasi invers, mengambil satu simpul ke simpul lainnya.

Invarian simpul yang kurang kuat tetapi lebih mudah dihitung untuk diperoleh dengan menghitung homomorfisme dari simpul ganjalan ke ganjalan tetap Q . {\displaystyle \mathrm {Q} .} $\mathrm {Q} .$ Karena presentasi Wirtinger memiliki satu generalisasi untuk setiap untai dalam diagram simpul, invarian ini dapat dihitung dengan menghitung cara pelabelan setiap untai dengan elemen Q , {\displaystyle \mathrm {Q} ,} $\mathrm {Q} ,$ . Invarian yang lebih canggih semacam ini dapat dibangun dengan bantuan quandle cohomology.

Ganjalan Alexander termasuk hal yang penting, karena dapat digunakan untuk menghitung polinomial Alexander dari simpul. Maka A {\displaystyle \mathrm {A} } $\mathrm {A}$ menjadi modul di atas gelanggang Z [ t , t − 1 ] {\displaystyle \mathbb {Z} [t,t^{-1}]} $\mathbb {Z} [t,t^{-1}]$ dari polinomial Laurent dalam satu variabel. Maka ganjalan Alexander adalah A {\displaystyle \mathrm {A} } $\mathrm {A}$ dibuat menjadi ganjalan dengan tindakan kiri yang diberikan oleh

a ◃ b = t b + ( 1 − t ) a . {\displaystyle a\triangleleft b=tb+(1-t)a.} $a\triangleleft b=tb+(1-t)a.$

Rak adalah generalisasi yang berguna dari ganjalan dalam topologi, karena ganjalan dapat merepresentasikan simpul pada objek linear bulat (seperti tali atau benang), rak bisa mewakili pita, yang bisa dipelintir atau diikat.

sebuah ganjalan Q {\displaystyle \mathrm {Q} } $\mathrm {Q}$ sebagai tidak ganjalan jika untuk semua a , b ∈ Q , {\displaystyle a,b\in \mathrm {Q} ,} $a,b\in \mathrm {Q} ,$

a ◃ ( a ◃ b ) = b {\displaystyle a\triangleleft (a\triangleleft b)=b} $a\triangleleft (a\triangleleft b)=b$

atau ekuivalen

( b ▹ a ) ▹ a = b . {\displaystyle (b\triangleright a)\triangleright a=b.} $(b\triangleright a)\triangleright a=b.$

Setiap ruang simetri menghasilkan ganjalan tak duga, di mana a ◃ b {\displaystyle a\triangleleft b} $a\triangleleft b$ adalah hasil dari 'refleksi b {\displaystyle b} $b$ melalui a {\displaystyle a} $a$ '.

Lihat pula

Referensi

↑ Takasaki, Mituhisa (1943). "Abstractions of symmetric functions". Jurnal Matematika Tohoku. 49: 143–207.
↑ Conway, John H.; Wraith, Gavin (1959). "(korespondensi yang tidak dipublikasikan)".{{cite journal}}: Kutipan journal memerlukan |journal=
↑ Wraith, Gavin. "A Personal Story about Knots". Diarsipkan dari asli tanggal 2006-03-13.
↑ Joyce, David (1982). "A classifying invariant of knots: the knot quandle". Jurnal Aljabar Murni dan Terapan. 23: 37–65. doi:10.1016/0022-4049(82)90077-9.
↑ Baez, John. "The Origin of the word 'Quandle'". The n-Category Cafe. Diakses tanggal 5 Juni 2015.{{cite web}}: Pemeliharaan CS1: Tanggal diterjemahkan otomatis (link)
↑ Matveev, Sergei (1984). "Distributive groupoids in knot theory". Math. USSR Sbornik. 47: 73–83. doi:10.1070/SM1984v047n01ABEH002630.
↑ Brieskorn, Egbert (1988). "Automorphic sets and singularities". In "Braids (Santa Cruz, CA, 1986)", Contemporary Mathematics. 78: 45–115. doi:10.1090/conm/078/975077.
↑ Rourke, Colin; Fenn, Roger (1992). "Racks and links in codimension 2". Journal of Knot Theory and Its Ramifications. 1 (4): 343–406. doi:10.1142/S0218216592000203.