# Galois Extension

** 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 ad1c9bdddfhttps://brainmass.com/math/basic-algebra/galois-extension-476474

#### Solution Summary

This solution two algebra questions regarding Galois extension.