Symbolic computation in Gamma_n(F_p^d): associativity and nilpotency class
收藏Research Data Australia2024-12-14 收录
下载链接：
https://researchdata.edu.au/symbolic-computation-gammanfpd-nilpotency-class/1357819
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
The University of Western Australia
