Skip to main content
4 of 4
include vipul's example since the emphasis is on E, not G
Jack Schmidt
  • 10.7k
  • 1
  • 44
  • 60

E = SmallGroup(32,28) is the first example. It has two central subgroups A1 and A2 isomorphic to A ≅ 2 with quotient isomorphic to SmallGroup(16,11), but A1 and A2 are not conjugate in Aut(E).

Examples such as this are reasonably common in p-groups.

Edit: You can even have such an example with G abelian: G = 4×2, A = 4×2, E = SmallGroup(64,3) = 8⋉8, Z(E) = 4×4. E has two central copies of A=4×2 that are not conjugate in Aut(G), but the quotients are both abelian and isomorphic to G.

Edit: Vipul notes you can even have E abelian of order p7.

Jack Schmidt
  • 10.7k
  • 1
  • 44
  • 60