Question #23724

Let k be the algebraic closure of Fp and K = k(t), where t is an indeterminate. Let G be an elementary p-group of order p^2 generated by a, b. Show that
a → A =
1 1
0 1

b→ B =
1 t
0 1
defines a representation of G over K which is not equivalent to any representation of G over k.
1

Expert's answer

2013-02-05T11:08:30-0500

Since Ap=Bp=IA^p = B^p = I and AB=BAAB = BA, given two maps define a representation D:GGL2(K)D: G \to \mathrm{GL}_2(K). We shall prove a slightly stronger statement: For any extension field LKL \supseteq K, DD cannot be equivalent over LL to any representation of GG over kk. Indeed, assume otherwise. Then there exists U=(abcd)GL2(L)U = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \mathrm{GL}_2(L) which conjugates both AA and BB into GL2(k)GL_2(k). By explicit matrix multiplication,


U1BU=e1(td2tc2),U1AU=e1(d2c2)U^{-1}BU = e^{-1}\left( \begin{array}{cc}* & td^{2} \\ -tc^{2} & * \end{array} \right), U^{-1}AU = e^{-1}\left( \begin{array}{cc}* & d^{2} \\ -c^{2} & * \end{array} \right)


where e=detU=adbcLe = \det U = ad - bc \in L^*. Therefore, td2e1td^{2}e^{-1}, d2e1d^{2}e^{-1}, tc2e1tc^{2}e^{-1}, c2e1c^{2}e^{-1} all belong to kk. Now cc, dd cannot both be zero, since UGL2(L)U \in \mathrm{GL}_2(L). If c0c \neq 0, we have t=tc2e1/c2e1kt = tc^{2}e^{-1}/c^{2}e^{-1} \in k. If d0d \neq 0, we have similarly t=td2e1/d2e1kt = td^{2}e^{-1}/d^{2}e^{-1} \in k. This gives the desired contradiction.

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS