- Introduction
- Construction of Associative Algebras
- Operations on Algebras and their Elements
- Operations on Algebras
- Centre(A) : AlgAss -> AlgAss
- Centralizer(A, S) : AlgAss, AlgAss -> AlgAss
- Idealizer(A, B: parameters) : AlgAss, AlgAss -> AlgAss
- LieAlgebra(A) : AlgAss -> AlgGen, Map
- CommutatorModule(A, B) : AlgAss, AlgAss -> ModTupRng
- CommutatorIdeal(A, B) : AlgAss, AlgAss -> AlgAss
- LeftAnnihilator(A, B) : AlgAss, AlgAss -> AlgAss, AlgAss
- RightAnnihilator(A, B) : AlgAss, AlgAss -> AlgAss, AlgAss
- Example AlgAss_liealg (H88E1)
- RestrictionOfScalars(A) : AlgAss[FldAlg] -> AlgAss, Map
- Example AlgAss_restrict (H88E2)
- Operations on Elements
- Representations
- Decomposition of an Algebra
- Orders
- Construction of Orders
- Order(R, S) : Rng, SeqEnum[AlgAssVElt] -> AlgAssVOrd
- Order(S) : SeqEnum[AlgAssVElt[FldAlg]] -> AlgAssVOrd
- Order(S, I) : SeqEnum[AlgAssVElt[FldAlg]], SeqEnum[RngOrdFracIdl] -> AlgAssVOrd
- Order(A, m, I) : AlgAssV[FldOrd], AlgMatElt[FldOrd], SeqEnum[RngOrdFracIdl] -> AlgAssVOrd
- Order(A, pm) : AlgAssV[FldOrd], PMat -> AlgAssVOrd
- Example AlgAss_ord_creat_cyc (H88E5)
- Example AlgAss_ord_creat_cyc (H88E6)
- MaximalOrder(A) : AlgAssV[FldRat] -> AlgAssVOrd
- MaximalOrder(A) : AlgAssV[FldAlg] -> AlgAssVOrd
- MaximalOrder(O) : AlgAssVOrd[RngInt] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderInfinite(A) : AlgAssV[FldFunRat] -> AlgAssVOrd
- MaximalOrderFinite(A) : AlgAssV[FldFun] -> AlgAssVOrd
- MaximalOrder(O) : AlgAssVOrd[RngUPol] -> AlgAssVOrd
- Example AlgAss_max_ord (H88E7)
- Example AlgAss_max_ord_alg (H88E8)
- RestrictionOfScalars(O) : AlgAssVOrd[RngOrd] -> AlgAssVOrd, Map
- Example AlgAss_restrict (H88E9)
- Attributes
- Bases of Orders
- Predicates
- Operations with Orders
- Elements of Orders
- Ideals of Orders
- Bibliography
V2.28, 13 July 2023