Grup dengan operator

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. 

## Definisi

Sebuah **grup dengan operator** (G, \Omega) apabila didefinisikan sebagai sebuah grup G = (G, \cdot) bersama dengan himpunan tindakan \Omega pada G:
:\Omega \times G \rightarrow G : (\omega , g) \mapsto g^{\omega}
yaitu distributif relatif terhadap hukum grup:
:(g \cdot h)^{\omega} = g^{\omega} \cdot h^{\omega}.
Untuk setiap \omega \in \Omega , aplikasi g \mapsto g^{\omega} maka merupakan endomorfisme dari *G*. Dari sini, hasil bahwa grup juga apabila dilihat sebagai grup *G* dengan keluarga indeks (u_{\omega})_{\omega \in \Omega} dari endomorfisme pada *G*.

\Omega disebut **ranah operasi**. Endomorfisme asosiasi disebut **homotetis** dari *G*.

Diberikan dua grup *G*, *H* dengan ranah operasi yang sama \Omega, sebuah **homomorfisme** grup dengan operator adalah homomorfisme grup \phi: G \to H dirumuskan
:\phi(g^\omega)=(\phi(g))^\omega untuk semua \omega \in \Omega dan g \in G.

Subgrup *S* dari *G* disebut **subgrup stabil**, **<math>\omega</math>** atau **subgrup invarian-<math>\Omega</math>** jika didukung homotetis, yaitu
:s^\omega \in S untuk semua s \in S dan \omega \in \Omega.

## Pernyataan teoretis kategori
Dalam teori kategori, **grup dengan operator** dapat didefinisikan sebagai objek dari kategori fungtor \operatorname{Grp}^M di mana M adalah monoid (yaitu kategori dengan satu objek) dan \operatorname{Grp} menunjukkan kategori grup. Definisi ini setara dengan definisi sebelumnya, asalkan \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 di atas tentang homomorfisme grup dengan operator (dengan *dari* komponen dari transformasi alami).

Grup dengan operator juga merupakan pemetaan
:\Omega\rightarrow\operatorname{End}_{\mathbf{Grp}}(G), 

di mana \operatorname{End}_{\mathbf{Grp}}(G) adalah himpunan endomorfisme grup *G*.

## Contoh
* Diberikan grup G*,* (G, \varnothing)adalah grup trivial dengan operasi
* Diberikan modul *M* atas gelanggang R, tindakan *<math>R</math>* dengan perkalian skalar pada grup abelian yang mendasari M, jadi (M,R) adalah grup dengan operator.
* Sebagai kasus khusus di atas, setiap ruang vektor atas medan k adalah grup dengan operator (V,k).

## Aplikasi

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 dari grup yang bersangkutan.

## Lihat pula
*Tindakan grup

## Catatan

## Referensi
*
*
*