Explore BrainMass

Explore BrainMass

    Galois Extension

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    ** Please see the attachment for a full problem description **

    Suppose that K/F is a Galois extension, the Norm of alpha is an element of K is N_K/F := (please see the attached file) and trace is Tr_K/F(alpha) = (please see the attached file). Suppose also (please see the attached file) that Gal(K/F) is cyclic and K, F are finite fields. Let F = F_p whose order is prime, K = F_q, q = p^k.
    a_ Show that Tr_K/F(alpha) = alpha + alpha^p + alpha^p^2 + ... + alpha^p^k-1 and using the other results you may know about trace show that Tr_K/F : K - F is an F -linear map.

    b) For alpha is an element of K, show that Tr_K/F(alpha) = 0 if, and only if alpha = (please see the attached file), for some (please see the attached file) is an element of K.

    © BrainMass Inc. brainmass.com April 3, 2020, 11:01 pm ad1c9bdddf


    Solution Summary

    This solution two algebra questions regarding Galois extension.