本人数学系学渣一枚，最近在读抽象代数，突然脑洞大开想到能不能把抽象代数应用在植吧的理论里。就像数学家伽罗瓦用了群论来证明五次多项式方程无根式解，那么我们是不是也可以利用抽象代数来证明某些阵型/命题无解？
同样的，抽象代数可以把一个领域内的理论直接应用在另外一个同构的领域上，这样就不需要重新探索和研究新领域。那么我们是不是也可以利用抽象代数把一个阵型的阵解直接应用在另外一个同构的阵型上？（例如PE冰心灯的阵解其实可以直接套用在PE礼物盒14炮）这样我们就不需要重新找阵解了，省时省力。
当然这只是一个想法而已，不知道能不能实现，毕竟要把植吧的理论转化为抽象代数的语言是一件很难的事。。。