a-nonabelian-p-group-image

A nonabelian p-group

Consider a prime number p and a finite p-group G, i.e. a group of order pn with n1.

If n=1 the group G is cyclic hence abelian.

For n=2, G is also abelian. This is a consequence of the fact that the center Z(G) of a p-group is non-trivial. Indeed if |Z(G)|=p2 then G=Z(G) is abelian. We can’t have |Z(G)|=p. If that would be the case, the order of H=G/Z(G) would be equal to p and H would be cyclic, generated by an element h. For any two elements g1,g2G, we would be able to write g1=hn1z1 and g2=hn1z1 with z1,z2Z(G). Hence g1g2=hn1z1hn2z2=hn1+n2z1z2=hn2z2hn1z1=g2g1, proving that g1,g2 commutes in contradiction with |Z(G)|<|G|. However, all p-groups are not abelian. For example the unitriangular matrix group U(3,Zp)={(1ab01c001) | a,b,cZp} is a p-group of order p3. Its center Z(U(3,Zp)) is Z(U(3,Zp))={(10b010001) | bZp}, which is of order p. Therefore U(3,Zp) is not abelian.

Leave a Reply