不変量（ふへんりょう、invariant）とは、数学的対象を特徴付ける別種
の数学的対象のことである。一般に、不変量は数や多項式など、不変量同士
の同型性判定がもとの対象の同型性判定より簡単であるものをとる。
良い不変量とは、簡単に計算でき、かつなるべく強い同型性判別能力をもつ
ものである。