Fall 2016 - Problem 10

module theory

Let FF be a field and AA a simple subalgebra of a finite dimensional FF-algebra BB. Prove that dimF(A)\dim_F\p{A} divides dimF(B)\dim_F\p{B}.

Solution.

This problem is false as written. For example, let F=CF = \C, A=M2(C)A = M_2\p{\C}, and B=M2(C)×M3(C)B = M_2\p{\C} \times M_3\p{\C}. Then AA is a simple FF-subalgebra of BB, but 44 does not divide 1313.