algebraic invariant