Kelas grup

Struktur aljabar → Teori grup
Teori grup

Gagasan dasar

Homomorfisme grup

Grup hingga

Klasifikasi grup sederhana hingga

Grup Frobenius

Pengganda Schur

Grup simetrik S n {\displaystyle \mathrm {S} _{n}} $\mathrm {S} _{n}$

Grup Klein V {\displaystyle \mathrm {V} } $\mathrm {V}$
Grup dihedral D n {\displaystyle \mathrm {D} _{n}} $\mathrm {D} _{n}$
Grup kuaternion Q {\displaystyle \mathrm {Q} } $\mathrm {Q}$
Grup disiklik D i c n {\displaystyle \mathrm {Dic} _{n}} $\mathrm {Dic} _{n}$

Bilangan bulat ( Z {\displaystyle \mathbb {Z} } $\mathbb {Z}$ )
Grup bebas

Grup modular

P S L ( 2 , Z ) {\displaystyle \mathrm {PSL} (2,\mathbb {Z} )} $\mathrm {PSL} (2,\mathbb {Z} )$
S L ( 2 , Z ) {\displaystyle \mathrm {SL} (2,\mathbb {Z} )} $\mathrm {SL} (2,\mathbb {Z} )$

Topologis dan Grup Lie

Linear umum G L ( n ) {\displaystyle \mathrm {GL} (n)} $\mathrm {GL} (n)$

Linear khusus S L ( n ) {\displaystyle \mathrm {SL} (n)} $\mathrm {SL} (n)$

Ortogonal O ( n ) {\displaystyle \mathrm {O} (n)} $\mathrm {O} (n)$

Euklides E ( n ) {\displaystyle \mathrm {E} (n)} $\mathrm {E} (n)$

Ortogonal khusus S O ( n ) {\displaystyle \mathrm {SO} (n)} $\mathrm {SO} (n)$

Uner U ( n ) {\displaystyle \mathrm {U} (n)} $\mathrm {U} (n)$

Uniter khusus S U ( n ) {\displaystyle \mathrm {SU} (n)} $\mathrm {SU} (n)$

Simplektik S p ( n ) {\displaystyle \mathrm {Sp} (n)} $\mathrm {Sp} (n)$

Grup Lie berdimensi takhingga

O ( ∞ ) {\displaystyle O(\infty )} $O(\infty )$
S U ( ∞ ) {\displaystyle \mathrm {SU} (\infty )} $\mathrm {SU} (\infty )$
S p ( ∞ ) {\displaystyle \mathrm {Sp} (\infty )} $\mathrm {Sp} (\infty )$

Grup aljabar

Grup aljabar linear

Grup reduktif

Varietas Abel

Kurva eliptik

Kelas grup adalah teoretis himpunan grup yang menggunakan sifat jika G dalam koleksi maka grup isomorfik ke G juga dalam koleksi. Konsep dari grup yang menggunakan sifat khusus tertentu (misalnya keterbatasan atau komutatifitas). Karena teori himpunan tidak menggunakan "grup himpunan", maka dengan konsep yang lebih umum dari kelas.

Definisi

Kelas grup X {\displaystyle {\mathfrak {X}}~} ${\mathfrak {X}}~$ adalah kumpulan grup sehingga jika G ∈ X {\displaystyle G\in {\mathfrak {X}}~} $G\in {\mathfrak {X}}~$ dan G ≅ H {\displaystyle G\cong H~} $G\cong H~$ maka H ∈ X {\displaystyle H\in {\mathfrak {X}}~} $H\in {\mathfrak {X}}~$ . Grup di kelas X {\displaystyle {\mathfrak {X}}~} ${\mathfrak {X}}~$ disebut sebagai grup- X {\displaystyle {\mathfrak {X}}} ${\mathfrak {X}}$ .

Untuk himpunan grup I {\displaystyle {\mathfrak {I}}~} ${\mathfrak {I}}~$ , dilambangkan dengan ( I ) {\displaystyle ({\mathfrak {I}})} $({\mathfrak {I}})$ kelas terkecil dari grup I {\displaystyle {\mathfrak {I}}} ${\mathfrak {I}}$ . Khususnya untuk grup G {\displaystyle G} $G$ , ( G ) {\displaystyle (G)} $(G)$ menunjukkan kelas isomorfismenya.

Contoh

Contoh paling umum dari kelas grup adalah:

