The order ideal in Λ, the ring of integral laurent polynomials, associated with an Alexander matrix for a knot K. Any generator of a principal Alexander ideal is called an Alexander polynomial. Because the Alexander invariant of a tame knot in S^3 has a square presentation matrix, its Alexander ideal is principal and it has an Alexander polynomial Δ(t).

Alexander invariant | Alexander matrix | Alexander polynomial