3
$\begingroup$

Letting $F\subseteq K$ be fields, and $V$ a vector space over $K$. Certainly, $V$ is also a vector space over $F$. And if $\{e_1,...,e_n\}$ is a basis for $K$ over $F$ and $\mathcal{B}=\{v_1,...,v_m\}$ a basis for $V$ over $K$, we can show that the set of $e_iv_j$ is a basis for $V$ over $F$.

Question: If I have a transformation $T:V\rightarrow V$ over $K$ whose matrix with respect to $\mathcal B$ has entries $a_{ij}$, how can I find a nice matrix representation over $F$ with respect to the basis defined above? Certainly, there should be a nice way to order this induced basis to invoke a prettier block matrix type solution, but I'm having some trouble working out the details...

1 Answers 1

1

Each entry of $T$ is a linear transformation $K \to K$ which is in particular $F$-linear, so can be expressed as a linear transformation over $F$ with respect to the basis $\{ e_1, ... e_n \}$. These are the blocks you want.

  • 0
    No, applying this to $e_1$ gives $b_{11} e_1 e_1 + ... + b_{n1} e_n e_1$. Then you need to expand the products $e_i e_j$ in terms of the $e_i$.2012-10-09