Mathematical Physics: Classical Mechanics
《Mathematical Physics: Classical Mechanics》 · 第 51、55、70 页 · Definition 6.6；Definition 6.2 的初等理想约定；Chapter 7 的无限循环覆盖判据（合用确定完整理想族）
The \(r\)th Alexander ideal of an oriented link \(L\) is the \(r\)th elementary ideal of the \(\mathbb Z[t^{-1},t]\) module \(H_1(X_\infty;\mathbb Z)\). […] Suppose that \(M\) is a module over a commutative ring \(R\), having an \(m\times n\) presentation matrix \(A\). The \(r\)th elementary ideal \(\mathcal E_r\) of \(M\) is the ideal of \(R\) generated by all the \((m-r+1)\times(m-r+1)\) minors of \(A\). […] By convention, \(\mathcal E_r=R\) when \(r>m\) and \(\mathcal E_r=0\) if \(r\le0\). […] The covering space \(X_\infty\) of \(X\) is called the infinite cyclic covering of the link exterior. A loop in \(X\) lifts to a loop in \(X_\infty\) if and only if it has zero linking number with \(L\).