∅ {\displaystyle \emptyset } $\emptyset$ : kelas grup kosong
C {\displaystyle {\mathfrak {C}}} ${\mathfrak {C}}$ : kelas grup siklik.
A {\displaystyle {\mathfrak {A}}~} ${\mathfrak {A}}~$ : kelas grup Abelian.
U {\displaystyle {\mathfrak {U}}~} ${\mathfrak {U}}~$ : kelas terbatas grup solvabel
N {\displaystyle {\mathfrak {N}}~} ${\mathfrak {N}}~$ : kelas dari grup nilpoten
S {\displaystyle {\mathfrak {S}}~} ${\mathfrak {S}}~$ : kelas dari hingga grup divisibel
I {\displaystyle {\mathfrak {I}}~} ${\mathfrak {I}}~$ : kelas terbatas grup sederhana
E {\displaystyle {\mathfrak {E}}~} ${\mathfrak {E}}~$ : kelas grup hingga
G {\displaystyle {\mathfrak {G}}~} ${\mathfrak {G}}~$ : kelas berkas dari grup

Produk kelas grup

Dua kelas grup X {\displaystyle {\mathfrak {X}}~} ${\mathfrak {X}}~$ dan Y {\displaystyle {\mathfrak {Y}}~} ${\mathfrak {Y}}~$ didefinisikan sebagai produk kelas

X Y = ( G | G sebagai subgrup normal N ∈ X dengan G / N ∈ Y ) {\displaystyle {\mathfrak {X}}{\mathfrak {Y}}~=(G|G{\text{ sebagai subgrup normal }}N\in {\mathfrak {X}}{\text{ dengan }}G/N\in {\mathfrak {Y}})} ${\mathfrak {X}}{\mathfrak {Y}}~=(G|G{\text{ sebagai subgrup normal }}N\in {\mathfrak {X}}{\text{ dengan }}G/N\in {\mathfrak {Y}})$

Konstruksi ini memungkinkan untuk secara rekursif mendefinisikan pangkat kelas dengan

X 0 = ( 1 ) {\displaystyle {\mathfrak {X}}^{0}=(1)} ${\mathfrak {X}}^{0}=(1)$ dan X n = X n − 1 X {\displaystyle {\mathfrak {X}}^{n}={\mathfrak {X}}^{n-1}{\mathfrak {X}}} ${\mathfrak {X}}^{n}={\mathfrak {X}}^{n-1}{\mathfrak {X}}$

Harus dicatat bahwa operasi biner pada kelas kelas grup bukan asosiatif atau komutatif. Misalnya, pertimbangkan grup alternatif dari derajat 4 (dan urutan 12); grup ini milik kelas ( C C ) C {\displaystyle ({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}} $({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}$ karena memiliki sebagai subgrup V 4 {\displaystyle V_{4}} $V_{4}$ dengan C C {\displaystyle {\mathfrak {C}}{\mathfrak {C}}} ${\mathfrak {C}}{\mathfrak {C}}$ dan selanjutnya A 4 / V 4 ≅ C 3 {\displaystyle A_{4}/V_{4}\cong C_{3}} $A_{4}/V_{4}\cong C_{3}$ adalah C {\displaystyle {\mathfrak {C}}} ${\mathfrak {C}}$ . Namun A 4 {\displaystyle A_{4}} $A_{4}$ tidak memiliki subgrup siklik normal non-trivial, jadi A 4 ∉ C ( C C ) {\displaystyle A_{4}\not \in {\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})} $A_{4}\not \in {\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})$ . Maka C ( C C ) ≠ ( C C ) C {\displaystyle {\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})\not =({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}} ${\mathfrak {C}}({\mathfrak {C}}{\mathfrak {C}})\not =({\mathfrak {C}}{\mathfrak {C}}){\mathfrak {C}}$ .

Namun dari definisi untuk tiga kelas grup X {\displaystyle {\mathfrak {X}}} ${\mathfrak {X}}$ , Y {\displaystyle {\mathfrak {Y}}} ${\mathfrak {Y}}$ , dan Z {\displaystyle {\mathfrak {Z}}} ${\mathfrak {Z}}$ ,

X ( Y Z ) ⊆ ( X Y ) Z {\displaystyle {\mathfrak {X}}({\mathfrak {Y}}{\mathfrak {Z}})\subseteq ({\mathfrak {X}}{\mathfrak {Y}}){\mathfrak {Z}}} ${\mathfrak {X}}({\mathfrak {Y}}{\mathfrak {Z}})\subseteq ({\mathfrak {X}}{\mathfrak {Y}}){\mathfrak {Z}}$

Peta kelas dan operasi penutupan

