![]() | Artikel ini sudah memiliki daftar referensi, bacaan terkait, atau pranala luar, tetapi sumbernya belum jelas karena belum menyertakan kutipan pada kalimat. |
Dalam matematika, kokernel pada pemetaan linear dari ruang vektor f : X → Y adalah ruang hasil bagi Y / im(f) dari kodomain dari f dengan gambar f . Dimensi dari kokernel disebut corank dari f .
Kokernel ganda ke kernel teori kategori, maka namanya: kernel adalah subobjek dari domain (memetakan ke domain), sedangkan cokernel adalah objek hasil bagi dari kodomain (dipetakan dari kodomain).
Secara intuitif, diberi persamaan f(x) = y yang ingin dipecahkan, cokernel mengukur batasan yang harus dipenuhi oleh y agar persamaan ini memiliki solusi sebagai penghalang solusi, sementara kernel mengukur derajat kebebasan dalam solusi, jika ada. Ini diuraikan dalam intuisi, di bawah.