Let $L\diagup K$ be a Galois extension of fields satisfying $\left[L:K\right] < \infty$. Let $B$ be a finite-dimensional (as a $K$-vector space) $K$-algebra. Then, the Galois group $G$ of $L\diagup K$ acts on the $L$-algebra $L\otimes\_K B$ (although not by $L$-linear homomorphisms), thus also on its unit group $\left(L\otimes\_K B\right)^{\times}$. Is it true that $H^1\left(G,\left(L\otimes\_K B\right)^{\times}\right)$ is the one-element set?


For $B=K$, this would be Hilbert 90. More generally, for $B$ being a matrix algebra over $K$, this would be an extension of Hilbert 90 Milne claims to hold in his CFT. My main reason for generalizing to arbitrary $B$ is to prove the following fact, known as **Noether-Deuring theorem**:


Let $A$ be a $K$-algebra, and let $U$ and $V$ be two finite-dimensional representations of $A$ over $K$. Then, $U$ and $V$ are isomorphic representations if and only if the representations $L\otimes\_K U$ and $L\otimes\_K V$ are isomorphic representations of the algebra $L\otimes\_K A$. Note that this holds not only for Galois extensions $L\diagup K$ but for arbitrary field extensions $L\diagup K$, but the (Galois) case of finite fields is the hardest. This generalizes the fact that two matrices over some field are similar if and only if they are similar over a field extension, which, in turn, is a particular case of ["Conjugacy rank" of two matrices over field extension](https://mathoverflow.net/questions/9162/conjugacy-rank-of-two-matrices-over-field-extension) .



Hilbert 90 for algebras
It's actually easier to go the other way around. Finite dimensional modules over
an algebra $A$ fulfils the Krull-Remak-Schmidt theorem of being isomorphic to a
direct sum of indecomposable modules with the indecomposable factors unique up
to isomorphism. If now $L\bigotimes\_KU$ and $L\bigotimes\_KV$ are isomorphic as
$L\bigotimes\_KA$-modules they are also isomorphic as $A$-modules but as
$A$-modules they are isomorpic to $U^n$ resp. $V^n$ where $n=[L:K]$ and by the
KRS-theorem this implies that $U$ and $V$ are isomorphic. The generalised Thm 90
now follows as the cohomology set classifies $B$-modules whose scalar extension
to $L$ are free of rank $1$.


