有人给你指了个人，问你那个人是不是你高中同学，这就简单多了。
这就是他现在跟陈辉的差距！
他可是研究生啊！
方文大脑有些混乱，已经不敢把陈辉当成高中生看待了。
也不知道刘导看论文的时候发现没有？
没有多想，他继续带着陈辉的解决方案去思考，演算，半个小时后，方文眼中满是明亮的光芒。
可行！
陈辉给的解决方案完全可行！
甚至可以说是非常巧妙！
如果说对Frattini商群提升完备性的证明让这篇毕业论文变得完整，那么解决了矩阵表示的系数相容性漏洞后，这篇论文都已经算得上是优秀论文了。
方文甚至都在幻想自己是不是可以去竞争一下明年的优秀毕业生？
原来跟着大佬混这么爽！
这简直就是把饭喂到自己嘴里了啊！
再次打开手机，刚才陈辉给他发了好几条消息，他只看了一条。
“步骤三中直接断言 ker()Hom(G/Φ(G)，Φ(G))ker()Hom(G/Φ(G)，Φ(G))，但未证明每个同态可提升为自同构，需要构造双射映射，ψ:Hom(G/Φ(G)，Φ(G))→ker()ψ:Hom(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))的平凡性，确认双射的合理性。
步骤四中假设半直积自然存在，但未构造显式截面证明分裂性，可能导致分解不成立，可以利用利用幂自同构构造截面，定义截面 s:GL(1，p)→Aut(G)s:GL(1，p)→Aut(G)为 s(m)(a)=a^m，s(m)(b)=bs(m)(a)=^am，s(m)(b)=b，验证其同态性及与商群映射的右逆性。
再通过上同调消没论证……
参数极端情形可能会导致结构性崩溃，可以分类讨论参数阈值……增加前提
…。。