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