a. We'll do this by induction. Clearly works here. Let the inductive hypothesis be that and any lower powers. Now notice that since is a homomorphism then:
thus completing the inductive step.
b. We'd do an induction on and proving:
To do this, first consider the base case :
Notice we want to prove that the left is 's inverse, which we can verify:
since is a Homomorphism (the first step, the other order works the same way) and the last identity step holds true since for any (using Cancellation Theorem):
Continuing on, you'd make the inductive step just like we did for (a).
☐
2
Question
If is an Isomorphism, prove that for all . Deduce that any two isomorphic groups have the same number of elements of order for each . Is the result true if is only assumed to be a homomorphism?
Showing that have the same number of elements of order for each , let . Say only has elements of order . Then is a bijection that shows that there are at least elements of the same order (use the first part). But notice that if there were any more elements, then we can consider those extra elements and apply to them and get an element we missed (ie: which is a contradiction), so then we must have exactly elements for that order .
Notice that this doesn't work for homomorphisms (where that existence may not be guarunteed). For example, the map
where is a homomorphism, but not an isomorphism. Furthermore, has no elements of order say but has one (namely ).
☐
5
Question
Prove that the additive groups and are not isomorphic.
Proof
Clearly we need to use the Irrationality of sqrt(2), so we want to try to make an isomorphism such that to break it. Namely, assume for contradiction that such an isomorphism exists.
Then:
and exists. Consider where is an integer. Then:
So then maps each integer to itself. Similarly for rational numbers :
So:
So if we consider when then clearly if mapped to itself then that would contradict . But if it didn't map to itself then it would have to map to a rational number that's already been mapped (which contradicts being a bijection).
Thus we have a contradiction, so cannot exist, so and are not isomorphic.
Let be arbitrary. Then notice that by being a homomorphism. Then by being in the image then where and . Notice that by being a homomorphism:
So then we've determined that as desired. Similarly, since then where . Then I claim that . Verifying:
And the other direction is checked similarly. Notice then that as desired.
Therefore, we've shown that .
For the second part of the proof, suppose is injective. We know that is already a homomorphism, so if we can show that the restricted operator such that is surjective, then we are done (since is a restricted operator of an injective function, then it itself is already injective). But notice that if we consider any then where , showing surjectivity! Thus then .
☐
14
Question
Let be groups and let be a Homomorphism (or Group Morphism). Define the kernel of to be . Prove that the kernel of is a Subgroup of . Prove that is injective iff the kernel of is the identity subgroup of (the group with only the identity element).
Proof
To show it's a subgroup, we'll show closure of the restricted operator on for the binary operator, as well as inverses.
For the former, let . Then and . By being homomorphic then:
Thus then since then , showing closure under the binary operation.
For the latter, let , so like before then where . Then notice that exists and:
thus then .
: Suppose is injective. To show that , assume that it wasn't, that . Then notice that both , so then . But notice then that since is injective that that implies that , which is a contradiction! Thus then .
: Suppose . Let be arbitrary, and suppose . Clearly so is injective.
: Suppose (defined above) is a homomorphism. Let be arbitrary. Then:
: Suppose is abelian, and let . Now notice:
☐
18
Question
Let be any Group. Prove that the map from to itself defined by is a homomorphism iff is an Abelian Group.
Proof
: Suppose (defined above) is a homomorphism, and let . Then:
: Suppose is an Abelian Group. Then:
☐
20
Question
Let be a group and let be the set of all Isomorphisms from . Prove that is a Group under function composition (called the automorphism group of and the elements of are called automorphisms of ).
Proof
First, let's establish that there's closure under these operations, which is easy to verify. If then since it still maps , it's a composition of bijections (so is a bijection), and is a homomorphism if we let and show that:
For the individual properties:
By function composition applying from right to left, then .
The identity element here is the identity map . Namely, let . Then:
For each , by being an isomorphism and thus a bijection, then is the inverse element. Namely: