Grup berpenyelesaian

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

## Motivasi
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 (perhatikan teorema ini hanya berlaku dalam karakteristik 0). Ini berarti terkait dengan polinomial f \in F[x] jika menara perluasan lapangan F = F_0 \subset F_1 \subset F_2 \subset \cdots \subset F_m=Ksehingga
# F_i = F_{i-1}[\alpha_i] di mana \alpha_i^{m_i} \in F_{i-1}, jadi \alpha_i adalah penyelesaian persamaan x^{m_i} - a di mana a \in F_{i-1}
# F_m berisi medan pemisahan untuk f(x)

### Contoh
Misalnya, perluasan medan Galois terkecil dari \mathbb{Q} mengandung elemena = \sqrt[5]{\sqrt{2} + \sqrt{3}}memberikan grup berpenyelesaian. Ini memiliki perluasan medan terkait\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 \mathbb{Z}/5 (bertindak pada e^{2\pi i/5}) dan \mathbb{Z}/2 \times \mathbb{Z}/2 (bertindak pada \sqrt{2} + \sqrt{3}).

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

Atau setara, jika deret jabaran, deret normal menurun
:G\triangleright G^{(1)}\triangleright G^{(2)} \triangleright \cdots,
di mana setiap subgrup adalah subgrup komutator dari yang sebelumnya, akhirnya mencapai subgrup trivial dari G. Kedua definisi ini setara, karena untuk setiap grup H dan setiap subgrup normal N dari H, hasil bagi H/N adalah grup Abel jika dan hanya jika N termasuk subgrup komutator dari *<math>H</math>*. Nilai n terkecil sehingga G^{(n)} = 1 disebut **panjang jabaran** dari grup berpenyelesaian 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 n (radikal) di beberapa medan. Kesetaraan tidak selalu: sebagai contoh, karena setiap subgrup taktrivial dari grup \Z dari bilangan bulat di bawah penambahan adalah isomorfis pada *<math>\Z</math>*, tidak memiliki deret komposisi, tetapi deret normal \{0,\Z\}, dengan satu-satunya grup faktor isomorfik hingga *<math>\Z</math>*, membuktikan bahwa ia berpenyelesaian.

## Contoh

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

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

#### Grup kuaternion
Secara khusus, grup kuaternion adalah grup berpenyelesaian yang diberikan oleh perluasan grup1 \to \mathbb{Z}/4 \to Q \to \mathbb{Z}/2 \to 1di mana \mathbb{Z}/4 adalah subgrup yang dihasilkan oleh  i .

### Perluasan grup
Perluasan grup merupakan contoh prototip dari grup berpenyelesaian. Artinya, jika  G  dan G' adalah grup berpenyelesaian, maka suatu perluasan1 \to G \to G* \to G' \to 1</math></blockquote>mendefinisikan grup berpenyelesaian <math> G* . Faktanya, semua grup berpenyelesaian dapat dibentuk dari perluasan grup tersebut.

### Grup takAbel yang taknilpoten
Contoh kecil dari grup taknilpoten berpenyelesaian adalah grup simetrik \mathrm S_3. Faktanya, karena grup takAbel sederhana terkecil adalah \mathrm A_5, (grup selang-seling dengan derajat 5) mengikuti bahwa *setiap* grup dengan urutan lebih kecil dari 60 adalah berpenyelesaian. 

### Grup hingga dari urutan ganjil
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.

