>>782
こういうので省略して書くのはよくあること。
この状況でKerφ_λの間の準同型っつったらあれしかねぇだろｊｋ、てな感じで。