Homepage › Solution manuals › Tom Leinster › Galois Theory › Exercise 2.3.5 (Homomorphic inverse)
Exercise 2.3.5 (Homomorphic inverse)
Let be a homomorphism of fields and let . Prove that . Why is defined?
Answers
Solution: Since is a field, and the fact that , we have that is a unit, , and . By Lemma 2.3.3, we have that is injective. Hence, , and . Therefore we have that is both a left and right inverse of and hence it is the only inverse of . Therefore, by injectivity .