1
$\begingroup$

I have a question about fixed points of Galois group actions. I am hoping that this is easy for the experts.

Let $k$ be a field of characteristic $0$. Let $K$ be a finite Galois extension of $k$ with Galois group $G$.

Supose that $A$ is any finite dimensional $G$-representation over $k$. Then $G$ acts diagonally on $A\otimes K$. The question is to determine $\dim_{k}(A\otimes K)^{G}$. I am hoping the answer is $\dim_{k}(A)$.

Any ideas on how to attack this problem are more than welcomed.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
2
$\begingroup$

This follows from the fact that $K$ is isomorphic as $G$ module to the free module $k[G]$. (use the existence of a basis of $K$ over $k$ consisting of Galois conjugates.

Improve this answer
$\endgroup$
1
  • $\begingroup$ That certainly does it. Thanks a lot $\endgroup$
    – José Manuel Gómez
    Commented Dec 2, 2011 at 22:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .