このとき次元formula_3は "m" の "a" 上の生成ランク(generic rank)と呼ばれる。