(Where \(p\) is a prime) AL20(\(\mathbb Z_p\)): Every vector space \(V\) over \(\mathbb Z_p\) has the property that every linearly independent subset can be extended to a basis.  (\(\mathbb Z_p\) is the \(p\) element field.) Rubin, H./Rubin, J. [1985], p. 119, Statement AL20

(Where \(p\) is a prime) \(AL21\)\((p)\): Every vector space over \(\mathbb Z_p\) has the property that for every subspace \(S\) of \(V\), there is a subspace \(S'\) of \(V\) such that \(S \cap S' = \{ 0 \}\) and \(S \cup S'\) generates \(V\) in other words such that \(V = S \oplus S'\).   Rubin, H./Rubin, J [1985], p.119, AL21.