第一同型定理によれば、汎函数が上の汎函数を誘導するのはがの核に含まれるとき、かつそのときに限るから、同型