Halmos, Finite-Dimensional Vector Spaces, Sec. 7, Ex. 8 As a linear algebra refresher, I am working through the above cited text (2nd ed., 1958).  The exercise asks to determine the number of subsets of $\{0,1\}^3$ the are bases of $\mathbf{C}^3$ as a vector space over $\mathbf{C}$.  My approach was basically a somewhat smart enumeration:  List all the triplets (i.e., sets of three vectors) where a 1 appears as a component in each position in at least one vector, then eliminate those triplets which are linearly dependent.
Two questions:


*

*Is there a more elegant method?  Is there an efficient way to do this for any dimension?

*I counted 29.  Is this correct?


Here's an attempt to invoke theory to solve this problem.
We have the following theorem.
Theorem. Let $V$ be an $n$-dimensional vector space over a field $\Bbb R$ with $p$ elements. Then the number of linearly independent subsets of $V$ consisting of $m$ elements is
$$
\frac{1}{m!}\prod_{k=0}^{m-1}\left(p^n-p^k\right)\Box
$$
Since $V=\{0,1\}^3$ is a $\Bbb Z/2$-vector space the theorem implies that the number of $\Bbb Z/2$-bases of $\{0,1\}^3$ is
$$
\frac{1}{3!}\prod_{k=0}^2\left(2^3-2^k\right)=\frac{1}{3!}\left(2^3-2^0\right)\left(2^3-2^1\right)\left(2^3-2^2\right)=28
$$
Since any subset of $\{0,1\}^3$ that is a $\Bbb Z/2$-basis of $\{0,1\}^3$ is also a $\Bbb C$-basis of $\Bbb C^3$ we have $28$ as a lower-bound for our desired number.
Now, the above theorem implies that the number of $3\times 3$ matrices whose columns are subsets of $\{0,1\}^3$ with odd determinant is $3!\cdot 28$. 
So, to finish our problem we need only count the number of $3\times 3$ matrices whose columns are subsets of $\{0,1\}^3$ with even determinant and divide by $3!$.
