Homepage Solution manuals Tom Leinster Galois Theory Exercise 8.1.8 (Galois and Fix not mutually inverse)

Exercise 8.1.8 (Galois and Fix not mutually inverse)

Let p be a prime number, let K = 𝔽p(u), and let M be the splitting field of tp u over K, as in Examples 7.2.4 and 7.2.19(ii). Prove that Gal(M : ) and Fix are not mutually inverse.

Answers

Solution: We have that M = SFK(tp u) and K = 𝔽p(u), hence as in Example 7.2.19 (ii) we have that [M : K] = degK(α) = p, where p is prime. This means that |𝔉| = p, and hence by the tower law we know that there are no trivial intermediate fields, hence 𝔉 = {M,K}. We have that |Gal(M : K)| = GalK(tp u) and by by Corollary 6.3.14 we that GalK(tp u)|k! GalK(tp u)|1!, hence |Gal(M : K)| = 1. This means that 𝔊 = {Gal(M : K)} = {id}. Therefore we can clearly see that it is impossible for there to be mutually inverse function between 𝔉 and 𝔊.

User profile picture
HN
2022-11-30 03:07
Comments
  • O.K., but there is a misprint: $|\mathscr{F}| = |\{M,K\}| = 2$ and not $p$.
    richardganaye2024-06-03