Grup berpenyelesaian

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Solvable group 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)

Struktur aljabar → Teori grup Teori grup
Gagasan dasar Subgrup Subgrup normal Grup hasil bagi darab langsung semi-darab langsung Homomorfisme grup kernel bayangan jumlah langsung karangan bunga sederhana hingga takhingga kontinu multiplikatif aditif siklik Abel dihedral nilpoten terselesaikan aksi Glosarium teori grup Daftar topik teori grup
Grup hingga Klasifikasi grup sederhana hingga siklik bergantian tipe Lie sporadik Teorema Cauchy Teorema Lagrange Teorema Sylow Teorema Hall grup-p Grup Abel elementer Grup Frobenius Pengganda Schur Grup simetrik ${\displaystyle \mathrm {S} _{n}}$ Grup Klein ${\displaystyle \mathrm {V} }$ Grup dihedral ${\displaystyle \mathrm {D} _{n}}$ Grup kuaternion ${\displaystyle \mathrm {Q} }$ Grup disiklik ${\displaystyle \mathrm {Dic} _{n}}$
Grup diskret Kekisi Bilangan bulat (${\displaystyle \mathbb {Z} }$) Grup bebas Grup modular ${\displaystyle \mathrm {PSL} (2,\mathbb {Z} )}$ ${\displaystyle \mathrm {SL} (2,\mathbb {Z} )}$ Grup aritmetika Kekisi Grup hiperbolik
Topologis dan Grup Lie Solenoid Lingkaran Linear umum ${\displaystyle \mathrm {GL} (n)}$ Linear khusus ${\displaystyle \mathrm {SL} (n)}$ Ortogonal ${\displaystyle \mathrm {O} (n)}$ Euklides ${\displaystyle \mathrm {E} (n)}$ Ortogonal khusus ${\displaystyle \mathrm {SO} (n)}$ Uner ${\displaystyle \mathrm {U} (n)}$ Uniter khusus ${\displaystyle \mathrm {SU} (n)}$ Simplektik ${\displaystyle \mathrm {Sp} (n)}$ G2 F4 E6 E7 E8 Lorentz Poincaré konformal Difeomorfisme Gelung Grup Lie berdimensi takhingga ${\displaystyle O(\infty )}$ ${\displaystyle \mathrm {SU} (\infty )}$ ${\displaystyle \mathrm {Sp} (\infty )}$
Grup aljabar Grup aljabar linear Grup reduktif Varietas Abel Kurva eliptik
l b s

Dalam matematika, lebih khusus lagi di medan teori grup, grup berpenyelesaian (bahasa Inggris: Solvable group) adalah grup yang dapat dibangun dari grup Abel menggunakan perluasan. Dengan kata lain, grup berpenyelesaian adalah grup yang deret jabaran berakhir di subgrup trivial.

Secara historis, kata "berpenyelesaian" muncul dari teori Galois dan bukti dari ketidakmampuan umum persamaan kuintik. Secara spesifik, persamaan polinomial dapat diselesaikan dalam radikal jika dan hanya jika grup Galois yang sesuai berpenyelesaian^[1] (perhatikan teorema ini hanya berlaku dalam karakteristik 0). Ini berarti terkait dengan polinomial ${\displaystyle f\in F[x]}$ jika menara perluasan lapangan

${\displaystyle F=F_{0}\subset F_{1}\subset F_{2}\subset \cdots \subset F_{m}=K}$

sehingga

1. ${\displaystyle F_{i}=F_{i-1}[\alpha _{i}]}$ dimana ${\displaystyle \alpha _{i}^{m_{i}}\in F_{i-1}}$, jadi ${\displaystyle \alpha _{i}}$ adalah penyelesaian persamaan ${\displaystyle x^{m_{i}}-a}$ dimana ${\displaystyle a\in F_{i-1}}$
2. ${\displaystyle F_{m}}$ berisi medan pemisahan untuk ${\displaystyle f(x)}$

Misalnya, perluasan medan Galois terkecil dari ${\displaystyle \mathbb {Q} }$ mengandung elemen

