Computing generators and relations for matrix algebras
Matthews, Graham Yakov
MetadataShow full item record
We describe algorithms for computing a presentation for a matrix algebra over a finite field, and for computing the basic algebra associated to such a matrix algebra. We give correctness proofs of our algorithms, and implementations of them in the Magma computer algebra system. We use these implementations to compute several basic algebras.