Tindakan grup (matematika): Perbedaan antara revisi
Dedhert.Jr (bicara | kontrib) k Dedhert.Jr memindahkan halaman Grup aksi ke Tindakan grup (matematika) dengan menimpa pengalihan lama |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2 |
||
(8 revisi perantara oleh 4 pengguna tidak ditampilkan) | |||
Baris 5: | Baris 5: | ||
[[Berkas:Group action on equilateral triangle.svg|right|thumb|Diketahui sebuah [[segitiga sama sisi]], [[rotasi]] berlawanan arah jarum jam sebesar 120° di sekitar pusat segitiga memetakan setiap simpul dari segitiga ke simpul lainnya. [[Grup siklik]] ''C''<sub>3</sub> terdiri dari rotasi sebesar 0°, 120° dan 240° bekerja pada himpunan tiga simpul.]] |
[[Berkas:Group action on equilateral triangle.svg|right|thumb|Diketahui sebuah [[segitiga sama sisi]], [[rotasi]] berlawanan arah jarum jam sebesar 120° di sekitar pusat segitiga memetakan setiap simpul dari segitiga ke simpul lainnya. [[Grup siklik]] ''C''<sub>3</sub> terdiri dari rotasi sebesar 0°, 120° dan 240° bekerja pada himpunan tiga simpul.]] |
||
Dalam [[matematika]], ''' |
Dalam [[matematika]], '''tindakan grup''' pada[[ruang (matematika)|ruang]] adalah [[homomorfisme grup]] dari [[grup (matematika)|grup]] tertentu ke dalam grup [[transformasi (geometri)|transformasi]] ruang. Demikian pula, tindakan kelompok pada [[struktur matematika]] adalah kelompok homomorfisme dari suatu kelompok ke dalam [[grup automorfisme]] dari struktur. Dikatakan bahwa grup '' bertindak '' pada ruang atau struktur. Jika suatu grup bertindak pada suatu struktur, biasanya juga akan bertindak atas objek yang dibangun dari struktur. Misalnya, kelompok [[Isometri Euklides|Isometri Euklid]] bekerja pada [[Ruang Euklidean]] dan juga pada gambar yang digambar di dalamnya. Secara khusus, ia bekerja pada himpunan dari semua [[segitiga]]. Demikian pula, kelompok [[simetri]] dari sebuah [[polihedron]] bekerja pada [[simpul (geometri)|simpul]], [[sisi (geometri)|tepi]], dan [[wajah (geometri)|wajah]] dari polyhedron. |
||
Tindakan grup pada [[ruang vektor]] (berdimensi-hingga)] disebut [[ |
Tindakan grup pada [[ruang vektor]] (berdimensi-hingga)] disebut [[Wakilan grup|wakilan]] dari grup. Ini memungkinkan salah satunya untuk mengidentifikasi banyak grup dengan subkelompok [[Grup linear umum|{{math|GL(''n'', ''K'')}}]], kelompok [[matriks yang dapat dibalik]] dengan dimensi{{mvar | n}} atas [[Bidang (matematika)|bidang]] {{mvar | K}}. |
||
[[Grup simetris]] {{mvar|S{{sub|n}}}} bertindak pada setiap [[himpunan (matematika) |
[[Grup simetris]] {{mvar|S{{sub|n}}}} bertindak pada setiap [[himpunan (matematika)|himpunan]] dengan elemen {{mvar | n}} dengan menggunakan elemen himpunan. Meskipun grup dari semua [[permutasi]] dari suatu himpunan secara formal bergantung pada himpunan tersebut, konsep tindakan kelompok memungkinkan salah satunya untuk mempertimbangkan satu grup untuk mempelajari permutasi dari semua himpunan dengan [[kardinal]] yang sama. |
||
== Definisi == |
== Definisi == |
||
=== |
=== Tindakan grup kiri === |
||
Jika |
Jika{{mvar | G}} adalah [[grup (matematika)|grup]] dengan elemen identitas {{mvar | e}}, dan {{mvar | X}} adalah himpunan, maka ('' kiri '') '' tindakan grup '' {{mvar | α}} dari {{mvar | G}} pada {{mvar | X}} adalah sebuah fungsi |
||
:<math>\alpha\colon G \times X \to X,</math> |
:<math>\alpha\colon G \times X \to X,</math> |
||
Baris 20: | Baris 20: | ||
(dengan {{math|''α''(''g'', ''x'')}} sering disingkat menjadi {{math | '' gx ''}} atau {{math | '' g '' ⋅ '' x ''}} jika tindakan yang dipertimbangkan sudah jelas dari konteksnya) |
(dengan {{math|''α''(''g'', ''x'')}} sering disingkat menjadi {{math | '' gx ''}} atau {{math | '' g '' ⋅ '' x ''}} jika tindakan yang dipertimbangkan sudah jelas dari konteksnya) |
||
yang memenuhi dua |
yang memenuhi dua tindakanoma berikut:<ref>{{cite book|author=Eie & Chang |title=A Course on Abstract Algebra|year=2010|url={{Google books|plainurl=y|id=jozIZ0qrkk8C|page=144|text=group action}}|page=144}}</ref> |
||
:{| |
:{| |
||
Baris 32: | Baris 32: | ||
untuk {{mvar | g}} dan {{mvar | h}} pada {{mvar | G}} dan {{mvar | x}} pada {{mvar | X}}. |
untuk {{mvar | g}} dan {{mvar | h}} pada {{mvar | G}} dan {{mvar | x}} pada {{mvar | X}}. |
||
Grup {{mvar | G}} dikatakan bertindak atas {{mvar | X}} (dari kiri). Himpunan {{mvar | X}} bersama dengan |
Grup {{mvar | G}} dikatakan bertindak atas {{mvar | X}} (dari kiri). Himpunan {{mvar | X}} bersama dengan tindakan{{mvar | G}} disebut ''himpunan''-{{mvar | G}} (''kiri''). |
||
Dari dua |
Dari dua tindakanoma ini, dapat disimpulkan bahwa untuk {{mvar | g}} tetap di {{mvar | G}}, fungsi dari {{mvar | X}} ke yang memetakan {{mvar | x}} ke {{math | '' g '' ⋅ '' x ''}} adalah bijeksi, dengan bijeksi terbalik untuk peta yang sesuai {{math|''g''<sup>−1</sup>}}. Oleh karena itu, salah satunya dapat secara setara mendefinisikan tindakan grup {{mvar | G}} pada {{mvar | X}} sebagai homomorfisme grup dari {{mvar | G}} ke grup simetris {{math|Sym(''X'')}} dari semua bias dari {{mvar | X}} ke dirinya sendiri.<ref>This is done, for example, by {{cite book|author=Smith |title=Introduction to abstract algebra|year=2008|url={{Google books|plainurl=y|id=PQUAQh04lrUC|page=253|text=group action}}|page=253}}</ref> |
||
=== |
=== Tindakan grup kanan === |
||
Demikian juga, '' |
Demikian juga, '' tindakan kelompok kanan '' dari {{mvar | G}} pada {{mvar | X}} adalah fungsi |
||
:<math>\alpha\colon X \times G \to X,</math> |
:<math>\alpha\colon X \times G \to X,</math> |
||
Baris 43: | Baris 43: | ||
(dengan {{math|''α''(''x'', ''g'')}} sering disingkat menjadi {{math | '' xg ''}} atau {{math | '' x '' ⋅ '' g ''}} jika tindakan yang dipertimbangkan jelas dari konteksnya) |
(dengan {{math|''α''(''x'', ''g'')}} sering disingkat menjadi {{math | '' xg ''}} atau {{math | '' x '' ⋅ '' g ''}} jika tindakan yang dipertimbangkan jelas dari konteksnya) |
||
yang memenuhi |
yang memenuhi tindakanoma analogi: |
||
:{| |
:{| |
||
Baris 55: | Baris 55: | ||
untuk {{mvar | g}} dan {{mvar | h}} pada {{mvar | G}} dan {{mvar | x}} pada {{mvar | X}}. |
untuk {{mvar | g}} dan {{mvar | h}} pada {{mvar | G}} dan {{mvar | x}} pada {{mvar | X}}. |
||
Perbedaan antara |
Perbedaan antara tindakan kiri dan kanan terletak pada urutan perkalian {{math | '' gh ''}} yang bekerja pada {{mvar | x}}. Untuk tindakan kiri, {{mvar | h}} tindakan pertama, diikuti oleh {{mvar | g}} detik. Untuk tindakan yang benar, {{mvar | g}} tindakan pertama, diikuti oleh {{mvar | h}} detik. Karena rumusnya {{math|1=(''gh'')<sup>−1</sup> = ''h''<sup>−1</sup>''g''<sup>−1</sup>}}, tindakan kiri dapat dibangun dari tindakan kanan dengan menyusun dengan operasi kebalikan dari grup. Juga, tindakan kanan grup {{mvar | G}} pada {{mvar | X}} bisa dianggap sebagai tindakan kiri dari [[grup berlawanan]] {{math|''G''<sup>op</sup>}} pada {{mvar | X}}. Jadi cukup untuk hanya mempertimbangkan tindakan kiri tanpa kehilangan keumuman. |
||
== |
== Tipe tindakan == |
||
<!-- Bagian ini ditautkan dari [[Difeomorfisme]], dan dialihkan dari "Aksi transitif" --> |
<!-- Bagian ini ditautkan dari [[Difeomorfisme]], dan dialihkan dari "Aksi transitif" --> |
||
Tindakan |
Tindakan'' G ''pada'' X'' disebut: |
||
* ''{{visible anchor|Transitif}}'' jika '' |
* ''{{visible anchor|Transitif}}'' jika ''X'' adalah [[himpunan kosong]] dan jika untuk setiap pasangan '' x '', '' y '' pada '' X '' maka '' g '' pada '' G '' dirumuskan {{nowrap|1=''g''⋅''x'' = ''y''}}. Misalnya, tindakan grup simetris '' X '' bersifat transitif, tindakan [[grup linear umum]] atau [[grup linear khusus]] ruang vektor '' V '' pada {{nowrap|''V''∖{0}{{null}}}} bersifat transitif, tetapi tindakan [[grup ortogonal]] dari [[ruang Euklides]] '' E '' tidak transitif pada {{nowrap|''E''∖{0}{{null}}}} (ini transitif pada [[unit bola]] dari '' E '', meskipun). |
||
* ''{{visible anchor|Tepat}}'' (atau ''{{visible anchor|efektif}}'') jika untuk setiap dua '' g '' yang berbeda, '' h '' pada '' G '' dengan '' x '' pada '' X '' sehingga {{nowrap|1=''g''⋅''x'' ≠ ''h''⋅''x''}}; atau setara, jika untuk {{nowrap|''g'' ≠ ''e''}} pada '' G '' ada '' x '' di '' X '' seperti itu {{nowrap|''g''⋅''x'' ≠ ''x''}}. Dengan kata lain, dalam |
* ''{{visible anchor|Tepat}}'' (atau ''{{visible anchor|efektif}}'') jika untuk setiap dua '' g '' yang berbeda, '' h '' pada '' G '' dengan '' x '' pada '' X '' sehingga {{nowrap|1=''g''⋅''x'' ≠ ''h''⋅''x''}}; atau setara, jika untuk {{nowrap|''g'' ≠ ''e''}} pada '' G '' ada '' x '' di '' X '' seperti itu {{nowrap|''g''⋅''x'' ≠ ''x''}}. Dengan kata lain, dalam tindakan kelompok yang setia, elemen '' G '' yang berbeda menyebabkan permutasi yang berbeda dari '' X ''.{{efn|Artinya, representasi permutasi terkait adalah injektif.}} Dalam istilah aljabar, grup '' G '' bertindak tepat pada '' X '' jika dan hanya jika homomorfisme yang sesuai dengan grup simetris, {{nowrap|''G'' → Sym(''X'')}}, memiliki trivial [[kernel (aljabar)|kernel]]. Jadi, untuk tindakan yang setia, '' G '' [[Embedding|embed]] ke [[grup permutasi]] pafa '' X ''; khusus, '' G '' isomorfik untuk citra Sym(''X''). Jika'' G'' tidak bertindakan tepat pada '' X '', kita dapat dengan mudah memodifikasi grup untuk mendapatkan tindakan yang tepat. Jika kita mendefinisikan {{nowrap|1=''N'' = {''g'' pada ''G'' : ''g''⋅''x'' = ''x'' untuk ''x'' in ''X''}{{null}}}}, maka '' N '' adalah [[subgrup normal]] dari '' G ''; memang, itu adalah inti dari homomorfisme {{nowrap|''G'' → Sym(''X'')}}. [[Grup faktor]] ''G''/''N'' bertindakan tepat pada '' X '' dengan menetapkan {{nowrap|1=(''gN'')⋅''x'' = ''g''⋅''x''}}. tindakan asli ''G'' pada'' X'' sesuai jika dan hanya jika {{nowrap|1=''N'' = {''e''}{{null}}}}. Kumpulan terkecil di mana tindakan yang sesuai dapat didefinisikan dapat sangat bervariasi untuk grup dengan ukuran yang sama. Sebagai contoh: |
||
** Tiga grup ukuran 120 adalah grup simetris ''S''<sub>5</sub>, [[grup ikosahedral]], dan [[grup siklik]] <math>\mathbb{Z}/120\mathbb{Z}</math>. |
** Tiga grup ukuran 120 adalah grup simetris ''S''<sub>5</sub>, [[grup ikosahedral]], dan [[grup siklik]] <math>\mathbb{Z}/120\mathbb{Z}</math>.himpunan terkecil di mana tindakan yang sesuai dapat didefinisikan masing-masing berukuran 5, 12, dan 16. |
||
** [[Grup abelian]] ukuran 2<sup>'' n ''</sup> menyertakan grup siklik <math>\mathbb{Z}/2^n\mathbb{Z}</math> serta <math>(\mathbb{Z}/2\mathbb{Z})^n</math> ([[produk langsung]] dari '' n '' salinan <math>\mathbb{Z}/2\mathbb{Z}</math>), tetapi yang terakhir bertindak dengan |
** [[Grup abelian]] ukuran 2<sup>'' n ''</sup> menyertakan grup siklik <math>\mathbb{Z}/2^n\mathbb{Z}</math> serta <math>(\mathbb{Z}/2\mathbb{Z})^n</math> ([[produk langsung]] dari '' n '' salinan <math>\mathbb{Z}/2\mathbb{Z}</math>), tetapi yang terakhir bertindak dengan sesuai pada himpunan ukuran 2''n '', sedangkan yang pertama tidak dapat bertindak dengan sesuai pada himpunan yang lebih kecil dari dirinya sendiri. |
||
* ''{{visible anchor|Bebas}}'' (atau '' |
* ''{{visible anchor|Bebas}}'' (atau ''semiberaturan'' atau ''titik tetap bebas'') jika, diberikan '' g '', ''h'' dengan'' G'', adanya ''x ''di'' X '' dengan {{nowrap|1=''g''⋅''x'' = ''h''⋅''x''}} menyiratkan {{nowrap|1=''g'' = ''h''}}. Setara: jika '' g '' adalah elemen grup dan terdapat '' x '' di '' X '' dengan {{nowrap|1=''g''⋅''x'' = ''x''}} (yaitu, jika '' g '' memiliki setidaknya satu titik tetap), maka '' g '' adalah identitasnya. Perhatikan bahwa tindakan bebas pada himpunan yang tidak kosong adalah tepat. |
||
* ''{{visible anchor|Biasa}}'' (atau ''{{visible anchor|hanya transitif}}'' atau '' transitif tajam '') jika transitif dan bebas; Ini sama dengan mengatakan bahwa untuk setiap dua '' x '', '' y '' dalam '' X '' tepat ada satu '' g '' dalam '' G '' sehingga {{nowrap|1=''g''⋅''x'' = ''y''}}. Dalam hal ini, '' X '' disebut sebagai [[ruang homogen utama]] untuk |
* ''{{visible anchor|Biasa}}'' (atau ''{{visible anchor|hanya transitif}}'' atau '' transitif tajam '') jika transitif dan bebas; Ini sama dengan mengatakan bahwa untuk setiap dua '' x '', '' y '' dalam '' X '' tepat ada satu '' g '' dalam '' G '' sehingga {{nowrap|1=''g''⋅''x'' = ''y''}}. Dalam hal ini, '' X '' disebut sebagai [[ruang homogen utama]] untuk'' G'' atau torsi'' G''. tindakan grup ''G '' pada dirinya sendiri dengan perkalian kiri adalah teratur, dan dengan demikian sesuai juga. Setiap grup, oleh karena itu, dapat disematkan dalam grup simetris pada elemennya sendiri, Sym('' G ''). Hasil ini dikenal sebagai [[Teorema Cayley]]. |
||
* ''{{visible anchor|n-transitif}}'' jika '' X '' memiliki setidaknya '' n '' elemen, dan untuk semua yang berbeda ''x''<sub>1</sub>, ..., ''x<sub>n</sub>'' dan berbeda ''y''<sub>1</sub>, ..., ''y<sub>n</sub>'', jika '' g '' pada '' G '' dirumuskan {{nowrap|1=''g''⋅''x<sub>k</sub>'' = ''y<sub>k</sub>''}} untuk {{nowrap|1 ≤ ''k'' ≤ ''n''}}. |
* ''{{visible anchor|n-transitif}}'' jika '' X '' memiliki setidaknya '' n '' elemen, dan untuk semua yang berbeda ''x''<sub>1</sub>, ..., ''x<sub>n</sub>'' dan berbeda ''y''<sub>1</sub>, ..., ''y<sub>n</sub>'', jika '' g '' pada '' G '' dirumuskan {{nowrap|1=''g''⋅''x<sub>k</sub>'' = ''y<sub>k</sub>''}} untuk {{nowrap|1 ≤ ''k'' ≤ ''n''}}. tindakan 2-transitif juga disebut ''{{visible anchor|transitif ganda}}'', tindakan 3-transitif disebut juga '' transitif tiga kali'', dan seterusnya. tindakan tersebut menentukan kelas menarik dari subkelompok dalam grup simetris: [[Grup 2-transitif]] dan lebih umum [[perkalian grup transitif]]. Tindakan grup simetris pada himpunan dengan elemen'' n '' selalu'' n ''-transitif; tindakan dari [[grup selang-seling]] adalah (''n'' - 2)-transitif. |
||
* ''{{visible anchor|Tajam n-transitif}}'' jika memang ada satu seperti '' g ''. |
* ''{{visible anchor|Tajam n-transitif}}'' jika memang ada satu seperti '' g ''. |
||
* ''{{visible anchor|Primitif}}'' jika transitif dan tidak mempertahankan partisi non-sepele dari '' X ''. Lihat [[grup permutasi primitif]] untuk detailnya. |
* ''{{visible anchor|Primitif}}'' jika transitif dan tidak mempertahankan partisi non-sepele dari '' X ''. Lihat [[grup permutasi primitif]] untuk detailnya. |
||
* '' |
* ''Bebas secara lokal '' jika'' G'' adalah [[grup topologi]], dan ada [[lingkungan (matematika)|lingkungan]] ''U ''dari ''e'' dalam ''G'' sedemikian rupa sehingga pembatasan tindakan menjadi'' U'' bebas; yaitu jika {{nowrap|1=''g''⋅''x'' = ''x''}} untuk beberapa '' x '' dan beberapa '' g '' di '' U '' lalu {{nowrap|1=''g'' = ''e''}}. |
||
Selanjutnya, jika '' |
Selanjutnya, jika ''G ''bekerja pada [[ruang topologi]] '' X '', maka tindakannya adalah: |
||
*''[[ |
*''[[Himpunan pengembaraan|Pengembaraan]]'' jika setiap titik ''x'' pada ''X ''memiliki lingkungan ''U '' sehingga <math>\{g \in G : g \cdot U \cap U \neq \emptyset\}</math> is terhingga.<ref name="Thurston 1980 p175">{{Citation | last1=Thurston | first1=William | title=The geometry and topology of three-manifolds | url=http://library.msri.org/books/gt3m/ | series=Princeton lecture notes | year=1980 | page=175 | accessdate=2020-12-25 | archive-date=2020-07-27 | archive-url=https://web.archive.org/web/20200727020107/http://library.msri.org/books/gt3m/ | dead-url=yes }}</ref> Misalnya, tindakan <math>\mathbb Z^n</math> pada <math>\mathbb R^n</math> oleh translasi mengembara. tindakan [[grup pengembaraan]] pada setengah bidang Poincaré juga mengembara. |
||
*Jika '' X '' adalah [[ruang kompak lokal]] dan untuk setiap |
*Jika '' X '' adalah [[ruang kompak lokal]] dan untuk setiap himpunan bagian kompak ''K'' ⊂ ''X'' thehimpunan <math>\{g \in G: gK \cap K \neq \emptyset \}</math> terbatas. Tindakan mengembara yang diberikan di atas juga terputus-putus. Di sisi lain, tindakan <math>\mathbb Z</math> pada <math>\mathbb{R}^2 \setminus \{(0,0)\}</math> given by <math>n\cdot (x, y) = (2^n x, 2^{-n} y)</math> wendering dan bebas tetapi tidak terputus-putus dengan benar.{{sfn|Thurston|1980|p=176}} |
||
*''{{visible anchor|Layak}}'' jika '' G '' adalah grup topologi dan peta dari <math>G \times X \rightarrow X \times X : (g,x) \mapsto (g \cdot x,x)</math> adalah [[Peta layak |
*''{{visible anchor|Layak}}'' jika '' G '' adalah grup topologi dan peta dari <math>G \times X \rightarrow X \times X : (g,x) \mapsto (g \cdot x,x)</math> adalah [[Peta layak|layak]].<ref name="tom Dieck 1987 p29">{{Citation | last1=tom Dieck | first1=Tammo | title=Transformation groups | url=https://books.google.com/books?id=azcQhi6XeioC | publisher=Walter de Gruyter & Co. | location=Berlin | series=de Gruyter Studies in Mathematics | isbn=978-3-11-009745-0 | mr=889050 | year=1987 | volume=8 | page=29 | doi=10.1515/9783110858372.312}}</ref> Jika '' G '' adalah [[Grup diskrit|diskrit]] maka kesesuaian setara dengan diskontinuitas yang tepat untuk tindakan '' G ''. |
||
* Dikatakan memiliki '' orbit diskrit '' jika orbit setiap '' x '' dalam '' X '' di bawah |
* Dikatakan memiliki '' orbit diskrit '' jika orbit setiap '' x '' dalam '' X '' di bawah tindakan '' G '' diskrit dalam '' X ''.<ref name="Thurston 1980 p175" /> |
||
*'' |
*'' tindakan ruang '' jika setiap titik '' x '' di '' X '' memiliki lingkungan '' U '' sedemikian rupa sehingga <math>\{g \in G : g \cdot U \cap U \neq \emptyset\} = \{ e \} </math>.<ref name="Hatcher 2001">{{cite book |last1=Hatcher |first1=Allen |title=Algebraic Topology |date=2002 |publisher=Cambridge University Press |isbn=0-521-79540-0| page=72 |url=http://pi.math.cornell.edu/~hatcher/AT/ATpage.html}}</ref> |
||
Jika '' |
Jika ''X ''adalah[[Nol elemen#modul Nol|bukan nol]] [[modul (matematika)|modul]] atas [[gelanggang (matematika)|gelanggang]] ''R'' dan tindakan'' G'' adalahlinear-''R'' maka dikatakan |
||
* '' |
* ''Taktereduksikan'' jika tidak ada submodul invarian wajar taknol. |
||
== |
==Orbit dan penstabil ==<!-- Bagian ini ditautkan dari [[Simetri]] --> |
||
[[Berkas:Compound of five tetrahedra.png|thumb|[[Gabungan dari lima tetrahedra]], grup simetri adalah (rotasi) [[grup ikosahedral]] '' I '' urutan 60, sedangkan penstabil tetrahedron terpilih adalah (rotasi) [[grup tetrahedral]] '' T '' urutan 12, dan ruang orbit ''I''/''T'' (dari urutan 60/12 = 5) secara alami diidentifikasi dengan 5 tetrahedra, kohimpunan '' gT '' sesuai dengan tetrahedron tempat '' g '' mengirimkan tetrahedron yang dipilih.]] |
[[Berkas:Compound of five tetrahedra.png|thumb|[[Gabungan dari lima tetrahedra]], grup simetri adalah (rotasi) [[grup ikosahedral]] '' I '' urutan 60, sedangkan penstabil tetrahedron terpilih adalah (rotasi) [[grup tetrahedral]] '' T '' urutan 12, dan ruang orbit ''I''/''T'' (dari urutan 60/12 = 5) secara alami diidentifikasi dengan 5 tetrahedra, kohimpunan '' gT '' sesuai dengan tetrahedron tempat '' g '' mengirimkan tetrahedron yang dipilih.]] |
||
Pertimbangkan grup '' G '' yang |
Pertimbangkan grup '' G '' yang bertindak pada himpunan '' X ''.'' Orbit ''dari suatu elemen'' x ''dalam'' X '' adalah himpunan elemen dalam'' X ''di mana ''x '' dapat dipindahkan oleh elemen ''G'' . Orbit'' x'' adalah dengan: |
||
:<math> G\cdot x = \left\{ g\cdot x \mid g \in G \right\}.</math> |
:<math> G\cdot x = \left\{ g\cdot x \mid g \in G \right\}.</math> |
||
Sifat yang menentukan dari grup menjamin bahwa himpunan orbit (titik '' x '') '' X '' di bawah tindakan '' G '' membentuk [[partisi himpunan|partisi]] dari ''X''. [[Relasi ekivalen|Relasi setara]] terkait ditentukan dengan mengatakan {{nowrap|''x'' ∼ ''y''}} [[jika dan hanya jika]] terdapat '' g '' di '' G '' dengan {{nowrap|1=''g''⋅''x'' = ''y''}}. Orbitnya kemudian [[kelas ekivalen|kelas setara]] es di bawah hubungan ini; dua elemen '' x '' dan '' y '' setara jika dan hanya jika orbitnya sama, yaitu, {{nowrap|1=''G''⋅''x'' = ''G''⋅''y''}}. |
|||
Tindakan kelompok adalah [[ |
Tindakan kelompok adalah [[Tindakan grup (matematika)#Jenis aksi|transitif]] jika dan hanya jika ia memiliki tepat satu orbit, yaitu, jika ada '' x '' dalam '' X '' dengan {{nowrap|1=''G''⋅''x'' = ''X''}}. This is the case if and only if {{nowrap|1=''G''⋅''x'' = ''X''}} untuk '' semua '' '' x '' dalam '' X '' (mengingat bahwa '' X '' tidak kosong). |
||
Himpunan semua orbit '' X '' di bawah |
Himpunan semua orbit '' X '' di bawah tindakan '' G '' ditulis sebagai ''X''/''G'' (atau, lebih jarang: ''G''\''X''), dan disebut '' hasil bagi '' dari tindakan tersebut. Dalam situasi geometris ini bisa disebut ''{{visible anchor|ruang orbit}}'', sedangkan dalam situasi aljabar itu bisa disebut ruang ''{{visible anchor|konvariat}}'', dan ditulis '' X<sub> G </sub> '', berbeda dengan invarian (titik tetap), dilambangkan ''X<sup>G</sup>'': varian koin adalah '' hasil bagi '' sedangkan invariannya adalah '' himpunan bagian. '' Terminologi dan notasi koinvarian digunakan terutama dalam [[kelompok kohomologi]] dan [[grup homologi]], yang menggunakan konvensi superskrip/subskrip yang sama. |
||
=== Himpunan bagian varian === |
=== Himpunan bagian varian === |
||
Jika '' Y '' adalah [[himpunan bagian]] dari '' X '', |
Jika '' Y '' adalah [[himpunan bagian]] dari '' X '', salah satunya akan menulis '' GY '' untukhimpunan tersebut {{nowrap|{''g''⋅''y'' : ''y'' ∈ ''Y'' dan ''g'' ∈ ''G''}<nowiki/>}}. Himpunan bagian '' Y '' dikatakan '' invarian di bawah G '' jika {{nowrap|1=''G''⋅''Y'' = ''Y''}} (yang setara dengan {{nowrap|''G''⋅''Y'' ⊆ ''Y''}}). Dalam hal ini, '' G '' juga beroperasi pada '' Y '' dengan membatasi tindakannya menjadi '' Y ''. Himpunan bagian '' Y '' disebut '' tetap di bawah G '' jika {{nowrap|1=''g''⋅''y'' = ''y''}} untuk '' g '' di '' G '' dan semua '' y '' di '' Y ''. Setiap himpunan bagian yang ditetapkan di bawah '' G '' juga invarian di bawah '' G '', tetapi tidak sebaliknya. |
||
Setiap orbit adalah |
Setiap orbit adalah himpunan bagian invarian dari '' X '' di mana ''G'' bertindak [[#Jenis tindakan|secara transitif]]. Sebaliknya, setiap himpunan bagian invarian dari '' X '' adalah gabungan orbit. Tindakan '' G '' pada '' X '' adalah '' transitif '' jika dan hanya jika semua elemen setara, artinya hanya ada satu orbit. |
||
Elemen '' G-invarian '' dari '' X '' adalah {{nowrap|''x'' ∈ ''X''}} dirumuskan {{nowrap|1=''g''⋅''x'' = ''x''}} untuk {{nowrap|''g'' ∈ ''G''}}. Himpunan dari semua '' x '' dilambangkan ''X<sup>G</sup>'' dan disebut '' G- |
Elemen '' G-invarian '' dari '' X '' adalah {{nowrap|''x'' ∈ ''X''}} dirumuskan {{nowrap|1=''g''⋅''x'' = ''x''}} untuk {{nowrap|''g'' ∈ ''G''}}. Himpunan dari semua '' x '' dilambangkan ''X<sup>G</sup>'' dan disebut '' G-invarians '' dari '' X ''. Ketika '' X '' adalah [[Modul-G]], ''X<sup>G</sup>'' adalah grup zeroth [[grup kohomologu|kohomologi]] dari '' G '' dengan koefisien dalam '' X '', dan kelompok kohomologi yang lebih tinggi adalah [[functor turunan]] dari [[functor]] dari '' G ''-invarian. |
||
=== Titik tetap dan subgrup |
=== Titik tetap dan subgrup penstabil === |
||
Diberikan '' g '' dalam '' G '' dan '' x '' dalam '' X '' dengan {{nowrap|1=''g''⋅''x'' = ''x''}}, dikatakan bahwa "'' x '' adalah titik tetap dari '' g ''" atau "'' g '' memperbaiki '' x ''". Untuk setiap '' x '' dalam '' X '', '''subkelompok penstabil''' dari '' G '' sehubungan dengan '' x '' (juga disebut '' grup isotropi '' atau '' kelompok kecil ''<ref name="Procesi">{{cite book|last1=Procesi|first1=Claudio|title=Lie Groups: An Approach through Invariants and Representations|date=2007|publisher=Springer Science & Business Media|isbn=9780387289298|page=5|url=https://books.google.com/books?id=Sl8OAGYRz_AC&q=%22little+group%22+action&pg=PA5|accessdate=23 February 2017|language=en}}</ref>) adalah himpunan semua elemen di '' G '' yang memperbaiki '' x '': |
Diberikan '' g '' dalam '' G '' dan '' x '' dalam '' X '' dengan {{nowrap|1=''g''⋅''x'' = ''x''}}, dikatakan bahwa "'' x '' adalah titik tetap dari '' g ''" atau "'' g '' memperbaiki '' x ''". Untuk setiap '' x '' dalam '' X '', '''subkelompok penstabil''' dari '' G '' sehubungan dengan '' x '' (juga disebut '' grup isotropi '' atau '' kelompok kecil ''<ref name="Procesi">{{cite book|last1=Procesi|first1=Claudio|title=Lie Groups: An Approach through Invariants and Representations|date=2007|publisher=Springer Science & Business Media|isbn=9780387289298|page=5|url=https://books.google.com/books?id=Sl8OAGYRz_AC&q=%22little+group%22+action&pg=PA5|accessdate=23 February 2017|language=en}}</ref>) adalah himpunan semua elemen di '' G '' yang memperbaiki '' x '': |
||
:<math>G_x = \{g \in G \mid g \cdot x = x\}.</math> |
:<math>G_x = \{g \in G \mid g \cdot x = x\}.</math> |
||
Ini adalah [[subgrup]] dari '' G '', meskipun biasanya bukan yang normal. Tindakan '' G '' pada '' X '' adalah [[#Jenis aksi |
Ini adalah [[subgrup]] dari '' G '', meskipun biasanya bukan yang normal. Tindakan '' G '' pada '' X '' adalah [[#Jenis aksi|bebas]] jika dan hanya jika semua penstabil trivial. Kernel '' N '' dari homomorfisme dengan grup simetris, {{nowrap|''G'' → Sym(''X'')}}, diberikan oleh [[persimpangan (teori himpunan)|persimpangan]] dari penstabil ''G<sub>x</sub>'' untuk '' x '' dalam '' X ''. Jika '' N '' sepele, tindakan tersebut dikatakan sesuai (atau efektif). |
||
Misalkan '' x '' dan '' y '' menjadi dua elemen dalam '' X '', dan biarkan '' g '' menjadi elemen grup sedemikian rupa sehingga {{nowrap|1=''y'' = ''g''⋅''x''}}. Kemudian dua grup |
Misalkan '' x '' dan '' y '' menjadi dua elemen dalam '' X '', dan biarkan '' g '' menjadi elemen grup sedemikian rupa sehingga {{nowrap|1=''y'' = ''g''⋅''x''}}. Kemudian dua grup penstabil ''G<sub>x</sub>'' dan ''G<sub>y</sub>'' dihubungkan oleh {{nowrap|1=''G<sub>y</sub>'' = ''g'' ''G<sub>x</sub>'' ''g''<sup>−1</sup>}}. Bukti: menurut definisi, {{nowrap|''h'' ∈ ''G<sub>y</sub>''}} jika dan hanya jika {{nowrap|1=''h''⋅(''g''⋅''x'') = ''g''⋅''x''}}. Menerapkan '' g ''<sup> −1 </sup> ke kedua sisi persamaan ini akan menghasilkan {{nowrap|1=(''g''<sup>−1</sup>''hg'')⋅''x'' = ''x''}}; itu adalah, {{nowrap|''g''<sup>−1</sup>''hg'' ∈ ''G<sub>x</sub>''}}. Inklusi yang berlawanan mengikuti dengan cara yang sama dengan mengambil {{nowrap|''h'' ∈ ''G<sub>x</sub>''}} dan seandainya {{nowrap|1=''x'' = ''g''<sup>−1</sup>⋅''y''}}. |
||
Hal di atas mengatakan bahwa |
Hal di atas mengatakan bahwa penstabil unsur-unsur dalam orbit yang sama adalah [[kelas konjugasi|konjugasi]] satu sama lain. Jadi, untuk setiap orbit, kita dapat mengasosiasikan [[kelas konjugasi]] dari subkelompok '' G '' (yaitu, himpunan semua konjugasi dari subgrup). Misalkan <math> (H) </math> menunjukkan kelas konjugasi '' H ''. Kemudian orbit '' O '' bertipe <math>(H)</math> jika penstabil <math> G_x </math> dari beberapa/sesuatu '' x '' pada '' O '' milik <math> (H) </math>. Jenis orbit mtindakanmal sering disebut [[jenis orbit utama]]. |
||
=== {{visible anchor|Teorema penstabil Orbit}} dan |
=== {{visible anchor|Teorema penstabil Orbit}} dan lema Burnside === |
||
Orbit dan |
Orbit dan penstabil terkait erat. Untuk tetap '' x '' dalam '' X '', pertimbangkan peta ''f'':''G'' → ''X'' diberikan oleh ''g'' ↦ ''g''·''x''. Menurut definisi gambar ''f''(''G'') dari peta ini adalah orbit '' G ''·'' x ''. Syarat dua elemen untuk memiliki citra yang sama adalah |
||
:<math>f(g)=f(h)\iff g\cdot x=h \cdot x \iff g^{-1}h \cdot x=x \iff g^{-1}h \in G_x \iff h \in gG_x</math>. |
:<math>f(g)=f(h)\iff g\cdot x=h \cdot x \iff g^{-1}h \cdot x=x \iff g^{-1}h \in G_x \iff h \in gG_x</math>. |
||
Dengan kata lain, <math> f(g) = f (h) </math> '' jika dan hanya jika '' <math> g </math> dan <math> h </math> berada di tempat yang sama [[kohimpunan]] untuk subgrup |
Dengan kata lain, <math> f(g) = f (h) </math> '' jika dan hanya jika '' <math> g </math> dan <math> h </math> berada di tempat yang sama [[kohimpunan]] untuk subgrup penstabil <math>G_x</math>. Jadi, [[Serat (matematika)|serat]] <math>f^{-1}(\{y\})</math> dari '' f '' di atas setiap '' y '' di '' G '' · '' x '' terkandung dalam koset tersebut, dan setiap koset tersebut juga muncul sebagai serat. Oleh karena itu '' f '' mendefinisikan ''bijeksi'' antara himpunan <math> G/G_x </math> kohimpunan untuk subgrup penstabil dan orbit '' G '' · '' x '', yang mengirimkan <math>gG_x \mapsto g \cdot x</math>.<ref>M. Artin, <em>Algebra</em>, Proposition 6.4 on p. 179</ref> Hasil ini dikenal sebagai '' teorema penstabil orbit ''. |
||
Jika '' G '' berhingga maka teorema penstabil orbit, bersama dengan [[Teorema Lagrange (teori grup) |
Jika '' G '' berhingga maka teorema penstabil orbit, bersama dengan [[Teorema Lagrange (teori grup)|Teorema Lagrange]], memberikan |
||
:<math>|G\cdot x| = [G\,:\,G_x] = |G| / |G_x|,</math> |
:<math>|G\cdot x| = [G\,:\,G_x] = |G| / |G_x|,</math> |
||
dengan kata lain panjang orbit '' x '' kali urutan |
dengan kata lain panjang orbit '' x '' kali urutan penstabilnya adalah urutan grup. Secara khusus yang menyiratkan bahwa panjang orbit adalah pembagi dari ordo grup. |
||
: '''Contoh:''' Misalkan '' G '' menjadi sekelompok orde utama '' p '' yang bekerja pada himpunan '' X '' dengan elemen '' k ''. Karena setiap orbit memiliki elemen 1 atau '' p '', setidaknya ada <math>k \bmod p</math> orbit dengan panjang 1 yang merupakan '' G '' elemen invarian. |
: '''Contoh:''' Misalkan '' G '' menjadi sekelompok orde utama '' p '' yang bekerja pada himpunan '' X '' dengan elemen '' k ''. Karena setiap orbit memiliki elemen 1 atau '' p '', setidaknya ada <math>k \bmod p</math> orbit dengan panjang 1 yang merupakan '' G '' elemen invarian. |
||
Baris 125: | Baris 125: | ||
[[Berkas:Labeled cube graph.png|thumb|Grafik kubik dengan simpul berlabel]] |
[[Berkas:Labeled cube graph.png|thumb|Grafik kubik dengan simpul berlabel]] |
||
: '''Contoh:''' Kita dapat menggunakan teorema penstabil orbit untuk menghitung automorfisme dari sebuah [[ |
: '''Contoh:''' Kita dapat menggunakan teorema penstabil orbit untuk menghitung automorfisme dari sebuah [[Graf (matematika diskret)|graf]]. Pertimbangkan [[grafik kubik]] seperti yang digambarkan, dan biarkan '' G '' menunjukkan grup [[Graf keautomorfan|keautomorfan]]. Kemudian ''G ''bertindak pada himpunan verteks {1, 2, ..., 8}, dan tindakan ini bersifat transitif seperti yang dapat dilihat dengan menyusun rotasi di sekitar pusat kubus. Jadi, dengan teorema penstabil orbit, <math>|G| = |G\cdot1||G_1| = 8|G_1|</math>. Menerapkan teorema sekarang ke penstabil '' G ''<sub> 1 </sub>, kita bisa mendapatkan <math>|G_1| = |(G_1)\cdot2||(G_1)_2|</math>. Setiap elemen '' G '' yang menetapkan 1 harus mengirim 2 ke 2, 4, atau 5. Sebagai contoh automorfisme tersebut pertimbangkan rotasi di sekitar sumbu diagonal melalui 1 dan 7 oleh <math>2\pi/3</math> yang membolehkan 2,4,5 dan 3,6,8, dan fix 1 dan 7. Jadi, <math>\left|(G_1)\cdot2\right| = 3</math>. Menerapkan teorema untuk ketiga kalinya memberikan <math>|(G_1)_2| = |((G_1)_2)\cdot3||((G_1)_2)_3|</math>. Setiap elemen '' G '' yang menetapkan 1 dan 2 harus mengirim 3 ke 3 atau 6. Mencerminkan kubus di bidang melalui 1,2,7 dan 8 adalah automorfisme yang mengirim 3 hingga 6, jadi <math>\left|((G_1)_2)\cdot3\right| = 2</math>. Salah satunya juga melihat bahwa <math>((G_1)_2)_3</math> hanya terdiri dari automorfisme identitas, karena setiap elemen dari '' G '' yang memperbaiki 1, 2 dan 3 juga harus memperbaiki semua simpul lainnya, karena mereka ditentukan oleh kedekatannya dengan 1, 2 dan 3. Menggabungkan perhitungan sebelumnya, sekarang kita bisa mendapatkan <math>|G| = 8\cdot3\cdot2\cdot1 = 48</math>. |
||
Hasil yang terkait erat dengan teorema penstabil orbit adalah [[ |
Hasil yang terkait erat dengan teorema penstabil orbit adalah [[lema Burnside]]: |
||
:<math>|X/G|=\frac{1}{|G|}\sum_{g\in G} |X^g|,</math> |
:<math>|X/G|=\frac{1}{|G|}\sum_{g\in G} |X^g|,</math> |
||
dimana ''X''<sup>g</sup> himpunan |
dimana ''X''<sup>g</sup> himpunan titik tetap oleh ''g ''. Hasil ini terutama digunakan ketika'' G ''dan ''X ''terbatas, bila dapat diartikan sebagai berikut: jumlah orbit sama dengan jumlah rata-rata titik yang ditetapkan per elemen grup. |
||
Menetapkan grup ''G '', himpunan perbedaan formal dari'' G'' hingga, himpunan membentuk [[gelanggang (matematika)|gelanggang]] yang disebut [[gelanggang Burnside]] dari ''G '', di mana penjumlahan sesuai dengan [[disjoint union]], dan perkalian dengan [[produk Kartesius]]. |
|||
== |
== Tindakan grup dan grupoid == |
||
Gagasan |
Gagasan tindakan kelompok dapat diletakkan dalam konteks yang lebih luas dengan menggunakan '' tindakan [[groupoid]] '' <math>G'=G \ltimes X</math> terkait dengan tindakan kelompok, sehingga memungkinkan teknik dari teori grupoid seperti presentasi dan [[fibrasi]]. Selanjutnya, penstabil tindakan adalah kelompok puncak, dan orbit tindakan adalah komponen, dari tindakan grupoid. Untuk lebih jelasnya, lihat buku ''Topologi dan groupoids '' yang direferensikan di bawah ini |
||
tindakan groupoid ini hadir dengan morfisme '' p '': '' G ′ '' → '' G '' yang merupakan'' morfisme yang menutupi grupoid''. Hal ini memungkinkan adanya hubungan antara morfisme tersebut dan [[peta peliputan]] dalam topologi. |
|||
== Galeri == |
== Galeri == |
||
Baris 146: | Baris 146: | ||
== Lihat pula == |
== Lihat pula == |
||
* [[ |
* [[Tindakan grup terukurkan]] |
||
* [[ |
* [[Graf gain|Graf ''gain'']] |
||
* [[Grup dengan operator]] |
* [[Grup dengan operator]] |
||
* [[ |
* [[Tindakan monoid]] |
||
== Referensi == |
== Referensi == |
||
Baris 159: | Baris 159: | ||
=== Lain === |
=== Lain === |
||
* {{Cite book|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=Finite Group Theory|publisher=Cambridge University Press|year=2000|mr=1777008 |isbn=978-0-521-78675-1}} |
* {{Cite book|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=Finite Group Theory|url=https://archive.org/details/finitegrouptheor0000asch|publisher=Cambridge University Press|year=2000|mr=1777008 |isbn=978-0-521-78675-1}} |
||
* Brown, Ronald (2006). [http://arquivo.pt/wayback/20160514115224/http://www.bangor.ac.uk/r.brown/topgpds.html ''Topology and groupoids''], Booksurge PLC, {{ISBN|1-4196-2722-8}}. |
* Brown, Ronald (2006). [http://arquivo.pt/wayback/20160514115224/http://www.bangor.ac.uk/r.brown/topgpds.html ''Topology and groupoids''], Booksurge PLC, {{ISBN|1-4196-2722-8}}. |
||
*[http://138.73.27.39/tac/reprints/articles/7/tr7abs.html Categories and groupoids, P.J. Higgins], downloadable reprint of van Nostrand Notes in Mathematics, 1971, which deal with applications of groupoids in group theory and topology. |
*[http://138.73.27.39/tac/reprints/articles/7/tr7abs.html Categories and groupoids, P.J. Higgins] {{Webarchive|url=https://web.archive.org/web/20071007143558/http://138.73.27.39/tac/reprints/articles/7/tr7abs.html |date=2007-10-07 }}, downloadable reprint of van Nostrand Notes in Mathematics, 1971, which deal with applications of groupoids in group theory and topology. |
||
*{{cite book |
*{{cite book |
||
| first = David |
| first = David |
||
Baris 172: | Baris 172: | ||
| isbn = 0-471-43334-9 |
| isbn = 0-471-43334-9 |
||
}} |
}} |
||
* {{cite book |last1=Eie |first1=Minking |last2=Chang |first2=Shou-Te |title=A Course on Abstract Algebra |year=2010 |publisher=World Scientific |isbn=978-981-4271-88-2}} |
* {{cite book |last1=Eie |first1=Minking |last2=Chang |first2=Shou-Te |title=A Course on Abstract Algebra |url=https://archive.org/details/courseonabstract0000eiem |year=2010 |publisher=World Scientific |isbn=978-981-4271-88-2}} |
||
*{{cite book |
*{{cite book |
||
| first = Joseph |
| first = Joseph |
||
Baris 189: | Baris 189: | ||
* {{mathworld|urlname=GroupAction|title=Group Action}} |
* {{mathworld|urlname=GroupAction|title=Group Action}} |
||
[[Kategori: |
[[Kategori:Teori grup]] |
||
[[Kategori: |
[[Kategori:Tindakan grup (matematika)| ]] |
||
[[Kategori: |
[[Kategori:Teori representasi grup]] |
||
[[Kategori: |
[[Kategori:Simetri]] |
Revisi terkini sejak 29 November 2022 13.07
Dalam matematika, tindakan grup padaruang adalah homomorfisme grup dari grup tertentu ke dalam grup transformasi ruang. Demikian pula, tindakan kelompok pada struktur matematika adalah kelompok homomorfisme dari suatu kelompok ke dalam grup automorfisme dari struktur. Dikatakan bahwa grup bertindak pada ruang atau struktur. Jika suatu grup bertindak pada suatu struktur, biasanya juga akan bertindak atas objek yang dibangun dari struktur. Misalnya, kelompok Isometri Euklid bekerja pada Ruang Euklidean dan juga pada gambar yang digambar di dalamnya. Secara khusus, ia bekerja pada himpunan dari semua segitiga. Demikian pula, kelompok simetri dari sebuah polihedron bekerja pada simpul, tepi, dan wajah dari polyhedron.
Tindakan grup pada ruang vektor (berdimensi-hingga)] disebut wakilan dari grup. Ini memungkinkan salah satunya untuk mengidentifikasi banyak grup dengan subkelompok GL(n, K), kelompok matriks yang dapat dibalik dengan dimensi n atas bidang K.
Grup simetris Sn bertindak pada setiap himpunan dengan elemen n dengan menggunakan elemen himpunan. Meskipun grup dari semua permutasi dari suatu himpunan secara formal bergantung pada himpunan tersebut, konsep tindakan kelompok memungkinkan salah satunya untuk mempertimbangkan satu grup untuk mempelajari permutasi dari semua himpunan dengan kardinal yang sama.
Definisi
[sunting | sunting sumber]Tindakan grup kiri
[sunting | sunting sumber]Jika G adalah grup dengan elemen identitas e, dan X adalah himpunan, maka ( kiri ) tindakan grup α dari G pada X adalah sebuah fungsi
(dengan α(g, x) sering disingkat menjadi gx atau g ⋅ x jika tindakan yang dipertimbangkan sudah jelas dari konteksnya)
yang memenuhi dua tindakanoma berikut:[1]
Identitas: Kesesuaian:
untuk g dan h pada G dan x pada X.
Grup G dikatakan bertindak atas X (dari kiri). Himpunan X bersama dengan tindakan G disebut himpunan- G (kiri).
Dari dua tindakanoma ini, dapat disimpulkan bahwa untuk g tetap di G, fungsi dari X ke yang memetakan x ke g ⋅ x adalah bijeksi, dengan bijeksi terbalik untuk peta yang sesuai g−1. Oleh karena itu, salah satunya dapat secara setara mendefinisikan tindakan grup G pada X sebagai homomorfisme grup dari G ke grup simetris Sym(X) dari semua bias dari X ke dirinya sendiri.[2]
Tindakan grup kanan
[sunting | sunting sumber]Demikian juga, tindakan kelompok kanan dari G pada X adalah fungsi
(dengan α(x, g) sering disingkat menjadi xg atau x ⋅ g jika tindakan yang dipertimbangkan jelas dari konteksnya)
yang memenuhi tindakanoma analogi:
Identitas: Kesesuaian:
untuk g dan h pada G dan x pada X.
Perbedaan antara tindakan kiri dan kanan terletak pada urutan perkalian gh yang bekerja pada x. Untuk tindakan kiri, h tindakan pertama, diikuti oleh g detik. Untuk tindakan yang benar, g tindakan pertama, diikuti oleh h detik. Karena rumusnya (gh)−1 = h−1g−1, tindakan kiri dapat dibangun dari tindakan kanan dengan menyusun dengan operasi kebalikan dari grup. Juga, tindakan kanan grup G pada X bisa dianggap sebagai tindakan kiri dari grup berlawanan Gop pada X. Jadi cukup untuk hanya mempertimbangkan tindakan kiri tanpa kehilangan keumuman.
Tipe tindakan
[sunting | sunting sumber]Tindakan G pada X disebut:
- Transitif jika X adalah himpunan kosong dan jika untuk setiap pasangan x , y pada X maka g pada G dirumuskan g⋅x = y. Misalnya, tindakan grup simetris X bersifat transitif, tindakan grup linear umum atau grup linear khusus ruang vektor V pada V∖{0} bersifat transitif, tetapi tindakan grup ortogonal dari ruang Euklides E tidak transitif pada E∖{0} (ini transitif pada unit bola dari E , meskipun).
- Tepat (atau efektif) jika untuk setiap dua g yang berbeda, h pada G dengan x pada X sehingga g⋅x ≠ h⋅x; atau setara, jika untuk g ≠ e pada G ada x di X seperti itu g⋅x ≠ x. Dengan kata lain, dalam tindakan kelompok yang setia, elemen G yang berbeda menyebabkan permutasi yang berbeda dari X .[a] Dalam istilah aljabar, grup G bertindak tepat pada X jika dan hanya jika homomorfisme yang sesuai dengan grup simetris, G → Sym(X), memiliki trivial kernel. Jadi, untuk tindakan yang setia, G embed ke grup permutasi pafa X ; khusus, G isomorfik untuk citra Sym(X). Jika G tidak bertindakan tepat pada X , kita dapat dengan mudah memodifikasi grup untuk mendapatkan tindakan yang tepat. Jika kita mendefinisikan N = {g pada G : g⋅x = x untuk x in X}, maka N adalah subgrup normal dari G ; memang, itu adalah inti dari homomorfisme G → Sym(X). Grup faktor G/N bertindakan tepat pada X dengan menetapkan (gN)⋅x = g⋅x. tindakan asli G pada X sesuai jika dan hanya jika N = {e}. Kumpulan terkecil di mana tindakan yang sesuai dapat didefinisikan dapat sangat bervariasi untuk grup dengan ukuran yang sama. Sebagai contoh:
- Tiga grup ukuran 120 adalah grup simetris S5, grup ikosahedral, dan grup siklik .himpunan terkecil di mana tindakan yang sesuai dapat didefinisikan masing-masing berukuran 5, 12, dan 16.
- Grup abelian ukuran 2 n menyertakan grup siklik serta (produk langsung dari n salinan ), tetapi yang terakhir bertindak dengan sesuai pada himpunan ukuran 2n , sedangkan yang pertama tidak dapat bertindak dengan sesuai pada himpunan yang lebih kecil dari dirinya sendiri.
- Bebas (atau semiberaturan atau titik tetap bebas) jika, diberikan g , h dengan G, adanya x di X dengan g⋅x = h⋅x menyiratkan g = h. Setara: jika g adalah elemen grup dan terdapat x di X dengan g⋅x = x (yaitu, jika g memiliki setidaknya satu titik tetap), maka g adalah identitasnya. Perhatikan bahwa tindakan bebas pada himpunan yang tidak kosong adalah tepat.
- Biasa (atau hanya transitif atau transitif tajam ) jika transitif dan bebas; Ini sama dengan mengatakan bahwa untuk setiap dua x , y dalam X tepat ada satu g dalam G sehingga g⋅x = y. Dalam hal ini, X disebut sebagai ruang homogen utama untuk G atau torsi G. tindakan grup G pada dirinya sendiri dengan perkalian kiri adalah teratur, dan dengan demikian sesuai juga. Setiap grup, oleh karena itu, dapat disematkan dalam grup simetris pada elemennya sendiri, Sym( G ). Hasil ini dikenal sebagai Teorema Cayley.
- n-transitif jika X memiliki setidaknya n elemen, dan untuk semua yang berbeda x1, ..., xn dan berbeda y1, ..., yn, jika g pada G dirumuskan g⋅xk = yk untuk 1 ≤ k ≤ n. tindakan 2-transitif juga disebut transitif ganda, tindakan 3-transitif disebut juga transitif tiga kali, dan seterusnya. tindakan tersebut menentukan kelas menarik dari subkelompok dalam grup simetris: Grup 2-transitif dan lebih umum perkalian grup transitif. Tindakan grup simetris pada himpunan dengan elemen n selalu n -transitif; tindakan dari grup selang-seling adalah (n - 2)-transitif.
- Tajam n-transitif jika memang ada satu seperti g .
- Primitif jika transitif dan tidak mempertahankan partisi non-sepele dari X . Lihat grup permutasi primitif untuk detailnya.
- Bebas secara lokal jika G adalah grup topologi, dan ada lingkungan U dari e dalam G sedemikian rupa sehingga pembatasan tindakan menjadi U bebas; yaitu jika g⋅x = x untuk beberapa x dan beberapa g di U lalu g = e.
Selanjutnya, jika G bekerja pada ruang topologi X , maka tindakannya adalah:
- Pengembaraan jika setiap titik x pada X memiliki lingkungan U sehingga is terhingga.[3] Misalnya, tindakan pada oleh translasi mengembara. tindakan grup pengembaraan pada setengah bidang Poincaré juga mengembara.
- Jika X adalah ruang kompak lokal dan untuk setiap himpunan bagian kompak K ⊂ X thehimpunan terbatas. Tindakan mengembara yang diberikan di atas juga terputus-putus. Di sisi lain, tindakan pada given by wendering dan bebas tetapi tidak terputus-putus dengan benar.[4]
- Layak jika G adalah grup topologi dan peta dari adalah layak.[5] Jika G adalah diskrit maka kesesuaian setara dengan diskontinuitas yang tepat untuk tindakan G .
- Dikatakan memiliki orbit diskrit jika orbit setiap x dalam X di bawah tindakan G diskrit dalam X .[3]
- tindakan ruang jika setiap titik x di X memiliki lingkungan U sedemikian rupa sehingga .[6]
Jika X adalahbukan nol modul atas gelanggang R dan tindakan G adalahlinear-R maka dikatakan
- Taktereduksikan jika tidak ada submodul invarian wajar taknol.
Orbit dan penstabil
[sunting | sunting sumber]Pertimbangkan grup G yang bertindak pada himpunan X . Orbit dari suatu elemen x dalam X adalah himpunan elemen dalam X di mana x dapat dipindahkan oleh elemen G . Orbit x adalah dengan:
Sifat yang menentukan dari grup menjamin bahwa himpunan orbit (titik x ) X di bawah tindakan G membentuk partisi dari X. Relasi setara terkait ditentukan dengan mengatakan x ∼ y jika dan hanya jika terdapat g di G dengan g⋅x = y. Orbitnya kemudian kelas setara es di bawah hubungan ini; dua elemen x dan y setara jika dan hanya jika orbitnya sama, yaitu, G⋅x = G⋅y.
Tindakan kelompok adalah transitif jika dan hanya jika ia memiliki tepat satu orbit, yaitu, jika ada x dalam X dengan G⋅x = X. This is the case if and only if G⋅x = X untuk semua x dalam X (mengingat bahwa X tidak kosong).
Himpunan semua orbit X di bawah tindakan G ditulis sebagai X/G (atau, lebih jarang: G\X), dan disebut hasil bagi dari tindakan tersebut. Dalam situasi geometris ini bisa disebut ruang orbit, sedangkan dalam situasi aljabar itu bisa disebut ruang konvariat, dan ditulis X G , berbeda dengan invarian (titik tetap), dilambangkan XG: varian koin adalah hasil bagi sedangkan invariannya adalah himpunan bagian. Terminologi dan notasi koinvarian digunakan terutama dalam kelompok kohomologi dan grup homologi, yang menggunakan konvensi superskrip/subskrip yang sama.
Himpunan bagian varian
[sunting | sunting sumber]Jika Y adalah himpunan bagian dari X , salah satunya akan menulis GY untukhimpunan tersebut {g⋅y : y ∈ Y dan g ∈ G}. Himpunan bagian Y dikatakan invarian di bawah G jika G⋅Y = Y (yang setara dengan G⋅Y ⊆ Y). Dalam hal ini, G juga beroperasi pada Y dengan membatasi tindakannya menjadi Y . Himpunan bagian Y disebut tetap di bawah G jika g⋅y = y untuk g di G dan semua y di Y . Setiap himpunan bagian yang ditetapkan di bawah G juga invarian di bawah G , tetapi tidak sebaliknya.
Setiap orbit adalah himpunan bagian invarian dari X di mana G bertindak secara transitif. Sebaliknya, setiap himpunan bagian invarian dari X adalah gabungan orbit. Tindakan G pada X adalah transitif jika dan hanya jika semua elemen setara, artinya hanya ada satu orbit.
Elemen G-invarian dari X adalah x ∈ X dirumuskan g⋅x = x untuk g ∈ G. Himpunan dari semua x dilambangkan XG dan disebut G-invarians dari X . Ketika X adalah Modul-G, XG adalah grup zeroth kohomologi dari G dengan koefisien dalam X , dan kelompok kohomologi yang lebih tinggi adalah functor turunan dari functor dari G -invarian.
Titik tetap dan subgrup penstabil
[sunting | sunting sumber]Diberikan g dalam G dan x dalam X dengan g⋅x = x, dikatakan bahwa " x adalah titik tetap dari g " atau " g memperbaiki x ". Untuk setiap x dalam X , subkelompok penstabil dari G sehubungan dengan x (juga disebut grup isotropi atau kelompok kecil [7]) adalah himpunan semua elemen di G yang memperbaiki x :
Ini adalah subgrup dari G , meskipun biasanya bukan yang normal. Tindakan G pada X adalah bebas jika dan hanya jika semua penstabil trivial. Kernel N dari homomorfisme dengan grup simetris, G → Sym(X), diberikan oleh persimpangan dari penstabil Gx untuk x dalam X . Jika N sepele, tindakan tersebut dikatakan sesuai (atau efektif).
Misalkan x dan y menjadi dua elemen dalam X , dan biarkan g menjadi elemen grup sedemikian rupa sehingga y = g⋅x. Kemudian dua grup penstabil Gx dan Gy dihubungkan oleh Gy = g Gx g−1. Bukti: menurut definisi, h ∈ Gy jika dan hanya jika h⋅(g⋅x) = g⋅x. Menerapkan g −1 ke kedua sisi persamaan ini akan menghasilkan (g−1hg)⋅x = x; itu adalah, g−1hg ∈ Gx. Inklusi yang berlawanan mengikuti dengan cara yang sama dengan mengambil h ∈ Gx dan seandainya x = g−1⋅y.
Hal di atas mengatakan bahwa penstabil unsur-unsur dalam orbit yang sama adalah konjugasi satu sama lain. Jadi, untuk setiap orbit, kita dapat mengasosiasikan kelas konjugasi dari subkelompok G (yaitu, himpunan semua konjugasi dari subgrup). Misalkan menunjukkan kelas konjugasi H . Kemudian orbit O bertipe jika penstabil dari beberapa/sesuatu x pada O milik . Jenis orbit mtindakanmal sering disebut jenis orbit utama.
Teorema penstabil Orbit dan lema Burnside
[sunting | sunting sumber]Orbit dan penstabil terkait erat. Untuk tetap x dalam X , pertimbangkan peta f:G → X diberikan oleh g ↦ g·x. Menurut definisi gambar f(G) dari peta ini adalah orbit G · x . Syarat dua elemen untuk memiliki citra yang sama adalah
- .
Dengan kata lain, jika dan hanya jika dan berada di tempat yang sama kohimpunan untuk subgrup penstabil . Jadi, serat dari f di atas setiap y di G · x terkandung dalam koset tersebut, dan setiap koset tersebut juga muncul sebagai serat. Oleh karena itu f mendefinisikan bijeksi antara himpunan kohimpunan untuk subgrup penstabil dan orbit G · x , yang mengirimkan .[8] Hasil ini dikenal sebagai teorema penstabil orbit .
Jika G berhingga maka teorema penstabil orbit, bersama dengan Teorema Lagrange, memberikan
dengan kata lain panjang orbit x kali urutan penstabilnya adalah urutan grup. Secara khusus yang menyiratkan bahwa panjang orbit adalah pembagi dari ordo grup.
- Contoh: Misalkan G menjadi sekelompok orde utama p yang bekerja pada himpunan X dengan elemen k . Karena setiap orbit memiliki elemen 1 atau p , setidaknya ada orbit dengan panjang 1 yang merupakan G elemen invarian.
Hasil ini sangat berguna karena dapat digunakan untuk menghitung argumen (biasanya dalam situasi di mana X juga terbatas).
- Contoh: Kita dapat menggunakan teorema penstabil orbit untuk menghitung automorfisme dari sebuah graf. Pertimbangkan grafik kubik seperti yang digambarkan, dan biarkan G menunjukkan grup keautomorfan. Kemudian G bertindak pada himpunan verteks {1, 2, ..., 8}, dan tindakan ini bersifat transitif seperti yang dapat dilihat dengan menyusun rotasi di sekitar pusat kubus. Jadi, dengan teorema penstabil orbit, . Menerapkan teorema sekarang ke penstabil G 1 , kita bisa mendapatkan . Setiap elemen G yang menetapkan 1 harus mengirim 2 ke 2, 4, atau 5. Sebagai contoh automorfisme tersebut pertimbangkan rotasi di sekitar sumbu diagonal melalui 1 dan 7 oleh yang membolehkan 2,4,5 dan 3,6,8, dan fix 1 dan 7. Jadi, . Menerapkan teorema untuk ketiga kalinya memberikan . Setiap elemen G yang menetapkan 1 dan 2 harus mengirim 3 ke 3 atau 6. Mencerminkan kubus di bidang melalui 1,2,7 dan 8 adalah automorfisme yang mengirim 3 hingga 6, jadi . Salah satunya juga melihat bahwa hanya terdiri dari automorfisme identitas, karena setiap elemen dari G yang memperbaiki 1, 2 dan 3 juga harus memperbaiki semua simpul lainnya, karena mereka ditentukan oleh kedekatannya dengan 1, 2 dan 3. Menggabungkan perhitungan sebelumnya, sekarang kita bisa mendapatkan .
Hasil yang terkait erat dengan teorema penstabil orbit adalah lema Burnside:
dimana Xg himpunan titik tetap oleh g . Hasil ini terutama digunakan ketika G dan X terbatas, bila dapat diartikan sebagai berikut: jumlah orbit sama dengan jumlah rata-rata titik yang ditetapkan per elemen grup.
Menetapkan grup G , himpunan perbedaan formal dari G hingga, himpunan membentuk gelanggang yang disebut gelanggang Burnside dari G , di mana penjumlahan sesuai dengan disjoint union, dan perkalian dengan produk Kartesius.
Tindakan grup dan grupoid
[sunting | sunting sumber]Gagasan tindakan kelompok dapat diletakkan dalam konteks yang lebih luas dengan menggunakan tindakan groupoid terkait dengan tindakan kelompok, sehingga memungkinkan teknik dari teori grupoid seperti presentasi dan fibrasi. Selanjutnya, penstabil tindakan adalah kelompok puncak, dan orbit tindakan adalah komponen, dari tindakan grupoid. Untuk lebih jelasnya, lihat buku Topologi dan groupoids yang direferensikan di bawah ini
tindakan groupoid ini hadir dengan morfisme p : G ′ → G yang merupakan morfisme yang menutupi grupoid. Hal ini memungkinkan adanya hubungan antara morfisme tersebut dan peta peliputan dalam topologi.
Galeri
[sunting | sunting sumber]-
Orbit segitiga bola fundamental (ditandai merah) di bawah aksi grup oktahedral penuh.
-
Orbit segitiga bola fundamental (ditandai dengan warna merah) di bawah aksi grup ikosahedral penuh.
Lihat pula
[sunting | sunting sumber]Referensi
[sunting | sunting sumber]Catatan
[sunting | sunting sumber]- ^ Artinya, representasi permutasi terkait adalah injektif.
Kutipan
[sunting | sunting sumber]- ^ Eie & Chang (2010). A Course on Abstract Algebra. hlm. 144.
- ^ This is done, for example, by Smith (2008). Introduction to abstract algebra. hlm. 253.
- ^ a b Thurston, William (1980), The geometry and topology of three-manifolds, Princeton lecture notes, hlm. 175, diarsipkan dari versi asli tanggal 2020-07-27, diakses tanggal 2020-12-25
- ^ Thurston 1980, hlm. 176.
- ^ tom Dieck, Tammo (1987), Transformation groups, de Gruyter Studies in Mathematics, 8, Berlin: Walter de Gruyter & Co., hlm. 29, doi:10.1515/9783110858372.312, ISBN 978-3-11-009745-0, MR 0889050
- ^ Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. hlm. 72. ISBN 0-521-79540-0.
- ^ Procesi, Claudio (2007). Lie Groups: An Approach through Invariants and Representations (dalam bahasa Inggris). Springer Science & Business Media. hlm. 5. ISBN 9780387289298. Diakses tanggal 23 February 2017.
- ^ M. Artin, Algebra, Proposition 6.4 on p. 179
Lain
[sunting | sunting sumber]- Aschbacher, Michael (2000). Finite Group Theory. Cambridge University Press. ISBN 978-0-521-78675-1. MR 1777008.
- Brown, Ronald (2006). Topology and groupoids, Booksurge PLC, ISBN 1-4196-2722-8.
- Categories and groupoids, P.J. Higgins Diarsipkan 2007-10-07 di Wayback Machine., downloadable reprint of van Nostrand Notes in Mathematics, 1971, which deal with applications of groupoids in group theory and topology.
- Dummit, David; Richard Foote (2004). Abstract Algebra (edisi ke-3rd). Wiley. ISBN 0-471-43334-9.
- Eie, Minking; Chang, Shou-Te (2010). A Course on Abstract Algebra. World Scientific. ISBN 978-981-4271-88-2.
- Rotman, Joseph (1995). An Introduction to the Theory of Groups. Graduate Texts in Mathematics 148 (edisi ke-4th). Springer-Verlag. ISBN 0-387-94285-8.
- Smith, Jonathan D.H. (2008). Introduction to abstract algebra. Textbooks in mathematics. CRC Press. ISBN 978-1-4200-6371-4.
Pranala luar
[sunting | sunting sumber]- Hazewinkel, Michiel, ed. (2001) [1994], "Action of a group on a manifold", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Weisstein, Eric W. "Group Action". MathWorld.