${\displaystyle a={\sqrt[{5}]{{\sqrt {2}}+{\sqrt {3}}}}}$

memberikan grup berpenyelesaian. Ini memiliki perluasan medan terkait

${\displaystyle \mathbb {Q} \subset \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\subset \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})\left(e^{2\pi i/5}{\sqrt[{5}]{{\sqrt {2}}+{\sqrt {3}}}}\right)}$

memberikan grup berpenyelesaian merumuskan ${\displaystyle \mathbb {Z} /5}$ (bertindak pada ${\displaystyle e^{2\pi i/5}}$) dan ${\displaystyle \mathbb {Z} /2\times \mathbb {Z} /2}$ (bertindak pada ${\displaystyle {\sqrt {2}}+{\sqrt {3}}}$).

Grup ${\displaystyle G}$ disebut berpenyelesaian jika memiliki deret subnormal yang grup faktor (grup hasil bagi) semuanya grup Abel, yaitu, jika ada subgrup ${\displaystyle 1=G_{0}<G_{1}<\dots <G_{k}=G}$, maka ${\displaystyle G_{j-1}}$ adalah subgrup normal di ${\displaystyle G_{j}}$, dan ${\displaystyle G_{j}/G_{j-1}}$ adalah grup Abel, karena ${\displaystyle j=1,2,\dots ,k}$.

Atau setara, jika deret jabaran, deret normal menurun

${\displaystyle G\triangleright G^{(1)}\triangleright G^{(2)}\triangleright \cdots }$,

di mana setiap subgrup adalah subgrup komutator dari yang sebelumnya, akhirnya mencapai subgrup trivial dari ${\displaystyle G}$. Kedua definisi ini setara, karena untuk setiap grup ${\displaystyle H}$ dan setiap subgrup normal ${\displaystyle N}$ dari ${\displaystyle H}$, hasil bagi ${\displaystyle H/N}$ adalah grup Abel jika dan hanya jika ${\displaystyle N}$ termasuk subgrup komutator dari ${\displaystyle H}$. Nilai ${\displaystyle n}$ terkecil sehingga ${\displaystyle G^{(n)}=1}$ disebut panjang jabaran dari grup berpenyelesaian ${\displaystyle G}$.

Untuk grup berhingga, definisi ekuivalennya adalah bahwa grup berpenyelesaian adalah grup dengan deret komposisi yang semua faktornya adalah grup siklik dari urutan bilangan prima. Ini setara karena grup berhingga memiliki panjang komposisi berhingga, dan setiap grup Abel sederhana adalah siklik orde utama. Teorema Jordan–Hölder menjamin bahwa jika salah satu deret komposisi memiliki sifat ini, semua deret komposisi akan memiliki sifat ini juga. Untuk grup Galois dari polinomial, grup siklik ini berpadanan dengan akar ${\displaystyle n}$ (radikal) di beberapa medan. Kesetaraan tidak selalu: sebagai contoh, karena setiap subgrup taktrivial dari grup ${\displaystyle \mathbb {Z} }$ dari bilangan bulat di bawah penambahan adalah isomorfis pada ${\displaystyle \mathbb {Z} }$, tidak memiliki deret komposisi, tetapi deret normal ${\displaystyle \{0,\mathbb {Z} \}}$, dengan satu-satunya grup faktor isomorfik hingga ${\displaystyle \mathbb {Z} }$, membuktikan bahwa ia berpenyelesaian.

Contoh dasar grup berpenyelesaian adalah grup Abel. Mereka berpenyelesaian secara trivial karena rangkaian subnormal diberikan hanya oleh grup itu sendiri dan grup trivial. Tetapi grup takAbel mungkin atau mungkin tidak bisa dipecahkan.

Secara umum, semua grup nilpoten berpenyelesaian. Secara khusus, grup-p hingga berpenyelesaian, karena semua grup-p hingga adalah nilpoten.

Secara khusus, grup kuaternion adalah grup berpenyelesaian yang diberikan oleh perluasan grup

