行列のランク:定義、決定法および性質