On a Question of Stanojkovski: Abelian Subgroups of Breadth Two Distinguish Vaughan-Lee's Groups 8.5.14 and 8.5.15

At the problem session of the Oberwolfach workshop Computational Group Theory (June 2025), M. Stanojkovski asked whether an invariant simpler than the order of the automorphism group can show that two groups G1 and G2 of order p^8, class 2 and exponent p (p an odd prime) are not isomorphic. They are the groups 8.5.14 and 8.5.15 of Vaughan-Lee's list, whose presentations and automorphism group orders are due to Vaughan-Lee, and they are the one pair of 5-generator groups of order p^8 that the geometric invariants of O'Brien and Stanojkovski did not separate in their computations. For a group G of class 2 let 𝒜(G) be the set of abelian subgroups A ≥ G′ with |A : G′| = p² all of whose elements outside G′ have centraliser of index p². We prove that |𝒜(G1)| = 1 and |𝒜(G2)| = 3 for every odd prime p and every quadratic non-residue ω in the presentation of G1; hence G1 ≇ G2. The proof is uniform in p: the elements of breadth two form, in the projective space of G/G′, a plane and a cubic scroll; the members of 𝒜(G) are the lines of this locus on which the commutator map vanishes; and the hypothesis on ω enters only through t² ≠ ω. We also determine the commuting graph on the elements of breadth two, whose numbers of edges differ by p, and we show that G1 depends only on the square class of ω and is isomorphic to G2 when ω is a square. The pair had already been separated without automorphism groups in the classification literature: Copetti's thesis of 2004, following Brahana's paper of 1951, attaches to the space of commutator forms a pencil of conics, which contains double lines only for 8.5.15. We show that |𝒜(G)| − 1 is the number of these double lines, so that |𝒜(G)| is a group-theoretic form of their invariant. Breadth and centralisers are classical notions; whether either invariant is simpler in the intended sense is for the proposers to judge. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: OWR-14299292-013 (M. Stanojkovski, problem session of Oberwolfach Report 27/2025, Computational Group Theory, p. 1443).