Paket GAP bahan ajar dan perangkat lunak yang ditulis oleh Peter Webb
Materi pengajaran
Beberapa kali saya telah mengajarkan penggunaan GAP sebagai bagian dari sekelompok teori saja tingkat pascasarjana di mana saya juga menjelaskan beberapa algoritma. Saya melakukan ini selama 50 menit sesi diadakan setiap minggu di laboratorium komputer, selama sekitar 8 minggu. Formatnya adalah bahwa setiap anggota kelas duduk di depan komputer dan disajikan dengan daftar GAP perintah bersama-sama dengan sejumlah kecil komentar. Pada arah saya mereka bekerja melalui perintah ini dan amati apa yang terjadi. Pada poin-poin penting kita berhenti untuk membahas apa yang telah terjadi.Saya memperkenalkan teori latar belakang yang diperlukan seperti yang diperlukan.
Berikut adalah Pelajaran GAP yang disajikan kepada siswa:
1 2 3 4 5 6
Dalam pelajaran 2 file Conway digunakan, dan dalam pelajaran 6 kita menggunakan file lesson6code .
Pelajaran 6 membutuhkan handout pada Teori Stabilizer .
Tangan kelas di pekerjaan rumah, beberapa di antaranya khusus untuk GAP. Berikut adalah pertanyaan PR dari 2003.
Jika Anda menggunakan bahan-bahan pengajaran ini, jangan mengirim catatan singkat ini untuk [email protected]~~V
Ini membantu saya jika saya dapat mengatakan bahwa pekerjaan saya telah digunakan.
Paket perangkat lunak GAP
Untuk waktu yang cukup lama saya telah mengembangkan kode GAP untuk menangani representasi dan cohomology, kelompok dan lebih umum kategori.
Jika Anda menggunakan software ini, jangan mengirim catatan singkat saya di [email protected]
Seperti dengan bahan ajar, itu membantu saya jika saya dapat mengatakan bahwa pekerjaan saya telah digunakan.
Paket GAP 'repetisi' untuk menangani representasi kelompok dalam karakteristik positif
Perintah dalam paket ini memungkinkan Anda untuk membangun dan pecah representasi kelompok, menemukan summands yg tak dpt dibagi dan struktur submodule. Algoritma dari meataxe yang disertakan dan digunakan di mana tepat, tetapi filosofi keseluruhan sedikit berbeda dari meataxe, dan metode berdasarkan mengambil poin tetap digunakan secara luas.
Untuk memulai, pertama kali membaca tutorial (download di bawah). Ini akan memberitahu Anda apa paket akan dilakukan dan bagaimana melakukannya, dan juga menyediakan perhitungan sampel. Untuk menjalankan paket, download file dari rutinitas (bawah) dan membacanya dalam pada awal sesi GAP Anda. Jangan biarkan aku tahu jika Anda memiliki masalah.
Tutorial pada kelompok representasi paket 'reps'.
Ambil paket 'reps' untuk menangani representasi kelompok.
Paket GAP 'catreps' untuk menangani representasi dari kategori
Paket ini tidak untuk kategori apa 'repetisi' tidak untuk kelompok. Ini memungkinkan Anda untuk membangun dan pecah kategori representasi, menemukan summands yg tak dpt dibagi dan struktur submodule. Untuk mempelajari tentang representasi dari kategori, baca saya Pengantar representasi dan cohomology kategori .
Untuk memulai, pertama kali membaca tutorial (download di bawah). Ini akan memberitahu Anda apa paket akan dilakukan dan bagaimana melakukannya, dan juga menyediakan perhitungan sampel. Untuk menjalankan paket, download file dari rutinitas (bawah) dan membacanya dalam pada awal sesi GAP Anda. Jangan biarkan aku tahu jika Anda memiliki masalah!
Tutorial pada kelompok representasi paket 'reps'.
Ambil paket 'catreps' untuk menangani kategori representasi.
Saraf dari Kategori
Kode disajikan di sini menghitung (co) homologi saraf kategori. Mengenai kelompok sebagai kategori, kita memperoleh biasa kelompok cohomology, tapi rutinitas yang disajikan di sini tidak efisien untuk ini. Mengenai poset sebagai kategori kita mendapatkan homologi dari kompleks order. Setiap kompleks simplicial dapat diberikan hingga homeomorfisma dalam mode ini. Membaca tutorial sebelum pergi ke rutinitas.
Tutorial pada saraf kategori.
Ambil paket untuk menangani saraf kategori.
Peter Webb juga memiliki algoritma cepat untuk menghitung resolusi minimal modul sepele untuk p-kelompok dalam karakteristik p. Pada saat itu masih dalam proses pembangunan.
