Dalam matematika, khususnya di bidang aljabar abstrak yang dikenal sebagai teori grup, **subgrup karakteristik** adalah subgrup yang dipetakan ke dirinya sendiri oleh setiap automorphism dari induk  grup. Karena setiap peta konjugasi adalah automorfisme dalam, setiap subgrup karakteristik adalah  normal; meskipun kebalikannya tidak dijamin. Contoh subgrup karakteristik termasuk subgrup komutator dan pusat grup.

Definisi
--------

Subgrup   *H*  dari grup   *G*  disebut **subgrup karakteristik** jika untuk setiap automorfisme   *φ*  dari *G*, menaruh rumus φ(*H*) ≤ *H*; setelah itu rumusnya adalah ***H* char *G***. 

Itu sama saja dengan membutuhkan kondisi yang lebih kuat φ(*H*) = *H* untuk automorfisme *φ* of *G*, karena φ-1(*H*) ≤ *H* menyiratkan inklusi terbalik *H* ≤ φ(*H*).

Sifat dasar
-----------

Jika *H* char *G*, setiap automorfisme   *G*  menginduksi automorfisme grup hasil bagi   *G/H* , yang menghasilkan homomorfisme Aut(*G*) → Aut(*G*/*H*).

Jika   *G*  memiliki subgrup unik   *H*  dari indeks tertentu, maka   *H*  adalah karakteristik dalam   *G* .

Konsep terkait
--------------

### Subgrup normal

Artikel utama: Subgrup normal
Sebuah subgrup dari   *H*  yang invarian di bawah semua automorphisms dalam disebut  normal; juga, subkelompok invarian.

∀φ ∈ Inn(*G*)： φ[*H*] ≤ *H*
Maka Inn(*G*) ⊆ Aut(*G*) dan subkelompok karakteristik tidak berubah di bawah semua automorfisme, setiap subkelompok karakteristik adalah normal. Namun, tidak setiap subkelompok normal memiliki karakteristik. Berikut beberapa contohnya:

* Misalkan   *H*  menjadi grup nontrivial, dan biarkan   *G*  menjadi  produk langsung, *H* × *H*. Kemudian subgrup, {1} × *H* dan *H* × {1}, keduanya normal, tetapi tidak ada karakteristiknya. Secara khusus, tak satu pun dari subgrup ini yang invarian di bawah automorfisme, (*x*, *y*) → (*y*, *x*), yang mengubah dua faktor.
* Untuk contoh konkretnya, misalkan   *V*  menjadi Klein empat grup (yaitu  isomorfis ke hasil kali langsung, ℤ2 × ℤ2). Karena grup ini adalah  abelian, setiap sub grup adalah normal; tapi setiap permutasi dari 3 elemen non-identitas merupakan automorfisme dari   *V* , jadi 3 subgrup dari orde 2 bukan karakteristik. Jadi V = {*e*, *a*, *b*, *ab*}. Consider H = {*e*, *a*} dan pertimbangkan automorfisme, T(*e*) = *e*, T(*a*) = *b*, T(*b*) = *a*, T(*ab*) = *ab*; maka T(*H*) tidak terkandung dalam *H*.
* Dalam grup hasil bagi dari orde 8, masing-masing subgrup siklik dari orde 4 adalah normal, tetapi tidak satupun dari ini adalah karakteristik. Namun, subgrup, {1, −1}, merupakan karakteristik, karena merupakan satu-satunya subgrup dari orde 2.
* Jika   *n*  genap, grup dihedral berurutan 2*n* memiliki 3 subgrup  index 2, yang semuanya normal. Salah satunya adalah subkelompok siklik, yang merupakan karakteristik. Dua subkelompok lainnya adalah dihedral; ini diizinkan oleh  automorfisme luar dari grup induk, dan oleh karena itu bukan karakteristik.

### Subgrup dengan karakteristik yang ketat

*Subgrup yang sangat khas*, atau *subgrup dibedakan*, yang invarian di bawah surjektif endomorfisme. Untuk grup hingga, dugaan endomorfisme menyiratkan injektifitas, jadi endomorfisme dugaan adalah automorfisme; sehingga menjadi  *karakteristik ketat*  setara dengan  *karakteristik*. Ini tidak berlaku lagi untuk grup yang tidak terbatas.

### Subgrup dengan karakteristik penuh

Untuk kendala yang lebih kuat, sebuah  *subgrup karakteristik penuh*  (juga,  *subgrup invarian penuh* ; cf. subkelompok invarian), *H*, dari grup   *G* , adalah grup yang tersisa  invariant di bawah setiap endomorphism dari   *G* ; itu adalah,

∀φ ∈ End(*G*)： φ[*H*] ≤ *H*.
Setiap kelompok memiliki dirinya sendiri (subkelompok yang tidak tepat) dan subkelompok sepele sebagai dua dari subgrup karakteristik penuh. Subgrup komutator dari sebuah grup selalu merupakan subgrup yang memiliki karakteristik penuh.

Setiap endomorfisme   *G*  menginduksi endomorfisme *G/H*, yang menghasilkan peta End(*G*) → End(*G*/*H*).

