Data

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

The University of Western Australia
Glasby, Stephen
Viewed: [[ro.stat.viewed]] Cited: [[ro.stat.cited]] Accessed: [[ro.stat.accessed]]
ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2FANDS&rft_id=info:doi10.4225/23/591532ffd1281&rft.title=Symbolic computation in Gamma_n(F_p^d): associativity and nilpotency class&rft.identifier=10.4225/23/591532ffd1281&rft.publisher=The University of Western Australia&rft.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.&rft.creator=Glasby, Stephen &rft.date=2016&rft.coverage=The University of Western Australia&rft_rights=&rft_subject=Associativity&rft_subject=Commutator&rft_subject=Maximal linear groups induced on the Frattini quotient of a p-group&rft.type=dataset&rft.language=English Access the data
Cite Saved to MyRDA Save to MyRDA

Licence & Rights:

Non-Commercial Licence view details
CC-BY-NC-SA

Access:

Open

Full 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.

Created: 2015-12-01 to 2015-12-31

Issued: 2016-03-15

This dataset is part of a larger collection

Click to explore relationships graph
Help

Related Organisations

Related People

Related Grants and Projects

Spatial Coverage And Location

text: The University of Western Australia

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

User Contributed Tags    

Login to tag this record with meaningful keywords to make it easier to discover

Identifiers