One Powell generator is redundant
英文摘要：
In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$. This conjecture remains unresolved for genus $g \geq 4$. Here a short argument shows that one of his proposed generators is redundant, in fact a consequence of three of the other four.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