### Bukan contoh
Grup S_5 takberpenyelesaian, ia memiliki deret komposisi \{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 A_5 dan C_2; dan A_5 bukan Abel. Menggeneralisasi argumen ini, ditambah dengan fakta bahwa A_n adalah subgrup normal, maksimal, sederhana takAbel S_n dari n > 4, S_n tidak berpenyelesaian untuk n > 4. Ini adalah langkah kunci dalam pembuktian bahwa untuk setiap n > 4 ada polinomial derajat n yang takberpenyelesaian oleh radikal (Teorema Abel–Ruffini). Sifat ini juga digunakan dalam teori kompleksitas dalam pembuktian teorema Barrington.

### Subgrup <math>\operatorname{GL}_2</math>
Andaikan subgrup

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

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

:\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 \operatorname{GL}_2

 menyiratkan ac \neq 0

:, karenanya \mathbb{F}^\times \times \mathbb{F}^\times \subset B

 adalah subgrup (yang merupakan matriks di mana b=0

). Untuk a,b

 yang ditetapkan, persamaan linear ad + b = 0

 menyiratkan d = -b/a

, yang merupakan elemen sembarang pada \mathbb{F}

 ketika b \in \mathbb{F}

. Karena kita dapat mengambil matriks pada B

 dan mengalikannya dengan matriks

:\begin{bmatrix}
1 & d \\
0 & 1
\end{bmatrix}



dengan d = -b/a

, kita bisa mendapatkan matriks diagonal pada B

. Ini menunjukkan grup hasil bagi B/U \cong \mathbb{F}^\times \times \mathbb{F}^\times.

#### Kata
Perhatikan bahwa deskripsi ini memberikan penguraian B

: sebagai \mathbb{F} \rtimes (\mathbb{F}^\times \times \mathbb{F}^\times)  di mana (a,c)  bertindak pada  b  oleh (a,c)(b) = ab . Ini menyiratkan (a,c)(b + b') = (a,c)(b) + (a,c)(b') = ab + ab' . Juga, matriks dari bentuk

:\begin{bmatrix}
a & b \\
0 & c
\end{bmatrix}

berpadanan dengan elemen (b) \times (a,c) dalam grup.

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

#### Subgrup Borel pada <math> \operatorname{GL}_3 </math>
Pada  \operatorname{GL}_3  terdapat subgrup

: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 B/U_1 \cong \mathbb{F}^\times \times \mathbb{F}^\times \times \mathbb{F}^\times, maka grup Borel memiliki bentuk

:U\rtimes
(\mathbb{F}^\times \times \mathbb{F}^\times \times \mathbb{F}^\times)


#### Subgrup Borel hasil perkalian grup aljabar linear sederhana
Dalam grup hasilkali \operatorname{GL}_n \times \operatorname{GL}_m subgrup Borel dapat diwakili oleh matriks dalam bentuk

:\begin{bmatrix}
T & 0 \\
0 & S
\end{bmatrix}

di mana T adalah matriks segitiga atas n\!\times\!n dan  S  adalah matriks segitiga atas m\!\times\!m.

### Grup-Z
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.

## Nilai OEIS
Jumlah grup berpenyelesaian dengan urutan n adalah (dimulai dengan 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, ... 

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, ... 

## Sifat

Solvabilitas tertutup terhadap sejumlah operasi.

* Jika G berpenyelesaian, dan H adalah subgrup dari G, maka H adalah berpenyelesaian.
* Jika G berpenyelesaian, dan terdapat homomorfisme dari Gpada H, maka H adalah berpenyelesaian; setara (dengan teorema isomorfisme pertama), jika G berpenyelesaian, dan N adalah subgrup normal dari G, maka G / N berpenyelesaian.
* Sifat sebelumnya dapat diperluas menjadi sifat "tiga untuk harga dua" berikut: G dapat diselesaikan jika dan hanya jika N dan G / N keduanya berpenyelesaian.
* Secara khusus, jika G dan *<math>H</math>* berpenyelesaian, hasilkali langsung G \times H berpenyelesaian.

Solvabilitas tertutup terhadap perluasan grup:
* Jika H dan G/H berpenyelesaian, maka begitu juga dengan G; secara khusus, jika *<math>N</math>* dan *<math>H</math>* berpenyelesaian, produk setengah langsung mereka juga berpenyelesaian.

Itu juga ditutup di bawah produk karangan bunga:
* Jika G dan *<math>H</math>* berpenyelesaian, dan X adalah himpunan G, maka hasilkali karangan bunga dari G dan *<math>H</math>* terhadap X juga berpenyelesaian*.*

Untuk suatu bilangan bulat positif *<math>N</math>*, grup berpenyelesaian dari panjang jabaran paling banyak *<math>N</math>* 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

Teorema Burnside menyatakan bahwa jika *<math>G</math>* adalah grup hingga dari urutan p^a q^b di mana p dan q adalah bilangan prima, dan a dan b adalah bilangan bulat taknegatif, maka *<math>G</math>* adalah berpenyelesaian.

## Lihat pula
* Grup prosolvabel
* Subgrup parabola

## Catatan

## Referensi

* 
* 

## Pranala luar
* 
*Solvable groups as iterated extensions