Kelas konjugasi

Templat:Short description Dalam matematika, terutama teori grup, dua elemen Templat:Mvar dan Templat:Mvar dari sebuah grup adalah konjugasi jika elemen Templat:Mvar dalam grup dirumuskan Templat:Math. Ini adalah relasi kesetaraan yang kelas kesetaraan disebut kelas konjugasi.

Anggota kelas konjugasi yang sama tidak dapat dibedakan dengan hanya menggunakan struktur grup, dan karena itu berbagi banyak sifat. Studi tentang kelas konjugasi grup non-abelian sangat penting untuk mempelajari struktur mereka. Untuk grup abelian, setiap kelas konjugasi adalah himpunan yang berisi satu elemen ( himpunan tunggal).

Fungsi yang konstan untuk anggota kelas konjugasi yang sama disebut fungsi kelas.

Definisi

Maka Templat:Math menjadi sebuah grup. Dua elemen Templat:Math dan Templat:Math dari Templat:Math adalah mengkonjugasikan, jika ada elemen Templat:Math di Templat:Math sedemikian rupa sehingga Templat:Math. Seseorang juga mengatakan bahwa Templat:Math adalah konjugasi dari Templat:Math dan bahwa Templat:Math adalah konjugasi dari Templat:Math.

Dalam kasus grup [[GL(n)|Templat:Math]] dari matriks invers, hubungan konjugasi disebut kesamaan matriks.

Dapat dengan mudah ditunjukkan bahwa konjugasi adalah relasi ekivalen dan oleh karena itu memartisi G menjadi kelas ekivalen. (Ini berarti bahwa setiap elemen grup milik tepat satu kelas konjugasi, dan kelas Cl( a ) dan Cl( b ) sama jika dan hanya jika a dan b berkonjugasi, dan memutuskan sebaliknya.) Kelas ekivalen yang mengandung elemen a dalam G adalah

Templat:Math

dan disebut kelas konjugasi dari Templat:Math. Templat:Vanchor dari Templat:Math adalah jumlah kelas konjugasi berbeda (tidak ada yang setara). Semua elemen yang termasuk dalam kelas konjugasi yang sama memiliki urutan yang sama.

Kelas konjugasi dapat disebut dengan mendeskripsikannya, atau lebih singkat dengan singkatan seperti "6A", artinya "kelas konjugasi tertentu dari urutan 6 elemen", dan "6B" akan menjadi kelas konjugasi yang berbeda dari elemen urutan 6; kelas konjugasi 1A adalah kelas konjugasi identitas. Dalam beberapa kasus, kelas konjugasi dapat dijelaskan dengan cara yang seragam; misalnya, dalam grup simetris mereka dapat dijelaskan oleh struktur siklus.

Contoh

Gugus simetris S₃, terdiri dari 6 permutasi dari tiga elemen, memiliki tiga kelas konjugasi:

tidak ada perubahan (abc → abc)

transposisi dua (abc → acb, abc → bac, abc → cba)

permutasi siklik dari ketiganya (abc → bca, abc → cab)

Ketiga kelas ini juga sesuai dengan klasifikasi isometri dari segitiga sama sisi.

Tabel menampilkan Templat:Math untuk urutan Templat:Math dengan Templat:Math (membandingkan daftar bernomor) . Setiap baris berisi semua elemen kelas konjugasi Templat:Nowrap dan setiap kolom berisi semua elemen Templat:Math.

Grup simetris S₄, terdiri dari 24 permutasi dari empat elemen, memiliki lima kelas konjugasi, terdaftar dengan struktur dan urutan siklusnya:

(1)₄    tidak ada perubahan (1 elemen: { (1, 2, 3, 4) }). Baris tunggal yang berisi kelas konjugasi ini ditampilkan sebagai deretan lingkaran hitam di tabel yang berdekatan.

(2)      interchanging two (6 elements: { (1, 2, 4, 3), (1, 4, 3, 2), (1, 3, 2, 4), (4, 2, 3, 1), (3, 2, 1, 4), (2, 1, 3, 4) }). 6 baris yang berisi kelas konjugasi ini disorot dengan warna hijau di tabel yang berdekatan.

(3)      permutasi siklik dari tiga (8 elemen: { (1, 3, 4, 2), (1, 4, 2, 3), (3, 2, 4, 1), (4, 2, 1, 3), (4, 1, 3, 2), (2, 4, 3, 1), (3, 1, 2, 4), (2, 3, 1, 4) }). 8 baris yang berisi kelas konjugasi ini ditampilkan dengan cetakan normal (tanpa huruf tebal atau sorotan warna) pada tabel yang berdekatan.

(4)      permutasi siklik dari keempat (6 elemen: { (2, 3, 4, 1), (2, 4, 1, 3), (3, 1, 4, 2), (3, 4, 2, 1), (4, 1, 2, 3), (4, 3, 1, 2) }). 6 baris yang berisi kelas konjugasi ini disorot dengan warna oranye di tabel yang berdekatan.

(2)(2)  mempertukarkan dua, dan juga dua lainnya (3 elemen: { (2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2) }). 3 baris yang berisi kelas konjugasi ini ditampilkan dengan entri huruf tebal di tabel yang berdekatan.

rotasi kubus yang tepat, yang dapat dicirikan dengan permutasi diagonal tubuh, juga dijelaskan dengan konjugasi dalam S₄ .

Secara umum, jumlah kelas konjugasi dalam grup simetris S_n sama dengan jumlah partisi bilangan bulat dari n . Ini karena setiap kelas konjugasi sesuai dengan satu partisi dari {1, 2, ..., n} menjadi siklus, hingga permutasi elemen {1, 2, ..., n}.

