|
7.4.1 G-algebrasDefinition (PBW basis)Definition (G-algebra)
Note: Note that non-degeneracy conditions ensure associativity of multiplication,
defined by the relations. It is also proved, that they are necessary and sufficient to
guarantee the PBW property of an algebra, defined via Theorem (properties of G-algebras)
Setting up a G-algebra
does not check automatically whether the non-degeneracy conditions hold but it provides a procedure ndcond from the library nctools_lib to check this. |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |