The GAP Package LiePRing

摘要

A symbolic Lie p-ring defines a family of Lie rings with p~n elements for infinitely many different primes p and a fixed positive integer n. Symbolic Lie p-rings are used to describe the classification of isomorphism types of nilpotent Lie rings of order p~n for all primes p and all n ≤ 7. This classification is available as the LiePRing package of the computer algebra system GAP. We give a brief description of this package, including an approach towards computing the automorphism group of a symbolic Lie p-ring.