여핵

선형대수학과 범주론에서 여핵(餘核, )은 핵에 대한 쌍대() 개념이다. 기호는 .

 선형대수학에서의 여핵 
와 가 같은 체에 대한 벡터 공간이고, 가 선형사상이라고 하자. 의 여핵 는 그 공역을 상으로 나눈 몫공간이다. 즉

이다.

 범주론에서의 여핵 
범주론에서 여핵은 핵에 대하여 쌍대 개념이며, 선형대수학에서의 여핵을 일반화한 개념이다. 영사상()이 존재하는 범주를 생각하자. 사상 의 여핵은 다음과 같은 그림을 가환시키는 쌍대극한() 이다.
파일:Cokernel-01.png

예를 들어, 군의 범주에서는 여핵이 존재한다. 군 준동형 가 주어지면 그 여핵은 이다.

 외부 링크 



분류:선형대수학
분류:추상대수학
분류:범주론