Talk:Dual basis in a field extension