平凡上同弹子 2) cohomology functor 上同弹子 3) trivial subgroup 平凡子群 例句>> 4) trivial subset 平凡子集 5) Congruence kernel trivial 同余核平凡 6) H trivial congruence H平凡同余 1. A necessary and sufficient condition is given