- Introduction
- Construction of Group Algebras and their Elements
- Construction of Subalgebras, Ideals and Quotient Algebras
- sub< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map
- lideal< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map
- rideal< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map
- ideal< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map
- a * I : AlgGrpElt, AlgGrpSub -> AlgGrpSub
- I * a : AlgGrpSub, AlgGrpElt -> AlgGrpSub
- quo< A | L > : AlgGrp, List -> AlgAss, Map
- A / S : AlgGrp, AlgGrpSub -> AlgAss
- Example AlgGrp_wedderburn (H91E3)
- Operations on Group Algebras and their Subalgebras
- Operations on Elements
- a + r : AlgGrpElt, RngElt -> AlgGrpElt
- a + g : AlgGrpElt, GrpElt -> AlgGrpElt
- a - r : AlgGrpElt, RngElt -> AlgGrpElt
- a - g : AlgGrpElt, GrpElt -> AlgGrpElt
- a * r : AlgGrpElt, RngElt -> AlgGrpElt
- g * a : GrpElt, AlgGrpElt -> AlgGrpElt
- Support(a) : AlgGrpElt -> SeqEnum
- Trace(a) : AlgGrpElt -> RngElt
- Augmentation(a) : AlgGrpElt -> RngElt
- Involution(a) : AlgGrpElt -> AlgGrpElt
- Coefficient(a, g) : AlgGrpElt, GrpElt -> RngElt
- ElementToSequence(a) : AlgGrpElt -> SeqEnum
- Coefficients(a) : AlgGrpElt -> SeqEnum
- Centraliser(a) : AlgGrpElt -> AlgGrpSub
- Centraliser(S, a) : AlgGrpSub, AlgGrpElt -> AlgGrpSub
- Example AlgGrp_powering (H91E5)
- Example AlgGrp_average (H91E6)
V2.28, 13 July 2023