第85章 我睡不着啊六更（2 / 2）

花了十几分钟时间，有了陈辉的提醒，他果然发现自己的证明过程真的存在漏洞，至少是不够严谨的。

他脑子是怎么长的？

从无到有的发现问题，跟经过提醒才发现问题，其中的难度是不可同日而语的。

这在数学上就是著名的P对NP问题。

比如你在一场宴会上，从参加宴会的345个人中找到自己的高中同学，这是很难的，但如果有人给你指了个人，问你那个人是不是你高中同学，这就简单多了。

这就是他现在跟陈辉的差距！

他可是研究生啊！

方文大脑有些混乱，已经不敢把陈辉当成高中生看待了。

也不知道刘导看论文的时候发现没有？

没有多想，他继续带着陈辉的解决方案去思考，演算，半个小时后，方文眼中满是明亮的光芒。

可行！

陈辉给的解决方案完全可行！

甚至可以说是非常巧妙！

如果说对Frattini商群提升完备性的证明让这篇毕业论文变得完整，那么解决了矩阵表示的系数相容性漏洞后，这篇论文都已经算得上是优秀论文了。

方文甚至都在幻想自己是不是可以去竞争一下明年的优秀毕业生？

原来跟着大佬混这么爽！

这简直就是把饭喂到自己嘴里了啊！

再次打开手机，刚才陈辉给他发了好几条消息，他只看了一条。

“步骤三中直接断言kerHomG/ΦG，ΦGkerHomG/ΦG，ΦG，但未证明每个同态可提升为自同构，需要构造双射映射，ψ:HomG/ΦG，ΦG→kerψ:HomG/ΦG，ΦG→ker为ψfa=afaΦGψfa=afaΦG，ψfb=bfbΦGψfb=bfbΦG，验证其为单同态且满射。

再利用导子（Derivations）理论，将kerker中的自同构视为由G/ΦGG/ΦG到ΦGΦG的导子，引用Hochschild-Serre谱序列证明H1G/ΦG，ΦGH1G/ΦG，ΦG的平凡性，确认双射的合理性。

步骤四中假设半直积自然存在，但未构造显式截面证明**性，可能导致分解不成立，可以利用利用幂自同构构造截面，定义截面s:GL1，p→AutGs:GL1，p→AutG为sma=am，smb=bsma=am，smb=b，验证其同态性及与商群映射的右逆性。

再通过上同调消没论证……