The purpose of this paper is to describe a C program FPLSA for investigating finitely presented Lie algebras and superalgebras. The program takes as input data a finite set of generators and relations for these elements. The relations have the form of Lie polynomials with coefficients being either integers or polynomials over integers in a given finite set of parameters. The program is based on...

We introduce the notions of proto-complete, complete, complete⁎ and strong-complete objects in pointed categories. show under mild conditions on a exact protomodular category that every proto-complete (respectively complete) object is product an abelian object. This together with observation trivial group only complete recovers theorem Baer classifying groups. In addition we generalize several ...

Let X be an F -rational nilpotent element in the Lie algebra of a connected and reductive group G defined over the ground field F . Suppose that the Lie algebra has a non-degenerate invariant bilinear form. We show that the unipotent radical of the centralizer of X is F -split. This property has several consequences. When F is complete with respect to a discrete valuation with either finite or ...

We prove complete reducibility for an integrable module for an affine Lie algebra where the canonical central element acts non-trivially. We further prove that integrable modules does not exists for most of the super affine Lie algebras where the center acts non-trivially. 1 2000 Mathematics subject classification primary 17B65, 17B68

Let G be an exceptional Lie group with a maximal torus T , and let Ap be the mod–p Steenrod algebra. Based on common properties in the Schubert presentation of the cohomology H∗(G/T ; Fp), we obtain a complete characterization for the Ap–algebra H ∗(G; Fp). 2000 Mathematical Subject Classification: 57T15; 14M15. Email addresses: [email protected]; [email protected]