短语词组短语irreducible algebraic correspondence 不可约代数对应irreducible algebraic equation correspondence 不可约对应 返回 irreducible correspondence