分類定理
有限次元ベクトル空間(次元によって)
階数・退化次数の定理(階数と退化次数によって)
単項イデアル整域上の有限生成加群の構造定理
ジョルダン標準形
シルヴェスターの慣性法則