Kokernel

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.