### Subkelompok verbal

Kendala yang lebih kuat adalah subgrup verbal, yang merupakan citra subgrup invarian penuh dari grup bebas di bawah homomorfisme. Secara lebih umum, subgrup verbal apa pun selalu merupakan karakteristik penuh. Untuk setiap grup bebas yang dikurangi, dan, khususnya, untuk grup bebas mana pun, kebalikannya juga berlaku: setiap karakteristik.

Transitivitas
-------------

Properti menjadi karakteristik atau karakteristik penuh adalah  transitif; jika   *H*  adalah subgrup berkarakteristik (lengkap) dari   *K* , dan   *K*  adalah karakteristik (lengkap) subgrup dari   *G* , maka   *H*  adalah subgrup berkarakteristik (lengkap) dari   *G* .

*H* char *K* char *G* ⇒ *H* char *G*.
Selain itu, walaupun normalitas tidak transitif, memang benar bahwa setiap subkelompok karakteristik dari subgrup normal adalah normal.

*H* char *K* ⊲ *G* ⇒ *H* ⊲ *G*
Demikian pula, meskipun karakteristik ketat (dibedakan) tidak transitif, memang benar bahwa setiap subgrup yang memiliki karakteristik penuh dari subkelompok yang sangat berkarakteristik bersifat ketat.

Namun, berbeda dengan normalitas, jika *H* char *G* dan *K* adalah subgrup dari *G* memuat *H*, lalu secara umum *H* belum tentu karakteristik dalam *K*.

*H* char *G*, *H* < *K* < *G* ⇏ *H* char *K*

Containments
------------

Setiap subgrup yang sepenuhnya berkarakteristik pasti memiliki karakteristik dan karakteristik yang ketat; tetapi subkelompok yang berkarakteristik atau bahkan berkarakteristik ketat tidak perlu menjadi karakteristik yang sepenuhnya.

Pusat grup selalu merupakan subgrup yang sangat berkarakteristik, tetapi tidak selalu berkarakteristik penuh. Misalnya, grup order yang terbatas 12, Sym(3) × ℤ/2ℤ, memiliki pengambilan homomorfisme (*π*, *y*) ke ((1, 2)*y*, 0), yang mengambil pusat, 1 × ℤ/2ℤ, menjadi subgrup Sym(3) × 1, yang memenuhi pusat hanya dalam identitas.

Hubungan di antara properti subgrup ini dapat dinyatakan sebagai:

Subgrup ⇐ Subgrup normal ⇐ **Subgrup karakteristik** ⇐ Subgrup dengan karakteristik yang ketat ⇐ Subgrup karakter ⇐ Subgrup verbal

Contoh
------

### Contoh hingga

Pertimbangkan grup *G* = S3 × ℤ2 (grup orde 12 yang merupakan produk langsung dari grup simetris orde 6 dan grup siklik orde 2). Pusat dari   *G*  adalah faktor keduanya ℤ2. Perhatikan bahwa faktor pertama, S3, berisi subkelompok isomorfik ke ℤ2, contohnya {e, (12)} ; misalkan *f*: ℤ2 → S3 jadilah pemetaan morfisme ℤ2 ke subkelompok yang ditunjukkan. Kemudian komposisi proyeksi   *G*  menjadi faktor keduanya ℤ2, diikuti dengan   *f* , diikuti dengan penyertaan S3 ke dalam   *G*  sebagai faktor pertamanya, memberikan endomorfisme dari   *G*  di mana gambar pusat, ℤ2, tidak terdapat di tengah, jadi di sini pusat bukanlah subkelompok yang sepenuhnya berkarakteristik dari *G*.

### Grup siklik

Setiap subgrup dari grup siklik adalah karakteristik.

### Functor subkelompok

Subgrup turunan (atau subgrup komutator) dari suatu kelompok adalah subgrup verbal. Subgrup torsi dari grup abelian adalah subgrup yang sepenuhnya tidak berubah.

### Grup topologi

Komponen identitas dari grup topologi selalu merupakan subgrup karakteristik.

Lihat pula
----------

* Grup dengan karakteristik sederhana

Referensi
---------

1. ↑  Dummit, David S.; Foote, Richard M. (2004). *Abstract Algebra* (edisi ke-3rd). John Wiley & Sons. ISBN 0-471-43334-9.
2. ↑  Lang, Serge (2002). *Algebra*. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.
3. ↑  
Scott, W.R. (1987). *Group Theory*. Dover. hlm. 45–46. ISBN 0-486-65377-3.
4. ↑  
Magnus, Wilhelm; Karrass, Abraham; Solitar, Donald (2004). *Combinatorial Group Theory*. Dover. hlm. 74–85. ISBN 0-486-43830-9.