しかしこれはテンソル積とは異なる乗法であって、"" の核がちょうど両側イデアルに一致して(は標数だと仮定している)、自然な同型