www.wikidata.id-id.nina.az

Objek grup Dalam teori kategori cabang matematika objek grup adalah generalisasi tertentu dari grup di atas struktur yan

Objek grup

Dalam teori kategori, cabang matematika, objek grup adalah generalisasi tertentu dari grup di atas struktur yang lebih rumit dari himpunan. Contoh tipikal dari objek grup adalah grup topologi, grup yang himpunan dasarnya adalah ruang topologis sehingga operasi grup kontinu.

Definisi sunting

Secara formal, dengan kategori C dengan produk hingga (misalkan, C memiliki objek terminal 1 dan dua objek C memiliki hasil kali). Objek grup dalam C adalah objek G dari C dengan morfisme

  • m : G × G → G (sebagai "perkalian grup")
  • e : 1 → G (sebagai "penyertaan elemen identitas")
  • inv : G → G (sebagai "operasi inversi")

sedemikian rupa sehingga sifat berikut (dimodelkan pada aksioma grup, pada definisi grup digunakan dalam aljabar universal)

  • m adalah asosiatif, yaitu m ( m × id G ) = m (id G × m ) sebagai morfisme G × G × G → G, dan misalnya m × id G : G × G × G → G × G ; di sini kami mengidentifikasi G × ( G × G ) secara kanonik dengan ( G × G ) × G.
  • e adalah satuan dua sisi m, yaitu m (id G × e ) = p 1, di mana p 1 : G × 1 → G adalah proyeksi kanonik, dan m ( e × id G ) = p 2, di mana p 2 : 1 × G → G adalah proyeksi kanonik
  • inv adalah invers dua sisi untuk m, yaitu jika d : G → G × G adalah peta diagonal, dan e G : G → G adalah komposisi morfisme unik G → 1 (disebut juga kounit) dengan e, lalu m (id G × inv ) d = e G dan m ( inv × id G ) d = e G.

Perhatikan bahwa ini dinyatakan dalam peta, produk dan invers harus peta dalam kategori, dan tanpa referensi yang mendasari "elemen" objek grup, kategori secara umum tidak memiliki elemen objek mereka.

Cara lain untuk menyatakan hal di atas adalah dengan G adalah grup objek dalam kategori C jika untuk objek X dalam C, terdapat struktur grup pada morfisme Hom ( X, G ) dari X ke G sedemikian rupa sehingga asosiasi X ke Hom (X, G) adalah (kontravarian) funktor dari C ke kategori grup.

Contoh sunting

  • Setiap himpunan G dari struktur grup ( G, m, u, −1 ) didefinisikan sebagai objek grup dalam kategori himpunan. Peta m adalah operasi grup, peta e (dimana domainnya singleton) elemen identitas u dari G, dan inv peta kebalikannya ke elemen grup. e G : G → G adalah peta order elemen G ke elemen identitas.
  • Grup topologi adalah grup objek dalam kategori ruang topologi dengan fungsi kontinu .
  • Grup Lie adalah grup objek dalam kategori lipatan halus dengan peta smuth .
  • Supergrup Lie adalah grup objek dalam kategori supermanifold.
  • Grup aljabar adalah grup objek dalam kategori varietas aljabar. Dalam geometri aljabar modern, mempertimbangkan skema grup, mengelompokkan objek dalam kategori skema.
  • Grup lokal adalah objek grup dalam kategori lokal .
  • Objek grup dalam kategori grup (atau monoid ) adalah grup abelian . Alasannya adalah, jika inv diasumsikan homomorfisme, maka G harus abelian. Lebih tepatnya: jika A adalah kelompok abelian dan kita dilambangkan dengan m perkalian kelompok A, melalui e dimasukkannya unsur identitas, dan dengan inv operasi inversi pada A, maka (A, m, e, inv) adalah objek kelompok dalam kategori grup (atau monoid). Sebaliknya, jika ( A, m, e, inv ) adalah objek grup dalam salah satu kategori tersebut, maka m harus bertepatan dengan operasi yang diberikan pada A, e adalah penyertaan elemen identitas tertentu pada A, inv adalah operasi inversi dan A dengan operasi yang diberikan adalah grup abelian. Lihat pula argumen Eckmann–Hilton .
  • Grup-2 adalah objek grup dalam kategori kecil .
  • Mengingat kategori C dengan terbatas koproduk, benda kogrup adalah G objek C dengan "comultiplication" m: G → G G, "coidentity" e : G → 0, dan "coinversion" inv : G → G yang memenuhi versi ganda aksioma untuk objek grup. Dimana 0 adalah objek awal C. Objek kogrup terjadi di dalam topologi aljabar.

Generalisasi teori grup sunting

Banyak teori grup dapat dirumuskan dalam konteks objek grup yang lebih umum. Pengertian grup homomorfisme , subgrup, subgrup normal dan teorema isomorfisme adalah contoh tipikal.[butuh rujukan] Namun, hasil teori grup yang berbicara tentang elemen individu, atau urutan elemen atau subkelompok tertentu, biasanya tidak dapat digeneralisasikan ke objek grup secara langsung.[butuh rujukan]

