Suppose for i< j< p. Then . Show that that is impossible.
[tex](b) Show that is abelian of order .
(c) Show that the fixed field of is .
For (a), these are the nth roots of unity? For (b), consider two automorphisms of and show that they commute? For (c), isn't this by definition?[/QUOTE]