A non-commutative \(F_5\) algorithm with an application to the computation of Loewy layers.

DOI10.1016/j.jsc.2014.01.006zbMath1291.16054arXiv1210.6614OpenAlexW2083694632MaRDI QIDQ2447640

Simon A. King

Publication date: 28 April 2014

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

basic algebrasGröbner basespath algebrasLoewy layersnon-commutative \(F_5\) algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Representations of quivers and partially ordered sets (16G20) Computational aspects of associative rings (general theory) (16Z05)

Related Items

Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra

Uses Software

• SageMath
• SINGULAR
• Mod-p group cohomology

Cites Work

• The computation of the cohomology rings of all groups of order 128.
• The mod-2 cohomology ring of the third Conway group is Cohen-Macaulay.
• Blocks of tame representation type and related algebras
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Gröbner bases and the computation of group cohomology.
• Cohomology rings of finite groups. With an appendix: Calculations of cohomology rings of groups of order dividing 64.
• The F5 criterion revised
• Minimal projective resolutions
• Synergy in the Theories of Gröbner Bases and Path Algebras
• SINGULAR
• Constructing projective resolutions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item