Abstract: | We show that the both assertions “in every vector space B over a finite element field every subspace V ? B has a complementary subspace S” and “for every family ?? of disjoint odd sized sets there exists a subfamily ?={Fj:j ?ω} with a choice function” together imply the axiom of choice AC. We also show that AC is equivalent to the statement “in every vector space over ? every generating set includes a basis”. |