More Info
KPOP Image Download
  • Top University
  • Top Anime
  • Home Design
  • Top Legend



  1. ENSIKLOPEDIA
  2. Grup dengan operator - Wikipedia bahasa Indonesia, ensiklopedia bebas
Grup dengan operator - Wikipedia bahasa Indonesia, ensiklopedia bebas

Grup dengan operator

  • English
  • Français
  • 日本語
  • 한국어
  • Polski
  • Українська
Sunting pranala
  • Halaman
  • Pembicaraan
  • Baca
  • Sunting
  • Sunting sumber
  • Lihat riwayat
Perkakas
Tindakan
  • Baca
  • Sunting
  • Sunting sumber
  • Lihat riwayat
Umum
  • Pranala balik
  • Perubahan terkait
  • Pranala permanen
  • Informasi halaman
  • Kutip halaman ini
  • Lihat URL pendek
  • Unduh kode QR
Cetak/ekspor
  • Buat buku
  • Unduh versi PDF
  • Versi cetak
Dalam proyek lain
  • Butir di Wikidata
Tampilan
Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

Dalam aljabar abstrak, cabang dari matematika, struktur aljabar grup dengan operator atau grup-Ω apabila dilihat sebagai grup dengan himpunan Ω yang beroperasi pada elemen grup dengan cara khusus.

Grup dengan operator dipelajari secara ekstensif oleh Emmy Noether dan awal sekolahnya pada tahun 1920-an. Ia menggunakan konsep dalam rumus aslinya dari tiga teorema isomorfisme Noether.

Struktur aljabar
Sejenis grup
  • Grup
  • Semigrup / Monoid
  • Rak dan ganjal
  • Grup semu dan gelung
  • Grup abelian
  • Magma
  • Grup Lie
Teori grup
Sejenis gelanggang
  • Gelanggang
  • Semigelanggang
  • Gelanggang dekat
  • Gelanggang komutatif
  • Ranah integral
  • Medan
  • Gelanggang pembagian
Teori gelanggang
Sejenis kekisi
  • Kekisi
  • Semikekisi
  • Kekisi dikomplemenkan
  • Urutan total
  • Aljabar Heyting
  • Aljabar boolean
  • Peta kekisi
  • Teori kekisi
Sejenis modul
  • Modul
  • Grup dengan operator
  • Ruang vektor
  • Aljabar linear
Sejenis aljabar
  • Aljabar
  • Asosiatif
  • Non-asosiatif
  • Aljabar komposisi
  • Aljabar Lie
  • Bertingkat
  • Bialjabar
  • l
  • b
  • s

Definisi

[sunting | sunting sumber]

Sebuah grup dengan operator ( G , Ω ) {\displaystyle (G,\Omega )} {\displaystyle (G,\Omega )} apabila didefinisikan[1] sebagai sebuah grup G = ( G , ⋅ ) {\displaystyle G=(G,\cdot )} {\displaystyle G=(G,\cdot )} bersama dengan himpunan tindakan Ω {\displaystyle \Omega } {\displaystyle \Omega } pada G {\displaystyle G} {\displaystyle G}:

Ω × G → G : ( ω , g ) ↦ g ω {\displaystyle \Omega \times G\rightarrow G:(\omega ,g)\mapsto g^{\omega }} {\displaystyle \Omega \times G\rightarrow G:(\omega ,g)\mapsto g^{\omega }}

yaitu distributif relatif terhadap hukum grup:

( g ⋅ h ) ω = g ω ⋅ h ω {\displaystyle (g\cdot h)^{\omega }=g^{\omega }\cdot h^{\omega }} {\displaystyle (g\cdot h)^{\omega }=g^{\omega }\cdot h^{\omega }}.

Untuk setiap ω ∈ Ω {\displaystyle \omega \in \Omega } {\displaystyle \omega \in \Omega }, aplikasi g ↦ g ω {\displaystyle g\mapsto g^{\omega }} {\displaystyle g\mapsto g^{\omega }} maka merupakan endomorfisme dari G. Dari sini, hasil bahwa grup juga apabila dilihat sebagai grup G dengan keluarga indeks ( u ω ) ω ∈ Ω {\displaystyle (u_{\omega })_{\omega \in \Omega }} {\displaystyle (u_{\omega })_{\omega \in \Omega }} dari endomorfisme pada G.

Ω {\displaystyle \Omega } {\displaystyle \Omega } disebut ranah operasi. Endomorfisme asosiasi[2] disebut homotetis dari G.

Diberikan dua grup G, H dengan ranah operasi yang sama Ω {\displaystyle \Omega } {\displaystyle \Omega }, sebuah homomorfisme grup dengan operator adalah homomorfisme grup ϕ : G → H {\displaystyle \phi :G\to H} {\displaystyle \phi :G\to H} dirumuskan

ϕ ( g ω ) = ( ϕ ( g ) ) ω {\displaystyle \phi (g^{\omega })=(\phi (g))^{\omega }} {\displaystyle \phi (g^{\omega })=(\phi (g))^{\omega }} untuk semua ω ∈ Ω {\displaystyle \omega \in \Omega } {\displaystyle \omega \in \Omega } dan g ∈ G {\displaystyle g\in G} {\displaystyle g\in G}.

Subgrup S dari G disebut subgrup stabil, ω {\displaystyle \omega } {\displaystyle \omega } atau subgrup invarian- Ω {\displaystyle \Omega } {\displaystyle \Omega } jika didukung homotetis, yaitu

s ω ∈ S {\displaystyle s^{\omega }\in S} {\displaystyle s^{\omega }\in S} untuk semua s ∈ S {\displaystyle s\in S} {\displaystyle s\in S} dan ω ∈ Ω {\displaystyle \omega \in \Omega } {\displaystyle \omega \in \Omega }.

Pernyataan teoretis kategori

[sunting | sunting sumber]

Dalam teori kategori, grup dengan operator dapat didefinisikan[3] sebagai objek dari kategori fungtor Grp M {\displaystyle \operatorname {Grp} ^{M}} {\displaystyle \operatorname {Grp} ^{M}} dimana M {\displaystyle M} {\displaystyle M} adalah monoid (yaitu kategori dengan satu objek) dan Grp {\displaystyle \operatorname {Grp} } {\displaystyle \operatorname {Grp} } menunjukkan kategori grup. Definisi ini setara dengan definisi sebelumnya, asalkan Ω {\displaystyle \Omega } {\displaystyle \Omega } adalah monoid (jika tidak, apabila dapat memperluas untuk memasukkan identitas dan semua komposisi).

Sebuah morfisme dalam kategori ini adalah transformasi alami antara dua fungtor (yaitu dua grup dengan operator pembagian ranah operasi yang sama M). Sekali lagi apabila memulihkan definisi diatas tentang homomorfisme grup dengan operator (dengan dari komponen dari transformasi alami).

Grup dengan operator juga merupakan pemetaan

Ω → End G r p ⁡ ( G ) , {\displaystyle \Omega \rightarrow \operatorname {End} _{\mathbf {Grp} }(G),} {\displaystyle \Omega \rightarrow \operatorname {End} _{\mathbf {Grp} }(G),}

dimana End G r p ⁡ ( G ) {\displaystyle \operatorname {End} _{\mathbf {Grp} }(G)} {\displaystyle \operatorname {End} _{\mathbf {Grp} }(G)} adalah himpunan endomorfisme grup G.

Contoh

[sunting | sunting sumber]
  • Diberikan grup G {\displaystyle G} {\displaystyle G}, ( G , ∅ ) {\displaystyle (G,\varnothing )} {\displaystyle (G,\varnothing )}adalah grup trivial dengan operasi
  • Diberikan modul M atas gelanggang R {\displaystyle R} {\displaystyle R}, tindakan R {\displaystyle R} {\displaystyle R} dengan perkalian skalar pada grup abelian yang mendasari M {\displaystyle M} {\displaystyle M}, jadi ( M , R ) {\displaystyle (M,R)} {\displaystyle (M,R)} adalah grup dengan operator.
  • Sebagai kasus khusus di atas, setiap ruang vektor atas medan k {\displaystyle k} {\displaystyle k} adalah grup dengan operator ( V , k ) {\displaystyle (V,k)} {\displaystyle (V,k)}.

Aplikasi

[sunting | sunting sumber]

Teorema Jordan–Hölder juga berlaku dalam konteks grup operasi. Persyaratan bahwa grup memiliki rangkaian komposisi analog dengan kekompakan dalam topologi, dan terkadang bisa menjadi persyaratan yang terlalu kuat. Itu wajar untuk berbicara tentang "kekompakan relatif terhadap satu himpunan", yaitu berbicara tentang deret komposisi di mana setiap subgrup (normal) adalah subgrup operasi relatif pada himpunan operasi X {\displaystyle X} {\displaystyle X} dari grup yang bersangkutan.

Lihat pula

[sunting | sunting sumber]
  • Tindakan grup

Catatan

[sunting | sunting sumber]
  1. ^ Bourbaki 1974, hlm. 31.
  2. ^ Bourbaki 1974, hlm. 30–31.
  3. ^ Mac Lane 1998, hlm. 41.

Referensi

[sunting | sunting sumber]
  • Bourbaki, Nicolas (1974). Elements of Mathematics : Algebra I Chapters 1–3. Hermann. ISBN 2-7056-5675-8.
  • Bourbaki, Nicolas (1998). Elements of Mathematics : Algebra I Chapters 1–3. Springer-Verlag. ISBN 3-540-64243-9.
  • Mac Lane, Saunders (1998). Categories for the Working Mathematician. Springer-Verlag. ISBN 0-387-98403-8.
Diperoleh dari "https://id.wikipedia.org/w/index.php?title=Grup_dengan_operator&oldid=26136120"
Kategori:
  • Tindakan grup (matematika)
  • Aljabar universal
Kategori tersembunyi:
  • Pages using the JsonConfig extension

Best Rank
More Recommended Articles