Subgrup normal

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 aljabar abstrak, subgrup normal (juga dikenal sebagai subgrup invarian atau subgrup konjugasi sendiri)^[1] adalah subgrup yang invarian di bawah konjugasi oleh anggota grup yang merupakan bagiannya. Dengan kata lain, subgrup N dari grup G adalah normal dalam G jika dan hanya jika gng⁻¹ ∈ N untuk g ∈ G dan n ∈ N. Notasi umum untuk relasi ini adalah ${\displaystyle N\triangleleft G}$.

Subkelompok normal penting karena mereka (dan hanya mereka) dapat digunakan untuk membangun kelompok hasil bagi dari grup tertentu. Selanjutnya, subgrup normal dari G tepatnya adalah kernel dari homomorfisme grup dengan domain G , yang berarti bahwa mereka dapat digunakan untuk mengklasifikasikan homomorfisme tersebut secara internal.

Évariste Galois adalah orang pertama yang menyadari pentingnya keberadaan subgrup normal.^[2]

Subgrup N dari grup G disebut subgrup normal dari G jika itu invarian di bawah konjugasi; yaitu, konjugasi elemen N dengan elemen G selalu dalam N .^[3] Notasi umum untuk relasi ini adalah ${\displaystyle N\triangleleft G}$.

Untuk setiap subgrup N dari G , kondisi berikut adalah ekuivalen ke {{math | N } } menjadi subgrup normal dari G . Oleh karena itu, salah satu dari mereka dapat dianggap sebagai definisi:

• Gambar konjugasi N oleh salah satu elemen G adalah himpunan bagian dari N .^[4]'
• Gambar konjugasi N oleh elemen apa pun dari G sama dengan N .^[4]
• Untuk g di G , koset kiri dan kanan gN dan Ng adalah sama.^[4]
• Himpunan kohimpunan kiri dan kanan dari N di G bertepatan.^[4]
• Produk dari elemen koset kiri N sehubungan dengan g dan elemen kohimpunan kiri N sehubungan dengan h adalah elemen kohimpunan kiri dari N dengan gh: ∀x, y, g, h ∈ G, jika x ∈ gN dan y ∈ hN maka xy ∈ (gh)N.
• N adalah union dari kelas konjugasi dari G.^[2]
• N diawetkan oleh automorfisme batin dari G.^[5]
• Ada beberapa homomorfisme grup G → H pada kernel adalah N.^[2]
• Untuk ${\displaystyle n\in N}$ dan ${\displaystyle g\in G}$, komutator ${\displaystyle [n,g]=n^{-1}g^{-1}ng}$ pada N.^{[butuh rujukan]}
• Setiap dua elemen bolak-balik terkait hubungan keanggotaan subkelompok normal: ∀g, h ∈ G, gh ∈ N ⇔ hg ∈ N.^{[butuh rujukan]}

• Subgrup sepele {e} hanya terdiri dari elemen identitas G dan G itu sendiri selalu merupakan subgrup normal dari G . Jika ini adalah satu-satunya subgrup normal, maka G dikatakan sederhana.^[6]
• Setiap subgrup N dari grup abelian G adalah normal, karena ${\displaystyle gN=\{gn\}_{n\in N}=\{ng\}_{n\in N}=Ng.}$ A grup yang bukan abelian tetapi setiap subgrupnya normal disebut grup Hamilton.^[7]
• pusat grup adalah subkelompok normal.^[8]
• Secara lebih umum, setiap subgrup karakteristik adalah normal, karena konjugasi selalu merupakan automorfisme.^[9]
• Subgrup komutator ${\displaystyle [G,G]}$ adalah subgrup normal dari ${\displaystyle G}$.^[10]
• Grup terjemahan adalah subgrup normal dari grup Euclidean dalam dimensi apa pun.^[11] Artinya: menerapkan transformasi kaku, diikuti oleh terjemahan, dan kemudian transformasi kaku terbalik, memiliki efek yang sama sebagai terjemahan tunggal (meskipun biasanya terjemahan yang berbeda dari yang kita gunakan sebelumnya). Sebaliknya, subkelompok dari semua rotasi tentang asal adalah bukan subkelompok normal dari grup Euclidean, selama dimensinya minimal 2: mula-mula menerjemahkan, lalu memutar tentang asal, lalu menerjemahkan kembali biasanya tidak akan menetapkan asal dan oleh karena itu tidak akan memiliki efek yang sama seperti rotasi tunggal tentang asal.
• Dalam Grup Kubus Rubik, subgrup yang terdiri dari operasi yang hanya mempengaruhi orientasi potongan sudut atau potongan tepi adalah normal.^[12]

