The isomorphism problem for graded algebras and its application to mod-p cohomology rings of small p-groups.

DOI10.1016/J.JALGEBRA.2015.10.019MaRDI QIDQ5964513zbMATH OpenOpenAlexFDO

Authors B. Eick, Simon King

Publication date 29 February 2016

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.04666

zbMATH Keywords

cohomology ringsfinite \(p\)-groupsgraded algebrasisomorphism problem

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to associative rings and algebras (16-04) Graded rings and modules (associative rings and algebras) (16W50) Software, source code, etc. for problems pertaining to group theory (20-04) Finite nilpotent groups, (p)-groups (20D15) Cohomology of groups (20J06)

Abstract: The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test if two such algebras are graded isomorphic. As application, we determine all graded isomorphisms between the mod-p cohomology rings of all p-groups of order at most 100.

Review text

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.NEWLINENEWLINE 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?

Recommendations

• Automorphisms and nonabelian cohomology: An algorithm
• A cohomological approach to the modular isomorphism problem.
• Computing automorphism groups and testing isomorphisms for modular group algebras.
• scientific article; zbMATH DE number 1361353
• THE ISOMORPHISM PROBLEM FOR MODULAR ABELIAN p-GROUP ALGEBRAS

Cites work

• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• Coclass and cohomology.
• Cohomology rings of finite groups. With an appendix: Calculations of cohomology rings of groups of order dividing 64.
• COMPUTING NILPOTENT QUOTIENTS OF ASSOCIATIVE ALGEBRAS AND ALGEBRAS SATISFYING A POLYNOMIAL IDENTITY
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• SINGULAR
• The computation of the cohomology rings of all groups of order 128.
• The mod-p cohomology rings of metacyclic groups

Cited in

(8)

• Automorphisms and nonabelian cohomology: An algorithm
• A cohomological approach to the modular isomorphism problem.
• Almost equal group multiplications
• Cochain sequences and the Quillen category of a coclass family
• Comparing completeness criteria for modular cohomology rings of finite groups.
• Testing isomorphism of graded algebras
• The Chow ring of a sequence of point and rational curve blow-ups
• Reciprocal polynomials and p-group cohomology

Describes a project that uses

Uses Software

• SINGULAR
• SageMath
• SmallGroups Library
• Mod-p group cohomology
• GAP

This page was built for publication: The isomorphism problem for graded algebras and its application to \(\mathrm{mod-}p\) cohomology rings of small \(p\)-groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5964513)