Symbolic computation in Gamma_n(F_p^d): associativity and nilpotency class

    Dataset

    Description

    The Lie n-tuple multiplication rule for the group Gamma_n(F_p^d) is shown to be associative for n=1,2,3,4 and commutator laws are verified. This is a computer proof of Theorem 2.3 in the paper `Maximal linear groups induced on the Frattini quotient of a p-group' written jointly with John Bamberg, Alice C. Niemeyer and Luke Morgan.
    Date made available15 Mar 2016
    PublisherThe University of Western Australia
    Date of data production1 Dec 2015 - 31 Dec 2015
    Geographical coverageThe University of Western Australia

    Keywords

    • Associativity
    • Commutator
    • Maximal linear groups induced on the Frattini quotient of a p-group

    Field of Research (FoR)

    • 010105 Group Theory and Generalisations
    Contact person

    Access Dataset

    Cite this