8
$\begingroup$

Does there exist a vector space with 30 elements? How to determine whether there exist any vector space of particular cardinality?

  • 0
    very useful thanks2012-05-08

1 Answers 1

10

Any finite field has order $p^k$ for some prime $p$ and $k\geq1$. Then a vector space of dimension $n$ over such a field has $(p^k)^n=p^{kn}$ elements, so in particular, the number of elements of a vector space over a finite field must be a prime power. So there is no vector space with $30$ elements.

So for a general integer $x$, if $x\ne p^k$ for some $k\geq1$ and prime $p$ then there is no vector space of order $x$, and if $x=p^k$ for such $p$ and $k$, there is one vector space up to isomorphism for every (ordered) factorization of $k$ into two integers; if $k=k_1k_2$ then the $k_2$ dimensional vector space over the field of $p^{k_1}$ elements has order $x$.

  • 2
    Well, a subspace is also a vector space, so there are the same conditions on possible cardinalities (I assume you meant cardinality, not dimension here). The $k_2$ dimensional vector space over the field of $p^{k_1}$ elements has subspaces of cardinality $p^{k_1t}$ for $0\leq t\leq k_2$.2012-05-08