벡터군의 최대 선형 독립 집합과 랭크