Noether-Deuring theorem (not in the strongest form, but in the one I usually need):
Let $L\diagup K$ be a field extension. Let $A$ be a $K$-algebra which is finite-dimensional as a vector space over $K$. Let $U$ and $V$ be two left $A$-modules which are finite-dimensional as vector spaces over $K$. If $U\otimes_K L \cong V\otimes_K L$ as $A\otimes_K L$-modules, then $U\cong V$ as $A$-modules.
This was nicely proven by Torsten Ekedahl in Hilbert 90 for algebras . The same proof shows something more general: If $U\otimes_K L$ is isomorphic to a direct summand of $V\otimes_K L$ as $A\otimes_K L$-modules, then $U$ is isomorphic to a direct summand of $V$ as $A$-modules. (Actually I have seen this also being called the Noether-Deuring theorem. Yes, this is stronger than the original Noether-Deuring theorem.)
But what about this: If there exists an $A\otimes_K L$-linear map $U\otimes_K L\to V\otimes_K L$ of some $L$-rank $r$, must it follow that there exists an $A$-linear map $U\to V$ of $K$-rank at least $r$ ? Again, the only hard case is when $K$ and $L$ are both finite fields, but Krull-Remak-Schmidt doesn't come to our help now...
Of course, the interesting cases are when $r=\dim_K U$ and when $r=\dim_K V$, so we are talking about the existence of injective resp. surjective maps.
Remarks:
(1) The condition that $A$ be finite-dimensional as a vector space over $K$ can be removed: we can always replace $A$ by the image of $A$ in $\mathrm{End}_K U \times \mathrm{End}_K V$, and that image is finite-dimensional if $U$ and $V$ are so.
(2) When $A$ is the polynomial $K$-algebra $K\left[X\right]$, then this question generalizes the conjugacy rank question.
$\operatorname{End}_A(U)$
is a division ring and all nonzero maps have the same rank,$\dim_K U$
, while$\operatorname{End}_{A\otimes_K L}(U\otimes_K L)$
contains maps with smaller rank. $\endgroup$