An integral matrix satisfying makes a module over the Eisenstein integers by letting the primitive cube root act as . This module is finitely generated and torsion-free, hence free. Since the Eisenstein integers have integer rank two, such matrices exist only for ; for that dimension every one is integrally conjugate to
Codex Wiki