모듈러 준동형의 정의, 핵, 및 이미지 속성