Maths Olympiad Prep

Library / /472 of 520

Algebra Difficulty 7.6 National olympiad, round 2 Find the answer

Problem 2. A group (G,)\left( G,\cdot \right) has the propriety(P)\left( P \right), if, for any
automorphism f for G,there are two automorphisms
g and h in G, so that f(x)=g(x)h(x)f\left( x \right)=g\left( x \right)\cdot h\left( x \right), whatever xGx\in Gwould be. Prove that:
(a) Every group which the property (P)\left( P \right) is comutative.
(b) Every commutative finite group of odd order doesn’t have the (P)\left( P \right) property.
(c) No finite group of order 4n+2,nN4n+2,n\in \mathbb{N}, doesn’t have the (P)\left( P \right)property.
(The order of a finite group is the number of elements of that group).

Solution

### Part (a)
1. **Assume G G has property P P **: Let f f be an automorphism of G G . By property P P , there exist automorphisms g g and h h such that for all xG x \in G , f(x)=g(x)h(x) f(x) = g(x) \cdot h(x) .

2. **Consider the identity element eG e \in G **: Since f f is an automorphism, f(e)=e f(e) = e . Therefore, e=g(e)h(e) e = g(e) \cdot h(e) . Since g g and h h are automorphisms, g(e)=e g(e) = e and h(e)=e h(e) = e .

3. **Apply f f to the product of two elements**: Let x,yG x, y \in G . Then,
f(xy)=g(xy)h(xy). f(x \cdot y) = g(x \cdot y) \cdot h(x \cdot y).
Since g g and h h are automorphisms, we have
g(xy)=g(x)g(y)andh(xy)=h(x)h(y). g(x \cdot y) = g(x) \cdot g(y) \quad \text{and} \quad h(x \cdot y) = h(x) \cdot h(y).
Therefore,
f(xy)=(g(x)g(y))(h(x)h(y)). f(x \cdot y) = (g(x) \cdot g(y)) \cdot (h(x) \cdot h(y)).

4. **Use the fact that f f is an automorphism**: Since f f is an automorphism, it preserves the group operation, so
f(xy)=f(x)f(y). f(x \cdot y) = f(x) \cdot f(y).
Substituting the expressions for f(x) f(x) and f(y) f(y) , we get
f(xy)=(g(x)h(x))(g(y)h(y)). f(x \cdot y) = (g(x) \cdot h(x)) \cdot (g(y) \cdot h(y)).

5. **Compare the two expressions for f(xy) f(x \cdot y) **: We have
(g(x)g(y))(h(x)h(y))=(g(x)h(x))(g(y)h(y)). (g(x) \cdot g(y)) \cdot (h(x) \cdot h(y)) = (g(x) \cdot h(x)) \cdot (g(y) \cdot h(y)).
By the associativity of the group operation, this implies
g(x)g(y)h(x)h(y)=g(x)h(x)g(y)h(y). g(x) \cdot g(y) \cdot h(x) \cdot h(y) = g(x) \cdot h(x) \cdot g(y) \cdot h(y).

6. Simplify the equation: Since g(x) g(x) and h(x) h(x) are elements of G G , we can cancel g(x) g(x) and h(x) h(x) from both sides, yielding
g(y)h(y)=h(y)g(y). g(y) \cdot h(y) = h(y) \cdot g(y).
This shows that g(y) g(y) and h(y) h(y) commute for all yG y \in G .

7. **Conclude that G G is commutative**: Since g g and h h are arbitrary automorphisms and y y is an arbitrary element of G G , it follows that G G is commutative.

### Part (b)
1. **Assume G G is a commutative finite group of odd order**: Let G=2k+1 |G| = 2k + 1 for some integer k k .

2. **Consider the automorphism f f defined by f(x)=x1 f(x) = x^{-1} **: Since G G is commutative, f f is an automorphism.

3. **Assume G G has property P P **: Then there exist automorphisms g g and h h such that for all xG x \in G ,
f(x)=g(x)h(x). f(x) = g(x) \cdot h(x).
Therefore,
x1=g(x)h(x). x^{-1} = g(x) \cdot h(x).

4. **Consider the element x=e x = e **: For the identity element eG e \in G , we have e1=e e^{-1} = e . Therefore,
e=g(e)h(e). e = g(e) \cdot h(e).
Since g g and h h are automorphisms, g(e)=e g(e) = e and h(e)=e h(e) = e .

5. **Consider the element x=a x = a where ae a \neq e **: Since G G is commutative and of odd order, every element aG a \in G has an inverse a1a a^{-1} \neq a . Therefore,
a1=g(a)h(a). a^{-1} = g(a) \cdot h(a).

6. **Use the fact that G G is commutative**: Since G G is commutative, we have
a1=g(a)h(a)=h(a)g(a). a^{-1} = g(a) \cdot h(a) = h(a) \cdot g(a).

7. **Consider the order of a a **: Since G G is of odd order, the order of any element aG a \in G must be odd. Therefore, a1a a^{-1} \neq a .

8. **Conclude that G G does not have property P P **: Since a1a a^{-1} \neq a and g(a)h(a)=a1 g(a) \cdot h(a) = a^{-1} , it follows that G G does not have property P P .

### Part (c)
1. **Assume G G is a finite group of order 4n+2 4n + 2 **: Let G=4n+2 |G| = 4n + 2 for some integer n n .

2. **Consider the automorphism f f defined by f(x)=x1 f(x) = x^{-1} **: Since G G is a finite group, f f is an automorphism.

3. **Assume G G has property P P **: Then there exist automorphisms g g and h h such that for all xG x \in G ,
f(x)=g(x)h(x). f(x) = g(x) \cdot h(x).
Therefore,
x1=g(x)h(x). x^{-1} = g(x) \cdot h(x).

4. **Consider the element x=e x = e **: For the identity element eG e \in G , we have e1=e e^{-1} = e . Therefore,
e=g(e)h(e). e = g(e) \cdot h(e).
Since g g and h h are automorphisms, g(e)=e g(e) = e and h(e)=e h(e) = e .

5. **Consider the element x=a x = a where ae a \neq e **: Since G G is of order 4n+2 4n + 2 , there exists an element aG a \in G such that a1a a^{-1} \neq a . Therefore,
a1=g(a)h(a). a^{-1} = g(a) \cdot h(a).

6. **Use the fact that G G is of order 4n+2 4n + 2 **: Since G G is of order 4n+2 4n + 2 , the order of any element aG a \in G must be even. Therefore, a1a a^{-1} \neq a .

7. **Conclude that G G does not have property P P **: Since a1a a^{-1} \neq a and g(a)h(a)=a1 g(a) \cdot h(a) = a^{-1} , it follows that G G does not have property P P .

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.