Lihat pula sunting

  • Aljabar hopf dapat dilihat sebagai generalisasi objek kelompok ke kategori monoid .
  • Objek grupoid

Referensi sunting

Templat:Lang Algebra

wikipedia, wiki, buku, buku, perpustakaan, artikel, baca, unduh, gratis, unduh gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, gambar, musik, lagu, film, buku, permainan, permainan.
Tanggal penerbitan:
Dalam teori kategori cabang matematika objek grup adalah generalisasi tertentu dari grup di atas struktur yang lebih rumit dari himpunan Contoh tipikal dari objek grup adalah grup topologi grup yang himpunan dasarnya adalah ruang topologis sehingga operasi grup kontinu Daftar isi 1 Definisi 2 Contoh 3 Generalisasi teori grup 4 Lihat pula 5 ReferensiDefinisi suntingSecara formal dengan kategori C dengan produk hingga misalkan C memiliki objek terminal 1 dan dua objek C memiliki hasil kali Objek grup dalam C adalah objek G dari C dengan morfisme m G G G sebagai perkalian grup e 1 G sebagai penyertaan elemen identitas inv G G sebagai operasi inversi sedemikian rupa sehingga sifat berikut dimodelkan pada aksioma grup pada definisi grup digunakan dalam aljabar universal m adalah asosiatif yaitu m m id G m id G m sebagai morfisme G G G G dan misalnya m id G G G G G G di sini kami mengidentifikasi G G G secara kanonik dengan G G G e adalah satuan dua sisi m yaitu m id G e p 1 di mana p 1 G 1 G adalah proyeksi kanonik dan m e id G p 2 di mana p 2 1 G G adalah proyeksi kanonik inv adalah invers dua sisi untuk m yaitu jika d G G G adalah peta diagonal dan e G G G adalah komposisi morfisme unik G 1 disebut juga kounit dengan e lalu m id G inv d e G dan m inv id G d e G Perhatikan bahwa ini dinyatakan dalam peta produk dan invers harus peta dalam kategori dan tanpa referensi yang mendasari elemen objek grup kategori secara umum tidak memiliki elemen objek mereka Cara lain untuk menyatakan hal di atas adalah dengan G adalah grup objek dalam kategori C jika untuk objek X dalam C terdapat struktur grup pada morfisme Hom X G dari X ke G sedemikian rupa sehingga asosiasi X ke Hom X G adalah kontravarian funktor dari C ke kategori grup Contoh suntingSetiap himpunan G dari struktur grup G m u 1 didefinisikan sebagai objek grup dalam kategori himpunan Peta m adalah operasi grup peta e dimana domainnya singleton elemen identitas u dari G dan inv peta kebalikannya ke elemen grup e G G G adalah peta order elemen G ke elemen identitas Grup topologi adalah grup objek dalam kategori ruang topologi dengan fungsi kontinu Grup Lie adalah grup objek dalam kategori lipatan halus dengan peta smuth Supergrup Lie adalah grup objek dalam kategori supermanifold Grup aljabar adalah grup objek dalam kategori varietas aljabar Dalam geometri aljabar modern mempertimbangkan skema grup mengelompokkan objek dalam kategori skema Grup lokal adalah objek grup dalam kategori lokal Objek grup dalam kategori grup atau monoid adalah grup abelian Alasannya adalah jika inv diasumsikan homomorfisme maka G harus abelian Lebih tepatnya jika A adalah kelompok abelian dan kita dilambangkan dengan m perkalian kelompok A melalui e dimasukkannya unsur identitas dan dengan inv operasi inversi pada A maka A m e inv adalah objek kelompok dalam kategori grup atau monoid Sebaliknya jika A m e inv adalah objek grup dalam salah satu kategori tersebut maka m harus bertepatan dengan operasi yang diberikan pada A e adalah penyertaan elemen identitas tertentu pada A inv adalah operasi inversi dan A dengan operasi yang diberikan adalah grup abelian Lihat pula argumen Eckmann Hilton Grup 2 adalah objek grup dalam kategori kecil Mengingat kategori C dengan terbatas koproduk benda kogrup adalah G objek C dengan comultiplication m G G displaystyle oplus nbsp G coidentity e G 0 dan coinversion inv G G yang memenuhi versi ganda aksioma untuk objek grup Dimana 0 adalah objek awal C Objek kogrup terjadi di dalam topologi aljabar Generalisasi teori grup suntingBanyak teori grup dapat dirumuskan dalam konteks objek grup yang lebih umum Pengertian grup homomorfisme subgrup subgrup normal dan teorema isomorfisme adalah contoh tipikal butuh rujukan Namun hasil teori grup yang berbicara tentang elemen individu atau urutan elemen atau subkelompok tertentu biasanya tidak dapat digeneralisasikan ke objek grup secara langsung butuh rujukan Lihat pula suntingAljabar hopf dapat dilihat sebagai generalisasi objek kelompok ke kategori monoid Objek grupoidReferensi suntingTemplat Lang Algebra Diperoleh dari https id wikipedia org w index php title Objek grup amp oldid 22755880