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 available | 15 Mar 2016 |
|---|---|
| Publisher | The University of Western Australia |
| Date of data production | 1 Dec 2015 - 31 Dec 2015 |
| Geographical coverage | The University of Western Australia |
Keywords
- Associativity
- Commutator
- Maximal linear groups induced on the Frattini quotient of a p-group
- 010105 Group Theory and Generalisations
Cite this
Glasby, S. (Creator)(15 Mar 2016). Symbolic computation in Gamma_n(F_p^d): associativity and nilpotency class. The University of Western Australia. Gamma4SupportingProgramForBGMNpaper. 10.4225/23/591532ffd1281