• Jika H adalah subgrup normal dari G , dan K adalah subgrup dari G berisi H, maka H adalah subgrup normal dari K.^[13]
• Subgrup normal dari subkelompok normal dari suatu kelompok tidak harus normal dalam kelompok tersebut. Artinya, normalitas bukanlah hubungan transitif. Grup terkecil yang menunjukkan fenomena ini adalah grup dihedral berorde 8.^[14] Namun, subgrul karakteristik dari subkelompok normal adalah normal.^[15] Sebuah kelompok yang normalitasnya transitif disebut T-grup.^[16]
• Dua grup G dan H adalah subgrup normal dari produk langsung G × H.
• Jika grup G adalah produk setengah langsung ${\displaystyle G=N\rtimes H,}$, maka N adalah normal dalam G , meskipun H tidak perlu menjadi normal dalam G .
• Normalitas dipertahankan di bawah homomorfisme dugaan,^[17] yaitu jika G → H adalah homomorfisme kelompok dugaan dan N adalah normal di G , lalu gambar f(N) normal dalam H .
• Normalitas dipertahankan dengan mengambil gambar terbalik,^[17] i.e. if G → H adalah homomorfisme grup dan N normal dalam H , maka gambar terbalik f ^-1(N) pada G.
• Normalitas dipertahankan pada pengambilan produk langsung,^[18] yaitu jika ${\displaystyle N_{1}\triangleleft G_{1}}$ dan ${\displaystyle N_{2}\triangleleft G_{2}}$, maka ${\displaystyle N_{1}\times N_{2}\;\triangleleft \;G_{1}\times G_{2}}$.
• Setiap subgrup indeks 2 adalah normal. Secara lebih umum, subgrup, H , dari indeks hingga, n , pada G berisi subgrup, K, normal di G dan pembagi indeks n ! disebut normal core. Khususnya, jika p adalah bilangan prima terkecil yang membagi urutan G , maka setiap subgrup indeks {{math | p } } normal.^[19]
• Fakta bahwa subgrup normal dari G adalah kernel homomorfisme grup yang didefinisikan pada G menjelaskan beberapa pentingnya subgrup normal; mereka adalah cara untuk mengklasifikasikan secara internal semua homomorfisme yang didefinisikan dalam sebuah grup. Misalnya, grup terbatas non-identitas adalah sederhana jika dan hanya jika isomorfik untuk semua gambar homomorfik non-identitasnya,^[20] sebuah grup berhingga adalah sempurna jika dan hanya jika grup tersebut tidak memiliki subgrup normal dari prime indeks, dan sebuah grup adalah tidak sempurna jika dan hanya jika subgrup turunan tidak ditambah dengan subgrup normal yang sesuai.

Diberikan dua subgrup normal, N dan M , dari G , persimpangannya ${\displaystyle N\cap M}$and their product ${\displaystyle NM=\{nm\mid n\in N\;{\text{ dan }}\;m\in M\}}$ juga merupakan subgrup normal dari G .

Subgrup normal dari G membentuk kisi di bawah subset inclusion dengan least element, {e} , dan elemen terbesar, G . bertemu dari dua subgrup normal, N dan M , dalam kisi ini adalah perpotongannya dan join adalah hasil kali mereka.

Kisi tersebut adalah lengkap dan modular.^[18]

Jika N adalah subgrup normal, kita bisa mendefinisikan perkalian koset sebagai berikut:$${\displaystyle (a_{1}N)(a_{2}N):=(a_{1}a_{2})N.}$$Relasi ini mendefinisikan pemetaan ${\displaystyle G/N\times G/N\to G/N}$. Untuk menunjukkan bahwa pemetaan ini terdefinisi dengan baik, perlu dibuktikan bahwa pemilihan elemen perwakilan ${\displaystyle a_{1},a_{2}}$ tidak mempengaruhi hasil. Untuk tujuan ini, pertimbangkan beberapa elemen perwakilan lainnya ${\displaystyle a_{1}'\in a_{1}N,a_{2}'\in a_{2}N}$. Maka ada ${\displaystyle n_{1},n_{2}\in N}$ mendefinisikan ${\displaystyle a_{1}'=a_{1}n_{1},a_{2}'=a_{2}n_{2}}$. Oleh karena itu $${\displaystyle a_{1}'a_{2}'N=a_{1}n_{1}a_{2}n_{2}N=a_{1}a_{2}n_{1}'n_{2}N=a_{1}a_{2}N,}$$di mana kami menggunakan ${\displaystyle N}$ adalah subgrup normal , dan oleh karena itu ada ${\displaystyle n_{1}'\in N}$ karena ${\displaystyle n_{1}a_{2}=a_{2}n_{1}'}$. Ini membuktikan bahwa produk ini adalah pemetaan antar kohimpunan yang terdefinisi dengan baik.

Dengan operasi ini, himpunan coset itu sendiri adalah sebuah grup, yang disebut grup hasil bagi dan dilambangkan dengan G/N. Ada homomorfisme alami, f: G → G/N, given by f(a) = aN. Homomorfisme ini memetakan ${\displaystyle N}$ ke dalam elemen identitas G/N, yang merupakan kohimpunan eN = N,^[21] that is, ${\displaystyle \ker(f)=N}$.

Secara umum, homomorfisme grup, f: G → H mengirim subgrup dari G ke subgrup dari H . Juga, preimage dari setiap subgrup dari H adalah subgrup dari G . Kami menyebut preimage dari grup trivial { e } di H kernel dari homomorfisme dan dilambangkan dengan ker(f). Ternyata, kernel selalu normal dan citra G, f(G), selalu isomorfik menjadi G/ker(f) (the teorema isomorfisme pertama).^[22] Nyatanya, korespondensi ini adalah bijection antara himpunan semua kelompok hasil bagi dari G, G/N, dan himpunan semua gambar homomorfik dari G (hingga isomorfisme).^[23] Juga mudah untuk melihat bahwa kernel peta hasil bagi, f: G → G/N, adalah N itu sendiri, jadi subgrup normal tepatnya adalah kernel homomorfisme dengan domain G.^[24]

• I. N. Herstein, Topics in algebra. Second edition. Xerox College Publishing, Lexington, Mass.-Toronto, Ont., 1975. xi+388 pp.

• (Inggris) Weisstein, Eric W. "normal subgroup". MathWorld. 
• Normal subgroup in Springer's Encyclopedia of Mathematics
• Robert Ash: Group Fundamentals in Abstract Algebra. The Basic Graduate Year
• Timothy Gowers, Normal subgroups and quotient groups
• John Baez, What's a Normal Subgroup?