7.5.11 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.5.11.0. CentralQuot		central quotient M:G,
7.5.11.0. CentralSaturation		central saturation ((M:T):...):T) ( = M:T^infinity),
7.5.11.0. CenCharDec		decomposition of I into central characters w.r.t. C
7.5.11.0. IntersectWithSub		intersection of M with the subalgebra, generated by pairwise commutative elements of Z.