Let G be a finite group in which (ab)^p=a^pb^p for all a,b in G, where p is a prime dividing order of G. Then prove that G has a non-trivial center. (This is part c of problem 15 in section 2.12, of Herstein’s topics in algebra.)
This topic was modified 6 days, 11 hours ago by SaSA :::::.
I hadn’t read about direct products up to this problem so it didn’t come to me to use them, and I completely missed that solution of part two could be used. Thanks a lot for your solution, using it I was able to find an alternative which avoids direct products, essentially the idea is to show that the center of P is in the center of G, which is also what your solution does, thanks again!