Hi, I need help with a linear algebra/algebra question:
Let V = (F_p)^2 = (Z/pZ)^2 [= GF(p^2)?] and K = F_p = Z/pZ where F_p is the field with p elements for some prime p
How many distinct bases for V exist?
A similar question I need help with is:
Let v_1, v_2 \in (F_p)^3\{0} such that {v_1, v_2} is linearly independent
Show that there are p^2(p-1) elements v_3 such that {v_1, v_2, v_3} is a basis of (F_p)^3
Many thanks
i don't think that's quite right. in the first place, your initial choice for v has to be non-zero.
now, even with that proviso, span(v) is isomorphic to Zp, so it has p elements. that gives us (p^2 - 1)(p^2 - p) choices, according to you.
so in Z2 x Z2, we should have 6 possible choices of a basis:
picking (0,1) first, we could form: {(0,1), (1,0)} or {(0,1), (1,1)} as a basis (so far, so good).
picking (1,0) first, we could form: {(1,0), (0,1)} or {(1,0), (1,1)} as a basis....wait a minute. we already HAVE {(1,0), (0,1)} = {(0,1), (1,0)}
as a basis....i didn't see anything in the problem stating they should be ORDERED bases.
But that can be fixed trivially by dividing by 2. And I think choosing the initial v nonzero probably went without saying. (I suppose we could consider zero to be in the span of the empty set, and choose each subsequent basis element outside the span of the previous ones, generalizing to n>2, right?)
if we generalize to n > 2, we have to remember to keep dividing out the repetitions. we might have started with v1, then chosen v2 not in span(v1), and then v3 not in span(v1,v2),
but then we could still wind up with {v1,v3,v2} or{v2,v1,v3} or {v2,v3,v1} or {v3,v1,v2} or {v3,v2,v1} as well (it looks like we have to divide by n!).
however, for the latter problem, if we have already chosen v1 and v2, then span(v1,v2) has p^2 elements, so we have p^3 - p^2 = p^2(p-1) left to choose from.