Théorème des bases téléscopiques

[ Théorème ]
Si \(M \subset L \subset K\) (tous trois des corps), alors si \(e_i\) est une base de \(K\) en tant que \(L\)-espace vectoriel et si \(f_j\) est une base de \(L\) en tant que \(M\)-espace vectoriel , alors \(e_i.f_j\) est une base de \(K\) en tant que \(M\)-espace vectoriel . Donc \([K:M]=[K:L].[L:M]\).
En savoir plus