The isomorphism problem for graded algebras and its application to \(\mathrm{mod-}p\) cohomology rings of small \(p\)-groups. (Q5964513)

Let \(\mathbb F\) be a finite field and let \(A\) be a finitely presented graded unital \(\mathbb F\)-algebra with generators in positive degrees. Then, \(A\) is called a finitary \(\mathbb F\)-algebra. In this paper the authors describe an effective algorithm to test if two finitary \(\mathbb F\)-algebras are graded isomorphic. As application the authors answer the following question: Given two non-isomorphic \(p\)-groups \(G\) and \(H\), under which circumstances are \(H^*(G;\mathbb F_p)\) and \(H^*(H;\mathbb F_p)\) isomorphic as graded \(\mathbb F_p\)-algebras?