Kategori gelanggang

kategori matematika yang objeknya adalah gelanggang (dengan identitas) dan yang morfisme adalah homomorfisme gelanggang (yang melestarikan identitas)

Templat:Ring theory sidebar

Dalam matematika, kategori gelanggang, dilambangkan dengan Gelanggang, adalah kategori yang objeknya adalah gelanggang (dengan identitas) dan yang morfisme adalah homomorfisme gelanggang (yang melestarikan identitas). Seperti banyak kategori dalam matematika, kategori gelanggang adalah besar, yang berarti bahwa kelas dari semua cincin adalah layak.

Sebagai kategori konkrit

sunting

Kategori Gelanggang adalah kategori beton yang berarti bahwa objek tersebut himpunan dengan struktur tambahan (penjumlahan dan perkalian) dan morfisme adalah fungsi yang mempertahankan struktur ini. Ada fungsi pelupa alami

U : GelanggangHimpunan

untuk kategori gelanggang ke kategori himpunan yang mengirimkan setiap gelanggang ke set yang mendasarinya (sehingga "melupakan" operasi penjumlahan dan perkalian). Funktor ini memiliki penyambung kiri

F : HimpunanGelanggang

which assigns to each set X the free ring generated by X.

Seseorang juga dapat melihat kategori gelanggang sebagai kategori konkret di atas Ab (kategori grup abelian) atau di atas Mon (kategori monoid). Secara khusus, ada fungsi pelupa

A : GelanggangAb
M : GelanggamgMon

yang masing-masing "melupakan" perkalian dan penjumlahan. Kedua fungsi ini meninggalkan adjoint. Adjoint kiri A adalah functor yang menetapkan ke setiap grup abelian X (dianggap sebagai Z- modul ) gelanggang tensor T ( X ). Adjoint kiri M adalah functor yang menetapkan ke setiap monoid X integral gelanggang monoid Z[X].

Limit dan kolimit

sunting

Kategori Gelanggang keduanya lengkap dan lengkap, yang berarti bahwa semua batas dan kolom kecil ada di Gelanggang. Seperti banyak kategori aljabar lainnya, functor pelupa U : GelanggangHimpunan membuat (dan mempertahankan) batas dan kolimit filter, tetapi tidak mempertahankan produk bersama atau penggabung. Fungsi pelupa untuk Ab dan Mon juga membuat dan mempertahankan batasan.

Morfisme

sunting

Tidak seperti banyak kategori yang dipelajari dalam matematika, tidak selalu ada morfisme antara pasangan objek dalam Gelanggang. Ini adalah konsekuensi dari fakta bahwa homomorfisme cincin harus menjaga identitas. Misalnya, tidak ada morfisme dari gelanggang nol 0 ke gelanggang bukan nol. Suatu kondisi yang diperlukan untuk menjadi morfisme dari R ke S adalah bahwa karakteristik dari S membagi bahwa dari R .

Perhatikan bahwa meskipun beberapa hom-set kosong, kategori Gelanggan masih terhubung karena memiliki objek awal.

Sifat lainnya

sunting

Catatan

sunting

Referensi

sunting