${\displaystyle 1\to \mathbb {Z} /4\to Q\to \mathbb {Z} /2\to 1}$

dimana ${\displaystyle \mathbb {Z} /4}$ adalah subgrup yang dihasilkan oleh ${\displaystyle i}$.

Perluasan grup merupakan contoh prototip dari grup berpenyelesaian. Artinya, jika ${\displaystyle G}$ dan ${\displaystyle G'}$ adalah grup berpenyelesaian, maka suatu perluasan

${\displaystyle 1\to G\to G''\to G'\to 1}$

mendefinisikan grup berpenyelesaian ${\displaystyle G''}$. Faktanya, semua grup berpenyelesaian dapat dibentuk dari perluasan grup tersebut.

Contoh kecil dari grup taknilpoten berpenyelesaian adalah grup simetrik ${\displaystyle \mathrm {S} _{3}}$. Faktanya, karena grup takAbel sederhana terkecil adalah ${\displaystyle \mathrm {A} _{5}}$, (grup selang-seling dengan derajat 5) mengikuti bahwa setiap grup dengan urutan lebih kecil dari 60 adalah berpenyelesaian.

Teorema Feit–Thompson yang terkenal menyatakan bahwa setiap grup berhingga dari urutan ganjil adalah berpenyelesaian. Secara khusus ini menyiratkan bahwa jika grup hingga adalah grup sederhana, itu adalah grup siklik.

Grup ${\displaystyle S_{5}}$ takberpenyelesaian, ia memiliki deret komposisi ${\displaystyle \{E,A_{5},S_{6}\}}$ (dan Teorema Jordan–Hölder menyatakan bahwa setiap deret komposisi setara dengan yang satu itu), memberikan grup faktor isomorfik pada ${\displaystyle A_{5}}$ dan ${\displaystyle C_{2}}$; dan ${\displaystyle A_{5}}$ bukan Abel. Menggeneralisasi argumen ini, ditambah dengan fakta bahwa ${\displaystyle A_{n}}$ adalah subgrup normal, maksimal, sederhana takAbel ${\displaystyle S_{n}}$ dari ${\displaystyle n>4}$, ${\displaystyle S_{n}}$ tidak berpenyelesaian untuk ${\displaystyle n>4}$. Ini adalah langkah kunci dalam pembuktian bahwa untuk setiap ${\displaystyle n>4}$ ada polinomial derajat ${\displaystyle n}$ yang takberpenyelesaian oleh radikal (Teorema Abel–Ruffini). Sifat ini juga digunakan dalam teori kompleksitas dalam pembuktian teorema Barrington.

Andaikan subgrup

${\displaystyle B=\left\{{\begin{bmatrix}*&*\\0&*\end{bmatrix}}\right\}{\text{, }}U=\left\{{\begin{bmatrix}1&*\\0&1\end{bmatrix}}\right\}}$ pada ${\displaystyle \operatorname {GL} _{2}(\mathbb {F} )}$

untuk suatu medan ${\displaystyle \mathbb {F} }$. Maka, hasil bagi grup ${\displaystyle B/U}$ dapat ditemukan dengan mengambil sembarang elemen di ${\displaystyle B,U}$, mengalikannya, dan mencari tahu struktur apa yang diberikannya. Jadi

${\displaystyle {\begin{bmatrix}a&b\\0&c\end{bmatrix}}\cdot {\begin{bmatrix}1&d\\0&1\end{bmatrix}}={\begin{bmatrix}a&ad+b\\0&c\end{bmatrix}}}$

Perhatikan syarat determinan pada ${\displaystyle \operatorname {GL} _{2}}$ menyiratkan ${\displaystyle ac\neq 0:}$, karenanya ${\displaystyle \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\subset B}$ adalah subgrup (yang merupakan matriks di mana ${\displaystyle b=0}$). Untuk ${\displaystyle a,b}$ yang ditetapkan, persamaan linear ${\displaystyle ad+b=0}$ menyiratkan ${\displaystyle d=-b/a}$, yang merupakan elemen sembarang pada ${\displaystyle \mathbb {F} }$ ketika ${\displaystyle b\in \mathbb {F} }$. Karena kita dapat mengambil matriks pada ${\displaystyle B}$ dan mengalikannya dengan matriks

${\displaystyle {\begin{bmatrix}1&d\\0&1\end{bmatrix}}}$

dengan ${\displaystyle d=-b/a}$, kita bisa mendapatkan matriks diagonal pada ${\displaystyle B}$. Ini menunjukkan grup hasil bagi ${\displaystyle B/U\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }}$.

Perhatikan bahwa deskripsi ini memberikan penguraian ${\displaystyle B:}$ sebagai ${\displaystyle \mathbb {F} \rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times })}$ dimana ${\displaystyle (a,c)}$ bertindak pada ${\displaystyle b}$ oleh ${\displaystyle (a,c)(b)=ab}$. Ini menyiratkan ${\displaystyle (a,c)(b+b')=(a,c)(b)+(a,c)(b')=ab+ab'}$. Juga, matriks dari bentuk

${\displaystyle {\begin{bmatrix}a&b\\0&c\end{bmatrix}}}$

berpadanan dengan elemen ${\displaystyle (b)\times (a,c)}$ dalam grup.

Untuk grup aljabar linear ${\displaystyle G}$ subgrup Borel didefinisikan sebagai subgrup yang tertutup, terhubung, dan berpenyelesaian di ${\displaystyle G}$, dan ini adalah subgrup yang paling mungkin dengan sifat ini (perhatikan dua yang kedua adalah sifat topologi). Misalnya, dalam ${\displaystyle \operatorname {GL} _{n}}$ dan ${\displaystyle \operatorname {SL} _{n}}$, grup matriks segitiga atas, atau segitiga bawah adalah dua subgrup Borel. Contoh yang diberikan di atas, subgrup ${\displaystyle B}$ di ${\displaystyle \operatorname {GL} _{2}}$ adalah subgrup Borel.

Pada ${\displaystyle \operatorname {GL} _{3}}$ terdapat subgrup

${\displaystyle B=\left\{{\begin{bmatrix}*&*&*\\0&*&*\\0&0&*\end{bmatrix}}\right\},{\text{ }}U_{1}=\left\{{\begin{bmatrix}1&*&*\\0&1&*\\0&0&1\end{bmatrix}}\right\}}$

Perhatikan bahwa ${\displaystyle B/U_{1}\cong \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times }}$, maka grup Borel memiliki bentuk

