The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
Hi-index | 0.00 |
The isomorphism problem means to decide if two given finite-dimensional simple algebras with center K are K-isomorphic and, if so, to construct a K-isomorphism between them. Applications lie in computational aspects of representation theory, algebraic geometry and Brauer group theory. The paper presents an algorithm for cyclic algebras that reduces the isomorphism problem to field theory and thus provides a solution if certain field theoretic problems including norm equations can be solved (this is satisfied over number fields). As an application, we can compute all automorphisms of any given cyclic algebra over a number field. A detailed example is provided which leads to the construction of an explicit noncrossed product division algebra.