Home Online Manual
Top
Back: GKZsystem
Forward: CentralQuot
FastBack: ncalg_lib
FastForward: ncfactor_lib
Up: Non-commutative libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.7.12 ncdecomp_lib

Library:
ncdecomp.lib
Purpose:
Decomposition of a module into its central characters
Authors:
Viktor Levandovskyy, levandov@mathematik.uni-kl.de.

Overview:

This library presents algorithms for the central character decomposition of a module,
i.e. a decomposition into generalized weight modules with respect to the center.
Based on ideas of O. Khomenko and V. Levandovskyy (see the article [L2] in the
References for details).

Procedures:

7.7.12.0. CentralQuot  central quotient M:G,
7.7.12.0. CentralSaturation  central saturation ((M:T):...):T) ( = M:T^infinity),
7.7.12.0. CenCharDec  decomposition of I into central characters w.r.t. C
7.7.12.0. IntersectWithSub  intersection of M with the subalgebra, generated by pairwise commutative elements of Z.