Problem 2. A group has the propriety, if, for any
automorphism f for G,there are two automorphisms
g and h in G, so that , whatever would be. Prove that:
(a) Every group which the property is comutative.
(b) Every commutative finite group of odd order doesn’t have the property.
(c) No finite group of order , doesn’t have the property.
(The order of a finite group is the number of elements of that group).
Solution
### Part (a)
1. **Assume has property **: Let be an automorphism of . By property , there exist automorphisms and such that for all , .
2. **Consider the identity element **: Since is an automorphism, . Therefore, . Since and are automorphisms, and .
3. **Apply to the product of two elements**: Let . Then,
Since and are automorphisms, we have
Therefore,
4. **Use the fact that is an automorphism**: Since is an automorphism, it preserves the group operation, so
Substituting the expressions for and , we get
5. **Compare the two expressions for **: We have
By the associativity of the group operation, this implies
6. Simplify the equation: Since and are elements of , we can cancel and from both sides, yielding
This shows that and commute for all .
7. **Conclude that is commutative**: Since and are arbitrary automorphisms and is an arbitrary element of , it follows that is commutative.
### Part (b)
1. **Assume is a commutative finite group of odd order**: Let for some integer .
2. **Consider the automorphism defined by **: Since is commutative, is an automorphism.
3. **Assume has property **: Then there exist automorphisms and such that for all ,
Therefore,
4. **Consider the element **: For the identity element , we have . Therefore,
Since and are automorphisms, and .
5. **Consider the element where **: Since is commutative and of odd order, every element has an inverse . Therefore,
6. **Use the fact that is commutative**: Since is commutative, we have
7. **Consider the order of **: Since is of odd order, the order of any element must be odd. Therefore, .
8. **Conclude that does not have property **: Since and , it follows that does not have property .
### Part (c)
1. **Assume is a finite group of order **: Let for some integer .
2. **Consider the automorphism defined by **: Since is a finite group, is an automorphism.
3. **Assume has property **: Then there exist automorphisms and such that for all ,
Therefore,
4. **Consider the element **: For the identity element , we have . Therefore,
Since and are automorphisms, and .
5. **Consider the element where **: Since is of order , there exists an element such that . Therefore,
6. **Use the fact that is of order **: Since is of order , the order of any element must be even. Therefore, .
7. **Conclude that does not have property **: Since and , it follows that does not have property .