${\displaystyle U\rtimes (\mathbb {F} ^{\times }\times \mathbb {F} ^{\times }\times \mathbb {F} ^{\times })}$

Dalam grup hasilkali ${\displaystyle \operatorname {GL} _{n}\times \operatorname {GL} _{m}}$ subgrup Borel dapat diwakili oleh matriks dalam bentuk

${\displaystyle {\begin{bmatrix}T&0\\0&S\end{bmatrix}}}$

dimana ${\displaystyle T}$ adalah matriks segitiga atas ${\displaystyle n\!\times \!n}$ dan ${\displaystyle S}$ adalah matriks segitiga atas ${\displaystyle m\!\times \!m}$.

Setiap grup hingga yang subgrup Sylow-p merupakan sikliknya, adalah produk setengah langsung dari dua grup siklik, khususnya grup berpenyelesaian. Grup tersebut disebut grup-Z.

Jumlah grup berpenyelesaian dengan urutan ${\displaystyle n}$ adalah (dimulai dengan ${\displaystyle n=0}$)

0, 1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, 2, 2, 1, 15, 2, 2, 5, 4, 1, 4, 1, 51, 1, 2, 1, 14, 1, 2, 2, 14, 1, 6, 1, 4, 2, 2, 1, 52, 2, 5, 1, 5, 1, 15, 2, 13, 2, 2, 1, 12, 1, 2, 4, 267, 1, 4, 1, 5, 1, 4, 1, 50, ... (barisan A201733 pada OEIS)

Urutan grup takberpenyelesaian adalah

60, 120, 168, 180, 240, 300, 336, 360, 420, 480, 504, 540, 600, 660, 672, 720, 780, 840, 900, 960, 1008, 1020, 1080, 1092, 1140, 1176, 1200, 1260, 1320, 1344, 1380, 1440, 1500, ... (barisan A056866 pada OEIS)

Solvabilitas tertutup terhadap sejumlah operasi.

• Jika ${\displaystyle G}$ berpenyelesaian, dan ${\displaystyle H}$ adalah subgrup dari ${\displaystyle G}$, maka ${\displaystyle H}$ adalah berpenyelesaian.^[2]
• Jika ${\displaystyle G}$ berpenyelesaian, dan terdapat homomorfisme dari ${\displaystyle G}$ pada ${\displaystyle H}$, maka ${\displaystyle H}$ adalah berpenyelesaian; setara (dengan teorema isomorfisme pertama), jika ${\displaystyle G}$ berpenyelesaian, dan ${\displaystyle N}$ adalah subgrup normal dari ${\displaystyle G}$, maka ${\displaystyle G/N}$ berpenyelesaian.^[3]
• Sifat sebelumnya dapat diperluas menjadi sifat "tiga untuk harga dua" berikut: ${\displaystyle G}$ dapat diselesaikan jika dan hanya jika ${\displaystyle N}$ dan ${\displaystyle G/N}$ keduanya berpenyelesaian.
• Secara khusus, jika ${\displaystyle G}$ dan ${\displaystyle H}$ berpenyelesaian, hasilkali langsung ${\displaystyle G\times H}$ berpenyelesaian.

Solvabilitas tertutup terhadap perluasan grup:

• Jika ${\displaystyle H}$ dan ${\displaystyle G/H}$ berpenyelesaian, maka begitu juga dengan ${\displaystyle G}$; secara khusus, jika ${\displaystyle N}$ dan ${\displaystyle H}$ berpenyelesaian, produk setengah langsung mereka juga berpenyelesaian.

Itu juga ditutup di bawah produk karangan bunga:

• Jika ${\displaystyle G}$ dan ${\displaystyle H}$ berpenyelesaian, dan ${\displaystyle X}$ adalah himpunan ${\displaystyle G}$, maka hasilkali karangan bunga dari ${\displaystyle G}$ dan ${\displaystyle H}$ terhadap ${\displaystyle X}$ juga berpenyelesaian.

Untuk suatu bilangan bulat positif ${\displaystyle N}$, grup berpenyelesaian dari panjang jabaran paling banyak ${\displaystyle N}$ membentuk subvarietas dari berbagai grup, karena mereka tertutup terhadap pengambilan citra homomorfik, subaljabar, dan hasil kali (langsung). Hasil kali langsung dari urutan grup berpenyelesaian dengan panjang jabaran tak terbatas tidak berpenyelesaian, sehingga kelas semua grup berpenyelesaian bukanlah suatu varietas.

Teorema Burnside menyatakan bahwa jika ${\displaystyle G}$ adalah grup hingga dari urutan ${\displaystyle p^{a}q^{b}}$ di mana ${\displaystyle p}$ dan ${\displaystyle q}$ adalah bilangan prima, dan ${\displaystyle a}$ dan ${\displaystyle b}$ adalah bilangan bulat taknegatif, maka ${\displaystyle G}$ adalah berpenyelesaian.

• Grup prosolvabel
• Subgrup parabola

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus. Cari sumber: "Grup berpenyelesaian" – berita · surat kabar · buku · cendekiawan · JSTOR (Desember 2020)

• Malcev, A. I. (1949), "Generalized nilpotent algebras and their associated groups", Mat. Sbornik N.S., 25 (67): 347–366, MR 0032644 
• Rotman, Joseph J. (1995), An Introduction to the Theory of Groups, Graduate Texts in Mathematics, 148 (edisi ke-4), Springer, ISBN 978-0-387-94285-8 

• Templat:OEIS el
• Solvable groups as iterated extensions Diarsipkan 2021-05-04 di Wayback Machine.