Homepage › Solution manuals › David A. Cox › Galois Theory › Exercise 6.4.1
Exercise 6.4.1
Given , define by .
- (a)
- Prove that is one-to-one and onto if and only if .
- (b)
- Suppose that . Prove that the inverse function of is .
- (c)
-
Show that
is a group under composition.
Answers
Proof.
Let , and .
- (a)
-
If
,
is the constant function
, thus
is not a bijection.
Suppose that . Then , for all ,
So every has a unique antecedent, therefore is bijective.
- (b)
- If , by part (a), is bijective, and the unique antecedent of any is given by . Consequently
- (c)
-
We show that
is a subgroup of
.
By part (a), if , then , where , thus is bijective : , and , so .
If , then .
For all ,
.
Therefore and , so .
If , , then .
is a group under composition.