Algebra Paolo Aluffi 《Algebra》 · 第 99 页 · Chapter II，Section 8.2「Presentations」 A group is finitely presented if it admits a presentation $(A\mid R)$ in which both $A$ and $R$ are finite. 查看原书页面
