题，其中的难度是不可同日而语的。
这在数学上就是著名的p对np问题。
比如你在一场宴会上，从参加宴会的345个人中找到自己的高中同学，这是很难的，但如果有人给你指了个人，问你那个人是不是你高中同学，这就简单多了。
这就是他现在跟陈辉的差距！
他可是研究生啊！
方文大脑有些混乱，已经不敢把陈辉当成高中生看待了。
也不知道刘导看论文的时候发现没有？
没有多想，他继续带着陈辉的解决方案去思考，演算，半个小时后，方文眼中满是明亮的光芒。
可行！
陈辉给的解决方案完全可行！
甚至可以说是非常巧妙！
如果说对fratti商群提升完备性的证明让这篇毕业论文变得完整，那么解决了矩阵表示的系数相容性漏洞后，这篇论文都已经算得上是优秀论文了。
方文甚至都在幻想自己是不是可以去竞争一下明年的优秀毕业生？
原来跟着大佬混这么爽！
这简直就是把饭喂到自己嘴里了啊！
再次打开手机，刚才陈辉给他发了好几条消息，他只看了一条。
“步骤三中直接断言 ker()ho(g/Φ(g)，Φ(g))ker()ho(g/Φ(g)，Φ(g))，但未证明每个同态可提升为自同构，需要构造双射映射，ψ:ho(g/Φ(g)，Φ(g))→ker()ψ:ho(g/Φ(g)，Φ(g))→ker()为ψ(f)(a)=af(aΦ(g))ψ(f)(a)=af(aΦ(g))，ψ(f)(b)=bf(bΦ(g))ψ(f)(b)=bf(bΦ(g))，验证其为单同态且满射。
再利用导子（derivations）理论，将 ker()ker()中的自同构视为由 g/Φ(g)g/Φ(g)到Φ(g)Φ(g)的导子，引用hochschild-serre谱序列证明 h1(g/Φ(g)，Φ(g))h1(g/Φ(g)，Φ(g))的平凡性，确认双射的合理性。
步骤四中假设半直积自然存在，但未构造显式截面证明分