Secara umum, grup Euklides dapat dipelajari dengan konjugasi isometri dalam ruang Euklides.

Sifat

• Elemen identitas selalu merupakan satu-satunya elemen di kelasnya, yaitu Templat:Math
• Jika Templat:Math adalah abelian, maka Templat:Math untuk Templat:Math dan Templat:Math pada Templat:Math; begitu Templat:Math untuk Templat:Math pada Templat:Math.
• Jika dua elemen Templat:Math dan Templat:Math dari Templat:Math termasuk dalam kelas konjugasi yang sama (yaitu, jika keduanya konjugasi), maka mereka memiliki urutan yang sama. Secara lebih umum, setiap pernyataan tentang Templat:Math dapat diterjemahkan menjadi pernyataan tentang Templat:Math, karena peta Templat:Math adalah automorfisme dari Templat:Math. Lihat sifat berikutnya sebagai contoh.
• Jika Templat:Math dan Templat:Math terkonjugasi, begitu juga kekuatan Templat:Math dan Templat:Math. (Proof: if Templat:Math, kemudian Templat:Math.) Jadi, mengambil kekuatan Templat:Math memberikan peta pada kelas konjugasi, dan seseorang dapat mempertimbangkan kelas konjugasi mana yang ada di preimage nya. Misalnya, dalam grup simetris, kuadrat dari elemen tipe (3)(2) (3-siklus dan 2-siklus) adalah elemen tipe (3), oleh karena itu salah satu kelas power-up dari (3) adalah kelas (3)(2) (di mana Templat:Math adalah kelas power-up dari Templat:Math).
• Sebuah elemen Templat:Math dari Templat:Math terletak di pusat Templat:Math dari Templat:Math jika dan hanya jika kelas konjugasinya hanya memiliki satu elemen, Templat:Math itu sendiri. Secara lebih umum, jika Templat:Math menunjukkan centralizer dari Templat:Math pada Templat:Math, yaitu subgrup yang terdiri dari semua elemen Templat:Matematika seperti itu Templat:Math, lalu indeks Templat:Math sama dengan jumlah elemen dalam kelas konjugasi Templat:Math (menurut teorema penstabil orbit).
• Take $\sigma \in S_n$ and let $m_1,m_2,...,m_s$ menjadi bilangan bulat berbeda yang muncul sebagai panjang siklus dalam jenis siklus $\sigma$ (including 1-cycles). Maka $k_i$ menjadi jumlah siklus panjang $m_i$ in $\sigma$ untuk $i=1,2,...,s$ (seperti $\sum _{i=1}^s{k}_i{m}_i=n$). Kemudian jumlah konjugasi $\sigma$ adalah:

$\frac{n!}{(k_1!m_1^{k_1})(k_2!m_2^{k_2})...(k_s!m_s^{k_s})}$

Konjugasi sebagai grup aksi

Jika kita mendefinisikan

Templat:Math

untuk dua elemen apa pun Templat:Math dan Templat:Math dalam Templat:Math, maka kita memiliki aksi grup dari Templat:Math pada Templat:Math. orbit dari tindakan ini adalah kelas konjugasi, dan penstabil dari elemen tertentu adalah pemusat elemen.

Demikian pula, kita bisa mendefinisikan aksi grup dari Templat:Math pada himpunan semua himpunan bagian dari Templat:Math, dengan menulis

Templat:Math,

atau pada himpunan subgrup dari Templat:Math.

Konjugasi subgrup dan himpunan bagian umum

Secara lebih umum, jika himpunan bagian S dari G ( S belum tentu merupakan subgrup), kami mendefinisikan subset T dari G menjadi konjugasi menjadi S jika terdapat beberapa g dalam G sedemikian rupa T = gSg⁻¹. Kami dapat mendefinisikan Cl(S) sebagai himpunan semua himpunan bagian T dari G sehingga T dikonjugasikan menjadi S .

Teorema yang sering digunakan adalah bahwa, dengan subset S dari G , indeks dari N( S ) (penormal dari S ) di G sama dengan urutan Cl(S):

$|\mathrm{Cl}(S)|=[G:N(S)]$

Ini mengikuti karena, jika g dan h ada di G , maka gSg⁻¹ = hSh⁻¹ jika dan hanya jika g⁻¹h ada di N (S), dengan kata lain, jika dan hanya jika g dan h berada dalam kohimpunan yang sama N(S).

Perhatikan bahwa rumus ini menggeneralisasi yang diberikan sebelumnya untuk jumlah elemen dalam kelas konjugasi (maka S = {a}).

Di atas sangat berguna ketika berbicara tentang subgrup G . Dengan demikian, subgrup dapat dibagi menjadi kelas konjugasi, dengan dua subgrup yang termasuk dalam kelas yang sama jika dan hanya jika. Subgrup konjugat adalah isomorfis, tetapi subgrup isomorfik tidak perlu konjugasi. Misalnya, sebuah grup abelian mungkin memiliki dua subgrup berbeda yang isomorfik, tetapi mereka tidak pernah konjugasi.

Interpretasi geometris

Kelas konjugasi dalam grup fundamental dari ruang topologi terhubung-jalan dapat dianggap sebagai kelas kesetaraan loop bebas di bawah homotopi bebas.

Kelas konjugasi dan representasi tak tersederhanakan dalam grup hingga

Dalam grup terbatas, jumlah (non-isomorfik) representasi tak tereduksi berbeda sama dengan jumlah kelas konjugasi.

Lihat pula

• Konjugasi topologis
• Grup-FC
• Subgrup tertutup konjugasi

Referensi

• Templat:Cite book

Pranala luar

• Templat:Springer