Peta kelas c adalah peta kelas grup X {\displaystyle {\mathfrak {X}}} ${\mathfrak {X}}$ ke kelas grup c X {\displaystyle c{\mathfrak {X}}} $c{\mathfrak {X}}$ . Peta kelas dikatakan sebagai operasi penutupan jika sifat berikutnya:

c adalah ekspansif: X ⊆ c X {\displaystyle {\mathfrak {X}}\subseteq c{\mathfrak {X}}} ${\mathfrak {X}}\subseteq c{\mathfrak {X}}$
c adalah idempoten: c X = c ( c X ) {\displaystyle c{\mathfrak {X}}=c(c{\mathfrak {X}})} $c{\mathfrak {X}}=c(c{\mathfrak {X}})$
c adalah monotonik: jika X ⊆ Y {\displaystyle {\mathfrak {X}}\subseteq {\mathfrak {Y}}} ${\mathfrak {X}}\subseteq {\mathfrak {Y}}$ maka c X ⊆ c Y {\displaystyle c{\mathfrak {X}}\subseteq c{\mathfrak {Y}}} $c{\mathfrak {X}}\subseteq c{\mathfrak {Y}}$

Beberapa contoh operasi penutupan yang paling umum adalah:

S X = ( G | G ≤ H , H ∈ X ) {\displaystyle S{\mathfrak {X}}=(G|G\leq H,\ H\in {\mathfrak {X}})} $S{\mathfrak {X}}=(G|G\leq H,\ H\in {\mathfrak {X}})$
Q X = ( G | maka H ∈ X dan epimorfisme dari H ke G ) {\displaystyle Q{\mathfrak {X}}=(G|{\text{maka }}H\in {\mathfrak {X}}{\text{ dan epimorfisme dari }}H{\text{ ke }}G)} $Q{\mathfrak {X}}=(G|{\text{maka }}H\in {\mathfrak {X}}{\text{ dan epimorfisme dari }}H{\text{ ke }}G)$
N 0 X = ( G | maka K i ( i = 1 , ⋯ , r ) subnormal di G dengan K i ∈ X dan G = ⟨ K 1 , ⋯ , K r ⟩ ) {\displaystyle N_{0}{\mathfrak {X}}=(G|{\text{ maka }}K_{i}\ (i=1,\cdots ,r){\text{ subnormal di }}G{\text{ dengan }}K_{i}\in {\mathfrak {X}}{\text{ dan }}G=\langle K_{1},\cdots ,K_{r}\rangle )} $N_{0}{\mathfrak {X}}=(G|{\text{ maka }}K_{i}\ (i=1,\cdots ,r){\text{ subnormal di }}G{\text{ dengan }}K_{i}\in {\mathfrak {X}}{\text{ dan }}G=\langle K_{1},\cdots ,K_{r}\rangle )$
R 0 X = ( G | maka N i ( i = 1 , ⋯ , r ) normal di G dengan G / N i ∈ X dan ⋂ i = 1 r N i = 1 ) {\displaystyle R_{0}{\mathfrak {X}}=(G|{\text{ maka }}N_{i}\ (i=1,\cdots ,r){\text{ normal di }}G{\text{ dengan }}G/N_{i}\in {\mathfrak {X}}{\text{ dan }}\bigcap \limits _{i=1}^{r}Ni=1)} $R_{0}{\mathfrak {X}}=(G|{\text{ maka }}N_{i}\ (i=1,\cdots ,r){\text{ normal di }}G{\text{ dengan }}G/N_{i}\in {\mathfrak {X}}{\text{ dan }}\bigcap \limits _{i=1}^{r}Ni=1)$
S n X = ( G | G adalah subnormal di H untuk beberapa H ∈ X ) {\displaystyle S_{n}{\mathfrak {X}}=(G|G{\text{ adalah subnormal di }}H{\text{ untuk beberapa }}H\in {\mathfrak {X}})} $S_{n}{\mathfrak {X}}=(G|G{\text{ adalah subnormal di }}H{\text{ untuk beberapa }}H\in {\mathfrak {X}})$

Lihat pula

Pembentukan

Referensi

Ballester-Bolinches, Adolfo; Ezquerro, Luis M. (2006), Classes of finite groups, Mathematics and Its Applications (Springer), vol. 584, Berlin, New York: Springer-Verlag, ISBN 978-1-4020-4718-3, MR 2241927
Doerk, Klaus; Hawkes, Trevor (1992), Finite soluble groups, de Gruyter Expositions in Mathematics, vol. 4, Berlin: Walter de Gruyter & Co., ISBN 978-3-11-012892-5, MR 1169099