一个 Powell 生成元是冗余的

1980 年，J. Powell 提出五个特定元素足以生成任意 $S^3$ Heegaard 分裂的 Goeritz 群。对于亏格 $g \geq 4$，该猜想仍未解决。本文通过一个简短论证表明，他所提出的生成元之一是冗余的，实际上可由其余四个中的三个导出。