Grup kuaternion: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Rescuing 5 sources and tagging 0 as dead.) #IABot (v2.0.9.5 |
Fitur saranan suntingan: 3 pranala ditambahkan. |
||
Baris 2:
[[Gambar:GroupDiagramQ8.svg|240px|thumb|[[Grafik siklus (grup) | Diagram siklus]] dari Q<sub>8</sub>. Setiap warna menentukan rangkaian kekuatan elemen apa pun yang terhubung ke elemen identitas e = 1. Misalnya, siklus berwarna merah mencerminkan fakta bahwa i<sup>2</sup> = {{overline|e}}, i<sup>3</sup> = {{overline|i}} dan i<sup>4</sup> = e. Siklus merah juga mencerminkan bahwa {{overline|i}}<sup>2</sup> = {{overline|e}}, {{overline|i}}<sup>3</sup> = i dan {{overline|i}}<sup>4</sup> = e.]]
Dalam [[teori grup]], '''grup angka empat''' Q<sub>8</sub> (terkadang hanya dilambangkan dengan Q) adalah [[grup non-abelian]] dari [[Urutan grup | urutan]] delapan, isomorfik ke [[himpunan bagian]] delapan elemen
<math>\{1,i,j,k,-1,-i,-j,-k\}</math> dari [[angka empat]] di bawah perkalian. Ini diberikan oleh [[presentasi grup]]
:<math>\mathrm{Q}_8 = \langle \bar{e},i,j,k \mid \bar{e}^2 = e, \;i^2 = j^2 = k^2 = ijk = \bar{e} \rangle ,</math>
di mana e adalah [[elemen identitas]] dan {{overline|e}} [[komutatif]] dengan elemen lain dalam grup.
[[Presentasi grup#Contoh | Presentasi Q<sub> 8 </sub>]] lainnya adalah:
Baris 122:
== Representasi matriks ==
[[Berkas:Quaternion group; Cayley table; subgroup of SL(2,C).svg|thumb|Tabel perkalian grup quaternion sebagai subkelompok [[Grup linier khusus | SL]] (2, [[Bilangan kompleks|'''C''']]). Entri diwakili oleh sektor yang sesuai dengan argumennya: 1 (hijau), '' i '' (biru), -1 (merah), -'' i '' (kuning).]]
Kompleks tak tersederhanakan dua dimensi [[representasi grup | representasi]] yang dijelaskan di atas memberikan grup kuatnion Q<sub>8</sub> sebagai subgrup dari [[grup linier umum]] <math>\operatorname{GL}_2(\Complex)</math>. Grup kuaternion adalah subgrup perkalian dari aljabar quaternion <math>\mathbb H=\mathbb R1+\mathbb Ri+\mathbb Rj+\mathbb Rk= \mathbb C1+\mathbb Cj</math>, yang memiliki [[representasi reguler]] <math>\rho:\mathbb H\to \mathrm{M}_2(\mathbb{C})</math> perkalian kiri dengan sendirinya dianggap sebagai [[ruang vektor]] kompleks dengan basis <math>\{1,j\}</math>, sehingga <math>z\in \mathbb H</math> sesuai dengan '''C'''-pemetaan linier <math>\rho_z:a{+}jb\mapsto z\cdot(a{+}jb)</math>. Representasi yang dihasilkan <math>\rho:\mathrm{Q}_8 \to \mathrm{GL}_{2}(\Complex),\ g\mapsto\rho_g,</math> diberikan oleh:
:<math>\begin{matrix}
| |||