algebraic dimension defined finite field projective space consists positive algebraic dimensional vector subspaces alternate way view construction define ''points'' equivalence classes non zero vectors equivalence relation whereby two vectors equivalent one scalar multiple subspaces built points using definition linear independence sets points subspaces vector subspace algebraic dimension projective subspace
Formal science Mathematics Pure mathematics Geometry Galois geometry