甚至他还会主动承担一些寝室的卫生工作,寝室的环境要比之前董易独居时干净了不少。
这让董易对徐晓的态度逐渐发生了转变,每天的心情好像都没有那么焦虑了。
这天晚上,董易结束了一天的工作后,回到了寝室。
最近他又尝试使用一些新的方法去进行猜想的证明,虽然目前尚未取得什么进展,但至少能还是能够看到一丝希望的。
洗漱的时候,董易脑子里依然想着的都是课题的事情,刷完牙都差点儿忘了漱口了。
“等一下……如果能够利用Green对应的思路进行约化,先解决子群的导出等价,再提升回原群,好像是有可能解决这个问题的……”
想到这,董易也顾不上再仔细洗漱,随便拿毛巾擦了把脸,便来到白板前面推导了起来。
之前为了方便随时记录自己的想法,董易特意买了一块白板挂在了墙上。
这样的话,如果他在寝室时突然有什么新的想法,就可以顺手写在白板上。
董易的这个思路还是有一定道理的,因为Brué猜想需要构造大群块之间的导出等价,可是大群的块结构本身非常的复杂。
而亏群的结构则要相对简单,更容易构造导出等价。
顺着这个思路,董易在白板上进行起了约化的工作。
不得不说,他的约化路径是非常清晰的,先是拆分群结构,然后在子群层面进行构造,进而尝试拉回原群。
不过还没等他把所有的步骤都写完,董易却突然停了下来,原本带着些许光芒的表情也一下子变得黯淡了。
“不行……这个方法也不行……”
董易之所以没有继续推导下去,是因为他意识到,这个方法在他的课题上并不适用。
在Green对应中,存在着一个比较隐蔽的适用边界——它只能保持单个模的性质,无法保持导出等价的提升性。
"