群Ｇで，｜Ｇ｜＝ｐ^2　（ｐは素数）　のときＧは可換群になることの
証明の途中がよく分かりません。
Ｚ（Ｇ）≠｛１｝　（Ｚ（Ｇ）はＺの中心）
Ｇ＝Ｚ（Ｇ）ならばＧは可換群。
１＜≠Ｚ（Ｇ）＜≠Ｇならば　｜Ｇ／Ｚ（Ｇ）｜＝ｐとなる　とあるのですが，
これはどうしてでしょうか？
Ｚ（Ｇ）はＧの部分群だから｜Ｚ（Ｇ）｜は｜Ｇ｜＝ｐ^2の約数だから
この場合、｜Ｚ（Ｇ）｜＝ｐになることは分かるのですが，ここから
どのように導けばいいのでしょうか？