ベクトル群の最大線形独立集合とランク