A non-commutative F₅ algorithm with an application to the computation of Loewy layers.

DOI10.1016/J.JSC.2014.01.006MaRDI QIDQ2447640zbMATH OpenOpenAlexFDO

Authors Simon 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 basesLoewy layersnon-commutative \(F_5\) algorithmpath algebras

Mathematics Subject Classification ID

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) Symbolic computation and algebraic computation (68W30)

Abstract: We provide a non-commutative version of the F5 algorithm, namely for right-modules over path algebra quotients. It terminates, if the path algebra quotient is a basic algebra. In addition, we use the F5 algorithm in negative degree monomial orderings to compute Loewy layers.

Recommendations

• scientific article; zbMATH DE number 2151220
• On the complexity of the \(F_5\) Gröbner basis algorithm
• scientific article; zbMATH DE number 5831023
• The F5 algorithm in Buchberger's style
• The F5 criterion revised

Cites work

• Blocks of tame representation type and related algebras
• Cohomology rings of finite groups. With an appendix: Calculations of cohomology rings of groups of order dividing 64.
• Constructing projective resolutions
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• Gröbner bases and the computation of group cohomology.
• scientific article; zbMATH DE number 3649988 (Why is no real title available?)
• scientific article; zbMATH DE number 1181204 (Why is no real title available?)
• scientific article; zbMATH DE number 2151220 (Why is no real title available?)
• scientific article; zbMATH DE number 2228448 (Why is no real title available?)
• Minimal projective resolutions
• SINGULAR
• Synergy in the Theories of Gröbner Bases and Path Algebras
• The computation of the cohomology rings of all groups of order 128.
• The F5 criterion revised
• The mod-2 cohomology ring of the third Conway group is Cohen-Macaulay.

Cited in

(4)

• Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
• scientific article; zbMATH DE number 4018239 (Why is no real title available?)
• Noncommuting (S₅,S₅)-Amalgams
• Modular algorithms for computing Gröbner bases in free algebras

Describes a project that uses

Uses Software

• SINGULAR
• SageMath
• Mod-p group cohomology

This page was built for publication: A non-commutative \(F_5\) algorithm with an application to the computation of Loewy layers.

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